On the correctness of Egalitarian Paxos
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2019
- DOI:
- 10.48550/arXiv.1906.10917
- arXiv:
- arXiv:1906.10917
- Bibcode:
- 2019arXiv190610917S
- Keywords:
-
- Computer Science - Distributed;
- Parallel;
- and Cluster Computing