Abstract
Easy proofs are given of the impossibility of solving several consensus problems (Byzantine agreement, weak agreement, Byzantine firing squad, approximate agreement and clock synchronization) in certain communication graphs. It is shown that, in the presence of f faults, no solution to these problems exists for communication graphs with fewer than 3f+1 nodes or less than 2f+1 connectivity. While some of these results had been proven previously, the new proofs are much simpler, provide considerably more insight, apply to more general models of computation, and (particularly in the case of clock synchronization) significantly strengthen the results.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Earlier versions of this paper appeared in the ACM Conference Proceedings of PODC 1985, and in Distributed Computing, volume 1 number 1, reprinted by permission.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
9. References
D. Angluin, "Local and Global Properties in Networks of Processors," Proc. of the 12th STOC, April 30–May 2, 1980, Los Angeles, CA., pp. 82–93.
J. Burns, "A Formal Model for Message Passing Systems," TR-91, Indiana University, September 1980.
J. Burns, N. Lynch "The Byzantine Firing Squad Problem," submitted for publication.
B. Coan, D. Dolev, C. Dwork and L. Stockmeyer "The Distributed Firing Squad Problem," Proc. of the 17th STOC, May 6–8, 1985, Providence R.I.
D. Dolev, "The Byzantine Generals Strike Again," Journal of Algorithms, 3, 1982, pp. 14–30.
D. Dolev, J. Halpern, H. Strong, "On the Possibility and Impossibility of Achieving Clock Synchronization," Proc. of the 16th STOC, April 30–May 2, 1984, Washington, D.C., pp. 504–510.
D. Dolev, N. A. Lynch, S. Pinter, E. Stark and W. Weihl, "Reaching Approximate Agreement in the Presence of Faults," Proc. of the 3rd Annual IEEE Symp. on Distributed Sofware and Databases, 1983.
A. Itai, M. Rodeh, "The Lord of the Ring or Probabilistic Methods for Breaking Symmetry in Distributive Networks," RJ-3110, IBM Research Report, April 1981.
L. Lamport, "The Weak Byzantine Generals Problem", JACM, 30, 1983, pp. 668–676.
L. Lamport, R. Shostak, M. Pease, "The Byzantine Generals Problem," ACM Trans. on Programming Lang. and Systems 4, 3 (July 1982), 382–401.
S. Mahaney, F. Schneider, "Inexact Agreement: Accuracy, Precision, and Graceful Degradation," Proc. of the 4th Annual ACM Symposium on Principles of Distributed Computing, August 5–7, 1985, Minacki, Ontario.
M. Pease, R. Shostak, L. Lamport, "Reaching Agreement in the Presence of Faults," JACM 27:2 1980, 228–234.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fischer, M.J., Lynch, N.A., Merritt, M. (1990). Easy impossibility proofs for distributed consensus problems. In: Simons, B., Spector, A. (eds) Fault-Tolerant Distributed Computing. Lecture Notes in Computer Science, vol 448. Springer, New York, NY. https://doi.org/10.1007/BFb0042333
Download citation
DOI: https://doi.org/10.1007/BFb0042333
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-97385-2
Online ISBN: 978-0-387-34812-4
eBook Packages: Springer Book Archive