分布式系统理论

分布式环境下,我们无法保证网络的正常连接和信息的传送,于是发展出了 CAP/FLP/DLS 这三个重要的理论:

  • CAP: 分布式计算系统不可能同时确保一致性(Consistency)、可用性(Availablity)和分区容忍性(Partition)。

  • FLP: 在异步环境中,如果节点间的网络延迟没有上限,只要有一个恶意的节点存在,就没有算法能在有限的时间内达成共识。

  • DLS: 网络延时可以保证小于已知时间的同步模型中的协议可以 100% 容错,网络延时有界限但是我们并不知道在哪里的部分同步网络模型可以容忍拜占庭错误,异步模型中的确定性的协议(没有网络延时上限)不能容错。