分布式事务入门指南


本文来自作者 大闲人柴毛毛  GitChat 上分享 「分布式事务入门指南」,阅读原文查看交流实录。

文末高能

编辑 | 哈比

众所周知,数据库能实现本地事务。也就是在同一个数据库中,你可以允许一组操作要么全都正确执行,要么全都不执行。

这里特别强调了本地事务,也就是目前的数据库只能支持同一个数据库中的事务。但现在的系统往往采用微服务架构,业务系统拥有独立的数据库,因此就出现了跨多个数据库的事务需求,这种事务即为 “分布式事务”。

那么在目前数据库不支持跨库事务的情况下,我们应该如何实现分布式事务呢?本文首先会为大家梳理分布式事务的基本概念和理论基础,然后介绍几种目前常用的分布式事务解决方案。

什么是事务?

事务由一组操作构成,我们希望这组操作能够全部正确执行,如果这一组操作中的任意一个步骤发生错误,那么就需要回滚之前已经完成的操作。

也就是同一个事务中的所有操作,要么全都正确执行,要么全都不要执行。

事务的四大特性 ACID

说到事务,就不得不提一下事务著名的四大特性。

  • 原子性:事务是一个不可分割的执行单元,事务中的所有操作要么全都执行,要么全都不执行。

  • 一致性:事务在开始前和结束后,数据库的完整性约束没有被破坏。

  • 隔离性:事务的执行是相互独立的,它们不会相互干扰,一个事务不会看到另一个正在运行过程中的事务的数据。

  • 持久性:一个事务完成之后,事务的执行结果必须是持久化保存的。即使数据库发生崩溃,在数据库恢复后事务提交的结果仍然不会丢失。

注意:事务只能保证数据库的高可靠性,即数据库本身发生问题后,事务提交后的数据仍然能恢复。如果不是数据库本身的故障,如硬盘损坏了,那么事务提交的数据可能就丢失了。这属于『高可用性』的范畴。

事务只能保证数据库的『高可靠性』,而『高可用性』需要整个系统共同配合实现。

事务的隔离级别

在事务的四大特性 ACID 中,要求的隔离性是一种严格意义上的隔离,也就是多个事务是串行执行的,彼此之间不会受到任何干扰。

这确实能够完全保证数据的安全性,但在实际业务系统中,这种方式性能不高。

因此,数据库定义了四种隔离级别,隔离级别和数据库的性能是呈反比的,隔离级别越低,数据库性能越高,而隔离级别越高,数据库性能越差。

事务并发执行会出现的问题

我们先来看一下在不同的隔离级别下,数据库可能会出现的问题:

(1)更新丢失

当有两个并发执行的事务,更新同一行数据,那么有可能一个事务会把另一个事务的更新覆盖掉。 当数据库没有加任何锁操作的情况下会发生。

(2)脏读

一个事务读到另一个尚未提交的事务中的数据。该数据可能会被回滚从而失效。如果第一个事务拿着失效的数据去处理那就发生错误了。

(3)不可重复读

不可重复度的含义:一个事务对同一行数据读了两次,却得到了不同的结果。它具体分为如下两种情况:

  • 虚读:在事务 1 两次读取同一记录的过程中,事务 2 对该记录进行了修改,从而事务 1 第二次读到了不一样的记录。

  • 幻读:事务 1 在两次查询的过程中,事务 2 对该表进行了插入、删除操作,从而事务 1 第二次查询的结果发生了变化。

不可重复读与脏读的区别?

脏读读到的是尚未提交的数据,而不可重复读读到的是已经提交的数据,只不过在两次读的过程中数据被另一个事务改过了。

数据库的四种隔离级别

数据库一共有如下四种隔离级别:

(1)Read uncommitted 读未提交

在该级别下,一个事务对一行数据修改的过程中,不允许另一个事务对该行数据进行修改,但允许另一个事务对该行数据读。

因此本级别下,不会出现更新丢失,但会出现脏读、不可重复读。

(2)Read committed 读提交

在该级别下,未提交的写事务不允许其他事务访问该行,因此不会出现脏读;但是读取数据的事务允许其他事务的访问该行数据,因此会出现不可重复读的情况。

(3)Repeatable read 重复读

在该级别下,读事务禁止写事务,但允许读事务,因此不会出现同一事务两次读到不同的数据的情况(不可重复读),且写事务禁止其他一切事务。

(4)Serializable 序列化

该级别要求所有事务都必须串行执行,因此能避免一切因并发引起的问题,但效率很低。隔离级别越高,越能保证数据的完整性和一致性,但是对并发性能的影响也越大。

对于多数应用程序,可以优先考虑把数据库系统的隔离级别设为 Read Committed。它能够避免脏读取,而且具有较好的并发性能。

尽管它会导致不可重复读、幻读和第二类丢失更新这些并发问题,在可能出现这类问题的个别场合,可以由应用程序采用悲观锁或乐观锁来控制。

什么是分布式事务?

到此为止,所介绍的事务都是基于单数据库的本地事务,目前的数据库仅支持单库事务,并不支持跨库事务。而随着微服务架构的普及,一个大型业务系统往往由若干个子系统构成,这些子系统又拥有各自独立的数据库。

往往一个业务流程需要由多个子系统共同完成,而且这些操作可能需要在一个事务中完成。在微服务系统中,这些业务场景是普遍存在的。

此时,我们就需要在数据库之上通过某种手段,实现支持跨数据库的事务支持,这也就是大家常说的 “分布式事务”。

这里举一个分布式事务的典型例子——用户下单过程。

当我们的系统采用了微服务架构后,一个电商系统往往被拆分成如下几个子系统:商品系统、订单系统、支付系统、积分系统等。整个下单的过程如下:

  1. 用户通过商品系统浏览商品,他看中了某一项商品,便点击下单;

  2. 此时订单系统会生成一条订单;

  3. 订单创建成功后,支付系统提供支付功能;

  4. 当支付完成后,由积分系统为该用户增加积分。

上述步骤 2、3、4 需要在一个事务中完成。

对于传统单体应用而言,实现事务非常简单,只需将这三个步骤放在一个方法 A 中,再用 Spring 的 @Transactional 注解标识该方法即可。

Spring 通过数据库的事务支持,保证这些步骤要么全都执行完成,要么全都不执行。但在这个微服务架构中,这三个步骤涉及三个系统,涉及三个数据库,此时我们必须在数据库和应用系统之间,通过某项黑科技,实现分布式事务的支持。

CAP 理论

CAP 理论说的是:在一个分布式系统中,最多只能满足 C、A、P 中的两个需求。

CAP 的含义:

(1)C:Consistency 一致性

同一数据的多个副本是否实时相同。

(2)A:Availability 可用性

可用性:一定时间内 & 系统返回一个明确的结果 则称为该系统可用。

(3)P:Partition tolerance 分区容错性

将同一服务分布在多个系统中,从而保证某一个系统宕机,仍然有其他系统提供相同的服务。

CAP 理论告诉我们,在分布式系统中,C、A、P 三个条件中我们最多只能选择两个。那么问题来了,究竟选择哪两个条件较为合适呢?

对于一个业务系统来说,可用性和分区容错性是必须要满足的两个条件,并且这两者是相辅相成的。

业务系统之所以使用分布式系统,主要原因有两个:

(1)提升整体性能

当业务量猛增,单个服务器已经无法满足我们的业务需求的时候,就需要使用分布式系统,使用多个节点提供相同的功能,从而整体上提升系统的性能,这就是使用分布式系统的第一个原因。

(2)实现分区容错性

单一节点 或 多个节点处于相同的网络环境下,那么会存在一定的风险,万一该机房断电、该地区发生自然灾害,那么业务系统就全面瘫痪了。

为了防止这一问题,采用分布式系统,将多个子系统分布在不同的地域、不同的机房中,从而保证系统高可用性。

这说明分区容错性是分布式系统的根本,如果分区容错性不能满足,那使用分布式系统将失去意义。

此外,可用性对业务系统也尤为重要。在大谈用户体验的今天,如果业务系统时常出现 “系统异常”、响应时间过长等情况,这使得用户对系统的好感度大打折扣。

在互联网行业竞争激烈的今天,相同领域的竞争者不甚枚举,系统的间歇性不可用会立马导致用户流向竞争对手。因此,我们只能通过牺牲一致性来换取系统的可用性和分区容错性。这也就是下面要介绍的 BASE 理论。

BASE 理论

CAP 理论告诉我们一个悲惨但不得不接受的事实——我们只能在 C、A、P 中选择两个条件。而对于业务系统而言,我们往往选择牺牲一致性来换取系统的可用性和分区容错性。

不过这里要指出的是,所谓的 “牺牲一致性” 并不是完全放弃数据一致性,而是牺牲强一致性换取弱一致性。下面来介绍下 BASE 理论。

(1)BA:Basic Available 基本可用

整个系统在某些不可抗力的情况下,仍然能够保证 “可用性”,即一定时间内仍然能够返回一个明确的结果。只不过 “基本可用” 和 “高可用” 的区别是:

  • “一定时间” 可以适当延长:当举行大促时,响应时间可以适当延长

  • 给部分用户返回一个降级页面:给部分用户直接返回一个降级页面,从而缓解服务器压力。但要注意,返回降级页面仍然是返回明确结果。


(2)S:Soft State:柔性状态

同一数据的不同副本的状态,可以不需要实时一致。

(3)E:Eventual Consisstency:最终一致性

同一数据的不同副本的状态,可以不需要实时一致,但一定要保证经过一定时间后仍然是一致的。

酸碱平衡

ACID 能够保证事务的强一致性,即数据是实时一致的。这在本地事务中是没有问题的,在分布式事务中,强一致性会极大影响分布式系统的性能,因此分布式系统中遵循 BASE 理论即可。

但分布式系统的不同业务场景对一致性的要求也不同。如交易场景下,就要求强一致性,此时就需要遵循 ACID 理论,而在注册成功后发送短信验证码等场景下,并不需要实时一致,因此遵循 BASE 理论即可。

因此要根据具体业务场景,在 ACID 和 BASE 之间寻求平衡。

分布式事务协议

下面介绍几种实现分布式事务的协议。

两阶段提交协议 2PC

分布式系统的一个难点是如何保证架构下多个节点在进行事务性操作的时候保持一致性。为实现这个目的,二阶段提交算法的成立基于以下假设:

  • 该分布式系统中,存在一个节点作为协调者 (Coordinator),其他节点作为参与者 (Cohorts)。且节点之间可以进行网络通信。

  • 所有节点都采用预写式日志,且日志被写入后即被保持在可靠的存储设备上,即使节点损坏不会导致日志数据的消失。

  • 所有节点不会永久性损坏,即使损坏后仍然可以恢复。


1. 第一阶段(投票阶段):

  • 协调者节点向所有参与者节点询问是否可以执行提交操作 (vote),并开始等待各参与者节点的响应。

  • 参与者节点执行询问发起为止的所有事务操作,并将 Undo 信息和 Redo 信息写入日志。(注意:若成功这里其实每个参与者已经执行了事务操作)

  • 各参与者节点响应协调者节点发起的询问。如果参与者节点的事务操作实际执行成功,则它返回一个 “ 同意 “ 消息;如果参与者节点的事务操作实际执行失败,则它返回一个 “ 中止 “ 消息。


2. 第二阶段(提交执行阶段):

当协调者节点从所有参与者节点获得的相应消息都为 “ 同意 “ 时:

  • 协调者节点向所有参与者节点发出 “ 正式提交 (commit)” 的请求。

  • 参与者节点正式完成操作,并释放在整个事务期间内占用的资源。

  • 参与者节点向协调者节点发送 “ 完成 “ 消息。

  • 协调者节点受到所有参与者节点反馈的 “ 完成 “ 消息后,完成事务。

如果任一参与者节点在第一阶段返回的响应消息为 “ 中止 “,或者 协调者节点在第一阶段的询问超时之前无法获取所有参与者节点的响应消息时:

  • 协调者节点向所有参与者节点发出 “ 回滚操作 (rollback)” 的请求。

  • 参与者节点利用之前写入的 Undo 信息执行回滚,并释放在整个事务期间内占用的资源。

  • 参与者节点向协调者节点发送 “ 回滚完成 “ 消息。

  • 协调者节点受到所有参与者节点反馈的 “ 回滚完成 “ 消息后,取消事务。

不管最后结果如何,第二阶段都会结束当前事务。

二阶段提交看起来确实能够提供原子性的操作,但是不幸的事,二阶段提交还是有几个缺点的:

  • 执行过程中,所有参与节点都是事务阻塞型的。当参与者占有公共资源时,其他第三方节点访问公共资源不得不处于阻塞状态。

  • 参与者发生故障。协调者需要给每个参与者额外指定超时机制,超时后整个事务失败。(没有多少容错机制)

  • 协调者发生故障。参与者会一直阻塞下去。需要额外的备机进行容错。(这个可以依赖后面要讲的 Paxos 协议实现 HA)

  • 二阶段无法解决的问题:协调者再发出 commit 消息之后宕机,而唯一接收到这条消息的参与者同时也宕机了。那么即使协调者通过选举协议产生了新的协调者,这条事务的状态也是不确定的,没人知道事务是否被已经提交。

为此,Dale Skeen 和 Michael Stonebraker 在 “A Formal Model of Crash Recovery in a Distributed System” 中提出了三阶段提交协议(3PC)。

三阶段提交协议 3PC

与两阶段提交不同的是,三阶段提交有两个改动点。

  • 引入超时机制。同时在协调者和参与者中都引入超时机制。

  • 在第一阶段和第二阶段中插入一个准备阶段。保证了在最后提交阶段之前各参与节点的状态是一致的。

也就是说,除了引入超时机制之外,3PC 把 2PC 的准备阶段再次一分为二,这样三阶段提交就有 CanCommit、PreCommit、DoCommit 三个阶段。

1. CanCommit 阶段

3PC 的 CanCommit 阶段其实和 2PC 的准备阶段很像。协调者向参与者发送 commit 请求,参与者如果可以提交就返回 Yes 响应,否则返回 No 响应。

(1)事务询问

协调者向参与者发送 CanCommit 请求。询问是否可以执行事务提交操作。然后开始等待参与者的响应。

(2)响应反馈

参与者接到 CanCommit 请求之后,正常情况下,如果其自身认为可以顺利执行事务,则返回 Yes 响应,并进入预备状态。否则反馈 No

2. PreCommit 阶段

协调者根据参与者的反应情况来决定是否可以记性事务的 PreCommit 操作。根据响应情况,有以下两种可能。

假如协调者从所有的参与者获得的反馈都是 Yes 响应,那么就会执行事务的预执行。

(1)发送预提交请求

协调者向参与者发送 PreCommit 请求,并进入 Prepared 阶段。

(2)事务预提交

参与者接收到 PreCommit 请求后,会执行事务操作,并将 undo 和 redo 信息记录到事务日志中。

(3)响应反馈

如果参与者成功的执行了事务操作,则返回 ACK 响应,同时开始等待最终指令。

假如有任何一个参与者向协调者发送了 No 响应,或者等待超时之后,协调者都没有接到参与者的响应,那么就执行事务的中断。

(4)发送中断请求 :协调者向所有参与者发送 abort 请求。

(5)中断事务 :参与者收到来自协调者的 abort 请求之后(或超时之后,仍未收到协调者的请求),执行事务的中断。

3. doCommit 阶段

该阶段进行真正的事务提交,也可以分为以下两种情况。

3.1 执行提交

(1)发送提交请求

协调接收到参与者发送的 ACK 响应,那么他将从预提交状态进入到提交状态。并向所有参与者发送 doCommit 请求。

(2)事务提交

参与者接收到 doCommit 请求之后,执行正式的事务提交。并在完成事务提交之后释放所有事务资源。

(3)响应反馈

事务提交完之后,向协调者发送 Ack 响应。

(4)完成事务

协调者接收到所有参与者的 ack 响应之后,完成事务。

3.2 中断事务

协调者没有接收到参与者发送的 ACK 响应(可能是接受者发送的不是 ACK 响应,也可能响应超时),那么就会执行中断事务。

(1)发送中断请求 :协调者向所有参与者发送 abort 请求

(2)事务回滚 :参与者接收到 abort 请求之后,利用其在阶段二记录的 undo 信息来执行事务的回滚操作,并在完成回滚之后释放所有的事务资源。

(3) 反馈结果 :参与者完成事务回滚之后,向协调者发送 ACK 消息

(4)中断事务 :协调者接收到参与者反馈的 ACK 消息之后,执行事务的中断。

分布式事务的解决方案

分布式事务的解决方案有如下几种:

  • 全局消息;

  • 基于可靠消息服务的分布式事务;

  • TCC;

  • 最大努力通知。

方案 1:全局事务(DTP 模型)

全局事务基于 DTP 模型实现。DTP 是由 X/Open 组织提出的一种分布式事务模型——X/Open Distributed Transaction Processing Reference Model。

它规定了要实现分布式事务,需要三种角色:

(1)AP:Application 应用系统

它就是我们开发的业务系统,在我们开发的过程中,可以使用资源管理器提供的事务接口来实现分布式事务。

(2)TM:Transaction Manager 事务管理器

  • 分布式事务的实现由事务管理器来完成,它会提供分布式事务的操作接口供我们的业务系统调用。这些接口称为 TX 接口。

  • 事务管理器还管理着所有的资源管理器,通过它们提供的 XA 接口来同一调度这些资源管理器,以实现分布式事务。

  • DTP 只是一套实现分布式事务的规范,并没有定义具体如何实现分布式事务,TM 可以采用 2PC、3PC、Paxos 等协议实现分布式事务。

(3)RM:Resource Manager 资源管理器

  • 能够提供数据服务的对象都可以是资源管理器,比如:数据库、消息中间件、缓存等。大部分场景下,数据库即为分布式事务中的资源管理器。

  • 资源管理器能够提供单数据库的事务能力,它们通过 XA 接口,将本数据库的提交、回滚等能力提供给事务管理器调用,以帮助事务管理器实现分布式的事务管理。

  • XA 是 DTP 模型定义的接口,用于向事务管理器提供该资源管理器 (该数据库) 的提交、回滚等能力。

  • DTP 只是一套实现分布式事务的规范,RM 具体的实现是由数据库厂商来完成的。

  • 有没有基于 DTP 模型的分布式事务中间件?

  • DTP 模型有啥优缺点?

方案 2:基于可靠消息服务的分布式事务

这种实现分布式事务的方式需要通过消息中间件来实现。假设有 A 和 B 两个系统,分别可以处理任务 A 和任务 B。

此时系统 A 中存在一个业务流程,需要将任务 A 和任务 B 在同一个事务中处理。下面来介绍基于消息中间件来实现这种分布式事务。

分布式事务入门指南_第1张图片

  • 在系统 A 处理任务 A 前,首先向消息中间件发送一条消息;

  • 消息中间件收到后将该条消息持久化,但并不投递。此时下游系统 B 仍然不知道该条消息的存在;

  • 消息中间件持久化成功后,便向系统 A 返回一个确认应答;

  • 系统 A 收到确认应答后,则可以开始处理任务 A;

  • 任务 A 处理完成后,向消息中间件发送 Commit 请求。该请求发送完成后,对系统 A 而言,该事务的处理过程就结束了,此时它可以处理别的任务了;
    但 commit 消息可能会在传输途中丢失,从而消息中间件并不会向系统 B 投递这条消息,从而系统就会出现不一致性。这个问题由消息中间件的事务回查机制完成,下文会介绍;

  • 消息中间件收到 Commit 指令后,便向系统 B 投递该消息,从而触发任务 B 的执行;

  • 当任务 B 执行完成后,系统 B 向消息中间件返回一个确认应答,告诉消息中间件该消息已经成功消费,此时,这个分布式事务完成。

上述过程可以得出如下几个结论:

  1. 消息中间件扮演者分布式事务协调者的角色。

  2. 系统 A 完成任务 A 后,到任务 B 执行完成之间,会存在一定的时间差。在这个时间差内,整个系统处于数据不一致的状态,但这短暂的不一致性是可以接受的,因为经过短暂的时间后,系统又可以保持数据一致性,满足 BASE 理论。

上述过程中,如果任务 A 处理失败,那么需要进入回滚流程,如下图所示:

分布式事务入门指南_第2张图片

  • 若系统 A 在处理任务 A 时失败,那么就会向消息中间件发送 Rollback 请求。和发送 Commit 请求一样,系统 A 发完之后便可以认为回滚已经完成,它便可以去做其他的事情。

  • 消息中间件收到回滚请求后,直接将该消息丢弃,而不投递给系统 B,从而不会触发系统 B 的任务 B。

此时系统又处于一致性状态,因为任务 A 和任务 B 都没有执行。

上面所介绍的 Commit 和 Rollback 都属于理想情况,但在实际系统中,Commit 和 Rollback 指令都有可能在传输途中丢失。

当出现这种情况的时候,消息中间件是如何保证数据一致性呢?

答案就是超时询问机制。

分布式事务入门指南_第3张图片

系统 A 除了实现正常的业务流程外,还需提供一个事务询问的接口,供消息中间件调用。

当消息中间件收到一条事务型消息后便开始计时,如果到了超时时间也没收到系统 A 发来的 Commit 或 Rollback 指令,就会主动调用系统 A 提供的事务询问接口询问该系统目前的状态。

该接口会返回三种结果:

  • 提交:若获得的状态是 “提交”,则将该消息投递给系统 B。

  • 回滚:若获得的状态是 “回滚”,则直接将条消息丢弃。

  • 处理中:若获得的状态是 “处理中”,则继续等待。

消息中间件的超时询问机制能够防止上游系统因在传输过程中丢失 Commit/Rollback 指令而导致的系统不一致情况,而且能降低上游系统的阻塞时间。上游系统只要发出 Commit/Rollback 指令后便可以处理其他任务,无需等待确认应答。

而 Commit/Rollback 指令丢失的情况通过超时询问机制来弥补,这样大大降低上游系统的阻塞时间,提升系统的并发度。

下面来说一说消息投递过程的可靠性保证。

当上游系统执行完任务并向消息中间件提交了 Commit 指令后,便可以处理其他任务了,此时它可以认为事务已经完成,接下来消息中间件一定会保证消息被下游系统成功消费掉! 

这是怎么做到的?这由消息中间件的投递流程来保证。

消息中间件向下游系统投递完消息后便进入阻塞等待状态,下游系统便立即进行任务的处理,任务处理完成后便向消息中间件返回应答。消息中间件收到确认应答后便认为该事务处理完毕!

如果消息在投递过程中丢失,或消息的确认应答在返回途中丢失,那么消息中间件在等待确认应答超时之后就会重新投递,直到下游消费者返回消费成功响应为止。

当然,一般消息中间件可以设置消息重试的次数和时间间隔,比如:当第一次投递失败后,每隔五分钟重试一次,一共重试 3 次。

如果重试 3 次之后仍然投递失败,那么这条消息就需要人工干预。

分布式事务入门指南_第4张图片

分布式事务入门指南_第5张图片

消息投递失败后为什么不回滚消息,而是不断尝试重新投递?

这就涉及到整套分布式事务系统的实现成本问题。我们知道,当系统 A 将向消息中间件发送 Commit 指令后,它便去做别的事情了。

如果此时消息投递失败,需要回滚的话,就需要让系统 A 事先提供回滚接口,这无疑增加了额外的开发成本,业务系统的复杂度也将提高。

对于一个业务系统的设计目标是,在保证性能的前提下,最大限度地降低系统复杂度,从而能够降低系统的运维成本。

上游系统 A 向消息中间件提交 Commit/Rollback 消息采用的是异步方式,也就是当上游系统提交完消息后便可以去做别的事情。

接下来提交、回滚就完全交给消息中间件来完成,并且完全信任消息中间件,认为它一定能正确地完成事务的提交或回滚。

然而,消息中间件向下游系统投递消息的过程是同步的。也就是消息中间件将消息投递给下游系统后,它会阻塞等待,等下游系统成功处理完任务返回确认应答后才取消阻塞等待。

为什么这两者在设计上是不一致的呢?

首先,上游系统和消息中间件之间采用异步通信是为了提高系统并发度。业务系统直接和用户打交道,用户体验尤为重要,因此这种异步通信方式能够极大程度地降低用户等待时间。

此外,异步通信相对于同步通信而言,没有了长时间的阻塞等待,因此系统的并发性也大大增加。但异步通信可能会引起 Commit/Rollback 指令丢失的问题,这就由消息中间件的超时询问机制来弥补。

那么,消息中间件和下游系统之间为什么要采用同步通信呢?

异步能提升系统性能,但随之会增加系统复杂度;而同步虽然降低系统并发度,但实现成本较低。

因此,在对并发度要求不是很高的情况下,或者服务器资源较为充裕的情况下,我们可以选择同步来降低系统的复杂度。

消息中间件是一个独立于业务系统的第三方中间件,它不和任何业务系统产生直接的耦合,它也不和用户产生直接的关联,它一般部署在独立的服务器集群上,具有良好的可扩展性,所以不必太过于担心它的性能。

如果处理速度无法满足我们的要求,可以增加机器来解决。而且,即使消息中间件处理速度有一定的延迟那也是可以接受的。

因为前面所介绍的 BASE 理论就告诉我们了,我们追求的是最终一致性,而非实时一致性,因此消息中间件产生的时延导致事务短暂的不一致是可以接受的。

方案 3:最大努力通知(定期校对)

最大努力通知也被称为定期校对,其实在方案二中已经包含,这里再单独介绍,主要是为了知识体系的完整性。这种方案也需要消息中间件的参与,其过程如下:

分布式事务入门指南_第6张图片

  • 上游系统在完成任务后,向消息中间件同步地发送一条消息,确保消息中间件成功持久化这条消息,然后上游系统可以去做别的事情了;

  • 消息中间件收到消息后负责将该消息同步投递给相应的下游系统,并触发下游系统的任务执行;

  • 当下游系统处理成功后,向消息中间件反馈确认应答,消息中间件便可以将该条消息删除,从而该事务完成。

上面是一个理想化的过程,但在实际场景中,往往会出现如下几种意外情况:

  1. 消息中间件向下游系统投递消息失败;

  2. 上游系统向消息中间件发送消息失败。

对于第一种情况,消息中间件具有重试机制,我们可以在消息中间件中设置消息的重试次数和重试时间间隔,对于网络不稳定导致的消息投递失败的情况,往往重试几次后消息便可以成功投递。

如果超过了重试的上限仍然投递失败,那么消息中间件不再投递该消息,而是记录在失败消息表中,消息中间件需要提供失败消息的查询接口,下游系统会定期查询失败消息,并将其消费,这就是所谓的 “定期校对”

如果重复投递和定期校对都不能解决问题,往往是因为下游系统出现了严重的错误,此时就需要人工干预。

对于第二种情况,需要在上游系统中建立消息重发机制。可以在上游系统建立一张本地消息表,并将任务处理过程和向本地消息表中插入消息这两个步骤放在一个本地事务中完成。


如果向本地消息表插入消息失败,那么就会触发回滚,之前的任务处理结果就会被取消。如果这量步都执行成功,那么该本地事务就完成了。


接下来会有一个专门的消息发送者不断地发送本地消息表中的消息,如果发送失败它会返回重试。当然,也要给消息发送者设置重试的上限。


一般而言,达到重试上限仍然发送失败,那就意味着消息中间件出现严重的问题,此时也只有人工干预才能解决问题。


对于不支持事务型消息的消息中间件,如果要实现分布式事务的话,就可以采用这种方式。它能够通过重试机制 + 定期校对实现分布式事务。

但相比于第二种方案,它达到数据一致性的周期较长,而且还需要在上游系统中实现消息重试发布机制,以确保消息成功发布给消息中间件。

这无疑增加了业务系统的开发成本,使得业务系统不够纯粹,并且这些额外的业务逻辑无疑会占用业务系统的硬件资源,从而影响性能。

因此,尽量选择支持事务型消息的消息中间件来实现分布式事务,如 RocketMQ。

方案 4:TCC(两阶段型、补偿型)

TCC 即为 Try Confirm Cancel,它属于补偿型分布式事务。顾名思义,TCC 实现分布式事务一共有三个步骤:

  • Try 尝试待执行的业务:这个过程并未执行业务,只是完成所有业务的一致性检查,并预留好执行所需的全部资源

  • Confirm 执行业务:这个过程真正开始执行业务,由于 Try 阶段已经完成了一致性检查,因此本过程直接执行,而不做任何检查。并且在执行的过程中,会使用到 Try 阶段预留的业务资源。

  • Cancel 取消执行的业务:若业务执行失败,则进入 Cancel 阶段,它会释放所有占用的业务资源,并回滚 Confirm 阶段执行的操作。

下面以一个转账的例子来解释下 TCC 实现分布式事务的过程。

假设用户 A 用他的账户余额给用户 B 发一个 100 元的红包,并且余额系统和红包系统是两个独立的系统。

Try

  • 创建一条转账流水,并将流水的状态设为交易中;

  • 将用户 A 的账户中扣除 100 元(预留业务资源);

  • Try 成功之后,便进入 Confirm 阶段;

  • Try 过程发生任何异常,均进入 Cancel 阶段;

Confirm

  • 向 B 用户的红包账户中增加 100 元;

  • 将流水的状态设为交易已完成;

  • Confirm 过程发生任何异常,均进入 Cancel 阶段;

  • Confirm 过程执行成功,则该事务结束;

Cancel

  • 将用户 A 的账户增加 100 元;

  • 将流水的状态设为交易失败。

在传统事务机制中,业务逻辑的执行和事务的处理,是在不同的阶段由不同的部件来完成的:业务逻辑部分访问资源实现数据存储,其处理是由业务系统负责;事务处理部分通过协调资源管理器以实现事务管理,其处理由事务管理器来负责。

二者没有太多交互的地方,所以,传统事务管理器的事务处理逻辑,仅需要着眼于事务完成(commit/rollback)阶段,而不必关注业务执行阶段。

TCC 全局事务必须基于 RM 本地事务来实现全局事务

TCC 服务是由 Try/Confirm/Cancel 业务构成的,其 Try/Confirm/Cancel 业务在执行时,会访问资源管理器(Resource Manager,下文简称 RM)来存取数据。

这些存取操作,必须要参与 RM 本地事务,以使其更改的数据要么都 commit,要么都 rollback。

这一点不难理解,考虑一下如下场景:

分布式事务入门指南_第7张图片

假设图中的服务 B 没有基于 RM 本地事务(以 RDBS 为例,可通过设置 auto-commit 为 true 来模拟)。

一旦 [B:Try] 操作中途执行失败,TCC 事务框架后续决定回滚全局事务时,该 [B:Cancel] 则需要判断 [B:Try] 中哪些操作已经写到 DB、哪些操作还没有写到 DB:假设 [B:Try] 业务有 5 个写库操作,[B:Cancel] 业务则需要逐个判断这 5 个操作是否生效,并将生效的操作执行反向操作。

不幸的是,由于 [B:Cancel] 业务也有 n(0<=n<=5)个反向的写库操作,此时一旦 [B:Cancel] 也中途出错,则后续的 [B:Cancel] 执行任务更加繁重。

因为,相比第一次 [B:Cancel] 操作,后续的 [B:Cancel] 操作还需要判断先前的 [B:Cancel] 操作的 n(0<=n<=5)个写库中哪几个已经执行、哪几个还没有执行,这就涉及到了幂等性问题。

而对幂等性的保障,又很可能还需要涉及额外的写库操作,该写库操作又会因为没有 RM 本地事务的支持而存在类似问题……

可想而知,如果不基于 RM 本地事务,TCC 事务框架是无法有效的管理 TCC 全局事务的。

反之,基于 RM 本地事务的 TCC 事务,这种情况则会很容易处理:[B:Try] 操作中途执行失败,TCC 事务框架将其参与 RM 本地事务直接 rollback 即可。

后续 TCC 事务框架决定回滚全局事务时,在知道 “[B:Try] 操作涉及的 RM 本地事务已经 rollback” 的情况下,根本无需执行 [B:Cancel] 操作。

换句话说,基于 RM 本地事务实现 TCC 事务框架时,一个 TCC 型服务的 cancel 业务要么执行,要么不执行,不需要考虑部分执行的情况。

TCC 事务框架应该提供 Confirm/Cancel 服务的幂等性保障

一般认为,服务的幂等性,是指针对同一个服务的多次 (n>1) 请求和对它的单次 (n=1) 请求,二者具有相同的副作用。

在 TCC 事务模型中,Confirm/Cancel 业务可能会被重复调用,其原因很多。比如,全局事务在提交 / 回滚时会调用各 TCC 服务的 Confirm/Cancel 业务逻辑。

执行这些 Confirm/Cancel 业务时,可能会出现如网络中断的故障而使得全局事务不能完成。因此,故障恢复机制后续仍然会重新提交 / 回滚这些未完成的全局事务,这样就会再次调用参与该全局事务的各 TCC 服务的 Confirm/Cancel 业务逻辑。

既然 Confirm/Cancel 业务可能会被多次调用,就需要保障其幂等性。那么,应该由 TCC 事务框架来提供幂等性保障?还是应该由业务系统自行来保障幂等性呢?

个人认为,应该是由 TCC 事务框架来提供幂等性保障。如果仅仅只是极个别服务存在这个问题的话,那么由业务系统来负责也是可以的。

然而,这是一类公共问题,毫无疑问,所有 TCC 服务的 Confirm/Cancel 业务存在幂等性问题。TCC 服务的公共问题应该由 TCC 事务框架来解决。而且,考虑一下由业务系统来负责幂等性需要考虑的问题,就会发现,这无疑增大了业务系统的复杂度。

参考文献

  • 大规模 SOA 系统中的分布事务处理 _ 程立:https://goo.gl/VDFZhx

  • Life beyond Distributed Transactions: an Apostate’s Opinion:https://goo.gl/ErC1xg

  • 关于如何实现一个 TCC 分布式事务框架的一点思考:https://goo.gl/nL6w4V

  • How can a requestor ensure a consistent outcome across multiple, independent providers:https://goo.gl/oe6XRd

  • 关于分布式事务、两阶段提交协议、三阶提交协议:https://goo.gl/L3z9Js

  • Three-phase commit protocol:https://goo.gl/UbBU1f

近期热文

《机器学习数据预处理方法与技巧系统讲解》

《中小型企业基于大数据技术的项目实践》

《GitChat 被恶意攻击引发的技术性思考:拒绝服务攻击》

《最简单的 Spring Boot 入门指南》

《作为面试官,如何考察工程师的软素质》

《谈谈 Java 内存模型》

《Jenkins 与 GitLab 的自动化构建之旅》


分布式事务入门指南_第8张图片

「阅读原文」看交流实录,你想知道的都在这里

你可能感兴趣的:(分布式事务入门指南)