有人对 Multi-Paxos 有任何建议吗？ [关闭]

Question

我非常了解 Raft 是什么，并在MIT6.824 distributed system 中实现了它。我也知道什么是基本的 Paxos，我还没有实现它，所以我无法掌握它的所有细节。对于Multi-Paoxs，我更加困惑，即为什么它可以消除很多Prepare RPC？我知道答案应该是 Multi-Paxos 可以有一个固定的领导者以及来自其他对等方的noMoreAccepted 响应以确定是否减少Prepare RPC。但是，我无法详细了解它的工作原理和方式

我想为 Multi-Paxos 获得更多一些建议、文章、示例代码或任何可以帮助的内容，

1. 我已经阅读了Paxos made live 和Paxos made simple，这两篇论文可以让我大致了解什么是 Paxos 以及它是如何工作的
2. https://www.youtube.com/watch?v=YbZ3zDzDnrw&t=3035s&ab_channel=DiegoOngaro我也看了好几遍，讲的很好，但是细节不多

Answer 1

回答您的具体问题：

为什么它可以消除大量的 Prepare RPC？

在Paxos Made Simple 第 10 页的论文中说：

新选择的领导者为无数个共识算法实例执行阶段 1——在上面的场景中，实例 135-137 和所有大于 139 的实例。

也就是说，如果领导者使用选票号n 广播Prepare(135,n)，这是一个准备实例135，那么可以将其定义为适用于所有尚未修复的>=135 实例是有效的。我们可以推断，任何节点都可以安全地为我们的日志流中无限数量的未固定位置“发送垃圾邮件”准备消息。这是因为对于每个位置，每个接受者都使用该位置的 Paxos 规则。我们可以将无限的准备消息集压缩为一个适用于所有更高的未固定位置的消息。然后，我们消除了除了一个为稳定领导者任期准备的消息之外的所有消息。所以这是非常棒的优化。

您询问了任何示例代码。我在 Scala 中使用函数式编程编写了 multi-paxos 的实现，旨在忠实于 Paxos Made Simple 的论文 https://github.com/trex-paxos/trex。核心状态是PaxosData，消息协议在PaxosProtcol的底部，算法是PaxosAlgorithm中的一组消息匹配函数。该算法将当前不可变状态和不可变消息作为输入，并为节点输出下一个不可变状态。常见行为被编写为具有完整单元测试的部分函数。这些部分函数组成完整的函数，供领导者、追随者和候选领导者使用。 this blog 有一篇文章。

当优化加速日志复制时，它会在基本集合中添加额外的消息。这些涉及到 Lamport 在他的论文中没有涉及的一些实现细节。一个例子是否定确认用于在节点之间传递信息，以尽量避免由于节点和领导者之间只有一个失败的网络链接而中断稳定的领导者。 TRex 试图将这些功能保持在最低限度，以创建一个基本但完整的解决方案。

一个您可能会发现对 Multi-Paxos 有帮助的答案是这个讨论为什么 Multi-Paxos 被称为 https://stackoverflow.com/a/26619261/329496

还有一篇关于原始 Part-Time Parliament 论文如何使用领导者，还描述了运行多 Paxos 的稳定领导者 https://stackoverflow.com/a/46012211/329496

最后，你可能会喜欢我对 Paxos 的辩护帖子The Trial Of Paxos Algorithm。