TY - JOUR
T1 - Atomic broadcast
T2 - From simple message diffusion to byzantine agreement
AU - Cristian, Flavju
AU - Aghili, Houtan
AU - Strong, Ray
AU - Dolev, Danny
PY - 1995/4
Y1 - 1995/4
N2 - In distributed systems subject to random communication delays and component failures, atomic broadcast can be used to implement the abstraction of synchronous replicated storage, a distributed storage that displays the same contents at every correct processor as of any clock time. This paper presents a systematic derivation of a family of atomic broadcast protocols that are tolerant of increasingly general failure classes: omission failures, timing failures, and authentication-detectable Byzantine failures. The protocols work for arbitrary point-to-point network topologies, and can tolerate any number of link and process failures up to network partitioning. After proving their correctness, we also prove two lower bounds that show that the protocols provide in many cases the best possible termination times.
AB - In distributed systems subject to random communication delays and component failures, atomic broadcast can be used to implement the abstraction of synchronous replicated storage, a distributed storage that displays the same contents at every correct processor as of any clock time. This paper presents a systematic derivation of a family of atomic broadcast protocols that are tolerant of increasingly general failure classes: omission failures, timing failures, and authentication-detectable Byzantine failures. The protocols work for arbitrary point-to-point network topologies, and can tolerate any number of link and process failures up to network partitioning. After proving their correctness, we also prove two lower bounds that show that the protocols provide in many cases the best possible termination times.
UR - http://www.scopus.com/inward/record.url?scp=0000532756&partnerID=8YFLogxK
U2 - 10.1006/inco.1995.1060
DO - 10.1006/inco.1995.1060
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0000532756
SN - 0890-5401
VL - 118
SP - 158
EP - 179
JO - Information and Computation
JF - Information and Computation
IS - 1
ER -