On the correctness of Egalitarian Paxos

@article{Sutra2020OnTC,
  title={On the correctness of Egalitarian Paxos},
  author={Pierre Sutra},
  journal={Inf. Process. Lett.},
  year={2020},
  volume={156},
  pages={105901}
}
  • Pierre Sutra
  • Published 2020
  • Computer Science, Mathematics
  • Inf. Process. Lett.
  • 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. 

    Figures and Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-4 OF 4 CITATIONS

    References

    Publications referenced by this paper.
    SHOWING 1-7 OF 7 REFERENCES

    Fast Paxos

    VIEW 5 EXCERPTS
    HIGHLY INFLUENTIAL

    The part-time parliament

    VIEW 1 EXCERPT

    Generalized Consensus and Paxos

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    Egalitarian Distributed Consensus

    • I. Moraru
    • Ph.D. thesis, School of Computer Sciences, Carnegie Mellon University
    • 2014