分布式理论梳理——FLP定理

    FLP Impossibility（FLP不可能性）是分布式领域中一个非常著名的定理。它给出了一个令人吃惊的结论：在异步通信场景，即使只有一个进程失败了，没有任何算法能保证非失败进程能够达到一致性！这意味着，在假设网络可靠、节点只会因崩溃而失效的最小化异步模型系统中，仍然不存在一个可以解决一致性问题的确定性算法。

    这是为什么呢？如果一个节点的进程停止工作了，可其它节点并不知晓，它们认为是消息延迟或者这个进程特别慢，它们仍然会尝试读取消息。

    1）系统模型

    FLP定理基于下面几点假设：

• 异步通信：
  异步通信与同步通信的最大区别是没有时钟、不能时间同步、不能使用超时、不能探测失败、消息可任意延迟、消息可乱序；
• 通信健壮：
  只要进程非失败，消息虽会被无限延迟，但最终会被送达，且消息仅会被送达一次（无重复）；
• Fail-Stop模型：
  进程失败如同宕机，不再处理任何消息。相对Byzantine式模型，不会产生错误消息；
• 协议约束：
  不要求所有非故障进程都达成一致，只要有一个进程进入决定状态就算达成一致，且一致结果只能是属于{0，1}；
• 失败进程数量：
  最多只有一个进程失败或单节点宕机；

    2）推导证明

    假设有A、B、C、D、E五个进程