为什么paxos接受者必须返回他们已经接受的任何值

Question

我正在学习麻省理工学院的6.824级课程，我有一个关于短裤的问题。当提交人向接受者发送准备时，接受者将返回一个带有n和v的prepare_ok，其中n和v的接受度最高。我想知道为什么接受者需要返回n和v？

Answer 1

简而言之，接受者必须返回v，因为如果值已经提交，那么新的提出者需要知道它是什么。没有全局的"is_committed“标志，所以proposer从至少大多数接受者那里收集所有这些值及其相关的舍入。然后，提出者将具有最高轮数的值发送给所有接受者。

正如你所看到的，当一个提出者从接受者那里收到一个值时，它总是完成另一个提出者已经开始的事情。这有点类似于许多无等待算法。