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...
详细信息
暂无评论