• Publications
  • Influence
Epidemic algorithms for replicated database maintenance
TLDR
This paper descrikrs several randomized algorit, hms for dist,rihut.ing updates and driving t,he replicas toward consist,c>nc,y. Expand
Epidemic algorithms for replicated database maintenance
TLDR
Several randomized algorithms for distributing updates and driving the replicas toward consistency are described, solving long-standing problems of high traffic and database inconsistency. Expand
Computability of Recursive Functions
TLDR
One half of this equivalence, that all functions computable by any finite, discrete, deterministic device supplied with unlimited storage are partial recursive, is relatively straightforward 3 once the elements of recursive function theory have been established. Expand
Crash Recovery in a Distributed Data Storage System
An algorithm is described which guarantees reliable storage of data in a distributed system, even when different portions of the data base, stored on separate machines, are updated as part of aExpand
A POSTMORTEM FOR A TIME SHARING SYSTEM
TLDR
This thesis includes software and hardware proposals to increase the efficiency of representing an abstract machine and providing capability based protection and a description of a crash recovery consistency problem for files which reside in several levels of storage, together with a solution that was used. Expand
Reflections on an operating system design
The main features of a general purpose multiaccess operating system developed for the CDC 6400 at Berkeley are presented, and its good and bad points are discussed as they appear in retrospect.Expand
A formalism for translator interactions
A formalism is presented for describing the actions of processors for programming languages—compilers, interpreters, assemblers—and their interactions in complex systems such as compiler-compilers orExpand
Issues in the design and use of a distributed file system
TLDR
The DFS provides an unconventional locking mechanism between transactions that supports client caches and eliminates a novel form of deadly embrace and is implemented and put into service. Expand
The Control Structure of an Operating System
CAL is an operating system based on the concepts of capabilities and of implementation via machine extension. We first present some brief comments on our design philosophy and our experience withExpand
...
1
2
...