关于spring嵌套事务,我发现网上好多热门文章持续性地以讹传讹
事情起因是,摸鱼的时候在某平台刷到一篇spring事务相关的博文,文章最后贴了一张图。里面关于嵌套事务的表述明显是错误的。
更奇怪的是,这张图有点印象。在必应搜索关键词PROPAGATION_NESTED
出来的第一篇文章,里面就有这这部份内容,也是结尾部份完全一模一样。
更关键的是,人家原文是表格,这位倒好,估计是怕麻烦,直接给截成图片了。
而且这篇文章其实在评论区已经被人指出来这方面的问题了,但是这位作者依然不加验证的直接拿走了。
这位作者可不是个小号,是某年度的人气作者。
可能是有自己的公众号,得保持一定的更新频率?
好家伙,没经过验证,一部份错误的内容就这样被持续扩大传播了。
在必应搜索关键词PROPAGATION_NESTED
出来文章,前两篇都是CSDN,都是一样的文章一样的错误。另外几篇文章也或多或少有些表述不清的地方。因此尝试来写一写这方面的东西。
顺便吐槽一下CSDN,我好多篇文章都被这上面的某些作者给扒过去,然后搜索一模一样的标题,权重比我还高,出来排第一位的反而是CSDN的盗版文章。
1.当我们在谈论嵌套事务的时候,嵌套的是什么?
当看到`嵌套事务`第一反应想到是这样式的:
但这更像PROPAGATION_REQUIRES_NEW
啊,感兴趣可以去打断点执行一下。PROPAGATION_REQUIRES_NEW
事务传播下,方法A调用方法B就是这样,
// 事务A doBegin()
// 事务B doBegin()
// 事务B doCommit()
// 事务A doCommit()
而在PROPAGATION_NESTED
事务传播下,打了个断点,会发现只会执行一次doBegin和doCommit:
事务A doBegin()
事务A doCommit()
我们用代码输出更加直观。
定义两个方法serviceA和serviceB,使用前者调用后者。前者事务传播使用REQUIRED
,后者使用PROPAGATION_NESTED
。
@Transactional(propagation = Propagation.REQUIRED)
public void serviceA(){
Tcity tcity2 = new Tcity();
tcity2.setId(0);
tcity2.setStateCode("5");
tcity2.setCnCity("测试城市2");
tcity2.setCountryCode("ALB");
tcityMapper.insertSelective(tcity2);
transactionInfo();
test2.serviceB();
}
@Transactional(rollbackFor = Exception.class, propagation = Propagation.NESTED)
public void serviceB() {
Tcity tcity = new Tcity();
tcity.setId(0);
tcity.setStateCode("5");
tcity.setCnCity("测试城市");
tcity.setCountryCode("ALB");
tcityMapper.insertSelective(tcity);
tcityMapper.selectAll2();
transactionInfo();
这里的transactionInfo()使用事务同步器管理器TransactionSynchronizationManager
注册一个事务同步器TransactionSynchronization
。
这样在事务完成之后afterCompletion
会输出当前事务是commit
还是rollback
,这样也便于测试,比起去刷新数据库看有没有写入,更加方便快捷直观。
同时使用TransactionSynchronizationManager.getCurrentTransactionName()
可以得到当前事务的名称,这样可以直观的看到当前方法使用的是同一个事务还是不同的事务。
protected void transactionInfo() {
String transactionName = TransactionSynchronizationManager.getCurrentTransactionName();
boolean active = TransactionSynchronizationManager.isActualTransactionActive();
log.info("transactionName:{}, active:{}", transactionName, active);
if (!active) {
log.info("transaction :{} not active", transactionName);
return;
}
TransactionSynchronizationManager.registerSynchronization(new TransactionSynchronization() {
@Override
public void afterCompletion(int status) {
if (status == STATUS_COMMITTED) {
log.info("transaction :{} commit", transactionName);
} else if (status == STATUS_ROLLED_BACK) {
log.info("transaction :{} rollback", transactionName);
} else {
log.info("transaction :{} unknown", transactionName);
}
}
});
}
执行测试代码:
@RunWith(SpringRunner.class)
@SpringBootTest
public class Test {
@Autowired
private Test1 test1;
@org.junit.Test
public void test(){
test1.serviceA();
}
}
输出:
可以非常直观地观察到3点情况:
1.通过上图标记为1的地方,可以看到两个方法使用了一个事务com.nyp.test.service.propagation.Test1.serviceA
。
2.通过上图标记为2的地方,以及箭头顺序,可以看到事务执行顺序类似于(事实上不是,只是事务同步器的问题,下文有说明):
// 事务A doBegin()
// 事务B doBegin()
// 事务A doCommit()
// 事务B doCommit()
3.通过事务同步器打印日志发现commit执行了两次。
以上2,3两点与前面打断点的结论貌似是有点冲突。
1.1嵌套事务究竟有几个事务
源码版本:spring-tx 5.3.25
通过源码,可以很直观地观察到,useSavepointForNestedTransaction()
默认返回true,这样就不会开启一个新的事务(startTransaction
), 而是创建一个新的savepoint
。
相当于在方法A的时候会开启一个新的事务,在调用方法B的时候,会在方法A之后方法B之前创建一个检查点。
类似于在原来的A方法上手动添加检查点。
@Transactional(propagation = Propagation.REQUIRED)
public void serviceA(){
Object savePoint = null;
try {
Tcity tcity2 = new Tcity();
tcity2.setId(0);
tcity2.setStateCode("5");
tcity2.setCnCity("测试城市2");
tcity2.setCountryCode("ALB");
tcityMapper.insertSelective(tcity2);
transactionInfo();
savePoint = TransactionAspectSupport.currentTransactionStatus().createSavepoint();
test2.serviceB();
} catch (Exception exception) {
exception.printStackTrace();
TransactionAspectSupport.currentTransactionStatus().rollbackToSavepoint(savePoint);
}
}
然后通过检查点,将一个逻辑事务
分为多个物理事务
。
我这可不是在乱讲啊,我是有备而来。
https://github.com/spring-projects/spring-framework/issues/8135
上面是spring 在github官方社区07年的一个贴子,Juergen Hoeller
有一段回复。
Juergen Hoeller
是谁?他是spring的联合创始人,事务这一块的主要开发者。
PROPAGATION_NESTED的不同之处在于,它使用具有多个保存点的单个物理事务,可以回滚到这些保存点。这种部分回滚允许内部事务范围触发其范围的回滚,而外部事务可以继续进行物理事务,尽管已经回滚了一些操作。这通常映射到JDBC保存点上,因此只适用于JDBC资源事务(Spring的DataSourceTransactionManager)。
在嵌套事务中,整体是一个逻辑事务,通过savepoint在jdbc物理层面把调用方法分割成一个个的物理事务。
因为spring层面只有一个逻辑事务,所以通过断点只执行了一次doBegin()和doCommit(),但实际上执行了两次preCommit(),如果有savepoint那就不执行commit(),
这也能回答上面2,3两点问题的疑问。
所以上面方法A调用方法B进行嵌套事务,右(下)图比左(上)图更形象准确:
1.2 savepoint
savepoint是JDBC的一种机制,spring运用savepoint来实现了嵌套事务。
在数据库操作中,默认autocommit为true,意味着一条SQL一个事务。也可以将autocommit设置为false,将多条SQL组成一个事务,一起commit或者rollback。
以上都是常规操作,在一个事务中所以数据库操作全部捆绑在一起。在某些特定情况下,在一个事务中,用户只希望rollback其中某部份,这时候可以用到savepoint。
记我们忘掉@Transactional
,以编程式事务的方式来手动设置一个savepoint。
方法A,写入一条用户记录,并设置一个检查点。
@Autowired
private PlatformTransactionManager platformTransactionManager;
public void serviceA(){
TransactionStatus status = platformTransactionManager.getTransaction(new DefaultTransactionDefinition());
Object savePoint = null;
try {
Person person = new Person();
person.setName("张三");
personDao.insertSelective(person);
transactionInfo();
// 设置一个savepoint
savePoint = status.createSavepoint();
test2.serviceB();
} catch (Exception exception) {
exception.printStackTrace();
// 这里输出两次commit,到rollback到51行,会插入一条数据
status.rollbackToSavepoint(savePoint);
// 这里会两次rollback
// platformTransactionManager.rollback(status);
}
platformTransactionManager.commit(status);
}
方法B写入一条日志记录。并在此模拟一个异常。
public void serviceB() {
TLog tLog = new TLog();
tLog.setOprate("user");
transactionInfo();
tLogDao.insertSelective(tLog);
int a = 1 / 0;
}
测试希望达到的效果是,日志写入失败,但用户记录写入成功。很明显,如果不使用savepoint是达不到的。因为两个方法是一个事务,在方法B中报错了,抛出异常,用户和日志的数据库操作都将回滚。
测试输出日志:
[2023-04-24 14:40:18.740] INFO 88384 [main] [com.nyp.test.service.propagation.Test1] : transactionName:null, active:true
[2023-04-24 14:40:18.742] INFO 88384 [main] [com.nyp.test.service.propagation.Test2] : transactionName:null, active:true
java.lang.ArithmeticException: / by zero
......省略
[2023-04-24 14:40:18.747] INFO 88384 [main] [com.nyp.test.service.propagation.Test1] : transaction :null commit
[2023-04-24 14:40:18.747] INFO 88384 [main] [com.nyp.test.service.propagation.Test2] : transaction :null commit
数据库也表明用户写入成功,日志写入失败。
2.一开始的问题,B先回滚A再正常提交?
本文开始的问题是方法A事务传播为PROPAGATION_REQUIRED
,方法B事务传播为PROPAGATION_NESTED
。方法A调用B,methodA正常,methodB抛异常。
这种情况下会发生什么?
B先回滚,A再正常提交
这种说法为什么会有问题,有什么问题?
2.1 先B后A的顺序有问题吗?
通过前面事务同步器打印的日志我们得知,事务以test1.serviceA()执行doBegin(),test2.serviceB()执行doBegin(),test1.serviceA()执行doCommit(),test2.serviceB()执行doCommit()
这样的顺序执行。
但是果真如此吗?
通过源码我们首先得知,preCommit()在commit()方法之前,在preCommit()会做savepoint的判断,如果有检查点就不执行commit()。
- 同时方法B只是一个savepoint不是一个真正的事务,并不会执行事务同步器。
- 方法A是一个真正的事务,所以会执行commit(),同时也会执行上面的事务同步器。
这里的事务同步器是一个Arraylist,它的执行顺序即是arraylist的遍历顺序,仅仅只代表加入的先后,并不代表事务真正commit/rollback的顺序。
从1,2两点可以得出结论,先B后A的顺序并没有问题。
同时,根据1,在嵌套事务中使用事务同步器要特别小心,在检查点的时候并不会执行同步器,同时会掩盖真正的操作。
比如方法B回滚了,但因为方法B只是个savepoint,所以事务同步器不会执行。等到方法A执行完操作事务同步器的时候,也只会反应外层事务即方法A的事务结果。
2.2 真正的问题
如果B回滚,A是commit还是rollback取决于方法A是否继续把异常往上抛。
让我们先暂时忘掉嵌套事务,测试一个REQUIRES_NEW的案例。
同样的方法A事务传播为REQUIRES
,方法B为REQUIRES_NEW
。
此时方法A和方法B为两个彼此独立的事务。
方法A调用方法B,方法B抛出异常。
此时,方法B肯定会回滚,但方法A呢?按理说彼此独立,那肯定是commit了。
但真的如此吗?
(1). 方法A不做异常处理。
测试结果:
可以看到确实是两个事务,但两个事务都rollback了。因为方法A虽然没有报异常,但它接到了方法B的异常且往上抛了,spring只会认为方法A同样也抛出了异常。因此两个事务都需要回滚。
(2).方法A处理了异常。
将方法A代码try-catch住,再执行。
日志有点多不做截图,
[2023-04-24 16:10:30.669] INFO 96664 [main] [com.nyp.test.service.propagation.Test1] : transactionName:com.nyp.test.service.propagation.Test1.serviceA, active:true
[2023-04-24 16:10:30.672] INFO 96664 [main] [com.nyp.test.service.propagation.Test2] : transactionName:com.nyp.test.service.propagation.Test2.serviceB, active:true
[2023-04-24 16:10:30.687] INFO 96664 [main] [com.nyp.test.service.propagation.Test2] : transaction :com.nyp.test.service.propagation.Test2.serviceB rollback
java.lang.ArithmeticException: / by zero
省略
[2023-04-24 16:10:30.689] INFO 96664 [main] [com.nyp.test.service.propagation.Test1] : transaction :com.nyp.test.service.propagation.Test1.serviceA commit
可以看到两个单独的事务,事务B回滚了,事务A提交了。
虽然我们这小节说的是REQUIRES_NEW
,但嵌套事务是一样的道理。
如果B回滚,当方法A继续往上抛异常,则A回滚;当方法A处理了异常不往上抛,则A提交。
3. 场景
在2.2小节中,我们举了REQUIRES_NEW
的例子来说明,有的同学可能就会有点疑问了。既然事务B回滚了,事务A都要根据情况来判断是否回滚,那这样嵌套事务跟REQUIRES_NEW
有啥区别?
还是拿注册的场景来说。往数据库写1条用户记录,再写1条注册成功操作日志。
- 如果日志写入失败,用户写入不受影响。这种情况下,
REQUIRES_NEW
和嵌套事务都能实现。而且很明显REQUIRES_NEW
还没那么弯弯绕绕。
2.考虑另外一种情况,如果用户写入失败了,那这时候我想要日志写入也失败。因为用户都没了,就不存在注册操作成功的操作日志了。
这种场景,在方法B为REQUIRES_NEW
模式下,打印输出
可以看到方法B提交了,也就是说用户注册失败了,但用户注册成功的操作日志却写入成功了。
我们再来看看嵌套事务的情况下:
方法A传播级别为REQUIRED,并模拟一个异常。
@Transactional(propagation = Propagation.REQUIRED)
public void serviceA(){
Person person = new Person();
person.setName("李四");
personDao.insertSelective(person);
transactionInfo();
test2.serviceB();
int a = 1 / 0;
}
方法B事务传播级别为NESTED。
@Transactional(propagation = Propagation.NESTED)
public void serviceB() {
TLog tLog = new TLog();
tLog.setOprate("user");
transactionInfo();
tLogDao.insertSelective(tLog);
}
执行日志
可以看到同一个逻辑事务下的两段物理事务都回滚了,达到了我们预期的效果。
4.小结
1.方法A事务传播为REQUIRED,方法B事务传播为NESTED。方法A调用方法B,当B抛出异常时,
如果A处理了异常,此时事务A提交。否则,事务A回滚。
2.REQUIRED_NEW和NESTED在有些场景下可以实现相同的功能,但在某些特定场景下只能NESTED实现。
3.NESTED底层逻辑是JDBC的savepoint。父事务类似于一个逻辑事务,savepoint将各方法分割了若干物理事务。
4.在嵌套事务中使用事务同步器时需要特别小心。
看到这里点个赞呗`