在共识算法理论基础方面，1985 年，著名的 FLP 不可能定理 被提出。该定理证明，在异步网络的环境下，只要存在节点发生故障，就不可能存在具备最终确定性的共识算法。为了能设计出最终一致性的共识算法，1988 年，Dwork 与 Lynch 等人提出了半同步网络的模型 ，该模型提出一种界于同步网络与异步网络之间的网络模型。在半同步网络模型中，消息可以在能够预测的延迟内传播，但在某些情况下网络可能会发生波动，发生波动时共识可能会被阻塞，但是经过可预测的时间后，最终会恢复正常的共识状态，该时间长度被称为 GST（Global Stabilization Time）。 1989 年，Lamport 提出了一个在部分副本宕机情况下仍能正常工作的主从备份算法 ，这就是最早的 Paxos。Paxos 最早保证了异步网络中分布式集群的安全性，并在同步状态时保证分布式系统活性。不过，基础的 Paxos 协议由于需要先竞选提案权，再对提案进行共识，在此期间存在发生活锁的风险，最终确定性没有得到保证。为了解决该问题，作者也同时提出了一种基于主从结构的 Multi-Paxos 方案。通过一轮基础的 P...