如何在paxos中派生序列号

Question

在paxos中，每个提议人独立地为其提议生成一个序列号。因此，让我们假设一个提出者不断生成更高编号的序列号。这个提出者不会因为生成更高的序列号而使其他提出者的提案无效吗？也就是说，在paxos中，有没有可能总是有一个提议者占主导地位？

Answer 1

如果你的提倡者是acting badly，那将会是一个问题。在实践中，提出者遵循一个简单的协议来选择定序器。

例如，在一个系统中，我维护了一个允许的建议书列表，该列表与数据一起复制，因此所有的建议书都有一个位置p。提出者总是像这样选择它的i序列号：seqno(i, p) = i * len(proposers) + p。因此，每个提出者都有一组唯一的(交错的)序列号可供选择。