Lower bounds for asynchronous consensus

Distributed Computing

Volumn 19, Issue 2, 2006, Pages 104-125

  Lamport, Leslie ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

Consensus; Distributed algorithms; Fault tolerance; Paxos

Indexed keywords

ALGORITHMS; BOUNDARY CONDITIONS; CARRIER COMMUNICATION; DATA TRANSFER; FAULT TOLERANT COMPUTER SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS); THEOREM PROVING;

ASYNCHRONOUS CONSENSUS; DISTRIBUTED ALGORITHMS; LOWER BOUNDS; MESSAGE DELAYS; TRANSMISSION DELAY;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33750570667     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00446-006-0155-x     Document Type: Article

References (14)

1. Brasileiro, F., Greve, F., Mostefaoui, A., Raynal, M.: Consensus in one communication step. In: Malyshkin, V. (ed.). Parallel Computing Technologies (6th International Conference, PaCT 2001), Lecture Notes in Computer Science, vol. 2127, pp. 42-50. Springer-Verlag (2001)
2. Charron-Bost, B., Schiper, A.: Uniform consensus is harder than consensus (extended abstract). Technical Report DSC/2000/028, École Polytechnique Fédérale de Lausanne, Switzerland (2000). http://lsewww.epfl.ch/ Publications/ById/263.html
3. De Prisco, R., Lampson, B., Lynch, N.: Revisiting the PAXOS algorithm. Theor. Comput. Sci. 243:35-91 (2000)
4. Dwork, C., Lynch, N., Stockmeyer, L.: Consensus in the presence of partial synchrony. J. ACM 35(2), 288-323 (1988)
5. Fischer, M.J., Lynch, N., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. J. ACM 32(2), 374-382 (1985)
6. Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558-565 (1978)
7. Lamport, L.: How to write a proof. American Mathematical Monthly 102(7):600-608 (1995)
8. Lamport, L.: The part-time parliament. ACM Trans. Comput. Syst. 16(2), 133-169 (1998)
9. Lamport, L.: Paxos made simple. ACM SIGACT News (Distributed Computing Column) 32(4), 18-25 (2001)
10. Lamport, L.: Lower bounds for asynchronous consensus. In: Schiper, A., Shvartsman, A.A., Weatherspoon, H., Zhao, B.Y. (eds.). Future Directions in Distributed Computing, Lecture Notes in Computer Science, vol. 2584, pp. 22-23. Springer (2003)
11. Lamport, L.: Specifying Systems. Addison-Wesley, Boston (2003)
12. Lamport, L.: Fast paxos. Tech. Rep. MSR-TR-2005-112, Microsoft Research (2005)
13. Pedone, F., Schiper, A.: Handling message semantics with generic broadcast. Distributed Computing 15(2), 97-107 (2002)
14. Wensley, J., et al.: SIFT: Design and analysis of a fault-tolerant computer lor aircraft control. Proceedings of the IEEE 66(10), 1240-1254 (1978)