Fast scalable deterministic consensus for crash failures

Research output: Chapter in Book/Report/Conference proceedingConference contribution

24 Scopus citations

Abstract

We study communication complexity of consensus in synchronous message-passing systems with processes prone to crashes. The goal in the consensus problem is to have all the nonfaulty processes agree on a common value from among the input ones, after each process has been initialized with a binary input value. The system consists of n processes and it is assumed that at most t < n processes crash in an execution. A consensus algorithm that tolerates up to t failures is called fast when its time complexity is script O sign(t). All the previously known fast deterministic consensus solutions sent Ω(n2) bits in messages. We give a fast deterministic consensus algorithm that has processes send only script O sign(n log4 n) bits. In our solution, processes exchange messages according to topologies of overlay graphs that have suitable robustness and connectivity properties related to graph expansion.

Original languageEnglish (US)
Title of host publicationPODC'09 - Proceedings of the 2009 ACM Symposium on Principles of Distributed Computing
Pages111-120
Number of pages10
DOIs
StatePublished - 2009
Externally publishedYes
Event2009 ACM Symposium on Principles of Distributed Computing, PODC'09 - Calgary, AB, Canada
Duration: Aug 10 2009Aug 12 2009

Publication series

NameProceedings of the Annual ACM Symposium on Principles of Distributed Computing

Conference

Conference2009 ACM Symposium on Principles of Distributed Computing, PODC'09
Country/TerritoryCanada
CityCalgary, AB
Period8/10/098/12/09

Keywords

  • Bit communication complexity
  • Consensus
  • Fault tolerance
  • Graph expansion
  • Message passing
  • Scalability
  • Synchrony

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint

Dive into the research topics of 'Fast scalable deterministic consensus for crash failures'. Together they form a unique fingerprint.

Cite this