Abstract
In Atomic Broadcast protocols, the participating processors may initiate the broadcast of a message at any time; the goal is to make all non-faulty processors deliver the same set of messages in the same order. Our objective in this paper is to assure that the delivery time (from the moment of initiation of a message to its last delivery by a correct processor) is proportional to the actual number of faults in a given run of the protocol. We study this problem in synchronous systems and two models of semi-synchronous systems in presence of various classes of processor failures.
We offer a technique that allows to convert “early stopping” Distributed Consensus protocols to Atomic Broadcast protocols with the above property. The resulting Atomic Broadcast protocols are faster and use smaller messages than the protocols proposed so far.
This research was partially supported by NSF grant CCR-9114545
Preview
Unable to display preview. Download preview PDF.
References
H. Attiya, C. Dwork, N. Lynch and L. Stockmeyer, “Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty”, ACM Symp. on Theory of Computing, May 1991, pp. 359–369. Also in Technical Memo TM-4-35, Laboratory for Computer Science, MIT and IBM Research Report RJ7853.
P. Berman and A.A. Bharali “Distributed Consensus in a Semi-synchronous System”, 6th IEEE International Parallel Processing Symp., March 1992.
P. Berman and A.A. Bharali “Quick Atomic Broadcast”, Tech Report CS-92-16, Dept. of Computer Science, Penn State University, May 1992.
P. Berman and A.A. Bharali “Asynchronous Atomic Broadcast”, Tech Report CS-92-28, Dept. of Computer Science, Penn State University, December 1992.
A.A. Bharali and P. Berman “Distributed Consensus with General Omission Failures and Timing Uncertainty”, 12th IEEE International Phoenix Conf. on Computers and Communications, March 1993.
M. Ben-Or and R. El-Yaniv “Interactive Consistency in Constant Time”, manuscript, 1990. Submitted for publication.
P. Berman and J.A. Garay “Optimal Early-Stopping in Distributed Consensus”, 6th International Workshop on Distributed Algorithm, 1992, pp. 221–237.
N. Budhiraja, A. Gopal and S. Toueg “Early-Stopping Distributed Bidding and Applications”, 4th International Workshop on Distributed Algorithm, 1990, pp. 304–320.
K. Birman, A. Schiper and P. Stephenson “Lightweight Causal and Atomic Group Multicast”, ACM Transactions on Computer Systems, Vol 9, No. 3, 1991, pp. 272–314.
F. Cristian, H. Aghili, H.R. Strong and D. Dolev “Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement”, Fifth International Symp. on Fault-Tolerant Computing, 1985, pp. 200–206. Revised in IBM Research Report, February 1991.
F. Cristian, D. Dolev and H.R. Strong “New Latency bounds for Atomic Broadcast”, 11th IEEE Real-Time Systems Symposium, 1990, pp. 156–165.
D. Dolev, C. Dwork and L. Stockmeyer “On the Minimal Synchronization needed for Distributed Consensus”, Journal of the ACM, Vol 34, No. 1, 1987, pp. 77–97.
C. Dwork, N. Lynch and L. Stockmeyer “Consensus in the Presence of Partial Synchrony”, Journal of the ACM, Vol 35, 1988, pp. 288–323.
C. Dwork and Y. Moses “Knowledge and Common Knowledge in a Byzantine environment: Crash Failures”, Information and Computation, Vol 88, No. 2, October 1990, pp. 156–186.
D. Dolev, R. Reischuk and H.R. Strong “Eventual is Earlier than Immediate”, 23rd IEEE Symp. on Foundations of Computer Science, 1982, pp. 196–203. Journal version in “Early Stopping in Byzantine Agreement”, Journal of the ACM, Vol 37, October 1990, pp. 720–741.
M. Fischer, N. Lynch and M. Paterson “Impossibility of Distributed Consensus with One Faulty Processor”, Journal of the ACM, Vol 32, No. 2, 1985, pp. 374–382.
P. Feldman and S. Micali “Optimal Algorithms for Byzantine Agreement”, ACM Symp. on Theory of Computing, 1988, pp. 148–161. Also in P. Feldman Ph.D. Thesis, MIT, 1988.
A. Gopal “Fault Tolerant Broadcasts and Multicasts: The Problem of Inconsistency and Contamination”, Ph.D. Thesis, Cornell, 1992.
A. Gopal, R. Strong, S. Toueg and F. Cristian “Early-Delivery Atomic Broadcast”, 9th ACM Symp. on Principles of Distributed Computing, 1990, pp. 297–309.
S. Ponzio “Consensus in the Presence of Timing Uncertainty: Omission and Byzantine Failures”, 10th ACM Symp. on Principles of Distributed Computing, August 1991, pp. 125–138.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berman, P., Bharali, A.A. (1993). Quick atomic broadcast. In: Schiper, A. (eds) Distributed Algorithms. WDAG 1993. Lecture Notes in Computer Science, vol 725. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57271-6_36
Download citation
DOI: https://doi.org/10.1007/3-540-57271-6_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57271-8
Online ISBN: 978-3-540-48029-7
eBook Packages: Springer Book Archive