Seata 四大事务模式解析
文章目录
整体概念
Seata 是一款开源的分布式事务解决方案,致力于提供高性能和简单易用的分布式事务服务。
Seata 将为用户提供了 AT
、TCC
、SAGA
和 XA
事务模式,为用户打造一站式的分布式解决方案。
具体内容: 分布式事务(Seata) 四大模式详解
基本术语
TC (Transaction Coordinator) - 事务协调者
维护全局和分支事务的状态,驱动全局事务提交或回滚。
TM (Transaction Manager) - 事务管理器
定义全局事务的范围:开始全局事务、提交或回滚全局事务。
RM (Resource Manager) - 资源管理器
管理分支事务处理的资源,与TC交谈以注册分支事务和报告分支事务的状态,并驱动分支事务提交或回滚。
事务模式
Seata 定义了全局事务
的框架。全局事务
定义为若干 分支事务
的整体协调:
TM 向 TC 请求发起(Begin)、提交(Commit)、回滚(Rollback)
全局事务
。TM 把代表全局事务的 XID 绑定到
分支事务
上。RM 向 TC 注册,把分支事务关联到 XID 代表的
全局事务
中。RM 把
分支事务
的执行结果上报给 TC。(可选)TC 发送分支提交(Branch Commit)或分支回滚(Branch Rollback)命令给 RM。
Seata 的 全局事务
处理过程,分为两个阶段:
执行阶段 :执行
分支事务
,并保证执行结果满足是可回滚的(Rollbackable)和持久化的(Durable)。完成阶段: 根据 执行阶段 结果形成的决议,应用通过 TM 发出的全局提交或回滚的请求给 TC,TC 命令 RM 驱动 分支事务 进行 Commit 或 Rollback。
Seata 的所谓事务模式
是指:运行在 Seata 全局事务
框架下的 分支事务
的行为模式。准确地讲,应该叫作 分支事务模式
。
不同的 事务模式
区别在于 分支事务
使用不同的方式达到全局事务两个阶段的目标。即,回答以下两个问题:
执行阶段 :如何执行并保证执行结果满足是可回滚的(Rollbackable)和持久化的(Durable)。
完成阶段: 收到 TC 的命令后,如何做到分支的提交或回滚?
AT 模式
整体机制
两阶段提交协议的演变:
一阶段:业务数据和回滚日志记录在同一个本地事务中提交,释放本地锁和连接资源
在一阶段中,Seata会拦截“业务SQL“,首先解析SQL语义,找到要更新的业务数据,在数据被更新前,保存下来"undo",然后执行”业务SQL“更新数据,更新之后再次保存数据”redo“,最后申请全局锁
,本地事务提交并上报给TC,这些操作都在本地数据库事务内完成,这样保证了一阶段的原子性。二阶段:回滚通过一阶段的回滚日志进行反向补偿。
相对一阶段,二阶段比较简单,负责整体的回滚和提交,如果之前的一阶段中有本地事务没有通过,那么就执行全局回滚,否则执行全局提交,回滚用到的就是一阶段记录的"undo Log",通过回滚记录生成反向更新SQL并执行,以完成分支的回滚。当然事务完成后会释放所有资源和删除所有日志。
写隔离
一阶段本地事务提交前,需要确保先拿到
全局锁
。拿不到
全局锁
,不能提交本地事务。拿
全局锁
的尝试被限制在一定范围内,超出范围将放弃,并回滚本地事务,释放本地锁
。
全局锁
其实就是一个普通表,我们称之为全局表,记录了事务A的分支事务a1、a2、a3涉及的表和该表的行,假设是表1的 2、4行,那么其他事务B去修改表1的第5行时,需要去全局表检查下第五行是否已存在,这里是不存在的,即事务B和A不冲突,假设B尝试修改表1的第2行,那么就冲突了,禁止提交,直至事务A释放全局锁。由于全局锁
机制,可以保证写写安全
读隔离
在数据库本地事务隔离级别 读已提交
(Read Committed) 或以上的基础上,Seata(AT 模式)的默认全局隔离级别是 读未提交
(Read Uncommitted)。
如果应用在特定场景下,必需要求全局的 读已提交
,目前 Seata 的方式是通过 SELECT FOR UPDATE 语句的代理。
SELECT FOR UPDATE 语句的执行会申请 全局锁
,如果 全局锁
被其他事务持有,则释放本地锁(回滚 SELECT FOR UPDATE 语句的本地执行)并重试。这个过程中,查询是被 block 住的,直到 全局锁
拿到,即读取的相关数据是 已提交
的,才返回。
出于总体性能上的考虑,Seata 目前的方案并没有对所有 SELECT 语句都进行代理,仅针对 FOR UPDATE 的 SELECT 语句。
XA 模式
XA 协议
XA 规范 是 X/Open 组织定义的分布式事务处理(DTP,Distributed Transaction Processing)标准
XA 规范 描述了全局的事务管理器与局部的资源管理器之间的接口。 XA规范 的目的是允许的多个资源(如数据库,应用服务器,消息队列等)在同一事务中访问,这样可以使 ACID 属性跨越应用程序而保持有效。
XA 规范 使用两阶段提交(2PC,Two-Phase Commit)来保证所有资源同时提交或回滚任何特定的事务。
XA 规范 在上世纪 90 年代初就被提出。目前,几乎所有主流的数据库都对 XA 规范 提供了支持。
DTP模式定义TM和RM之间通讯的接口规范叫XA,简单理解为数据库提供的2PC接口协议,基于数据库的XA协议来实现的2PC又称为XA方案
。
DTP模型定义如下角色:
AP
:即应用程序,可以理解为使用DTP分布式事务的程序
RM
:资源管理器,可以理解为事务的参与者,一般情况下是指一个数据库的实例(MySql),通过资源管理器对该数据库进行控制,资源管理器控制着分支事务
TM
:事务管理器,负责协调和管理事务,事务管理器控制着全局事务,管理实务生命周期,并协调各个RM。全局事务是指分布式事务处理环境中,需要操作多个数据库共同完成一个工作,这个工作即是一个全局事务。
XA 协议的痛点
如果一个参与全局事务的资源 “失联” 了(收不到分支事务结束的命令),那么它锁定的数据,将一直被锁定
。进而,甚至可能因此产生死锁。
这是 XA 协议的核心痛点,也是 Seata 引入 XA 模式要重点解决的问题。
Seata 的 XA 模式
在 Seata 定义的分布式事务框架内,利用事务资源(数据库、消息服务等)对 XA 协议的支持,以 XA 协议的机制来管理分支事务的一种 事务模式。
执行阶段:
可回滚:业务 SQL 操作放在 XA 分支中进行,由资源对 XA 协议的支持来保证 可回滚
持久化:XA 分支完成后,执行 XA prepare,同样,由资源对 XA 协议的支持来保证持久化(即,之后任何意外都不会造成无法回滚的情况)
完成阶段:
分支提交:执行 XA 分支的 commit
分支回滚:执行 XA 分支的 rollback
Seata XA 模式的价值
Seata 已经支持的 3 大事务模式:AT、TCC、Saga 都是 补偿型
的。补偿型
事务处理机制构建在 事务资源
之上(要么在中间件层面,要么在应用层面),事务资源
本身对分布式事务是无感知的。无法做到真正的 全局一致性
。
比如,一条库存记录,处在 补偿型 事务处理过程中,由 100 扣减为 50。此时,仓库管理员连接数据库,查询统计库存,就看到当前的 50。之后,事务因为异外回滚,库存会被补偿回滚为 100。显然,仓库管理员查询统计到的 50 就是 脏 数据。所以补偿型事务是存在中间状态的(中途可能读到脏数据)
与 补偿型
不同,XA 协议 要求 事务资源
本身提供对规范和协议的支持。
因为 事务资源
感知并参与分布式事务处理过程,所以 事务资源
(如数据库)可以保障从任意视角对数据的访问有效隔离,满足全局数据一致性
。
比如,刚才提到的库存更新场景,XA 事务处理过程中,中间状态数据库存 50 由数据库本身保证,是不会仓库管理员的查询统计看到的。
除了 全局一致性
这个根本性的价值外,支持 XA 还有如下几个方面的好处:
业务无侵入:和 AT 一样,XA 模式将是业务无侵入的,不给应用设计和开发带来额外负担。
数据库的支持广泛:XA 协议被主流关系型数据库广泛支持,不需要额外的适配即可使用。
多语言支持容易:因为不涉及 SQL 解析,XA 模式对 Seata 的 RM 的要求比较少。
传统基于 XA 应用的迁移:传统的,基于 XA 协议的应用,迁移到 Seata 平台,使用 XA 模式将更平滑。
TCC 模式
TCC 模式,不依赖于底层数据资源的事务支持:
一阶段 prepare 行为:调用
自定义
的 prepare 逻辑。二阶段 commit 行为:调用
自定义
的 commit 逻辑。二阶段 rollback 行为:调用
自定义
的 rollback 逻辑。
所谓 TCC 模式,是指支持把 自定义
的分支事务纳入到全局事务的管理中。
Sage 模式
Saga模式是Seata提供的长事务
解决方案,提供了异构系统的事务统一处理模型。在Saga模式中,所有的子业务都不在直接参与整体事务的处理(只负责本地事务的处理),而是全部交由了最终调用端来负责实现,而在进行总业务逻辑处理时,在某一个子业务出现问题时,则自动补偿全面已经成功的其他参与者,这样一阶段的正向服务调用和二阶段的服务补偿处理全部由总业务开发实现。
总结
XA 模式的加入,补齐了 Seata 在 全局一致性
场景下的缺口,形成 AT、TCC、Saga、XA 四大 事务模式 的版图
官方文档
https://seata.io/zh-cn/docs/user/txgroup/transaction-group.html
转载自:Seata 四大事务模式解析