Abstract
In a Distributed Consensus protocol all processors (of which t may be faulty) are given (binary) initial values; after exchanging messages all correct processors must agree on one of them. In this paper we focus on consensus in networks that are not completely interconnected, following the work of Dwork et al. [DPPU]. In such a context, complete consensus among all the correct processors is not possible and some exceptions must be allowed.
We first show how to achieve consensus in the butterfly network using O (t+logn loglogn) one bit parallel transmission steps, while tolerating the asymptotically optimal number of faulty processors and asymptotically minimal number of exceptions. This result considerably improves upon our previous protocol, in particular it replaces the running time of O (n logn loglogn) with an asymptotically optimal one. As in [DPPU], we can decrease the number of exceptions to O(t) by using additional links, while maintaining the same running time.
The protocol is derived from a consensus protocol for complete networks that is interesting in its own right. It achieves Distributed Consensus with optimal number of processors, asymptotically optimal total bit transfer and nearly optimal number of rounds, with better constant factors than previously published results.
Extended Abstract
Work partially supported by AFOSR contract 87-0400 and NSF grant CR 8805978.
This work was done while the author was at the Computer Science Departments of Bucknell University and Penn State.
Preview
Unable to display preview. Download preview PDF.
References
B. Bollobás, "Random Graphs," combinatorics, London Math. Society LN 52, Cambridge University Press, 1981, pp. 80–102.
A. Bar-Noy and D. Dolev, "Families of Consensus Algorithms," Proc. 3rd Aegean Workshop on Computing, June/July 1988, pp. 380–390.
A. Bar-Noy, D. Dolev, C. Dwork and H.R. Strong, "Shifting gears: changing algorithms on the fly to expedite Byzantine Agreement," Proc. 6th PODC, August 1987, pp. 42–51.
P. Berman and J.A. Garay, "Asymptotically Optimal Distributed Consensus," Proc. ICALP 89, LNCS, Vol. 372, July 1989, pp. 80–94.
P. Berman, J.A. Garay and K.J. Perry, "Towards Optimal Distributed Consensus," Proc. 30th FOCS, October 1989, pp. 410–415.
P. Berman, J.A. Garay and K.J. Perry, "Recursive Phase King Protocols for Distributed Consensus," PSU, CS Dept. Tech Report CS-89-24, August 1989.
F. Cristian, H. Aghili, R. Strong and D. Dolev, "Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement," Proc. 15th Inernational Symp. on Fault-Tolerant Computing, June 1985, pp. 200–206. Revised version in IBM research report RJ5244.
B. Coan and J.Welch, "Modular Construction of Nearly Optimal Byzantine Agreement Protocols," Proc. 9th Annual PODC, August 1989, pp. 295–306.
B. Coan and J. Welch, "A Byzantine Agreement Protocol with Optimal Message Bit Complexity," Proc. 27th Annual Allerton Conf. on Communication, Control and Computing, 1989.
D. Dolev, "The Byzantine generals strike again," Journal of Algorithms, Vol. 3, No. 1 (1982), pp. 14–30.
C. Dwork, D. Peleg, N. Pippenger and E. Upfal, "Fault Tolerance in Networks of Bounded Degree," Proc. 18th STOC, May 1986, pp. 370–379.
D. Dolev and R. Reischuk, "Bounds of Information Exchange for Byzantine Agreement," JACM, Vol. 32, No. 1, (1985), pp. 191–204.
D. Dolev and H.R. Strong, "Polynomial Algorithms for Multiple Processor Agreement," Proc. 14th STOC, May 1982, pp. 401–407.
P. Feldman and S. Micali, "Optimal Algorithms for Byzantine Agreement," Proc. 20th STOC, May 1988, pp. 148–161.
L. Lamport, R.E. Shostak and M. Pease, "The Byzantine Generals Problem," ACM ToPLaS, Vol. 4, No. 3, July 1982, pp. 382–401.
Y. Moses and O. Waarts, "Coordinated Traversal: (t+1)-Round Byzantine Agreement in Polynomial Time," Proc. 29th FOCS, October 1988, pp. 246–255.
N. Pippinger, "On Networks of Noisy Gates," Proc. 26th FOCS, October 1985, pp. 31–38.
J.D. Ullman, "Computational Aspects of VLSI," Computer Science Press, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berman, P., Garay, J.A. (1991). Fast consensus in networks of bounded degree. In: van Leeuwen, J., Santoro, N. (eds) Distributed Algorithms. WDAG 1990. Lecture Notes in Computer Science, vol 486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54099-7_22
Download citation
DOI: https://doi.org/10.1007/3-540-54099-7_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54099-1
Online ISBN: 978-3-540-47405-0
eBook Packages: Springer Book Archive