Paxos for System Builders

  title={Paxos for System Builders},
  author={Jonathan Kirsch},
This paper presents a complete specification of the Paxos replication protocol such that system builders can understand it and implement it. We evaluate the performance of a prototype implementation and detail the safety and liveness properties guaranteed by our specification of Paxos. 
Highly Cited
This paper has 34 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 26 extracted citations


Publications referenced by this paper.
Showing 1-10 of 24 references

Deconstructing Paxos

  • R. Boichat, P. Dutta, S. Frlund, R. Guerraoui
  • SIGACT News,
  • 2003
Highly Influential
5 Excerpts

A highly available paradigm for consistent object replication. Master’s thesis, Institute of Computer Science, The Hebrew

  • I. Keidar
  • 1994
Highly Influential
8 Excerpts

On the liveness and performance tradeoffs of state machine replication: A comparative analysis of Congruity, COReL, and Paxos

  • Yair Amir, Jonathan Kirsch, John Schultz
  • Technical Report CNDS-2008-3
  • 2008
1 Excerpt

Similar Papers

Loading similar papers…