Early-deciding consensus is expensive

  • Authors:

  • Danny Dolev;Christoph Lenzen

  • Affiliations:

  • Hebrew University of Jerusalem, Jerusalem, Israel;Massachusetts Institute of Technology, Cambridge, MA, USA

  • Venue:
  • Proceedings of the 2013 ACM symposium on Principles of distributed computing
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

In consensus, the n nodes of a distributed system seek to take a consistent decision on some output, despite up to t of them crashing or even failing maliciously, i.e., behaving "Byzantine''. It is known that it is impossible to guarantee that synchronous, deterministic algorithms consistently decide on an output in fewer than f+1 rounds in executions in which the actual number of faults is f ≤ t. This even holds if faults are crash-only, and in this case the bound can be matched precisely. However, the question of whether this can be done efficiently, i.e., with little communication, so far has not been addressed. In this work, we show that algorithms tolerating Byzantine faults and deciding within f+2 rounds must send Ω(nt+t2f) messages; as a byproduct, our analysis shows that decision within f +1 rounds is impossible in this setting (unless f=t). Moreover, we prove that any crash-resilient algorithm deciding in f+1 rounds has worst-case message complexity Ω(n2f). Interestingly, this changes drastically if we restrict the fault model further. If crashes are orderly, i.e., in each round, each node picks an order in which its messages are sent, and crashing nodes successfully transmit a prefix of their sequence, deciding in f+1 rounds can be guaranteed with O(nt) messages.