English

On the correctness of Egalitarian Paxos

Distributed, Parallel, and Cluster Computing 2019-07-31 v2
Authors: Pierre Sutra
View on arXiv ↗ PDF ↗

Abstract

This paper identifies a problem in both the TLA+ specification and the implementation of the Egalitarian Paxos protocol. It is related to how replicas switch from one ballot to another when computing the dependencies of a command. The problem may lead replicas to diverge and break the linearizability of the replicated service.

Keywords

egalitarian paxos tla+ specification protocol implementation replica divergence linearizability distributed consensus

Cite

@article{arxiv.1906.10917,
  title  = {On the correctness of Egalitarian Paxos},
  author = {Pierre Sutra},
  journal= {arXiv preprint arXiv:1906.10917},
  year   = {2019}
}

Related papers

View all related →
Distributed, Parallel, and Cluster Computing · Computer Science
Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (Extended Version)
Fedor Ryabinin, Alexey Gotsman, Pierre Sutra
2026-05-05
Distributed, Parallel, and Cluster Computing · Computer Science
Formal Verification of Multi-Paxos for Distributed Consensus
Saksham Chand, Yanhong A. Liu, Scott D. Stoller
2020-12-25
Distributed, Parallel, and Cluster Computing · Computer Science
Lecture Notes on Leader-based Sequence Paxos -- An Understandable Sequence Consensus Algorithm
Seif Haridi, Lars Kroll, Paris Carbone
2020-09-01
Distributed, Parallel, and Cluster Computing · Computer Science
Revisiting EZBFT: A Decentralized Byzantine Fault Tolerant Protocol with Speculation
Nibesh Shrestha, Mohan Kumar
2019-09-10
Distributed, Parallel, and Cluster Computing · Computer Science
Matchmaker Paxos: A Reconfigurable Consensus Protocol [Technical Report]
Michael Whittaker, Neil Giridharan, Adriana Szekeres, Joseph M. Hellerstein +3
2020-07-22
Distributed, Parallel, and Cluster Computing · Computer Science
Bipartisan Paxos: A Modular State Machine Replication Protocol
Michael Whittaker, Neil Giridharan, Adriana Szekeres, Joseph M. Hellerstein +1
2020-03-03
Distributed, Parallel, and Cluster Computing · Computer Science
Optimistic Parallel State-Machine Replication
Parisa Jalili Marandi, Fernando Pedone
2014-04-29
Distributed, Parallel, and Cluster Computing · Computer Science
Understanding Paxos and other distributed consensus algorithms
Victor Yodaiken
2022-02-15
Programming Languages · Computer Science
Paxos Made EPR: Decidable Reasoning about Distributed Protocols
Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham
2017-10-20
Programming Languages · Computer Science
Validating Traces of Distributed Programs Against TLA+ Specifications
Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz
2024-09-18
Performance · Computer Science
Contrasting Effects of Replication in Parallel Systems: From Overload to Underload and Back
Felix Poloczek, Florin Ciucu
2016-02-26
Distributed, Parallel, and Cluster Computing · Computer Science
RMWPaxos: Fault-Tolerant In-Place Consensus Sequences
Jan Skrzypczak, Florian Schintke, Thorsten Schütt
2020-04-02
Distributed, Parallel, and Cluster Computing · Computer Science
Linearizability: A Typo
Gal Sela, Maurice Herlihy, Erez Petrank
2021-07-30
Distributed, Parallel, and Cluster Computing · Computer Science
The Performance of Paxos and Fast Paxos
Gustavo M. D. Vieira, Luiz E. Buzato
2013-08-07
Distributed, Parallel, and Cluster Computing · Computer Science
Relaxed Paxos: Quorum Intersection Revisited (Again)
Heidi Howard, Richard Mortier
2022-03-08
Distributed, Parallel, and Cluster Computing · Computer Science
HT-Paxos: High Throughput State-Machine Replication Protocol for Large Clustered Data Centers
Vinit Kumar, Ajay Agarwal
2014-07-07
Software Engineering · Computer Science
Modeling the Raft Distributed Consensus Protocol in LNT
Hugues Evrard
2020-04-29
Distributed, Parallel, and Cluster Computing · Computer Science
Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms
Yanhong A. Liu, Saksham Chand, Scott D. Stoller
2020-12-25
Distributed, Parallel, and Cluster Computing · Computer Science
LARK -- Linearizability Algorithms for Replicated Keys in Aerospike
Andrew Goodng, Kevin Porter, Thomas Lopatic, Ashish Shinde +3
2025-11-04
Distributed, Parallel, and Cluster Computing · Computer Science
Paxos Consensus, Deconstructed and Abstracted (Extended Version)
Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey
2018-02-19
Distributed, Parallel, and Cluster Computing · Computer Science
Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables
Saksham Chand, Yanhong A. Liu
2020-06-30
Distributed, Parallel, and Cluster Computing · Computer Science
Optimizing egalitarian performance in the side-effects model of colocation for data center resource management
Fanny Pascual, Krzysztof Rzadca
2017-08-29
Software Engineering · Computer Science
TLA+ Proofs
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz +2
2012-08-30
Distributed, Parallel, and Cluster Computing · Computer Science
Seamless Paxos Coordinators
Gustavo M. D. Vieira, Islene C. Garcia, Luiz E. Buzato
2017-10-24
Computer Science and Game Theory · Computer Science
Vote Elicitation: Complexity and Strategy-Proofness
Vincent Conitzer, Tuomas Sandholm
2007-05-23