事务的原理

一.事务的四大特性

1.什么是事务

事务可以看做是一组任务，通常对应了一个业务方法,这些任务要么全部成功,要么全部失败。

2.原子性 Atomicity

利用Innodb的undo log，undo log名为回滚日志，是实现原子性的关键，当事务回滚时能够撤销所有已经成功执行的sql语句，他需要记录你要回滚的相应日志信息。

3.Consistency 一致性

Mysql通过排他锁来保证一致性
事务执行的结果必须与按某一顺序串行执行的结果相一致

4.Durability 持久性

undo log记录了这些回滚需要的信息，当事务执行失败或调用了rollback，导致事务需要回滚，便可以利用undo log中的信息将数据回滚到修改之前的样子。

5.Isolation 隔离性

隔离性要求如果两个事务修改同一个数据，则必须按顺序执行，并且前一个事务如果未完成，那么未完成的中间状态对另一个事务不可见。

二.事务隔离级别

1.线程并发和事务隔离

1.1.脏读

脏读指的是读到了其他事务未提交的数据，未提交意味着这些数据可能会回滚，也就是可能最终不会存到数据库中，也就是不存在的数据。读到了不一定最终存在的数据，这就是脏读。

1.2.幻读

事务A 按照一定条件进行数据读取， 期间事务B 插入了相同搜索条件的新数据，事务A再次按照原先条件进行读取时，发现了事务B新插入的数据 称为幻读 , 即：事物A两次读取相同条件的数据读到的条数不一样

1.3.不可重复读

可重复读指的是在一个事务内，最开始读到的数据和事务结束前的任意时刻读到的同一批数据都是一致的，那不可重复读就是一个事务多次读取到的数据是不一致的，通常针对数据更新（UPDATE）操作。即：同一个事务中多次使用相同条件读取到的数据是不一样的

1.4.串行化

串行化是4种事务隔离级别中隔离效果最好的，解决了脏读、可重复读、幻读的问题，但是效果最差，它将事务的执行变为顺序执行，与其他三个隔离级别相比，它就相当于单线程，后一个事务的执行必须等待前一个事务结束。

事务隔离其实就是为了解决上面提到的脏读、不可重复读、幻读这几个问题，下面展示了 4 种隔离级别对这三个问题的解决程度

隔离级别	脏读	不可重复读	幻读
读未提交(Read uncommitted)	可能	可能	可能
读提交(Read committed)	不可能	可能	可能
可重复读(Repeatable reads)	不可能	不可能	可能
串行化(Serializable)	不可能	不可能	不可能

2.事务隔离级别原理

隔离的实现主要利用了读写锁和MVCC机制
读写锁，要求在每次读操作时需要获取共享锁，写操作需要获取写锁。共享锁之间不会产生互斥，共享锁和写锁，写锁与写锁之间会产生互斥。当产生锁竞争时，需要等一个操作的锁释放，另一个操作才能获得锁
MVCC，多版本并发控制，它是在读取数据时通过快照的方式保存数据，不同的事务的快照版本不一样，即使其他事务修改了数据，但是对本事务仍然是不可见的，它只会看到第一次查询到的数据

可重复读是只在事务开始的时候生成一个当前事务全局性的快照，
读已提交则是每次执行语句的时候都重新生成一次快照

3.丢失更新问题

第一类丢失更新：也叫回滚丢失，事务A和事务B更新同一条数据，事务A先完成了修改，此时事务B异常终止，回滚后造成事务A的更新也丢失了
第二类丢失更新：也叫覆盖丢失，事务A和事务B更新同一条数据，事务A先完成了修改，事务B再次修改并提交，把事务A提交的数据给覆盖了
SQL标准中的四种隔离级别，读未提交，读已提交，可重复读，串行化，都能解决第一类数据更新丢失问题
对于第二类丢失更新问题，可以使用悲观锁也就是串行化来解决，也可以使用乐观锁的方式，比如加一个版本号管理来解决