spring事物简单分析

一、数据库事物的基本特性

1、事物是区分文件存储系统与Nosql数据库重要特性之一，其存在的意义是为了保证即使在并发情况下也能正确的执行crud操作。怎样才算是正确的呢？这时提出了事物需要保证的四个特性即ACID：

A: 原子性(atomicity)

事物中各项操作，要么全做要么全不做，任何一项操作的失败都会导致整个事物的失败；

C: 一致性(consistency)

事物结束后系统状态是一致的

I:隔离性(isolation)

并发执行的事物彼此无法看到对方的中间状态；

D: 持久性(durability)

事物完成后所做的改动都会被持久化，即使发生灾难性的失败

2、在高并发的情况下，要完全保证其ACID特性是非常困难的，除非把所有的事物串行化执行，但带来的负面的影响将是性能大打折扣。很多时候我们有些业务对事物的要求是不一样的，所以数据库中设计了四种隔离级别，供用户基于业务进行选择。

脏读 :一个事物读取到另一事物未提交的更新数据

不可重复读 : 在同一事物中,多次读取同一数据返回的结果有所不同, 换句话说, 后续读取可以读到另一事物已提交的更新数据. 相反, “可重复读”在同一事物中多次读取数据时, 能够保证所读数据一样, 也就是后续读取不能读到另一事物已提交的更新数据。

幻读 :查询表中一条数据如果不存在就插入一条，并发的时候却发现，里面居然有两条相同的数据。这就幻读的问题。

小结：不可重复读的和幻读很容易混淆，不可重复读侧重于修改，幻读侧重于新增或删除。解决不可重复读的问题只需锁住满足条件的行，解决幻读需要锁表

隔离级别	脏读（Dirty Read）	不可重复读（NonRepeatable Read）	幻读（Phantom Read）
未提交读（Read uncommitted）	可能	可能	可能
已提交读（Read committed）	不可能	可能	可能
可重复读（Repeatable read）	不可能	不可能	可能
可串行化（SERIALIZABLE）	不可能	不可能	不可能

数据库默认隔离级别：

Oracle中默认级别是 Read committed

mysql 中默认级别 Repeatable read。另外要注意的是mysql 执行一条查询语句默认是一个独立的事物，所以看上去效果跟Read committed一样。

3、spring事物的转播机制

类别	事物传播类型	说明
支持当前事物	PROPAGATION_REQUIRED （必须的）	如果当前没有事物，就新建一个事物，如果已经存在一个事物中，加入到这个事物中。这是最常见的选择。
	PROPAGATION_SUPPORTS （支持）	支持当前事物，如果当前没有事物，就以非事物方式执行。
	PROPAGATION_MANDATORY （强制）	使用当前的事物，如果当前没有事物，就抛出异常。
不支持当前事物	PROPAGATION_REQUIRES_NEW (隔离)	新建事物，如果当前存在事物，把当前事物挂起。
	PROPAGATION_NOT_SUPPORTED (不支持)	以非事物方式执行操作，如果当前存在事物，就把当前事物挂起。
	PROPAGATION_NEVER (强制非事物)	以非事物方式执行，如果当前存在事物，则抛出异常。
套事物	PROPAGATION_NESTED （嵌套事物）	如果当前存在事物，则在嵌套事物内执行。如果当前没有事物，则执行与PROPAGATION_REQUIRED类似的操作。

七种事务的传播机制

事务的七种传播机制分别为：

REQUIRED（默认） 默认的事务传播机制，如果当前不支持事务，那么就创建一个新的事务。

SUPPORTS 表示支持当前的事务，如果当前没有事务，则不会单独创建事务

以上的这两种事务传播机制比较好理解，接下来的几种事务传播机制就比上边的这几类稍微复杂一些了。

REQUIRES_NEW

定义： 创建一个新事务，如果当前事务已经存在，把当前事务挂起。
为了更好的理解REQUIRES_NEW的含义，我们通过下边的这个实例来进一步理解：

有这么一个业务场景，需要往数据插入一个account账户信息，然后同时再插入一条userAccount的流水信息。（只是模拟场景，所以对象的命名有点简陋）
直接来看代码实现，内容如下所示：

@Service
public class AccountService {
    @Autowired
    private AccountDao accountDao;
    @Autowired
    private UserAccountService userAccountService;
    /**
     * 外层定义事务， userAccountService.saveOne单独定义事务
     *
     * @param accountId
     * @param money
     */
    @Transactional(propagation = Propagation.REQUIRED)
    public void saveOne(Integer accountId, Double money) {
        accountDao.insert(new Account(accountId, money));
        userAccountService.saveOne("idea", 1001);
        //这里模拟抛出异常
        int j=1/0;
    }
}

@Service
public class UserAccountService {
    @Autowired
    private UserAccountDao userAccountDao;
    @Transactional(propagation = Propagation.REQUIRES_NEW)
    public void saveOne(String username,Integer accountId){
        userAccountDao.insert(new UserAccount(username,accountId));
    }
}

REQUIRES_NEW 总是新启一个事务，这个传播机制适用于不受父方法事物影响的操作，比如某些业务场景下需要记录业务日志，用于异步反查，那么不管主体业务逻辑是否完成，日志都需要记录下来，不能因为主体业务逻辑报错而丢失日志；但是本身是一个单独的事物，会受到回滚的影响，也就是说 userAccountService.saveOne里面要是抛了异常，子事务内容一起回滚。

NOT_SUPPORTED

定义：无事务执行，如果当前事务不存在，把已存在的当前事务挂起。

@Service
public class UserAccountService {
    @Autowired
    private UserAccountDao userAccountDao;
    @Transactional(propagation = Propagation.NOT_SUPPORTED)
    public void saveOne(String username,Integer accountId){
        userAccountDao.insert(new UserAccount(username,accountId));
    }
}

在执行的过程中，userAccountService.saveOne抛出了异常，但是由于该方法申明的事物传播属性为NOT_SUPPORTED级别，因此当子事务内部抛出异常的时候，子事务本身不会回滚，而且也不会影响父类事务的执行。 

NOT_SUPPORTED可以用于发送提示消息，站内信、短信、邮件提示等。不属于并且不应当影响主体业务逻辑，即使发送失败也不应该对主体业务逻辑回滚，并且执行过程中，如果父事务出现了异常，进行回滚，也不会影响子类的事务

NESTED

定义：嵌套事务，如果当前事务存在，那么在嵌套的事务中执行。如果当前事务不存在，则表现跟REQUIRED一样。

当父事务出现了异常之后，进行回滚，子事务也会被牵扯进来一起回滚。

MANDATORY

定义：MANDATORY单词中文翻译为强制，支持使用当前事务，如果当前事务不存在，则抛出Exception。

当子方法定义了事务，且事务的传播属性为MANDATORY级别的时候，如果父方法没有定义事务操作的话，就会抛出异常。（此时的子方法会将数据记录到数据库里面）

NEVER

定义：当前如果存在事务则抛出异常

在执行userAccountService.saveOne()函数的时候，发现父类的方法定义了事务，因此会抛出异常信息，并且userAccountService.saveOne()会回滚。