Paxos Made Moderately Complex
Abstract
This article explains the full reconfigurable multidecree Paxos (or multi-Paxos) protocol. Paxos is by no means a simple protocol, even though it is based on relatively simple invariants. We provide pseudocode and explain it guided by invariants. We initially avoid optimizations that complicate comprehension. Next we discuss liveness, list various optimizations that make the protocol practical, and present variants of the protocol.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Feb 17, 2015
- Source ID
- 10.1145/2673577
Entities
People
- Deniz Altinbuken
- Robbert Van Renesse
Organizations
- Air Force Office of Scientific Research
- Cornell University
- Defense Advanced Research Projects Agency
- National Science Foundation