如何使用 Paxos 处理跳过的事件编号？

Question

如果我们正在运行 multi-paxos，那么一个节点可能会看到：

Propose(N)
Accept!(N,Vn)
Accept!(N+1,Vm)
Accept!(N+4,Vo) // huh? where is +2, +3?
Accept!(N+5,Vp)

这可能是因为：

• 有一个稳定的领导者，但该节点的本地网络断开，否则延迟 +2 和 +3。
• 出现中断，导致两次尝试提议，使得 +2 和 +3 是失败的轮次提议

分布式有限状态机上的一般操作不会通勤，因此节点应按顺序应用所有操作。这意味着节点需要能够区分这两种情况。如果提案轮次失败，则节点没有问题。如果消息丢失，则建议节点应该等到它们出现，否则尝试恢复丢失的数据（例如，请求快照以重新初始化和追赶）。

处理此问题的选项或策略是什么？它们会产生什么开销？

这个问题的灵感来自In Paxos, can an Acceptor accept a different value after it has already accepted one?

Answer 1

我可以想到两种方法来解决这个问题。

最简单的方法是让缺少 +2 和 +3 的节点返回并尝试在这些插槽中提出无操作。如果那里有决定，节点将在准备轮中学习数据。否则，将决定无操作。

另一种方法是进行带外重新学习过程。无论如何，这可能是必要的：如果一个节点在其他节点之后加入系统，它如何赶上？

或者您可以将两者结合使用。领导者可以针对其历史上的任何漏洞提出无操作，其他人可以使用重新学习过程。这就是我的 paxos 系统的工作原理。