关于spring嵌套事务,我发现网上好多热门文章持续性地以讹传讹

博客 分享
0 293
优雅殿下
优雅殿下 2023-04-24 17:27:34
悬赏:0 积分 收藏

关于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()。

  1. 同时方法B只是一个savepoint不是一个真正的事务,并不会执行事务同步器。
  2. 方法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条注册成功操作日志。

  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.在嵌套事务中使用事务同步器时需要特别小心。


看到这里点个赞呗`

posted @ 2023-04-24 17:06  是奉壹呀  阅读(0)  评论(0编辑  收藏  举报
回帖
    优雅殿下

    优雅殿下 (王者 段位)

    2017 积分 (2)粉丝 (47)源码

    小小码农,大大世界

     

    温馨提示

    亦奇源码

    最新会员