one2excellent的博客

一致性问题是分布式领域最为基础也是最重要的问题。一般来讲，分布式系统中的一致性按照对一致性要求的不同，主要分为强一致性，弱一致性这两大类，前者是基于 safety 的概念，后者是基于 liveness 的概念。强一致性包含线性一致性和顺序一致性，其中前者对 safety 的约束更强，也是分布式系统中能保证的最好的一致性。如果一个并发执行过程所包含的所有读写操作能够重排成一个全局线性有序的序列，并且这个序列满足以下两个条件，那么这个并发执行过程就是满足顺序一致性的：线性一致性的定义，与顺序一致性非常相似，也是

分布式中的拜占庭问题作为典型问题，充分理解此问题对于分布式环境的共识的理解能够更进一步。本文借助战国苏秦合纵六国灭秦国的故事探讨拜占庭将军问题，充分展示拜占庭将军问题和分布式共识的关系。以此引出分布式共识问题在分布式中的重要地位。

CAP理论对分布式系统的特性做了高度抽象，将其抽象为并对特征间的冲突做了总结：CAP不可能三角。本篇文章介绍分布式的CAP理论，参考此篇以加深对于分布式三要素CAP的理解

本文总结了网络分区出现的原因，已经常见的基于集群的网路分区如：集中式集群的网络分区、非集中式集群的网络分区。同时给出了四种解决网络分区的方法。