Paxos 问题：如果提议者失败，会发生什么？

Question

我正在经历基本 Paxos 算法可以与最终结果达成一致的各种场景。有一种情况我无法解释结果。

有两个提议的 P1 P2，三个受体 A1 A2 A3。 P1 会提出价值 u，P2 会提出价值 v。

1. P1(send id n) 完成prepare步骤，从A1 A2 A3接收所有promise，然后在A1 A2 A3中全部存储n为id。

2. P2(send id n+1) then A1 A2 A3 store n+1 as id

3. P2 下降。

4. P1 向 A1 A2 A3 发送带有 (n, u) 的接受请求，当然 A1 A2 A3 会拒绝该请求，不幸的是同时 P2 已经宕机了。

这样的提议者失败案例，我们下一步该怎么做？又一轮新的 Paxos？

Answer 1

做一个新的paxos轮，这正是它的目的。

提议者在 Prepare 消息中发送他们的值，因此接受者将在下一轮 paxos 中将 P2 的值发送给 P1。

Answer 2

几年前我学习这个时，我复习了我所有的课堂笔记和材料。对于 Paxos 的正确实现，它必须是容错的，并且在提议者和接受者双方都永远不会终止。由于问题是关于提议者的容错性，因此我将重点关注它们：

这个问题的一个解决方案（但不是唯一的一个）是复制提议者，每个提议者类型有几个实例，其中一个是开始时选择的领导者/主人，并且是发送者提案。如果 master 失败，另一个可能会在新的选举中被决定，或者使用在初始化时建立的优先级，作为新的 master 并取代它的位置。

在这种情况下，您可以有 3 个 P2 实例：P2-1、P2-2、P2-3，默认情况下 P2-1 是领导者，如果 P2-1 失败，则 P2-2 可以升级。

必须记住，acceptors 可以请求 P2 的确认，而 P2-2 仍处于升级为新领导者的过程中，因此在超时后设置重试可能是一个好主意，给P2-2 有足够的时间做好准备。

Answer 3

“Paxos 变得简单”Lamport

"很容易构建一个场景，其中两个提议者每个人都不断发布一系列提案，数量不断增加，但没有一个被选中。提议者 p 完成第 1 阶段的提议编号 n1。然后另一个提议者 q完成第 1 阶段的提案编号 n2 > n1。提案者 p 对编号为 n1 的提案的第 2 阶段接受请求被忽略，因为接受者都承诺不接受任何编号小于 n2 的新提案。因此，提案者 p 然后开始并完成阶段1 用于新的提案编号 n3 > n2，导致第二阶段 2 接受提案者 q 的请求被忽略。以此类推。"

从描述第 4 步： (A1,A2,A3) 会回复 P1 的接受请求，将 id+1 发送给 P1，然后通知 P1 并增加 id -> id+2。 P1 发送到 (A1,A2,A3) 再次使用 id+2 准备请求。为了避免 P1 和 P2 之间的活锁，更好的方法应该是只有一个提议者（参考“Paxos Made Simple”的 2.4 章节）。