Spring中的事务传播及隔离级别和@Transactional失效

事务的四大特性

1、原子性：事务包含的所有数据库操作要么全部成功，要不全部失败回滚

2、一致性：一个事务执行之前和执行之后都必须处于一致性状态。拿转账来说，假设用户A和用户B两者的钱加起来一共是5000，那么不管A和B之间如何转账，转几次账，事务结束后两个用户的钱相加起来应该还得是5000，这就是事务的一致性。

3、隔离性：一个事务未提交的业务结果是否对于其它事务可见。级别一般有：read_uncommit，read_commit，read_repeatable，Serializable 串行化访问。

4、持久性：一个事务一旦被提交了，那么对数据库中数据的改变就是永久性的，即便是在数据库系统遇到故障的情况下也不会丢失提交事务的操作。

Spring提供的事务类型

编程式事务：是指在代码中手动的管理事务的提交、回滚等操作，代码侵入性比较强，如xx.commit(); xx.rollback();

声明式事务：基于AOP面向切面的，它将具体业务与事务处理部分解耦，代码侵入性很低，所以在实际开发中声明式事务用的比较多。声明式事务也有两种实现方式，一是基于TX和AOP的xml配置文件方式，二种就是基于 @Transactional 注解了。

@Transactional

@Transactional 可以作用在接口、类、类方法。

作用于类：当把 @Transactional 注解放在类上时，表示所有该类的public方法都配置相同的事务属性信息。

作用于方法：当类配置了 @Transactional，方法也配置了 @Transactional，方法的事务会覆盖类的事务配置信息。

作用于接口：不推荐这种使用方法，因为一旦标注在Interface上并且配置了Spring AOP 使用CGLib动态代理，将会导致 @Transactional注解失效

该注解的属性讲解

propagation ：代表事务的传播行为，默认值是REQUIRED，具体可见事务的7种传播行为

isolation ：事务的隔离级别，默认值为 TransactionDefinition.DEFAULT
具体可见事务的隔离级别

• TransactionDefinition.ISOLATION_DEFAULT: 使用后端数据库默认的隔离级别，Mysql 默认采用的 REPEATABLE_READ隔离级别 Oracle 默认采用的 READ_COMMITTED隔离级别.
• TransactionDefinition.ISOLATION_READ_UNCOMMITTED: 最低的隔离级别，允许读取尚未提交的数据变更，可能会导致脏读、幻读或不可重复读
• TransactionDefinition.ISOLATION_READ_COMMITTED: 允许读取并发事务已经提交的数据，可以阻止脏读，但是幻读或不可重复读仍有可能发生
• TransactionDefinition.ISOLATION_REPEATABLE_READ: 对同一字段的多次读取结果都是一致的，除非数据是被本身事务自己所修改，可以阻止脏读和不可重复读，但幻读仍有可能发生。
• TransactionDefinition.ISOLATION_SERIALIZABLE: 最高的隔离级别，完全服从ACID的隔离级别。所有的事务依次逐个执行，这样事务之间就完全不可能产生干扰，也就是说，该级别可以防止脏读、不可重复读以及幻读。但是这将严重影响程序的性能。通常情况下也不会用到该级别。

timeout：事务的超时时间，默认值为 -1。如果超过该时间限制但事务还没有完成，则自动回滚事务。

readOnly ：指定事务是否为只读事务，默认值为 false；为了忽略那些不需要事务的方法，比如读取数据，可以设置 read-only 为 true。

rollbackFor ：用于指定能够触发事务回滚的异常类型，可以指定多个异常类型。

noRollbackFor：抛出指定的异常类型，不回滚事务，也可以指定多个异常类型。

@Transactional失效场景

1. @Transactional 应用在非 public 修饰的方法上

2. @Transactional 注解属性 propagation 设置错误

   这种失效是由于配置错误，若是错误的配置以下三种 propagation，事务可能不会发生回滚

   1. TransactionDefinition.PROPAGATION_SUPPORTS：如果当前存在事务，则加入该事务；如果当前没有事务，则以非事务的方式继续运行
   2. TransactionDefinition.PROPAGATION_NOT_SUPPORTED：以非事务方式运行，如果当前存在事务，则把当前事务挂起
   3. TransactionDefinition.PROPAGATION_NEVER：以非事务方式运行，如果当前存在事务，则抛出异常

3. @Transactional 注解属性 rollbackFor 设置错误

   rollbackFor 可以指定能够触发事务回滚的异常类型。Spring默认抛出了未检查unchecked异常(继承自 RuntimeException 的异常)或者 Error才回滚事务；其他异常不会触发回滚事务。如果在事务中抛出其他类型的异常，但却期望 Spring 能够回滚事务，就需要指定 rollbackFor属性

   

4. 同一个类中方法调用，导致@Transactional失效

   开发中避免不了会对同一个类里面的方法调用，比如有一个类Test，它的一个方法A，A再调用本类的方法B(不论方法B是用public还是private修饰)，但方法A没有声明注解事务，而B方法有。则外部调用方法A之后，方法B的事务是不会起作用的。这也是经常犯错误的一个地方。

   那为啥会出现这种情况？其实这还是由于使用Spring AOP代理造成的，因为只有当事务方法被当前类以外的代码调用时，才会由Spring生成的代理对象来管理

5. 异常被你的 catch“吃了”导致@Transactional失效

   因为当ServiceB中抛出了一个异常以后，ServiceB标识当前事务需要rollback。但是ServiceA中由于你手动的捕获这个异常并进行处理，ServiceA认为当前事务应该正常commit。此时就出现了前后不一致，也就是因为这样，抛出了前面的UnexpectedRollbackException异常。

   spring的事务是在调用业务方法之前开始的，业务方法执行完毕之后才执行commit or rollback，事务是否执行取决于是否抛出runtime异常。如果抛出runtime exception 并在你的业务方法中没有catch到的话，事务会回滚。

   在业务方法中一般不需要catch异常，如果非要catch一定要抛出throw new RuntimeException()，或者注解中指定抛异常类型@Transactional(rollbackFor=Exception.class)，否则会导致事务失效，数据commit造成数据不一致，所以有些时候 try catch反倒会画蛇添足。

6. 数据库引擎不支持事务

   这种情况出现的概率并不高，事务能否生效数据库引擎是否支持事务是关键。常用的MySQL数据库默认使用支持事务的innodb引擎。一旦数据库引擎切换成不支持事务的myisam，那事务就从根本上失效了

事务传播

如serviceA的方法开启了事务，A调用的serviceB方法也开启了事务，那么这里就出现了事务的传播

比如两个service都存在事务，那么对应伪代码如下

BEGIN;
  update A.sql
  -------   B事务   -----------
    BEGIN;
      update B.sql
    commit;
  -----------------------------
  update A.sql
commit;

只读事务

• 若一个事务里只发出一条select语句，则没有必要启用事务支持，数据库默认支持sql执行期间的读一致性。此时可以不加@Transactional注解
• 若一个事务里先后发出了多条select语句。 @Transactional注解表明被申明方法是一个整体事务。在mysql的RR隔离级别下，普通的无锁select是镜像读，多次查询结果不会改变，所以能保证读一致性（可重复读）;相反若不加 @Transactional注解，则多条select都是独立的事务在前条select之后，后条select之前，数据被其他事务改变，则该次整体的查询将会出现读数据不一致的现象。此时需要添加@Transactional注解

事务的7种传播行为

类型	解释	以上图的B为例子
REQUIRED	默认值。如果当前存在事务，则加入该事务，如果当前不存在事务，则创建一个新的事务。( 以上图为例，此时B事务自动失效）	A、B都加了事务，则B事务自动失效，等同没有加事务
SUPPORTS	如果当前存在事务，则加入该事务；如果当前不存在事务，则以非事务的方式继续运行。适用于只读事务或者查询事务。	A加了增删改事务，则B也融入A的事务中处理，如B开启了只读事务保证数据一致性
MANDATORY	如果当前存在事务，则加入该事务；如果当前不存在事务，则抛出异常。	如果A没加事务，B则抛出异常
REQUIRES_NEW	重新创建一个新的事务，如果当前存在事务，挂起当前的事务，只使用自己的事务。	将A的事务暂时挂起，启用B自己的事务，B执行结束后再恢复A的事务继续执行
NOT_SUPPORTED	以非事务的方式运行，如果当前存在事务，挂起当前的事务，即外部的事物不影响当前方法。	如果A开启了事务，则将A的事务暂时挂起，等B运行提交完本方法就恢复A的事务
NEVER	以非事务的方式运行，如果当前存在事务，则抛出异常，和MANDATORY相反	如果A开启了事务，B则抛出异常
NESTED	如果当前已存在事务，则方法将在嵌套事务中运行，嵌套事务可以独立当前事务进行提交或回滚；如果当前不存在事务，则创建一个事务，其行为和REQUIRED一致	B先提交或回滚完成，再触发A的事务继续执行

📌NESTED 内部事务回滚不会回滚外部事务，外部事务回滚会回滚内部事务

事务的隔离级别

	脏读	不可重复读	幻读
Read uncommitted读未提交	Y	Y	Y
Read committed读已提交	N	Y	Y
Repeatable read可重复读	N	N	Y
Serializable串行化	N	N	N

不可重复读和幻读到底有什么区别呢？

(1) 不可重复读是读取了其他事务更改的数据，针对update操作

解决：使用行级锁，锁定该行，事务A多次读取操作完成后才释放该锁，这个时候才允许其他事务更改刚才的数据。

(2) 幻读是读取了其他事务新增或删除的数据，针对insert和delete操作

解决：使用表级锁，锁定整张表，事务A多次读取数据总量之后才释放该锁，这个时候才允许其他事务新增数据。

数据库默认隔离级别

大多数数据库的默认级别就是Read committed，比如Sql Server , Oracle

Mysql的默认隔离级别就是Repeatable read

MVCC多版本并发控制

为了解决不可重复读，mysql的innodb引擎采用了MVCC（多版本并发控制）来解决这一问题，其借助乐观锁版本号的思想，MVCC的实现原理主要依赖记录中的三个隐藏字段，Undo Log版本链和Read View读视图来实现

1. DB_TRX_ID：6字节，最近修改事务ID，记录创建这条记录或者最后一次修改该记录的事务ID
2. DB_ROLL_PTR：7字节，回滚指针，指向这条记录的上一个版本，用于配合undolog，指向上一个旧版本的DB_ROW_ID
3. DB_ROW_ID：6字节，隐藏的主键，如果数据表没有主键，那么innodb会自动生成一个6字节的ROW_ID

例子

1. 事务1新增insert into user (id,name,age)values(1,"张三",10);

id	name	age	DB_ROW_ID	DB_TRX_ID	DB_ROLL_PTR
1	张三	10	1	1	Null

1. 事务2更新update user set name = "李四" where id = 1;

id	name	age	DB_ROW_ID	DB_TRX_ID	DB_ROLL_PTR
1	李四	11	1	2	0x123

Undo Log版本链产生一条记录，由DB_ROLL_PTR定位到某条log记录

id	name	age	DB_ROW_ID	DB_TRX_ID	DB_ROLL_PTR	log版本号
1	张三	10	1	1	Null	0x123

1. 事务3更新update user set age = 100 where id = 1;

   在事务3修改该行数据时，数据库会对该行加排它锁，然后将该行数据拷贝到undolog中作为旧记录，如果该行已经存在undolog了，那么最新的旧数据作为链表的表头，插在该行记录的undolog最前面。

   即更新年龄后，修改事务ID为当前事务3的ID，回滚指针指向刚刚拷贝的undolog的副本记录

   id	name	age	DB_ROW_ID	DB_TRX_ID	DB_ROLL_PTR
   1	李四	100	1	3	0x456

   Undo Log版本链

   id	name	age	DB_ROW_ID	DB_TRX_ID	DB_ROLL_PTR	log版本号
   1	张三	10	1	1	Null	0x123
   1	李四	10	1	2	0x123	0x456

ReadView是事务进行快照读操作的时候产生的读视图，在该事务执行快照读的那一刻，会生成一个数据系统当前的快照，记录并维护系统当前活跃事务的ID，事务ID是递增的。

ReadView最大的作用是用来做可见性判断的，也就是说当某个事务在执行快照读的时候，对该记录创建一个读视图，用它来控制当前事务应该读取哪个undolog版本的数据。