Spring 5.x 源码之旅-72事务细节分析一

作者简介：大家好，我是smart哥，前中兴通讯、美团架构师，现某互联网公司CTO

联系qq：184480602，加我进群，大家一起学习，一起进步，一起对抗互联网寒冬

学习必须往深处挖，挖的越深，基础越扎实！

阶段1、深入多线程

阶段2、深入多线程设计模式

阶段3、深入juc源码解析

阶段4、深入jdk其余源码解析

阶段5、深入jvm源码解析

 

码哥源码部分

码哥讲源码-原理源码篇【2024年最新大厂关于线程池使用的场景题】

码哥讲源码【炸雷啦！炸雷啦！黄光头他终于跑路啦！】

码哥讲源码-【jvm课程前置知识及c/c++调试环境搭建】

 

​​​​​​码哥讲源码-原理源码篇【揭秘join方法的唤醒本质上决定于jvm的底层析构函数】

码哥源码-原理源码篇【Doug Lea为什么要将成员变量赋值给局部变量后再操作？】

码哥讲源码【你水不是你的错,但是你胡说八道就是你不对了！】

码哥讲源码【谁再说Spring不支持多线程事务，你给我抽他！】

终结B站没人能讲清楚红黑树的历史，不服等你来踢馆！

打脸系列【020-3小时讲解MESI协议和volatile之间的关系，那些将x86下的验证结果当作最终结果的水货们请闭嘴】

 

创建事务信息流程图

处理提交流程图

处理回滚流程图

spring事务设计思想

所有的细节都在图上了，所以我把图都放上来了，方便对照。首先就是事务是用AOP来完成的，也就是一个try，catch，finally，最后再提交：

    			//创建事务信息
    			TransactionInfo txInfo = createTransactionIfNecessary(ptm, txAttr, joinpointIdentification);
    
    			Object retVal;
    			try {				
    				retVal = invocation.proceedWithInvocation();//调用方法
    			}
    			catch (Throwable ex) {
    				completeTransactionAfterThrowing(txInfo, ex);
    				throw ex;
    			}
    			finally {
    				cleanupTransactionInfo(txInfo);//清除事务信息，恢复线程私有的老的事务信息
    			}
    			...
    			commitTransactionAfterReturning(txInfo);

对象调用内部方法事务不起作用

因为对象内部方法调用不会涉及到动态代理，所以不会有事务，事务注解等于没作用 ，比如下面的例子，调用内部方法：

看调用栈，虽然是声明了事务注解，但是不起作用， 因为这个时候是调用目标对象的方法，又是在方法内调用了目标对象的另外一个方法，而不是走AOP代理，AOP代理才会去拦截，所以要去调用不同对象的方法才会进行AOP拦截 ：

事务状态TransactionStatus

每次执行一个方法前都要获取事务信息TransactionInfo，其中最重要的就是里面的事务状态TransactionStatus，spring就是用这个事务状态来进行隔离的，线程状态里面有几个比较重要的属性。

transaction

transaction事务，每次个方法执行其实都会在doGetTransaction创建一个：

newTransaction

newTransaction是否是新事务，意思就是说我这个方法创建的事务是不是新事务，当然如果当前存在事务的话，会把老的事务，也就是当前存在的事务挂起，如果不存在就挂起一个空的事务，这里好像有点多余，可能因为逻辑上的统一吧。比如传播机制是REQUIRED或者REQUIRES_NEW或者NESTED的情况下，如果当前没事务的情况下，挂起空事务，然后newTransaction=true，后面的doBegin中还会有新连接创建，后面会说：

还有如果当前事务存在的情况下，遇到传播机制是REQUIRES_NEW的时候，挂起当前事务，然后newTransaction=true：

当然如果传播机制是NESTED，但是不支持保存点的话，不会挂起当前事务，但是newTransaction=true，也就是把当前事务当做一个新的子事务，用的还是当前事务，同一个连接：

newSynchronization

newSynchronization是否是新同步，同步什么，跟我们线程同步，设置线程私有变量，默认我们事务管理器的状态是transactionSynchronization=SYNCHRONIZATION_ALWAYS，也就是对任何事务传播机制都会进行同步，而且只要当前线程私有变量synchronizations内部是null，就可以算是新同步了：

只有当prepareSynchronization准备同步的时候，发现是新同步，会设置线程私有变量的值，也会将当前线程私有变量synchronizations内部设置一个集合：

好了，今天就到这里了，希望对学习理解有帮助，大神看见勿喷，仅为自己的学习理解，能力有限，请多包涵。