文章目录
- 一、CAP定理
- 1.1 一致性
- 1.2 可用性
- 1.3 分区容错
- 1.4 定理的矛盾点
- 二、分布式事务理论
- 2.1 BASE理论
- 2.2 解决分布式事务思路
一、CAP定理
分布式系统有三个指标。
- Consistency(一致性)
- Availability(可用性)
- Partition tolerance (分区容错性)
它们的第一个字母分别是 C、A、P。
Eric Brewer 说,这三个指标不可能同时做到。这个结论就叫做 CAP 定理。
1.1 一致性
Consistency(一致性):用户访问分布式系统中的任意节点,得到的数据必须一致。
1.2 可用性
Availability (可用性):用户访问集群中的任意健康节点,必须能得到响应,而不是超时或拒绝。
这样就导致了数据不一致,要解决数据不一致问题,就需要阻塞node03,但是这样就失去了可用性
如果不阻塞node03,就保证了可用性,用户访问数据就会不一致,这样就失去了一致性
1.3 分区容错
Partition(分区):因为网络故障或其它原因导致分布式系统中的部分节点与其它节点失去连接,形成独立分区。
1.4 定理的矛盾点
在分布式系统中,系统间的网络不能100%保证健康,一定会有故障的时候,而服务有必须对外保证服务。因此Partition Tolerance(分区容错)不可避免。
当节点接收到新的数据变更时,就会出现问题了
如果此时要保证 一致性,就必须等待网络恢复,完成数据同步后,整个集群才对外提供服务,服务处于阻塞状态,不可用。
如果此时要保证 可用性,就不能等待网络恢复,那node01、node02与node03之间就会出现数据不一致。
也就是说,在P一定会出现的情况下,A和C之间只能实现一个。
1.保证可用性就会失去一致性
2.保证一致性就会失去可用性
ES就是属于CP(一致性、分区容错):低可用、高一致(因为ES有节点挂掉了会把数据传递到其他节点上,这样就失去了可用性)
二、分布式事务理论
2.1 BASE理论
BASE理论是由eBay架构师提出的,是对CAP的一种解决思路,包含三个思想:
-
Basically Available(基本可用):分布式系统在出现故障时,允许损失部分可用性,即保证核心可用。
-
Soft State(软状态): 在一定时间内,允许出现中间状态,比如临时的不一致状态。
-
Eventually Consistent(最终一致性) :虽然无法保证强一致性,但是在软状态结束后,最终达到数据一致。
2.2 解决分布式事务思路
分布式事务最大的问题是各个子事务的一致性问题,因此可以借鉴CAP定理和BASE理论,有两种解决思路:
AP模式:各子事务分别执行和提交,允许出现结果不一致,然后采用弥补措施恢复数据即可,实现最终一致。(强可用,弱一致)
不一致就采用补救措施,比如成功了的事务插入了数据就删除,修改了数据就恢复
CP模式:各个子事务执行后互相等待,同时提交,同时回滚,达成强一致。但事务等待过程中,处于弱可用状态。(强一致,弱可用)
各个子事务相互等待,提前做完的原本可以释放资源的,但是为了等待未完成的就不释放资源,这样就属于浪费资源,可用性降低。
但不管是哪一种模式,都需要在子系统事务之间互相通讯,协调事务状态,也就是需要一个 事务协调者(TC) :
这里的子系统事务,称为 分支事务 。
有关联的各个分支事务在一起称为 全局事务。