科普 | 分布式共识的工作原理，Part-3：使用同步假设的共识算法

Part-1：分布式系统的定义及属性 Part-2：共识问题与 FLP 不可能定理(接上文）在分布式系统中，如何解决 FLP 不可能问题？方法1：使用同步性假设我知道你们在嘀咕：这究竟是啥？让我们回头审视一下 FLP 不可能性问题。这里有个新的视角：FLP 不可能性表明，如果我们无法推进整个系统，就无法达成共识。换言之，如果消息是异步发送的，termination 条件就无法得到保证。回忆下，要达成共识的其中一项条件是“ termination ”，也就是说每个非故障节点最终必须选定某个输出值。但是在异步通信网络里，我们不知道消息何时会被发送，我们怎么保证每个非故障进程都选定了一个输出值？要澄清一下，这个发现没有证明共识不能达成。而且——因为消息异步传递，所以“不 ………………………………