架构第7章 CAP
分布式系统的三个指标:CAP理论
CAP的具体细节
ACID /BASE 理论
本文来自于《极客时间》- 从0开始学架构
Consistency 一致性:
写操作之后的读操作，必须返回该值
Availability 可用性:
只要收到用户的请求，服务器就必须给出回应
Partition tolerance 分区容错:
区间通信可能失败。比如，一台服务器放在中国，另一台服务器放在美国，这就是两个区，它们之间可能无法通信。
image.png
CAP理论
CAP理论定义是三个要素中只能取两个。
分布式系统中，网络本身无法做到100%可靠，有可能出故障，所以P(分区容忍)是一个必然的现象，总是成立。
CAP 定理告诉我们，剩下的 C 和 A 无法同时做到。
因此，分布式系统理论上不可能选择CA架构，只能选择CP或者AP架构。
CP
如图所示，为保证一致性，当发生分区现象后，N1节点上的数据已经更新到y，但由于N1和N2之间的复制通道中断，数据y无法同步到N2，N2节点上的数据还是x。
这时客户端C访问N2时，N2需要返回Error，提示客户端C“系统现在发生了错误”，这种处理方式违背了可用性(Availability)的要求，因此CAP三者只能满足CP。
image.png
AP
如图所示，为保证可用性，当发生分区现象后，N1节点上的数据已经更新到y，但由于N1和N2之间的复制通道中断，数据y无法同步到N2，N2节点上的数据还是x。
这时客户端C访问N2时，N2将当前自己拥有的数据x返回给客户端C了，而实际上当前最新的数据已经是y了，这就不满足一致性(Consistency)的要求了，因此CAP三者只能满足AP
注 意:这里N2节点返回x，虽然不是一个“正确”的结果，但是一个“合理”的结果，因为x是旧数据，并不是一个错乱的值，只是不是最新的数据而已。
image.png
综上所述，无法同时做到一致性和可用性。
系统设计时只能选择一个目标。如果追求一致性，那么无法保证所有节点的可用性；如果追求所有节点的可用性，那就没法做到一致性。
问题：在什么场合，可用性高于一致性？
举例来说，发布一张网页到 CDN，多个服务器有这张网页的副本。后来发现一个错误，需要更新网页，这时只能每个服务器都更新一遍。
一般来说，网页的更新不是特别强调一致性。短时期内，一些用户拿到老版本，另一些用户拿到新版本，问题不会特别大。
当然，所有人最终都会看到新版本。所以，这个场合就是可用性高于一致性。
CAP的具体细节
-
CAP关注的粒度是数据，而不是整个系统。
在实际设计过程中，每个系统不可能只处理一种数据，而是包含多种类型的数据，有的数据必须选择CP，有的数据必须选择AP。
而如果我们做设计时，从整个系统的角度去选择CP还是AP，就会发现顾此失彼，无论怎么做都是有问题的。
案例：
最简单的用户管理系统，用户管理系统包含用户账号数据(用户ID、密码)、用户信息数据(昵称、兴趣、爱好、性别、自我介绍等)。
通常情况下，用户账号数据会选 择CP，而用户信息数据会选择AP，如果限定整个系统为CP，则不符合用户信息数据的应用场景;如果限定整个系统为AP，则又不符合用户账号数据的应用场景。
所以在CAP理论落地实践时，我们需要将系统内的数据按照不同的应用场景和要求进行分类，每类数据选择不同的策略(CP还是AP)，而不是直接限定整个系统所有数据都是同一策略。 -
CAP是忽略网络延迟的
当事务提交时，数据能够瞬间复制到所有节点。
但实际情况下，从节点A复制数据到节点B， 总是需要花费一定时间的。如果是相同机房，耗费时间可能是几毫秒;如果是跨地域的机房，例如北京机房同步到广州机房，耗费的时间就可能是几十毫秒。
这就意味着，CAP理论 中的C在实践中是不可能完美实现的，在数据复制的过程中，节点A和节点B的数据并不一致。
不要小看了这几毫秒或者几十毫秒的不一致，对于某些严苛的业务场景，
例如和金钱相关的用户余额，或者和抢购相关的商品库存，技术上是无法做到分布式场景下完美的一致性 的。而业务上必须要求一致性，因此单个用户的余额、单个商品的库存，理论上要求选择CP而实际上CP都做不到，只能选择CA。也就是说，只能单点写入，其他节点做备份，无法 做到分布式情况下多点写入。
需要注意的是，这并不意味着这类系统无法应用分布式架构，只是说“单个用户余额、单个商品库存”无法做分布式，但系统整体还是可以应用分布式架构的。
案例：
常见的将用户分区的分布式架构
image.png
这样的设计有一个很明显的问题就是某个节点故障时，这个节点上的用户就无法进行读写操作了，但站在整体上来看，这种设计可以降低节点故障时受影响的用户的数量和范围，毕 竟只影响20%的用户肯定要比影响所有用户要好。
这也是为什么挖掘机挖断光缆后，支付宝只有一部分用户会出现业务异常，而不是所有用户业务异常的原因。
-
正常运行情况下，不存在CP和AP的选择，可以同时满足CA。
CAP理论告诉我们分布式系统只能选择CP或者AP，但其实这里的前提是系统发生了“分区”现象。如果系统没有发生分区现象，也就是说P不存在的时候(节点间的网络连接一切正常)，我们没有必要放弃C或者A，应该C和A都可以保证，
这就要求架构设计的时候既要考虑分区发生时选择CP还是AP，也要考虑分区没有发生时如何保证CA。
同样以用户管理系统为例，即使是实现CA，不同的数据实现方式也可能不一样:
用户账号数据可以采用“消息队列”的方式来实现CA，因为消息队列可以比较好地控制实时性，但实现起来就复杂一些;
而用户信息数据可以采用“数据库同步”的方式来实现CA，因为数据库的方式虽然在某些场景下可能延迟较高，但使用起来简单。 -
放弃并不等于什么都不做，需要为分区恢复后做准备。
CAP理论告诉我们三者只能取两个，需要“牺牲”(sacrifced)另外一个，这里的“牺牲”是有一定误导作用的，因为“牺牲”让很多人理解成什么都不做。
实际上，CAP理论的“牺牲”只 是说在分区过程中我们无法保证C或者A，但并不意味着什么都不做。因为在系统整个运行周期中，大部分时间都是正常的，发生分区现象的时间并不长。
例如：
99.99%可用性(俗称4个9)的系统，一年运行下来，不可用的时间只有50分钟;
99.999%(俗称5个9)可用性的系统，一年运行下来，不可用的时间只有5分钟。
分区期间放弃C或者A，并不意味着永远放弃C和A。
我们可以在分区期间进行一些操作，从而让分区故障解决后，系统能够重新达到CA的状态。
最典型的就是在分区期间记录一些日志，当分区故障解决后，系统根据日志进行数据恢复，使得重新达到CA状态。
案例：
以用户管理系统为例，对于用户账号数据，假设我们选择 了CP，则分区发生后，节点1可以继续注册新用户，节点2无法注册新用户(这里就是不符合A的原因，因为节点2收到注册请求后会返回error)，此时节点1可以将新注册但未同步 到节点2的用户记录到日志中。
当分区恢复后，节点1读取日志中的记录，同步给节点2，当同步完成后，节点1和节点2就达到了同时满足CA的状态。
而对于用户信息数据，假设我们选择了AP，则分区发生后，节点1和节点2都可以修改用户信息，但两边可能修改不一样。例如，用户在节点1中将爱好改为“旅游、美食、跑步”，然 后用户在节点2中将爱好改为“美食、游戏”，节点1和节点2都记录了未同步的爱好数据。
当分区恢复后，系统按照某个规则来合并数据。例如，按照“最后修改优先规则”将用户爱好 修改为“美食、游戏”，按照“字数最多优先规则”则将用户爱好修改为“旅游，美食、跑步”，也可以完全将数据冲突报告出来，由人工来选择具体应该采用哪一条。
ACID：了保证事务的正确性
1.原子性 Atomicity
2.一致性 Consistency
3.隔离性 Isolation
4.持久性Durability
1.Atomicity(原子性)
一个事务中的所有操作，要么全部完成，要么全部不完成，不会在中间某个环节结束。
事务在执行过程中发生错误，会被回滚到事务开始前状态，就像这个事务从没有执行过一样。
2.Consistency(一致性)
在事务开始之前和事务结束以后，数据库的完整性没有被破坏。
3.Isolation(隔离性)
数据库允许多个并发事务同时对数据进行读写和修改的能力。
隔离性可以防止多个事务并发执行时由于交叉执行而导致数据的不一致。
事务隔离分为不同级别，包括读未提交(Read uncommitted)、读提交(read committed)、可重复读(repeatable read)和串行化(Serializable)。
4.Durability(持久性)
事务处理结束后，对数据的修改就是永久的，即便系统故障也不会丢失。
可以看到，ACID中的A(Atomicity)和CAP中的A(Availability)意义完全不同，而ACID中的C和CAP中的C名称虽然都是一致性，但含义也完全不一样。
ACID中的C是指数据库的数据完整性，而CAP中的C是指分布式节点中的数据一致性。
再结合ACID的应用场景是数据库事务，CAP关注的是分布式系统数据读写这个差异点来看。
其实CAP和ACID的对比 就类似关公战秦琼，虽然关公和秦琼都是武将，但其实没有太多可比性。
BASE
BASE是指基本可用(Basically Available)、软状态( Soft State)、最终一致性( Eventual Consistency)。
核心思想是即使无法做到强一致性(CAP的一致性就是强一致 性)，但应用可以采用适合的方式达到最终一致性。
1.基本可用(Basically Available)
分布式系统在出现故障时，允许损失部分可用性，即保证核心可用。
这里的关键词是“部分”和“核心”，具体选择哪些作为可以损失的业务，哪些是必须保证的业务，是一项有挑战的工作。
例如，对于一个用户管理系统来说，“登录”是核心功能，而“注册”可以算作非核心功能。
因为未注册的用户本来就还没有使用系统的业务，注册不了最多就是流失一部分用户，而且这部分用户数量较少。
如果用户已经注册但无法登录，那就意味用户无法使用系统。例如，充了钱的游戏不能玩了、云存储不能用了......这些会对用户造成较大损失，而且登录用户数量远远大于新注册用户，影响范围更大。
2.软状态(Soft State) 允许系统存在中间状态，而该中间状态不会影响系统整体可用性。
这里的中间状态就是CAP理论中的数据不一致。
3.最终一致性(Eventual Consistency)
系统中的所有数据副本经过一定时间后，最终能够达到一致的状态。
这里的关键词是“一定时间” 和 “最终”，“一定时间”和数据的特性是强关联的，不同的数据能够容忍的不一致时间是不同的。
案例：微博系统
用户账号数据最好能在1分钟内就达到一致状态，因为用户在A节点注册或者登录后，1分钟内不太可能立刻切换到另外一个节点，但10分钟后可能就重新登录到另外一个节点了;
用户发布最新微博，可以容忍30分钟内达到一致状态，对于用户来说，看不到某个明星发布的最新微博，用户无感知，会认为明星没有发布微博。
“最终”的含义就是不管多长时间，最终还是要达到一 致性的状态。
BASE理论本质上是对CAP的延伸和补充，更具体地说，是对CAP中AP方案的一个补充。
前面在剖析CAP理论时，提到了其实和BASE相关的两点:
1）CAP理论是忽略延时的，而实际应用中延时是无法避免的。
这一点就意味着完美的CP场景是不存在的，即使是几毫秒的数据复制延迟，在这几毫秒时间间隔内，系统是不符合CP要求的。
因此CAP中的CP方案，实际上也是实现了最终一致 性，只是“一定时间”是指几毫秒而已。
2）AP方案中牺牲一致性只是指分区期间，而不是永远放弃一致性。
这一点其实就是BASE理论延伸的地方，分区期间牺牲一致性，但分区故障恢复后，系统应该达到最终一致性。
总结：
ACID是数据库事务完整性的理论，CAP是分布式系统设计理论，BASE是CAP理论中AP方案的延伸。
案例：
一个电商网站核心模块有会员，订单，商品，支付，促销管理等。
1）会员模块，包括登录，个人设置，个人订单，购物车，收藏夹等，这些模块保证AP，数据短时间不一致不影响使用。
2）订单模块的下单付款扣减库存操作是整个系统的核心，CA都需要保证，在极端情况下牺牲P是可以的。
3）商品模块的商品上下架和库存管理保证CP／CA, 搜索功能因为本身就不是实时性非常高的模块，所以保证AP就可以了。
4）促销是短时间的数据不一致，结果就是优惠信息看不到，但是已有的优惠要保证可用，而且优惠可以提前预计算，所以可以保证AP 现在大部分的电商网站对于支付这一块是独立的系统，或者使用第三方的支付宝，微信。
其实CAP是由第三方来保证的，支付系统是一个对CAP要求极高的系统，C是必须要保证的，AP中A相对 更重要，不能因为分区，导致所有人都不能支付
区分不同数据：对关键信息采用ca,非关键信息采用ap,最终达到base即可
比如：商品信息显示可细分为关键商品信息(如价格，库存) CA和非关键信息(商品介绍，用户评论)AP
