在paxos中,每个提议者独立地为其提议生成序列号。因此,假设提议者继续生成更高编号的序列号。这个提议者不会因为他产生更高的序列号而使其他提议者的提案无效吗?即paxos中是否有可能一个提议者总是占主导地位?
如果你的提议者是acting badly,这将是一个问题。在实践中,提议者遵循用于选择序列发生器的简单协议。
例如,在一个系统中,我维护了一个允许的提议者列表与数据一起被复制,因此所有提议者都有一个位置p
。提议者总是会选择像这样的i
th序列号:seqno(i, p) = i * len(proposers) + p
。因此,每个提议者都有一组唯一的(交错的)序列号可供选择。