概述:
对于单机下的本地事务,很显然我们有已被时间证明的成熟ACID模型来保证数据的严格一致性。但对于一个高访问量、高并发的分布式系统来说,如果我们期望实现一套严格满足ACID特性的分布式事务,很可能出现的情况就是在系统的可用性和严格一致性之间出现冲突,因为当我们要求分布式系统具有严格一致性时,很可能就要牺牲掉系统的可用性。但毋庸置疑的一点是,可用性又是一个所有用户不允许我们讨价还价的属性,比如淘宝这样的网站,我们要求它7 x 24小时不间断地对外服务。因此,我们需要在可用性和一致性之间做一些取舍,围绕这样取舍,出现了两个经典的分布式理论---CAP定理和BASE理论,这两者也是所有分布式事务协议的基石。
CAP定理
CAP首次在ACM PODC会议上作为猜想被提出,两年后被证明为定理,从此深深影响了分布式计算的发展。CAP理论告诉我们,一个分布式系统不可能同时满足一致性(Consistency)、可用性(Availability)和分区容错性(Partition tolerance)这三个基本需求,最多只能同时满足其中的两项。
- 一致性:数据在多个副本之间保持一致。当有一个节点的数据发生更新后,其他节点应该也能同步地更新数据;
- 可用性:对于用户的每一个操作请求,系统总能在有限的时间内返回结果;
- 分区容错性:分布式系统中的不同节点可能分布在不同的子网络中,这些自网络被称为网络分区。由于一些特殊原因导致子网络之间出现网络不连通的情况,系统仍需要能够保证对外提供一致性和可用性的服务。
CAP定理告诉我们同时满足这三项是不可能的,那么放弃其中的一项会是什么样的呢?
放弃项 | 说明 |
放弃P | 如果希望能够避免出现分区容错性问题,一种较为简单的做法是将所有数据放在一个节点上。这样肯定不会受网络分区的影响。但此时分布式系统也失去了意义。因此在实际的架构设计中,P是一定要满足的。 |
放弃A | 放弃可用性就是在系统遇到网络分区或其他故障时,受影响的服务可以暂时不对外提供,等到系统恢复后再对提供服务。 |
放弃C | 放弃一致性不代表完全放弃数据一致性,这样的话系统就没有意义了。而是放弃数据的强一致性,保留最终一致性。这样的系统无法保证数据保持实时的一致性,但能够承诺数据最终会达到一个一致的状态。 |
实际的视线中,我们往往会把精力花在如何根据业务特点在C(一致性)和A(可用性)之间寻求平衡。
BASE理论
BASE是Basically Available(基本可用)、Soft State(软状态)Eventually Consistent(最终一致性)三个短语的简写。BASE是对CAP中一致性和可用性权衡的结果,其来源于对大规模互联网系统分布式实践的总结。其核心思想是:即使无法做到强一致性,但每个应用都可以根据自身的业务特点,采用适当的方式来使系统达到最终一致性。
- 基本可用:基本可用是指在分布式系统出现不可预知的故障时,允许损失部分性能。比如:正常情况下0.5秒就能返回结果的服务,但在故障情况(网络分区或其他故障)下,需要1 ~ 2秒;正常情况下,电商网站的首页展示的是每个用户个性化的推荐内容,但在节日大促的情况下,展示的是统一的推荐内容;
- 软状态:软状态是指运行系统中的数据存在中间状态,并认为该中间状态的存在不会影响系统的整体可用性,即允许系统在不同节点的数据副本之间进行数据同步的过程存在延时。比如秒杀系统中,用户余额的扣减和商家余额的增加可以存在延时,当用户余额减了之后即可返回支付成功,商家余额的增加可以等系统压力小的时候再做。
- 最终一致性:最终一致性强调的是系统中所有的数据副本,在经过一段时间的同步后,最终能达到一个一致的状态。这也是分布式系统的一个基本要求。
严格遵守ACID的分布式事务我们称为刚性事务,而遵循BASE理论的事务我们称为柔性事务。在分布式环境下,刚性事务会让系统的可用性变得难以忍受,因此实际生产中使用的分布式事务都是柔性事务,其中使用最多的就是2PC、3PC和TCC。
2PC协议
2PC是二阶段提交(two-phase commit)的缩写,顾名思义,这个协议分两个阶段完成。第一个阶段是准备阶段,第二个阶段是提交阶段,准备阶段和提交阶段都是由事务管理器(协调者)发起的,协调的对象是资源管理器(参与者)。二阶段提交协议的概念来自X/Open组织提出的分布式事务的规范XA协议,协议主要定义了(全局)事务管理器和(局部)资源管理器之间的接口。XA接口是双向的系统接口,在事务管理器以及一个或多个资源管理器之间形成通信桥梁。Java平台上的事务规范JTA(Java Transaction API)提供了对XA事务的支持,它要求所有需要被分布式事务管理的资源(由不同厂商实现)都必须实现规定接口(XAResource中的prepare、commit和rollback等)。
两阶段如下:
- 准备阶段:协调者向参与者发起指令,参与者评估自己的状态,如果参与者评估指令可以完成,参与者会写redo和undo日志,然后锁定资源,执行操作,但是并不提交;
- 提交阶段:如果每个参与者明确返回准备成功,也就是预留资源和执行操作成功,协调者向参与者发起提交指令,参与者提交资源变更的事务,释放锁定的资源;如果任何一个参与者明确返回准备失败,也就是预留资源或者执行操作失败,协调者向参与者发起中止指令,参与者取消已经变更的事务,执行undo日志,释放锁定的资源。
两阶段提交协议成功场景示意图如下:
我们看到两阶段提交协议在准备阶段锁定资源,是一个重量级的操作,并能保证强一致性,但是实现起来复杂、成本较高,不够灵活,更重要的是它有如下致命的问题:
- 阻塞:从上面的描述来看,对于任何一次指令必须受到明确的响应,才会继续做下一步,否则处于阻塞状态,占用资源被一直锁定,不会被释放;
- 单点故障:如果协调者宕机,参与者没有了协调者指挥,会一直阻塞,尽管可以通过选举新的协调者替代原有协调者,但是如果之前协调者在发送一个提交指令后宕机,而提交指令仅仅被一个参与者接受,并且参与者接收后也宕机,新上任的协调者无法处理这种情况;
- 脑裂:协调者发送提交指令,有的参与者接收到执行了事务,有的参与者没有接收到事务,就没有执行事务,多个参与者之间是不一致的。
上面所有的这些问题,都是需要人工干预处理,没有自动化的解决方案,因此两阶段提交协议在正常情况下能保证系统的强一致性,但是在出现异常情况下,当前处理的操作处于错误状态,需要管理员人工干预解决,因此可用性不够好,这也符合CAP定理的一致性和可用性不能兼得的原理。
3PC协议
三阶段提交协议(3PC协议)是两阶段提交协议的改进版本。它通过超时机制解决了阻塞的问题,并且把两个阶段增加为三个阶段:
- 询问阶段:协调者询问参与者是否可以完成指令,协调者只需要回答是还是不是,而不需要做真正的操作,这个阶段参与者在等待超时后自动中止;
- 准备阶段:如果在询问阶段所有的参与者都返回可以执行操作,协调者向参与者发送预执行请求,然后参与者写redo和undo日志,锁定资源,执行操作,但是不提交操作;如果在询问阶段任何参与者返回不能执行操作的结果,则协调者向参与者发送中止请求,这里的逻辑与两阶段提交协议的准备阶段是相似的,这个阶段参与者在等待超时后会自动提交;
- 提交阶段:如果每个参与者在准备阶段返回准备成功,也就是预留资源和执行操作成功,协调者向参与者发起提交指令,参与者提交资源变更的事务,释放锁定的资源;如果任何一个参与者返回准备失败,也就是预留资源或者执行操作失败,协调者向参与者发起中止指令,参与者取消已经变更的事务,执行undo日志,释放锁定的资源,这里的逻辑与两阶段提交协议的提交阶段一致。
三阶段提交协议成功场景示意图如下:
这里与两阶段提交协议有两个主要的不同:
- 增加了一个询问阶段,询问阶段可以确保尽可能早的发现无法执行而需要中止的行为,但是它并不能发现所有的这种行为,只会减少这种情况的发生;
- 增加了等待超时的处理逻辑,如果在询问阶段等待超时,则自动中止;如果在准备阶段之后等待超时,则自动提交。这也是根据概率统计上的正确性最大。
三阶段提交协议相比二阶段提交协议,避免了资源被无限锁定的情况。但也增加了系统的复杂度,增加了参与者和协调者之间的通信次数。
TCC协议
无论是2PC还是3PC,都存在一个大粒度资源锁定的问题。为了解释这个问题,我们先来想象这样一种场景,用户在电商网站购买商品1000元,使用余额支付800元,使用红包支付200元。
我们看一下在2PC中的流程:
1)prepare阶段:
① 下单系统插入一条订单记录,不提交
② 余额系统减800元,给记录加锁,写redo和undo日志,不提交
③ 红包系统减200元,给记录加锁,写redo和undo日志,不提交
2)commit阶段:
① 下单系统提交订单记录
② 余额系统提交,释放锁
③ 红包系统提交,释放锁
为什么说这是一种大粒度的资源锁定呢?是因为在prepare阶段,当数据库给用户余额减800元之后,为了维持隔离性,会给该条记录加锁,在事务提交前,其它事务无法再访问该条记录。但实际上,我们只需要预留其中的800元,不需要锁定整个用户余额。这是2PC和3PC的局限,因为这两者是资源层的协议,无法提供更灵活的资源锁定操作。为了解决这个问题,TCC应运而生。TCC本质上也是一个二阶段提交协议,但和JTA中的二阶段协议不同的是,它是一个服务层的协议,因此开发者可以根据业务自由控制资源锁定的粒度。我们等会儿可以看到TCC在上面这个场景中的优势,但在那之前,我们先来看一下TCC协议的运行过程。
TCC将事务的提交过程分为try-confirm-cancel(实际上TCC就是try、confirm、cancel的简称)三个阶段:
- try:完成业务检查、预留业务资源
- confirm:使用预留的资源执行业务操作(需保证幂等性)
- cancel:取消执行业务操作,释放预留的资源(需保证幂等性)
和JTA二阶段事务的参与方都要实现prepare、commit、rollback一样,TCC的事务参与方也必须实现try、confirm、cancel三个接口。流程如下:
1)事务发起方向事务协调器发起事务请求,事务协调器调用所有事务参与者的try方法完成资源的预留,这时候并没有真正执行业务,而是为后面具体要执行的业务预留资源,这里完成了一阶段;
2)如果事务协调器有参与者的try方法预留资源时候发现资源不够,则调用参与方的cancel方法回滚预留的资源,需要注意cancel方法需要实现业务幂等,因为有可能调用失败(比如网络原因参与者接收到了请求,但是由于网络原因事务协调器没有接收到回执)会重试;
3)如果事务协调器发现所有参与者的try方法返回都OK,则事务协调器调用所有参与者的confirm方法,不做资源检查,直接进行具体的业务操作;
4)如果协调器发现所有参与者的confirm方法都OK了,则分布式事务结束;
5)如果协调器发现有些参与者的confirm方法失败了,或者由于网络原因没有收到回执,则协调器会进行重试。这里如果重试一定次数后还是失败,会怎么样?常见的是做事务补偿。
TCC执行场景示意图如下:
现在我们再回到开始的那个支付场景中,看看TCC在该场景中的流程:
Try操作:
- tryX下单系统创建待支付订单
- tryY冻结账户红包200元
- tryZ冻结资金账户800元
Confirm操作
- confirmX订单更新为支付成功
- confirmY扣减账户红包200元
- confirmZ扣减资金账户800元
Cancel操作
- cancelX订单处理异常,资金红包退回,订单支付失败
- cancelY冻结红包失败,账户余额退回,订单支付失败
- cancelZ冻结余额失败,账户红包退回,订单支付失败
可以看到,我们使用了冻结代替了原先的账号锁定(实际操作中,冻结操作可以用数据库减操作+日志实现),这样在冻结操作之后,事务提交之前,其他事务也能使用账户余额,提高了并发性。
总结一下,相比于二阶段提交协议,TCC主要有以下区别:
- 2PC位于资源层而TCC位于服务层
- 2PC的接口由第三方厂商实现,TCC的接口由开发人员实现
- TCC可以更灵活地控制资源锁定的粒度
- TCC对应用的侵入性强,业务逻辑的每个分支都需要实现try、confirm、cancel三个操作,应用侵入性较强,改造成本高