分布式系统原理-CAP定理，说起来一句话，实际坑不少

wb_snail

已于 2022-11-07 08:58:58 修改

阅读量390

点赞数

分类专栏：分布式文章标签： CAP CAP定理 CAP的坑

于 2022-11-05 19:10:46 首次发布

本文链接：https://blog.csdn.net/wb_snail/article/details/127707285

版权

分布式专栏收录该内容

9 篇文章 0 订阅

订阅专栏

分布式系统原理系列目录

网络分区时，线性一致性与可用性的矛盾

考虑一个一主一从的存储系统，主从通过网络同步数据，从节点也提供读服务

由于网络异常的可能性必然存在，一旦发生上图中的这种网络分区情况(分区不一定是指网线/网卡/交换机问题，持续丢包、连接中断、网络拥塞这些都算，因为这些问题将⽹络两端的节点孤⽴开来，这就是所谓的“⽹络分区”现象)，master上的数据没法同步到slave上

如果我们希望系统保证强一致性(就是读取操作可以读到最新写入成功的数据)，那就不能让Slave的提供读服务，也就是要牺牲掉Slave的可用性
如果我们希望系统高可用，那些连接到slave的节点，就读不到最新写入成功的数据，就没法保证强一致性

也就是说，如果发生了网络分区，我们想要线性一致性，就没法保证可用性；想要可用性，就没法保证线性一致性。这就是CAP定理

CAP理论

如下图，C代表一致性、A代表可用性，P代表分区容忍性，这三个性最多只能保证两个。因为在分布式系统中分区是必然发生的，所以P其实并不是一个可选项，所以P必须要，然后在AC中二选一，我们经常看到的AP架构就是选了A的，CP架构就是选了C的

CAP定理说起来就是一句话的事情哦，但是里面其实有不少值得注意的点

CAP是加州⼤学伯克利分校的计算机科学家埃⾥克·布鲁尔（Eric Brewer）在2000年提出的⼀个猜想，一开始只是个猜想。后来在2002年，麻省理⼯学院有两个研究员联合发表了CAP猜想的证明，之后CAP就成为了分布式计算领域的⼀个定理

布鲁尔在提出CAP猜想的时候，并没有给出Consistency、Availability、Partition Tolerance三个单词的明确定义，所以解释CAP的文章非常多，在这些解释CAP定理的文章中，Robert Greiner(罗伯特·格雷纳)的文章比较有参考意义，他个人对CAP的理解也不是一步到位的哦，也是经历了一个过程，它先后写了两篇文章来阐述CAP理论，第一篇被他标记为过时(而很多文章参考的就是第一篇)。第二篇文章做了很多修正

CAP的讨论范围

首先是CAP定理的讨论范围，范围很重要，脱离了这个范围再谈CAP那就是耍流氓了：

一个互相连接并共享数据的节点集合(分布式系统不一定会互联和共享数据，比如memcache集群，它就不是CAP讨论的对象；而mysql集群就是CAP讨论的对象)
CAP关注的是对数据的读写操作，而不是所有功能

C/A/P的定义

一致性Consistency：站在客户端角度看到的一致性，读操作保证能返回最新的写操作结果，对应我们前面说的一致性级别，就是不太严格的强一致性

可用性Availability：系统可以在合理的时间内返回用户合理的结果，不能超时、不能出错、结果正确。这里的描述不是定量的，我们也不用过多纠结，可以简单理解为系统可以正常提供服务

分区容忍性Partition Tolerance：它的定义是当网络分区出现后，系统能够继续履行职责。你会发现这说的不就是可用性吗？很多资料解释来解释去也都还是可用性的意思，迷惑性挺强。其实分区压根就不是一个可选项，不管咋样，它都会发生，所以这里是很有误导性的。我们就不要过多纠结他的定义了。就这样理解，一旦发生分区，强一致性和可用性只能二选一