在Paxos made simple Lamport 中描述了算法的阶段 2 (a) 如下:
如果提议者从大多数接受者那里收到对其准备请求(编号为 n)的响应,那么它会向这些接受者中的每一个发送一个接受请求,以获取编号为 n 且值为 v 的提议,其中 v 是最高-在响应中编号的提案,或者如果响应报告没有提案,则为任何值。
- 这是否意味着提议者可以在收集到大多数接受者的响应后立即发送接受请求,而不管他们的提议编号如何?(我发现引用的强调部分暗示了这一点,因为所有相同编号的提案都应该具有相同的价值,对吧?)
- 或者提议者是否需要来自大多数接受者的具有相同提议编号的响应?(意味着编号为m(小于n)的响应不计入编号为n的响应的多数)