初识事务,事务隔离级别,事务传播行为

本篇文章会介绍以下几个概念:事务,事务隔离级别,spring事务的传播模式。在介绍事务时会引出原子性的概念,在介绍事务隔离级别的时候会引出脏读和幻读的概念。

事务

什么是事务?

事务最开始是数据库中的概念,它把一系列的操作统一为一个整体,这一系列的操作要么同时成功,要么同时失败。一个事务基本的操作是:

  1. 开启事务
  2. 如果发生了错误,进行回滚
  3. 如果没有发生错误,则提交事务

为什么要有事务?

在我们处理简单业务的时候,比如说一条插入数据的操作,只会得到两个结果,要么插入成功,要么插入失败,这对应到代码逻辑上是很简单的。
我们称这样的操作具有原子性。

但是我们的业务往往不会只有插入一条数据那么简单,可能用户点击一个按钮后,我们需要插入一条数据和删除一条数据。由于每个操作都有可能成功和失败,这个时候我们就有了2^2=4种情况,这下编程起来就麻烦了。

为了方便编程(也为了符合实际业务逻辑),我们引入开头所述的事务机制,把两个操作放在一个事务里面,使这两个操作具备原子性,这样一来业务处理起来就方便多了。

事务隔离级别

上面我们谈到了操作数据库的时候会使用到事务,接下来引入的问题就是:在数据库中,难免会出现多个事务同时操作数据的情况,这时数据库设置的事务隔离级别不同,会出现不同的数据操作结果,经典的脏读与幻读也诞生于此。

首先给出并发访问时,不同事务隔离级别下的情况表:

事务隔离级别 脏读 不可重复读 幻读
read uncommitted 读未提交
read committed 读提交 不会
repeatable read 可重复读 不会 不会
serializable 串行化 不会 不会 不会

可以看到事务隔离级别越高,产生的问题越少,但是相应的性能是会降低的,下面通过几个例子分别阐述不同事务隔离级别下发生的问题:

读未提交

当事务隔离设置为读未提交时,最容易产生的问题是脏读。读未提交指的是当前事务可以读到其他事务未提交的数据:假设一位父亲给他的儿子打生活费,本来一个月2000但是不小心手抖多打了1000变成3000,这时儿子去商店消费,查询余额的时候就多了3000。由于父亲的事务还没提交,便立马回滚事务,重新打过去2000生活费。

这个时候儿子读到的余额就是脏数据,产生的原因是读取了其他事务未提交的数据。

读提交

只要将事务隔离级别设置为读提交就能解决上面的脏读问题,他能保证当前事务只能读到其他事务已经提交的数据。但是读提交会面临一个新问题:不可重复读。

比如说儿子拿着卡到商店消费,买单的时候(开启当前事务),系统检测到卡里只有500元。这个时候父亲给儿子转了2000块生活费,当儿子准备扣费的时候再查询余额发现变成了2500元(这个查询发生在父亲的转账事务提交之后)

在同一个事务中,儿子的余额在不同的时候读取的值不一样,这就是不可重复读问题。想要解决这个问题,需要把事务隔离级别设置为可重复读

可重复读

在可重复读的情况下,当前事务会禁止其他事务对正在操作的数据进行更新,这样一来,父亲转账的事务就要等到儿子账号扣费结束后才能进行,从此解决了不可重复读问题。

但是可重复读级别下还可能发生一个问题叫幻读,举例如下:儿子今天在外消费了1000元,父亲查看儿子一天的消费记录(开启事务),发现一共是1000元。这个时候儿子又消费了1000元(父亲的事务仍在进行中),接着父亲打印儿子今天的消费记录,发现莫名其妙地变成了2000元,多了一条消费记录。

像这种当前事务在操作的过程中,由于别的事务增加或删除数据,导致当前事务操作的数据突然变多或变少的情况,就叫幻读。想要解决幻读,需要把事务隔离级别升级为串行化

串行化

当事务隔离级别为串行化时,所有事务都是串行执行的,对应上面的例子:父亲在查看当天消费记录时,儿子是不能消费的。这么一来事务并发带来的问题都能解决,但是效率很低。

扩展

在常用的数据库中Orcale默认的事务隔离级别是读提交,而Mysql默认的是可重复读。在Mysql的InnoDB引擎中,虽然事务隔离级别是可重复读,但是也可以解决幻读问题,背后的原理是在数据行之间添加间隙锁,防止数据的插入与删除。

具体选择那一种事务隔离级别,要看具体的业务需要

事务传播行为

事务的传播行为从字面上也是挺好理解的:想要发生传播就一定要有两个以上的物体,而这里指的是两个方法都要在事务中进行,当一个事务方法A调用另一个事务方法B时,另一个事务方法B该如何运行。

Spring一共定义了7种事务传播行为(事务方法B该如何运行):

传播行为 含义
PROPAGATION_REQUIRED 如果当前没有事务,就新建一个事务,如果已经存在一个事务中,加入到这个事务中(这是最常见的选择,也是spring的默认事务传播行为)
PROPAGATION_SUPPORTS 支持当前事务,如果当前没有事务,就以非事务方式执行
PROPAGATION_MANDATORY 使用当前的事务,如果当前没有事务,就抛出异常
PROPAGATION_REQUIRES_NEW 新建事务,如果当前存在事务,把当前事务挂起
PROPAGATION_NOT_SUPPORTED 以非事务方式执行操作,如果当前存在事务,就把当前事务挂起
PROPAGATION_NEVER 以非事务方式执行,如果当前存在事务,则抛出异常
PROPAGATION_NESTED 如果当前存在事务,则在嵌套事务内执行。如果当前没有事务,则执行与PROPAGATION_REQUIRED类似的操作

平时我们最常用的是 PROPAGATION_REQUIRED,这也是spring的默认事务传播行为,理解了它就能按理推导其他的事务传播行为。

比如说当前我们有如下代码:

@Transactional(propagation = Propagation.REQUIRED)
public void methodA() {
     methodB();
    // do something
}
 
@Transactional(propagation = Propagation.REQUIRED)
public void methodB() {
    // do something
}
  1. 假设我们执行methodA,由于当前还没有事务,于是就新创建一个事务。
  2. 当在methodA中调用methodB的时候,由于methodA已经存在于事务中,于是methodB便无需新创建一个事务,直接加入到methodA的事务中即可。

总结

  1. 事务能够让一系列不同的操作具有原子性。(当然事务具备ACID四大特性,本文在初步介绍时强调的是原子性)
  2. 事务隔离级别定义了事务并发操作时的访问规则。
  3. 事务传播行为定义了事务方法在执行时该怎么运用事务。

参考文章:
事务隔离级别:https://www.cnblogs.com/ubuntu1/p/8999403.html
事务传播行为:https://blog.csdn.net/weixin_39625809/article/details/80707695
事务传播行为:https://www.cnblogs.com/softidea/p/5962612.html

原文地址:https://www.cnblogs.com/tanshaoshenghao/p/12184454.html