图解Spring事务管理及Mysql事务隔离级别传播行为

一、事务的特性

• Atomicity原子性：事务作为一个整体被执行，包含在其中的对数据库的操作要么全部被执行，要么都不执行。

• Consistency一致性：事务应确保数据库的状态从一个一致状态转变为另一个一致状态。一致状态的含义是数据库中的数据应满足完整性约束。
• Isolation隔离性：多个事务并发执行时，一个事务的执行不应影响其他事务的执行。
• Durability持久性：已被提交的事务对数据库的修改应该永久保存在数据库中。

二、Spring事务管理方式

• 编程式

优点：控制灵活，直观易理解。

缺点：将事务代码放入业务逻辑中，破坏了代码的条理性。

• 声明式（AOP、注解）

 

优点：简单，不影响业务代码（Spring推荐）。

缺点：控制粒度只到方法级别

三、Spring事务属性

• 四种隔离级别。

<property name="isolationLevelName" value="ISOLATION_READ_COMMITTED"/>

• 七种事务传播行为。

<property name="propagationBehaviorName" value="PROPAGATION_REQUIRES_NEW"/>

• 事务超时。

事务超时属性定义一个事务允许执行的最长时间，达到最长时间没有完成事务，则回滚，单位秒。

<property name="timeout" value="30"/>  

• 事务的只读属性。

提示数据库驱动程序和数据库系统，这个事务并不包含写入操作，数据库就有可能该事务进行一些特定的优化，比方说不安排相应的数据库锁，以减轻事务对数据库的压力。

<property name=“readOnly" value=“true"/>

• 事务的回滚属性

默认事务中抛出未检查异常（继承Error或RuntimeException的异常）则回滚，没有异常或已检查异常则提交。默认是这样的，可以通过设置回滚属性修改。

<property name=“rollbackFor" value=“xxxException"/>

<property name=“noRollbackFor " value=“xxxException "/>

• 声明式事务配置：

传播行为 [，隔离级别] [，只读属性] [，超时属性] [不影响提交的异常] [，导致回滚的异常]

<property name="*Service"> PROPAGATION_REQUIRED，ISOLATION_READ_COMMITTED，TIMEOUT_20， +AbcException，+DefException，-HijException </property>  

四、事务隔离级别

隔离级别是指若干个并发的事务之间的隔离程度。并发事务之间的读写控制策略。

会出现哪些并发一致性问题

• 丢失修改：一个事务对数据进行了修改，在事务提交之前，另一个事务对同一个数据进行了修改，覆盖了之前的修改；
• 脏读（Dirty Read）：一个事务读取了被另一个事务修改、但未提交（进行了回滚）的数据，造成两个事务得到的数据不一致；
• 不可重复读（Nonrepeatable Read）：在同一个事务中，某查询操作在一个时间读取某一行数据和之后一个时间读取该行数据，发现数据已经发生修改（可能被更新或删除了）；
• 幻读（Phantom Read）：当同一查询多次执行时，由于其它事务在这个数据范围内执行了插入操作，会导致每次返回不同的结果集（和不可重复读的区别：针对的是一个数据整体/范围；并且需要是插入操作）

数据库的四种隔离级别

• 

MySQL的“一致性读”机制，可以保证在REPEATABLE_READ级别下解决“幻读”问题。（基于InnoDB的MVCC）

五、事务传播行为

• 所谓事务的传播行为是指，如果在开始当前事务之前，一个事务上下文已经存在，此时有若干选项可以指定一个事务性方法的执行行为。
• 当事务存在嵌套关系时，子事务与父事务的关系以及回滚的影响范围    （传播-回滚的传播）

示例定义：

T1{


  O(A);


  T2{

    O(B);

    O(C);

        };

  O(D);

};

六、各种传播性的关系

1. PROPAGATION_REQUIRED=0：如果当前存在事务，则加入该事务；如果当前没有事务，则创建一个新的事务。

   无父事务时：子事务作为独立事务执行

   有父事务时：子事务中的操作串入父事务中执行，并且一起提交，一个操作失败全部回滚

2. PROPAGATION_SUPPORTS=1：如果当前存在事务，则加入该事务；如果当前没有事务，则以非事务的方式继续运行。

   无父事务时：以非事务方式执行

   有父事务时：加入父事务执行，等同于PROPAGATION_REQUIRED

3. PROPAGATION_MANDATORY=2：如果当前存在事务，则加入该事务；如果当前没有事务，则抛出异常。

   无父事务时：抛出异常

   有父事务时：加入父事务执行，等同于PROPAGATION_REQUIRED

4. PROPAGATION_REQUIRES_NEW=3：创建一个新的事务，如果当前存在事务，则把当前事务挂起。

   挂起(Suspend)：通知TransactionManager不再检查某事务的状态，直到Resume

   AbstractPlatformTransactionManager. handleExistingTransaction()

   无父事务时：子事务新建事务作为独立事务执行

   有父事务时：子事务新建事务作为独立事务执行，独立提交；

     作为事务，子事务T2不受父事务T1回滚的影响，但仍作为T1的子逻辑

     O(D)失败，O(A)回滚，T2中的事务不回滚；

     T2失败回滚，T1捕获异常后，可以选择提交或回滚，

   未捕获异常，同T2一起回滚。

5. NOT_SUPPORTED=4：以非事务方式运行，如果当前存在事务，则把当前事务挂起。

   无父事务时：以非事务方式执行

   有父事务时：挂起父事务，自己按照无事务方式运行

     子事务自身无回滚，出现异常若向上抛，可能导致父事务回滚

     父事务回滚时，不会影响子事务。

6. NEVER=5：以非事务方式运行，如果当前存在事务，则抛出异常。

   无父事务时：以非事务方式执行

   有父事务时：抛出异常(若不处理会导致父事务回滚)

7. NESTED=6：如果当前存在事务，则创建一个事务作为当前事务的嵌套事务来运行

   无父事务时：创建独立事务，等同于PROPAGATION_REQUIRED

   有父事务时：嵌套在父事务之内

   子事务依赖父事务：子事务于父事务提交时提交；父事务回滚，子事务也回滚

   Savepoint：子事务回滚时，父事务不回滚