On the cost of fault-tolerant consensus when there are no faults
- 1 June 2001
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGACT News
- Vol. 32 (2) , 45-63
- https://doi.org/10.1145/504192.504195
Abstract
We consider the consensus problem in an asynchronous model enriched with unreliable failure detectors and in the partial synchrony model. We consider algorithms that solve consensus and tolerate crash failures and/or message omissions. We prove tight lower bounds on the number of communication steps performed by such algorithms in failure-free executions. We present in a unified framework a number of related lower bound results. Thus, we shed light on the relationships among different known lower and upper bounds, and at the same time, illustrate a general technique for obtaining simple and elegant lower bound proofs. We also illustrate matching upper bounds: we algorithms that achieve the lower bound.Keywords
This publication has 21 references indexed in Scilit:
- A simple and fast asynchronous consensus protocol based on a weak failure detectorDistributed Computing, 1999
- A simple bivalency proof that t-resilient consensus requires t+1 roundsInformation Processing Letters, 1999
- The timed asynchronous distributed system modelIEEE Transactions on Parallel and Distributed Systems, 1999
- The part-time parliamentACM Transactions on Computer Systems, 1998
- Early consensus in an asynchronous system with a weak failure detectorDistributed Computing, 1997
- Unreliable failure detectors for reliable distributed systemsJournal of the ACM, 1996
- Lightweight causal and atomic group multicastACM Transactions on Computer Systems, 1991
- Implementing fault-tolerant services using the state machine approach: a tutorialACM Computing Surveys, 1990
- Consensus in the presence of partial synchronyJournal of the ACM, 1988
- Reliable broadcast protocolsACM Transactions on Computer Systems, 1984