论 Paxos 中连续选票的意义
分布式、并行与集群计算
2020-06-04 v1
摘要
在本文中，我们检视 Paxos 协议并展示如何利用选票（ballot）的离散编号来弱化学习条件。具体而言，我们定义连续选票的概念，并由此定义连续法定人数（Consecutive Quorums）。连续法定人数弱化了学习准则，使得学习者无需来自多数接受者在同一选票中发送的匹配 accept 消息即可学习一个值。我们证明此修改保留了 Paxos 原有的安全性和活性保证。我们定义了封装离散连续选票属性的 Consecutive Paxos。为确立这些结果的正确性，除纸面证明外，我们还正式验证了构建于优化版 Multi-Paxos 之上的状态机复制库的正确性，该 Multi-Paxos 经修改以反映 Consecutive Paxos。
引用
@article{arxiv.2006.01885,
title = {On the Significance of Consecutive Ballots in Paxos},
author = {Eli Goldweber and Nuda Zhang and Manos Kapritsos},
journal= {arXiv preprint arXiv:2006.01885},
year = {2020}
}
备注
19 Pages