2015/02/17 by Robbert van Renesse, Deniz Altınbüken · 2 citations
Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Formal Methods in Verification
paper · doi:10.1145/2673577
openalex publication_date 2015/02/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01
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.