部分同步存在下的共识

审核人：杰森步态

当正确执行的处理器决定相同的值时，分布式处理器集就某个值达成共识。此结果取决于以下条件：如果这些正确的处理器以相同的值开始，那么它们必须就结果达成一致，并且存在错误的处理器并不妨碍正确处理器之间达成一致。同步系统具有已知的消息传输时间和处理器速度上限。对于部分同步系统，上限存在但不存在先验已知，或边界已知，但仅在未来某个未知时间有效。对于处理器同步系统，众所周知，消息传输时间将遵循已知界限的时刻的存在等价于以下条件安全性（即，正确的处理者不会不同意并做出有效的决定）和终止（即，最终将由正确的处理器决定）。作者研究了部分同步系统和各种故障模型的容错一致性协议。这些协议在容错数量方面是最优的。这个同步模型的弹性是模型中任何协议都可以容忍的最大故障数。如果通信或处理器操作是异步的，则已知不存在弹性共识协议。因此，研究部分同步系统具有重要意义。在作者使用的一般方法中，每个处理器都会向其他处理器发送消息，以查看它们是否与找到的值一致。处理器在收到来自其他处理器的足够多的确认时决定一个值。协议依赖于由多个处理器维护的分布式时钟；这个数字在可容忍的故障数量上是线性的。作者的协议在系统参数的时间多项式上达到一致，而达到一致的通信开销在系统参数上也是多项式。