On the correctness of Egalitarian Paxos

Pierre Sutra

doi:10.1016/j.ipl.2019.105901

On the correctness of Egalitarian Paxos

Pierre Sutra

Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Résumé

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.

langue originale	Anglais
Numéro d'article	105901
journal	Information Processing Letters
Volume	156
Les DOIs	https://doi.org/10.1016/j.ipl.2019.105901
état	Publié - 1 avr. 2020

Accès au document

10.1016/j.ipl.2019.105901

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@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

Résumé

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation