Skip to main content

Bit Optimal Distributed Consensus

  • Chapter
Computer Science

Abstract

The Distributed Consensus problem involves n processors each of which holds an initial binary value. At most t processors may be faulty and ignore any protocol (even behaving maliciously), yet it is required that non-faulty processors eventually agree on a common value that was initially held by one of them. The quality of a consensus protocol is measured using the following parameters: the number of processors n, the number of rounds of message exchange r and the total number of bits transmitted B. The known lower bounds are respectively 3t + 1, t + 1 and Ω(nt).

While no known protocol is optimal in all three aspects simultaneously, the protocol presented in this paper takes further steps in this direction: it achieves for the first time asymptotically optimal bit transfer (B = 0(nt)), together with optimal number of processors n and nearly optimal r. Previously existing consensus protocols required B = Ω(n2 t), regardless of the other parameters’ values.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Attiya, C. Dwork, N. Lynch and L. Stockmeyer, “Bounds on the time to reach agreement in the presence of timing uncertainty,” Proc. 23rd STOC, pp. 359–369, May 1991.

    Google Scholar 

  2. A. Bar-Noy and D. Dolev, “Families of Consensus Algorithms,” Proc. 3rd Aegean Workshop on Computing, pp. 380–390, June/July 1988.

    Google Scholar 

  3. 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, pp. 42–51, August 1987.

    Google Scholar 

  4. A. Bar-Noy, X. Deng, J. Garay and T. Kameda, “Optimal Amortized Distributed Consensus,” to appear in Proc. 5th International Workshop on Distributed Algorithms (LNCS), Delphi, Greece, October 1991.

    Google Scholar 

  5. P. Berman and J.A. Garay, “Asymptotically Optimal Distributed Consensus,” Proc. ICALP 89, LNCS Vol. 372, pp. 80–94, July 1989.

    MathSciNet  Google Scholar 

  6. P. Berman and J.A. Garay, “Efficient Distributed Consensus with n = (3 + ε)t Processors,” to appear in Proc. 5th International Workshop on Distributed Algorithms (LNCS), Delphi, Greece, October 1991.

    Google Scholar 

  7. P. Berman, J.A. Garay and K.J. Perry, “Towards Optimal Distributed Consensus,” Proc. 30th FOGS, pp. 410–415, October/November 1989.

    Google Scholar 

  8. B.A. Coan and J.L. Welch, “Modular Construction of a Byzantine Agreement Protocol with Optimal Message Bit Complexity,” Proc. 27th Allerton Conference on Communication, Control, and Computing, pp. 1062–1071, 1989. To appear in Information and Computation.

    Google Scholar 

  9. B.A. Coan and J.L. Welch, “Modular Construction of an Efficient 1-Bit Byzantine Agreement Protocol,” personal communication. To appear in Mathematical Systems Theory, special issue dedicated to Distributed Agreement.

    Google Scholar 

  10. D, Dolev and R. Reischuk, “Bounds of Information Exchange for Byzantine Agreement,” JACM, Vol. 32, No. 1, pp. 191–204, 1985.

    Article  MathSciNet  MATH  Google Scholar 

  11. D. Dolev and H.R. Strong, “Polynomial Algorithms for Multiple Processor Agreement,” Proc. 14th STOC, pp. 401–407, May 1982.

    Google Scholar 

  12. M. Fisher, N. Lynch and M. Paterson, “Impossibility of Distributed Consensus with one faulty process,” JACM, Vol. 32, No. 2 (1985), pp. 374–382.

    Article  Google Scholar 

  13. J. Gray, “The Cost of Messages,” Proc. 7th PODC, pp. 1–7, August 1988.

    Google Scholar 

  14. V. Hadzilacos and J. Halpern, “Message-Optimal Protocols for Byzantine Agreement,” Proc. 10th PODC, pp. 309–324, August 1991..

    Google Scholar 

  15. L. Lamport, R.E. Shostak and M. Pease, “The Byzantine Generals Problem,” ACM ToPLaS, Vol. 4, No. 3, pp. 382–401, July 1982.

    Article  MATH  Google Scholar 

  16. Y. Moses and O. Waarts, “Coordinated Traversal: (t+1)-Round Byzantine Agreement in Polynomial Time,” Proc. 29th FOCS, pp. 246–255, October 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer Science+Business Media New York

About this chapter

Cite this chapter

Berman, P., Garay, J.A., Perry, K.J. (1992). Bit Optimal Distributed Consensus. In: Baeza-Yates, R., Manber, U. (eds) Computer Science. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-3422-8_27

Download citation

  • DOI: https://doi.org/10.1007/978-1-4615-3422-8_27

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4613-6513-6

  • Online ISBN: 978-1-4615-3422-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics