论平等主义 Paxos 的正确性
分布式、并行与集群计算
2019-07-31 v2
摘要
本文指出了平等主义 Paxos 协议的 TLA+ 规范与实现中均存在的一个问题。该问题与副本在计算命令依赖关系时如何从一个选票切换到另一个选票有关。该问题可能导致副本发生分歧，并破坏复制服务的线性一致性。
引用
@article{arxiv.1906.10917,
title = {On the correctness of Egalitarian Paxos},
author = {Pierre Sutra},
journal= {arXiv preprint arXiv:1906.10917},
year = {2019}
}