On the correctness of Egalitarian Paxos - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Information Processing Letters Année : 2020

On the correctness of Egalitarian Paxos

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.
Fichier principal
Vignette du fichier
S002001901930184X.pdf (413.75 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03488443 , version 1 (07-03-2022)

Licence

Identifiants

Citer

Pierre Sutra. On the correctness of Egalitarian Paxos. Information Processing Letters, 2020, 156, pp.105901:1-105901:6. ⟨10.1016/j.ipl.2019.105901⟩. ⟨hal-03488443⟩
29 Consultations
98 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More