@transaction 提交事务_【读源码】剖析TCCTransaction事务提交实现细节

最新推荐文章于 2024-08-24 09:06:51 发布
最新推荐文章于 2024-08-24 09:06:51 发布
阅读量743 收藏
点赞数
文章标签： @transaction 提交事务
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_28844359/article/details/113039517
版权
本文深入分析TCC-Transaction框架的源码，重点探讨@Compensable注解的处理，包括CompensableTransactionAspect和ResourceCoordinatorAspect切面的角色，以及事务的begin、commit、rollback等关键步骤。通过对事务的代理和包装，TCC-Transaction实现了类似二阶段提交的分布式事务解决方案。
摘要由CSDN通过智能技术生成

TCC分布式事务解决方案在开源界的主要实现为Byte-TCC、TCC-Transaction等。其中笔者了解较多并且业界使用率较高的为TCC-Transaction这一实现。

本文，我将带领读者对TCC-Transaction这一分布式事务框架进行一次源码解析，提高自己的阅读源码的能力，也希望能够对读者深入了解TCC-Transaction有所帮助。

源码下载

源码地址为 https://github.com/changmingxie/tcc-transaction，我们关注最新版本1.2.x。

源码下载后导入IDEA中，项目目录结构如下图：

495bc3e84961ef1d1041ccd528511946.png

模块及其对应职责说明如下：

102be70d99da6f88ea58bffc857731d9.png

项目核心模块为 tcc-transaction-core，它实现了TCC核心业务逻辑，也是本次源码解析的重点对象。

我们从Dubbo使用样例入手进行分析，关于如何使用TCC-Transaction的更多说明，请参照官方文档: 使用指南1.2.x[1]

从一个简单的样例入手

我们从一个调用案例入手开始进行分析，样例路径为

org.mengyun.tcctransaction.sample.dubbo.order.service.PaymentServiceImpl。

b0db6f86d120102ef61b3087aefb83db.png

这段代码为模拟支付扣款操作，可以看到在方法上添加了@Compensable注解，它是TCC-Transaction框架的核心注解，作用为：开启tcc事务支持，注解可以设置一下参数

参数名描述
propagation事务传播属性，REQUIRED(必须存在事务，不存在则进行创建)，SUPPORTS(如果有事务则在事务内运行)，MANDATORY(必须存在事务)，REQUIRES_NEW(不管是否存在是否都创建新的事务)
confirmMethodconfirm阶段方法实现
cancelMethodcancel阶段方法实现
transactionContextEditor设置transactionContextEditor
asyncConfirm是否使用异步confirm
asyncCancel是否使用异步cancel

解析注解@Compensable

看到了@Compensable注解以及对应的confirm、cancle方法，处于技术敏感，我们可以猜测在框架中一定存在切面逻辑对@Compensable进行拦截并处理；在切面逻辑中一定有对confirm、cancel方法的调用。从这个猜想出发，我们通过阅读相关代码去验证自己的猜想。

我们进入tcc-transaction-core模块的代码目录，目录结构如下：

ee0f2d2582ceee2b9d7c5efc437dfdd1.png

我们主要关注interceptor目录，该目录下的interceptor实现了对注解@Compensable的解析以及对事务的代理逻辑。

CompensableTransactionAspect

CompensableTransactionAspect切面主要实现了对@Compensable的解析以及对事务的代理。

276405759778204b05322b1f716a1f6c.png

CompensableTransactionAspect的实现类为ConfigurableTransactionAspect.java, 加载顺序order= Ordered.HIGHEST_PRECEDENCE(-2147483648)。

该切面对标注了@Compensable的方法进行拦截，通过@Around为业务方法添加环绕增强。可以看到具体的增强方法实现为CompensableTransactionInterceptor.interceptCompensableMethod(pjp);

CompensableTransactionInterceptor.interceptCompensableMethod(pjp);

接着上述的分析，我们看一下CompensableTransactionInterceptor.interceptCompensableMethod(pjp)的逻辑。

c74d671f0f46abd30bd7479e80da1d38.png

我们主要关注switch代码段

39255923d05384626615be19e475686c.png

当事务方法为ROOT方法(即分布式事务的主方法)时，执行rootMethodProceed(compensableMethodContext);方法为PROVIDER(提供者)方法时，执行providerMethodProceed(compensableMethodContext)。默认为消费者事务，则直接执行。

我们以此看一下这几种事务切面的执行逻辑。

rootMethodProceed(compensableMethodContext)

对于事务的Root方法，执行rootMethodProceed逻辑，代码逻辑：

d2092c8d3e854470a7b567a137d77cca.png

注意关注这段代码

// 执行完成之后会马上进到另外一个切面中去returnValue = compensableMethodContext.proceed();

当所有的切面都执行完成之后才会执行后续的逻辑，也就是真正执行业务方法。

该方法为一个典型的模板方法，对事务通过begin、commit、rollback进行了抽象。

我们进入三个方法详细的分析。

begin()

首先进入begin方法

80f0b8b15f21a144d3fe16752ad9ab13.png

0.首先声明并初始化一个分布式事务对象Transaction，标记为ROOT事务，事务初始状态为TRYING。这里采用了经典的状态机策略

39e916965a6b9e5414b4775542f4129c.png

1.将事务信息存储到数据源中，数据源可以是数据库、redis、zk等，可配置；TransactionRepository是具体的持久化策略的抽象

2.注册事务，在TransactionManager中，通过双向队列(Deque)实现事务栈功能，用来处理嵌套事务。通过对Deque声明为为ThreadLocal，所以对每个线程而言，事务栈都都是独立的

private static final ThreadLocal> CURRENT = new ThreadLocal>();

commit()

接着看一下commit()方法

02737cbf6f9bad71b19f01cbb1893e05.png

commit(boolean asyncCommit)方法执行事务的提交过程，具体提交逻辑在commitTransaction(transaction)中完成。

75704286a9a6bf9a5dd670349b352ea7.png

可以看到，在事务提交完成之后，对本地持久化的事务记录进行了物理删除，具体删除方式取决于持久化机制。感兴趣的同学可以自行查看 org.mengyun.tcctransaction.repository 目录下的实现。

rollback()

我们看一下方法rollback()是如何实现事务回滚逻辑的

3315d7cd464d0e4f72311d8e316ea0b2.png

和commit方法类似，在rollback(boolean asyncRollback)执行事务的回滚操作，具体的操作在rollbackTransaction(transaction)中执行：

f839aa4b8c8a0db032f7f6b38144a784.png

cleanAfterCompletion(transaction)

无论是否提交/回滚，最终都会执行cleanAfterCompletion(transaction)方法进行现场清理操作。

2223df8ab31f4ae76afe5117c42cae26.png

事务执行结束，从栈中弹出当前结束的事务。

providerMethodProceed(compensableMethodContext)

看完rootMethodProceed根事务切面逻辑，再来看提供者切面事务逻辑就好理解多了，方法逻辑如下：

926f1eeaf50db3b8a276384ce7399f50.png

这里进行小结，可以看到在provider类型的方法切面，对于远程的Participant，如果transaction的status为trying，则通过transactionManager.propagationNewBegin创建分支事务并执行被切方法逻辑；

如果是status为confirming或canceling，则会调用对应的confirm或cancel配置的方法，跳过被切方法
对于普通类型方法直接调用，normal类型的方法是封装了对远程dubbo接口方法调用逻辑的本地proxy方法，所以直接执行即可

ResourceCoordinatorAspect

ResourceCoordinatorAspect切面主要是为了执行资源协调，它的实现为ConfigurableCoordinatorAspect

50fd05c7fb727a5eabbef0e79296c421.png

ConfigurableCoordinatorAspect的职责为设置事务的参与者；在一个事务内，每个被@Compensable注解的方法都是事务参与者。

可以看到该切面的优先级为 Ordered.HIGHEST_PRECEDENCE + 1，order的数值大于CompensableTransactionAspect。由于 @Order中的值越小，优先级越高，因此切面ResourceCoordinatorAspect的优先级小于CompensableTransactionAspect。

从代码可以看出，设置事务参与者逻辑是通过ResourceCoordinatorInterceptor.interceptTransactionContextMethod方法执行的。

91045be6727a092375089117e7512aac.png

我们可以得知，在trying阶段，框架会把所有事务参与者加入到当前事务中去。

对于Root方法，先创建主事务，事务参与者包括Root方法对应的本地参与者及Normal方法对应的远程参与者；

对于Provider方法，首先通过主事务上下文创建分支事务，事务参与者包括Provider方法对应的本地参与者以及它所包含的Normal方法对应的远程参与者。而远程参与者又可以开启新的分支事务。

我们可以合理的猜想，如果事务嵌套的层级很多，一定会存在性能问题。

enlistParticipant(pjp)

我们详细看一下enlistParticipant(pjp)是如何生成的事务参与者对象。

05f4404e562867003255b5b55d5a8a65.png

从上述的代码逻辑中，我们可以得到结论，CompensableTransactionAspect开启事务，ResourceCoordinatorAspect对注解@Compensable进行解析，将confirm与cancel的具体逻辑设置到事务管理器中。

当上述两个切面都执行完成之后，开始执行try中的方法。 如果try成功则执行commit否则执行rollback。
每个分支事务最终被封装到Transaction的participants中，每个分布式事务都有一个自己的  ThreadLocal

我们再次回顾commit的逻辑，查看Transaction.commit()方法

[Transaction.java]publicvoid commit() {    // 对每一个分支执行提交操作    for(Participant participant : participants) {            participant.commit();    }}

participant就是切面ResourceCoordinatorAspect 添加的。我们再看一下participant.commit()的逻辑：

[Transaction.java]publicvoid commit() {    terminator.invoke(newTransactionContext(xid,                        TransactionStatus.CONFIRMING.getId()),                       confirmInvocationContext,                       transactionContextEditorClass);}

可以看到最终事务提交是通过invoke反射实现的，我们进入invoke逻辑

4e055a039db3cbe82a447ab25ad6de8c.png

最终通过method.invoke(target, invocationContext.getArgs())方法完成了真实的事务提交操作。

小结

到此我们对TCC-TRANSACTION的事务提交主流程进行了完整的分析。

通过分析我们可以知道TCC-TRANSACTION的核心逻辑是通过两个切面CompensableTransactionAspect、ResourceCoordinatorAspect 实现的。通过对事务进行包装与代理，实现了类似二阶段提交的分布式事务解决方案。

实际上，TCC-TRANSACTION还有一个重要的补偿逻辑我们还没有分析，它是基于定时调度实现的。

限于本文的篇幅，就不再继续展开。我将单独用一篇文章来对TCC-TRANSACTION的补偿过程进行分析，我们下文再会。

References

[1] 使用指南1.2.x: https://github.com/changmingxie/tcc-transaction/wiki/%E4%BD%BF%E7%94%A8%E6%8C%87%E5%8D%971.2.x

如果有片海
关注
分布式事务解决方案之TCC Transaction 下篇
vincent
04-02 5377
TCC Transaction  框架解析核心通过拦截器构建事务上下文，经过反射进行confirm/cancel操作。DTOTransactionXid (Xid： 指一个XA事务。不同的数据库要不同的 Xid（每个数据库连接（分支）一个）) : formatId(XID 的格式标识符)、 globalTransactionId(全局事务ID)、branchQualifier(分支限定符)Tran...
Spring系列第48篇：@Transaction 事务源码解析(1)
2401_84152140的博客
05-04 616
至此，文章终于到了尾声。技术能力：先写岗位所需能力，再写加分能力，不要写无关能力；项目经历：只写明星项目，描述遵循 STAR 法则；简历印象：简历遵循三大原则：清晰，简短，必要，要有的放矢，不要海投；以及最后为大家准备的福利时间：简历模板+Java面试题+热门技术系列教程视频《一线大厂Java面试题解析+核心总结学习笔记+最新讲解视频+实战项目源码》点击传送门，即可获取！1、先看@Transactional中是否通过value或者transactionManager指定了事务管理器。
tcc-transaction 1.2.x 使用指南
qq_30420359的博客
10-26 2584
1.2.x支持rpc框架支持隐式传参情况下将事务上下文参数TransactionContext以隐式传参方式进行传递，目前支持rpc框架为dubbo时的隐式传参方式传递，具体配置可参考下面“rpc框架为dubbo时隐式传参方式配置”。 配置tcc-transaction 1 引用tcc-transaction 在服务调用方和提供方项目中需要引用tcc-transaction-spring j...
为什么在@Transactional标记的方法中使用手动提交事务无效
最新发布
sbcsdn111的博客
08-24 404
当使用注解时，Spring会自动管理事务的边界，这使得手动提交事务通常是无效的，并且可能会导致事务管理的混乱。为了避免这些问题，建议在大多数情况下依赖Spring的自动事务管理机制。如果确实需要手动管理事务，建议完全放注解，并使用来明确控制事务的生命周期。
【mysql】mysql事务详解
扣丁曼
09-11 813
一、事务 1、事务的定义 事务即 （transaction） ，是数据库系统区别于文件系统的重要特性之一。在文件系统中，如果我们正在写文件，但是操作系统崩溃了，那么文件中的数据可能会丢失。但是数据库可以通过事务机制来确保这一点。 2、使用事务的目的 事务会把数据库从一中状态转换为另一种状态。在数据库提交工作时，可以确保要么所有工作都已经保存了，要么所有修改都不保存。 3、事务的四大特性 原子性（atomicity） 所谓原子性，是指整个数据库的每个事务都是不可分割的单位。只有事务中的所有 SQL 语句都
@transaction 提交事务_分布式事务 TCC-Transaction 源码分析——TCC 实现
weixin_42515120的博客
01-14 206
1. 概述本文分享 TCC 实现。主要涉及如下三个 Maven 项目：tcc-transaction-core ：tcc-transaction 底层实现。tcc-transaction-api ：tcc-transaction 使用 API。tcc-transaction-spring ：tcc-transaction Spring 支持。你行好事会因为得到赞赏而愉悦同理，开源项目贡献者会因为 ...
@transaction 提交事务_django-事务干货
weixin_39524574的博客
01-05 317
事务的开启导入transaction 装饰函数或者方法 from django.db import transaction @transaction.atomic def test(request): pass保存点操作设置保存点，设置后会得到一个标记save_tag1 = transaction.savepoint()数据的回退，根据保存点的标记进行数据的回退transaction.s...
Spring系列第48篇：@Transaction 事务源码解析
2401_84009749的博客
04-18 617
千千万万要记得：多刷题！！多刷题！！之前算法是我的硬伤，后面硬啃了好长一段时间才补回来，算法才是程序员的灵魂！！！！篇幅有限，以下只能截图分享部分的资源！！（1）多线程（这里以多线程为代表，其实整理了一本JAVA核心架构笔记集）（2）刷的算法题（还有左神的算法笔记）（3）面经+真题解析+对应的相关笔记（很全面）（4）视频学习（部分）ps：当你觉得学不进或者累了的时候，视频是个不错的选择在这里，最后只一句话：祝大家offer拿到手软！！
python django事务transaction源码分析详解
09-21
在Django 1.8中，事务管理主要是通过`transaction`模块实现的，特别是`atomic`方法。本文将深入解析`transaction.atomic`的源码，帮助理解其工作原理。 首先，`transaction.atomic`有两种主要的使用方式：作为装饰...
JAVA设置手动提交事务,回滚事务,提交事务的操作
08-19
JAVA设置手动提交事务、回滚事务、提交事务的操作详解 本文主要介绍了JAVA设置手动提交事务、回滚事务、提交事务的操作，涉及到事务的自动提交、手动提交、回滚和提交等操作。以下是对这些操作的详细解释和示例代码...
TCC-Transaction 源码分析 —— 运维平台
kwame211的博客
12-08 1188
1. 概述 本文分享 运维平台。TCC-Transaction 提供了相对精简的运维平台，用于查看在《TCC-Transaction 源码分析 —— 事务存储器》提到的事务存储。目前暂时只有两个功能： 查看未完成的事务列表重置事务恢复重试次数 运维平台( Maven 项目 tcc-transaction-server ) 整体代码结构如下： 本文自下而上，Dao => Contro
@Transactional注解管理事务和Spring手动提交事务(二)
输入技术、输出想法
05-26 8296
使用 Spring 注解管理事务概述@Transactional 注解简介使用 @Transaction 注解 概述 通过 @Transactional 注解方式，也可将事务织入到相应方法中。而使用注解方式，只需在配置文件中加入一个 tx 标签，以告诉 Spring 使用注解来完成事务的织入。该标签只需指定一个属性，事务管理器。 <beans xmlns="http://www.springframework.org/schema/beans" xmlns:xsi="http://www.w3.or
Spring Boot 中的 TCC 事务
程序猿徐师兄的博客
07-04 994
TCC 事务是一种基于补偿事务的分布式事务解决方案，可以帮助我们解决分布式事务的问题。在 Spring Boot 中，我们可以使用 Seata 来实现 TCC 事务，并利用其强大的功能来管理和控制分布式事务。本文介绍了 TCC 事务的概念和原理，并给出了一个基本的 Spring Boot + Seata TCC 事务示例。通过学习本。
分布式事务中间件 TCC-Transaction 源码分析 —— 项目实战
lldouble的博客
03-06 2840
摘要: 原创出处 http://www.iocoder.cn/TCC-Transaction/http-sample/ 「芋道源码」欢迎转载，保留摘要，谢谢！本文主要基于 TCC-Transaction 1.2.3.3 正式版1. 概述2. 实体结构2.1 商城服务2.2 资金服务2.3 红包服务3. 服务调用4. 下单支付流程4.1 Try 阶段4.2 Confirm / Cancel 阶段4....
Spring中的@Transactional配置
tuzi37的专栏
08-14 826
@Transactional(noRollbackFor=RuntimeException.class)方法事务说明 @Transactional(RollbackFor=Exception.class) @Transactional(readOnly=true) @Transactional(timeout=100) @Transactional(isolation)数据库的隔离级别
TCC-transaction源码(一)：Compensable注解和事务拦截器
alwaysBrother的博客
07-30 1552
一 、Compensable注解的两个切面 @Pointcut("@annotation(org.mengyun.tcctransaction.api.Compensable)") org.mengyun.tcctransaction.spring.ConfigurableTransactionAspect 顺序 Ordered.HIGHEST_PRECEDENCE; org.mengyun.tcctransaction.interceptor.ResourceCoordinatorAspect
tcc-transaction分布式TCC型事务框架搭建与使用记录
热门推荐
公子的专栏
06-15 2万+
首先感谢框架作者。本文只介绍框架使用，并不分析源码。 介绍：tcc-transaction是开源的TCC补偿性分布式事务框架，git地址：https://github.com/changmingxie/tcc-transaction TCC为Try、Confirm、Cancel的缩写：try阶段预留资源尝试提交，confirm阶段确定提交，cancel取消提交释放资源。 1.2.x项...
面试官：Spring@Transaction注解是如何执行事务的？
weixin_50205273的博客
06-23 684
前言 相信小伙伴一定用过 @Transaction 注解，那 @Transaction 背后的秘密又知道多少呢？ Spring 是如何开启事务的？又是如何进行提交事务和关闭事务的呢？ 画图猜测 在开始 debug 阅读源码之前，小伙伴们应该已经知道 MySQL 是如何开启事务的。 因此可以得出猜测： 那下面跟着源码一起读一读，Spring 的 @Transaction 注解是如何执行事务逻辑的？ Spring 事务执行流程 开启事务 这里使用的是 Spring Boot + MySQL
idea中spring事务 解决 transaction-manager Attribute transaction-manager is not allowed here
wzg19690226wzg的博客
02-22 1827
解决 transaction-manager Attribute transaction-manager is not allowed here idea根据你的事务自动生成的命名空间如下： 将上面红色标注的代码换成如下即可： xmlns:tx=“http://www.springframework.org/schema/tx” ...
Oracle数据库查找未提交事务SQL语句教程
此外，了解并掌握Oracle的行级锁定、多版本并发控制（MVCC）以及读已提交（READ COMMITTED）、可重复读（REPEATABLE READ）等隔离级别也是管理未提交事务的重要部分。在高并发环境下，使用合适的事务隔离级别能有效...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值