The proceedings contain 21 papers. The topics discussed include: viewstamped replication: a new primary copy method to support highly-available distributed systems;DCF: distributed communication with fault tolerance;o...
ISBN:
(纸本)0897912772
The proceedings contain 21 papers. The topics discussed include: viewstamped replication: a new primary copy method to support highly-available distributed systems;DCF: distributed communication with fault tolerance;one-bit algorithms;the power of multimedia: combining point-to-point and multiaccess networks;recovery in distributed systems using optimistic message logging and checkpointing;the data link layer: two impossibility results;improved algorithms for distributed resource allocation;end-to-end communication in unreliable networks;the cost of messages;a lattice-structured proof technique applied to a minimum spanning tree algorithm;computing on anonymous networks;understanding and verifying distributed algorithms using stratified decomposition;detecting stable properties of networks in concurrent logic programming languages;concurrent common knowledge: a new definition of agreement for asynchronous systems;secure and verifiable schemes for election and general distributedcomputing problems;process semantics: global axioms, compositional rules, and applications;the global time assumption and semantics for concurrent systems;and a combinatorial characterization of the distributed tasks which are solvable in the presence of one faulty processor.
Chor, Israeli and Li recently published three randomized algorithms for a version of the consensus problem for a shared memory model of distributedcomputing. Their model requires, as atomic instructions on the shared...
详细信息
A network consists of a set of processors and a set of communication links connecting pairs of processors. In the past, dozens of papers have been written on the subject of efficient distributed algorithms for various...
详细信息
We describe a relatively simple fault tolerant distributed directory and communication service providing both connectionless and session services between applications that conform to a client server model. The directo...
详细信息
This paper explores the idea of using simple secure and verifiable distributed protocols as building blocks for constructing more complicated protocols. A notion of reduction among multi-party problems is introduced a...
详细信息
The design of fault-tolerant distributed systems is a costly and difficult task. Its cost and difficulty increase dramatically with the severity of failures that a system must tolerate. We seek to simplify this task b...
详细信息
In a distributed system using message logging and checkpointing to provide fault tolerance, there is always a unique maximum recoverable system state, regardless of the message logging protocol used. The proof of this...
详细信息
Designers of autonomous distributed algorithms (i.e., algorithms whose complete input is available before the start of execution) customarily refer to temporal ordering in describing the behavior of their algorithms-s...
详细信息
暂无评论