Deconstructing paxos

  title={Deconstructing paxos},
  author={Romain Boichat and Partha Dutta and Svend Fr\olund and Rachid Guerraoui},
  journal={SIGACT News},
The celebrated Paxos algorithm of Lamport implements a fault-tolerant deterministic service by replicating it over a distributed message-passing system. This paper presents a deconstruction of the algorithm by factoring out its fundamental algorithmic principles within two abstractions: an eventual leader election and an eventual register abstractions. In short, the leader election abstraction encapsulates the liveness property of Paxos whereas the register abstraction encapsulates its safety… CONTINUE READING
Highly Cited
This paper has 55 citations. REVIEW CITATIONS


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

56 Citations

Citations per Year
Semantic Scholar estimates that this publication has 56 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-8 of 8 references

Reconstructing Paxos

  • R. Boichat, P. Dutta, S. Frølund, R. Guerraoui
  • Distributed Computing Column of ACM SIGACT News…
  • 2003
Highly Influential
4 Excerpts

Fault-tolerant broadcasts and related problems

  • V. Hadzilacos, S. Toueg
  • S. Mullender, editor, Distributed Systems, ACM…
  • 1993
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…