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.},
address = {New York, NY, USA},
apice = {MultipaxosAcmcs47},
articleno = 42,
author = {Robbert Van Renesse and Deniz Altinbuken},
doi = {10.1145/2673577},
eissn = {1557-7341},
issn = {0360-0300},
journal = {ACM Computing Surveys},
month = feb,
number = 3,
numpages = 36,
openalex = {W2016404663},
pages = {1--36},
publisher = {ACM},
title = {Paxos Made Moderately Complex},
url = {https://dl.acm.org/doi/10.1145/2673577},
volume = 47,
year = 2015
}