On the correctness of Egalitarian Paxos

Pierre Sutra

doi:10.1016/j.ipl.2019.105901

On the correctness of Egalitarian Paxos

Pierre Sutra

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Article number	105901
Journal	Information Processing Letters
Volume	156
DOIs	https://doi.org/10.1016/j.ipl.2019.105901
Publication status	Published - 1 Apr 2020

Keywords

Consensus
Distributed systems
Fault tolerance
State-machine replication

Access to Document

10.1016/j.ipl.2019.105901

Cite this

@article{55320a5e88e74717a01a80e34997100d,

title = "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.",

keywords = "Consensus, Distributed systems, Fault tolerance, State-machine replication",

author = "Pierre Sutra",

note = "Publisher Copyright: {\textcopyright} 2019 Elsevier B.V.",

year = "2020",

month = apr,

day = "1",

doi = "10.1016/j.ipl.2019.105901",

language = "English",

volume = "156",

journal = "Information Processing Letters",

issn = "0020-0190",

}

TY - JOUR

T1 - On the correctness of Egalitarian Paxos

AU - Sutra, Pierre

PY - 2020/4/1

Y1 - 2020/4/1

N2 - 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.

AB - 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.

KW - Consensus

KW - Distributed systems

KW - Fault tolerance

KW - State-machine replication

UR - https://www.scopus.com/pages/publications/85077111096

U2 - 10.1016/j.ipl.2019.105901

DO - 10.1016/j.ipl.2019.105901

M3 - Article

AN - SCOPUS:85077111096

SN - 0020-0190

VL - 156

JO - Information Processing Letters

JF - Information Processing Letters

M1 - 105901

ER -

On the correctness of Egalitarian Paxos

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this