algorithm - 在 "Part-time Parliament"为什么使用法令 n-3 中的成员资格来添加或删除成员？

Question

“兼职议会”第 3.3.6 节建议可以安全地更改议会成员(以及决策的法定人数)“通过让法律指定用于通过法令的议会成员从第 n-3 号法令开始。

翻译成更常见的 MultiPaxos 术语，这意味着接受器集成为复制状态机状态的一部分，由添加或删除接受器的提议更改。时隙 N 的法定人数将从决定时隙 N-3 的状态中定义的接受器集合中获取。

Lamport 没有为这个决定提供任何理由，虽然他的下一段说必须小心处理更改并描述了算法的最终失败，但它失败的原因与这个特定问题无关。

这是确保一致性的充分保障吗？如果是这样，有哪些文献支持它？

Answer 1

我维护一个 Paxos 系统，它是几个大型网络服务的核心组件。系统运行 Basic Paxos，而不是 Multi-Paxos。在该系统中，可以像任何其他转换一样提议对接受器集的更改。 paxos 实例 N 的接受器集是在 N-1 中批准的。

我不确定是否有任何文献支持这一点，但看到它有效是微不足道的。因为 Paxos 保证转换 N-1 的共识，所以保证主机同意哪个可以充当转换 N 的接受者。

然而，Multi-Paxos 和 Raft 使事情变得有点复杂--或任何流水线共识算法。根据Raft video lecture ，这一定是一个两阶段的方法，但我不记得他解释过原因。