1.1 CAP理论的含义
Cap理论表示在分布式系统中一致性(C)、可用性(A)和分区容错性(P)最多只能同时满足两个。
一致性:客户端更新数据成功后,在任意时刻,在系统任意对外提供服务的节点,读取到的数据都是最新写入的数据。(强一致性)。
可用性:当系统出现异常时，仍能对外提供服务。
分区容错:当出现网络分区时，系统的容错能力(机器之间出现网络故障,不能正常通信)。
证明cap理论:有两台机器M1和M2,为保持一致性,两台机器的数据相同,现在客户端对M1的数据进行更新,但M1和M2之间出现网络故障(分区),M的最新数据无法同步到M2,导致M1的数据变为v1,M2仍为v0。现有一客户端向M2发送数据读取请求,对此请求的处理有两种选择：
- 返回旧数据v0,满足可用性,但是却违反了一致性。
- 阻塞此次读操作,直至网络故障恢复,M1的数据v1同步到M2中,满足一致性，但违反了可用性。
由于分布式系统天生具有分区的特性，所以一定要满足P，只能在CA中选其一。
Cap理论说明了想设计完全满足强一致性、可用性和分区容错性的分布式系统是不切实际的,只能在三者之间权衡,为分布式系统的设计提供理论指导。
1.2 一致性的分类
一致性可从客户端和服务端两个角度来看，客户端一致性定义客户端怎样和何时看到数据更新，服务端一致性定义更新时数据如何流经系统及系统对更新有何保证。
客户端一致性分为以下几种：
1. 强一致性:数据更新之后，任何客户端在后续的访问中都能访问到最新版本的数据。
2. 弱一致性：数据更新之后，不能保证客户端的访问能访问到最新更新之后的数据，数据更新到所有客户端可见这段时间称为不一致窗口。
3. 最终一致性:最终一致性是种特殊的弱一致性，假如更新数据之后没有后续的对此数据对象的更新操作，系统保证一段时间之后任何客户端对此数据对象的访问都能返回最后一次更新的数据。
最终一致性有如下变种:
1. 因果一致性: 如果进程A向进程B传达它已更新数据项，则进程B的后续访问将返回更新的值，并且保证写入将取代先前的写入。进程C的访问与进程A没有因果关系，遵循正常的最终一致性规则。
2. 读已之所写一致性: 进程A在更新数据项之后始终访问更新的值，并且永远不会看到较旧的值。这是因果一致性模型的特例
3. 会话一致性:是读已之所写的实际应用版本,进程对系统的访问存在与一个会话上下文中,在此会话中的访问遵循读已之所写一致性。
4. 单调读一致性:进程访问某一数据对象的值之后，此进程后续的访问都不会返回更旧版本的值。
5. 单调写一致性:系统保证相同进程的一系列写操作是序列化有序的。
同一个系统中，可以同时满足多种一致性,例如读已之所写和单调读一致性是常用的组合方案,这两种一致性使系统更易使用。
服务端一致性:
N=存储数据副本的结点数量
W=在更新完成之前，需要确认更新成功的副本数量。
R=当读操作访问数据对象，需要访问的副本数量
如果W+R>N,写副本和读副本会出现重叠,能保证一定能读到更新后的数据对象,从而保证强一致性。例如:在实现了primary-backup关系数据库管理系统中,同步副本技术N=2,W=2,R=1,能保证强一致性;异步副本方式N=2,W=1,R=1, R+W=N,一致性不能得到保证。
如果W+R<=N, 那么不能保证强一致性，只能是弱一致性或最终一致性。如在主备RDBMS中，使用异步同步副本，并开启从副本读功能的方式，那么N=2, W=1和R=1。在这种情况下，R+W=N, 一致性不能得到保证。
1.3 CAP理论的变种(BASE理论)
BASE理论由CAP理论演化而来，是工业界对分布式系统实践的总结，其核心思想是即使无法达到强一致性，也要保证满足最终一致性。
BASE是Basically Available(基本可用）、Soft state(软状态）和Eventually consistent(最终一致性）三个短语的简写。
基本可用:当系统发生不可预知故障时，允许损失部分可用性，例如:部分机房故障，允许查询时间变长(时间上的损失),系统高峰期为保证系统的稳定性,将部分用户请求引导到降级页面(功能上的损失)。
软状态:允许系统中的数据存在中间状态，该中间状态不会影响系统的整体可用性,即允许多个副本间的同步存在延时。
最终一致性:系统中数据的副本经过一段时间的同步之后，最终能达到一致性状态，不要求强一致性。
参考文献
[1] 分布式系统的CAP理论.https://www.hollischuang.com/archives/666
[2] Vogels W. Eventually consistent[J]. Communications of the ACM, 2009, 52(1): 40-44.
[3] 分布式系统原理九：CAP理论和BASE理论.http://feixiao.github.io/2017/03/14/fbsxt9/