标签:放弃 结果 选择 asi 数据不一致 重要 partition 针对 inf
前言
我在《数据库事务和事务的隔离级别》和《再谈数据库事务隔离级别》两篇文章中详细介绍了数据库事务的隔离级别。本文将会从分布式的事务开始谈起,以及CAP理论和BASE理论。
分布式事务
随着分布式计算的发展,事务在分布式计算领域中也得到了广泛的应用。在单机数据库中,我们很容易能够实现一套满足ACID特性的事务处理系统,但是在分布式数据库中,数据分散在各台不同的机器上,如何对这些数据进行分布式事务处理具有非常大的挑战。
分布式事务是指事务的参与者,支持事务的服务器,资源服务器以及事务管理器分别位于分布式系统的不同节点之上,通常一个分布式事务中会涉及对多个数据源或者业务系统的操作。
我们可以设想一下最典型的的分布式事务场景。一个跨银行转账的操作,比如从建行的账户转账到农行的账户上,这一个操作包含需要调用分布式中两个不同节点上的服务1.取款服务2.目标账户的存款服务。这两个服务之间是无状态并且是相互保持独立的,共同构成一个完成的分布式事务。 如果调用第一个取款服务成功,而再目标账户的存款服务时因为某一种原因导致调用失败了,那么就必须要全部回滚到取款之前的状态,否则,用户会发现,账户中的钱不翼而飞。
一个分布式事务可以看做是由多个分布式的操作序列组成的。我们把这些操作序列叫做子事务。因此分布式事务也可以被叫做嵌套性的事务,同时也就具有ACID的事务特性。但是在分布式事务中,各个子事务的执行是分布式的。因此我们要实现能够保证ACID特性的分布式事务就变得很难很难。
在一套搞访问量,高并发的分布式系统下,如果想要去实现一个严格的ACID特性的分布式事务,那就会造成系统的可用性和严格一致性的冲突,严格的一致性,就意味着需要牺牲掉系统的可用性。因此在可用性和严格一致性存在着不能兼顾的难题,于是就cap和base这样的理论。
CAP理论
来自加州大学伯克利分校的Eric Brewer教授,这位教授好像很厉害的样子,据说是加州大学伯克利分校的终身教授,他首次提出了著名的cap猜想。后来,来自麻省理工学院的Seth Gilbert和Nancy Lynch从理论上证明了这个猜想,从此出现了公认的cap定理:一个分布式系统不可能同时满足一致性[Consistency],可用性[Availability],和分区容错性[Partition tolerance]这三个基本需求,最多只能同时满足其中的两项。
①一致性。
一致性是指数据在多个副本之间是否能够保持一致的特性。假如现在的多个结点中的数据是保持一致的,当执行完某一个更新操作之后,应当要保证系统的数据然后处于一致性的状态。
对于一个将数据副本分布在不同的分布式节点上,如果对第一个结点的数据进行了更新的操作,并且更新成功之后,却没有让第二个节点得到相应的更新。当外部系统再去调用第二个节点时,获取到的依然是原始的数据,这就是分布式数据不一致的情况了。在分布式系统中,如果能够做到针对一个数据项更新操作执行成功之后,所有的用户都可以读取到最新的值,那么这样的系统就被认为是具有强一致性的。
②可用性。
可用性是指系统提供的服务必须一致处于可用的状态,对于用户的每一个操作请求总是能够在有限的时间内,返回结果。
有限的时间内:对于用户的一个操作请求,系统必须能够在指定的时间内返回对应的结果。如果超过了这个时间,就认为系统是不可用的。
返回结果是可用性的一个非常重要的指标,它要求系统在完成对用户请求的处理后,返回一个正常的响应结果。正常的响应结果包含成功或失败,而不是一个让用户迷惑的结果。
③分区容错性。
分布式系统在遇到任何网络分区故障的时候,仍然需要对外提供满足一致性和可用性的服务。
cap定理示意图:我从proccesson模板上找到现成的一张图。
一个分布式系统既然不能同时满足上述的三个需求,因此在进行对cap定理的应用时,我们就需要去抛弃一项。
①选择CA
放弃分区容错性,比较简单的方式就是把所有的数据都放在一个分布式节点上。那不就又成为了单机应用了吗?
②选择CP
放弃可用性,一旦出现网络故障,受到影响的服务需要再等待一定时间,因为系统处于不可用的状态。
③选择AP
放弃一致性,这里所指的一致性是强一致性,但是确保最终一致性。是很多分布式系统的选择。
小结:从cap的定理可以看出,分区容错性是一个最基本的要求,因为既然是一个分布式系统,必然要部署到两个或两个以上的节点上,否则,就不是分布式系统,因此我们只能在一致性和可用性寻求平衡。
BASE理论
base是Basically Available(基本可用)、Soft state(软状态)和Eventually consistent(最终一致性)三个短语的简写。base是对cap中一致性和可用性的权衡的结果。是根据cao理论演变而来,核心思想是即使无法做到强一致性,但是每个应用根据自身的业务特点,采用适当的方式来使系统达到最终与执行。
①基本可用
基本可用指的是分布式系统出现了不可预知故障的时候,允许损失部分可用性。响应时间合理延长,功能上适当做服务降级。
②弱状态
弱状态指的是允许系统中的数据存在中间状态,并认为该中间状态不会永祥系统的整体可用性,即允许在各个节点数据同步时存在延时。
③最终一致性
最终一致性强调的是系统中所有的数据副本,在经过一点时间 的同步之后,最终能够达到一个一致的状态。因此,最终一致性的本质是需要系统保证数据最终能够达到一致。而不需要实时保证系统数据的一致性。
标签:放弃 结果 选择 asi 数据不一致 重要 partition 针对 inf
原文地址:https://www.cnblogs.com/sunshine798798/p/9737296.html