The proceedings contain 24 papers. The topics discussed include: Shifting Gears: shifting gears: changing algorithms on the fly to expedite byzantine agreement;quorum consensus in nested transaction systems;detection ...
ISBN:
(纸本)089791239X
The proceedings contain 24 papers. The topics discussed include: Shifting Gears: shifting gears: changing algorithms on the fly to expedite byzantine agreement;quorum consensus in nested transaction systems;detection of stable properties in distributed applications;modular verification of asynchronous networks;asynchronous approximate agreement;epidemic algorithms for replicated database maintenance;on the time-complexity of broadcast in radio networks: an exponential gap between determinism and randomization;specifying graceful degradation in distributed systems;update propagation in bakunin data networks;on processor coordination using asynchronous hardware;hierarchical correctness proofs for distributed algorithms;an optimal synchronizer for the hypercube;fault-tolerant decision making in totally asynchronous distributed systems;a hierarchy of temporal properties;the elusive atomic register revisited;specifying message passing systems requires extending temporai logic;constructing multi-reader atomic values from non-atomic values;a protocol for wait-free, atomic, multi-reader shared variables;and a little knowledge goes a long way: simple knowledge-based derivations and correctness proofs for a family of protocols.
When evaluated to true, a stable property remains true forever. Such a stable property may characterize important states of a computation. This is the case of deadlocked or terminated computations. In this paper we ex...
We introduce the input-output automaton, a simple but powerful model of computation in asynchronous distributed networks. With this model we are able to construct modular, hierarchical correctness proofs for distribut...
We study time and knowledge in reliable distributed systems with asynchronous communication. We first describe an extension of Lamport's logical clocks that can be used as if they were perfectly synchronized real-...
详细信息
The proceedings contain 19 papers. The topics discussed include: scale and performance in a distributed file system;caching in the sprite network file system;using idle workstations in a shared computing environment;a...
ISBN:
(纸本)089791242X
The proceedings contain 19 papers. The topics discussed include: scale and performance in a distributed file system;caching in the sprite network file system;using idle workstations in a shared computing environment;attacking the process migration bottleneck;hashed and hierarchical timing wheels: data structures for the efficient implementation of a timer facility;the packet filter: an efficient mechanism for user-level network code;a name service for evolving heterogeneous systems;duality of memory and communication in the implementation of a multiprocessor operating system;time warp operating system;synchronization primitives for a multiprocessor: a formal specification;stored voice in the Etherphone system;grained mobility in the Emerald system;management in QuickSilver;801 storage: architecture and programming;implementation of Argus;exploiting virtual synchrony in distributed systems;log files: an extended file service exploiting write-once storage;a simple and efficient implementation of a small database;reimplementing the cedar file system using logging and group commit.
distributed programs must often display graceful degradation, reacting adaptively to changes in the environment. Under ideal circumstances, the program's behavior satisfies a set of application-dependent constrain...
详细信息
This paper describes a technique for implementing the sort of small databases that frequently occur in the design of operating systems and distributed systems. We take advantage of the existence of very large virtual ...
详细信息
暂无评论