3 papers
cs.DC2025
Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (Extended Version)
Fedor Ryabinin, Alexey Gotsman, Pierre Sutra
Classical state-machine replication protocols, such as Paxos, rely on a distinguished leader process to order commands. Unfortunately, this approach makes the leader a single point…
cs.DC2025
Tight Bounds on Channel Reliability via Generalized Quorum Systems (Extended Version)
Alejandro Naser-Pastoriza, Gregory Chockler, Alexey Gotsman +1
Communication channel failures are a major concern for the developers of modern fault-tolerant systems. However, while tight bounds for process failures are well-established, exten…
cs.DC2025
Revisiting Lower Bounds for Two-Step Consensus
Fedor Ryabinin, Alexey Gotsman, Pierre Sutra
A seminal result by Lamport shows that at least processes are required to implement partially synchronous consensus that tolerates process failures and ca…