Mysql实战03：事务隔离

前言：看完Mysql实战45讲后，整理笔记。

在和数据库打交道的时候，总会用到事务。最经典的案例是转账。
转账过程具体到程序里会有一些列的操作，比如余额查询，做加减法，更新余额。这些操作必须保持一致，不然的话就乱套了。

简单来说，事务就是要保证一组数据库操作，要么全部成功，要么全部失败。在Mysql中，事务支持是在引擎层是实现的。Mysql是一个支持多引擎的系统，但并不是所有的引擎都支持事务。比如原生的MyISAM引擎就不支持事务。

隔离性与隔离级别

事务拥有四个特性：原子性，一致性，隔离性，持久性

当数据库上有多个事务同时执行的时候，就可能出现脏读，不可重复读，幻读等问题，为了解决这些问题，就有了“隔离级别”的概念。

要明白，隔离级别越高，效率就越低。很多的时候需要找到二者的平衡点。SQL标准的事务隔离级别包括：读未提交，读已提交，可重复读，串行化。

• 读取未提交：一个事务还没有提交时，它做的变更就能被别的事务看到
• 读已提交：一个事务提交之后，它做的变更才会被其他的事务看到
• 可重复读：一个事务执行过程中看到的数据，总是跟这个事务在启动时看到的数据是一致的。
• 串行化：对于同一行记录，“写”会加“写锁”，“读”会加“读锁”。当出现读写锁冲突的时候，后访问的事务必须等前一个事务执行完成，才能继续执行

举例说明，在一下两个事务下，不同隔离级别出现的情况

• 若隔离级别是“读取未提交”，则v1的值就是2。这时候事务B虽然还没有提交，但是结果已经被A看到了。因此v2、v3也都是2。
• 若隔离级别是“读已提交”，则v1是1，v2的值是2。事务B更新在提交后才能被A看到。所以v3的值也是2
• 若隔离级别是“可重复读”，则v1、v2的值是1，v3是2。之所以v2还是1，遵循的就是这个要求：事务在执行期间看到的数据前后必须是一致的。
• 如隔离级别是“串行化”，则B执行“将1改成2”的时候，会被锁住。直到事务A提交后，事务B才可以继续执行。所有从A的角度看，v1、v2值是1，v3的值是2。

在实现上，数据库里面会创建一个视图，访问的时候以视图的逻辑结果为准。在“可重复读”隔离级别下，这个视图是在事务启动时创建的，整个事务存在期间都在用这个视图。在“读已提交”的隔离级别下，这个视图是在每个SQL语句开始执行的时候创建的。值得注意的是，“读未提交”隔离级别下直接返回记录上的最新值，没有视图概念；而“串行化”隔离级别下直接用加锁的方式来避免并行访问。

在不同的隔离级别之下，数据库的行为是有所不同的。Oracle数据库的默认隔离级别是“读已提交”，因此对于一些Oracle迁移到Mysql的应用，为了保证数据库隔离级别的一致，需要将Mysql隔离级别设置为“读已提交”

事务隔离的实现

在Mysql中，实际上每条记录在更新的时候都会同时记录一条回滚操作。记录上的最新值，通过回滚操作，都可以得到前一个状态的值。

假设一个值从1按照顺序改成了2、3、4，在回滚日志里面就会有类似下面的记录

当前值是4，但是在查询这条记录的时候，不同时刻启动的事务会有不同的read-view。在视图A,B,C里面，这一个记录的值分别是1,2，4，同一条记录在系统中可以存在多个版本，这个就是数据库的多版本并发控制(MVCC)。对于read-viewA，要得到1，就必须将当前值依次执行途中所有的回滚操作得到。
同时会发现，即使现在有另外一个事务正在将4改成5，这个事务跟read-viewA、B、C对应的事务是不会冲突的。

回滚日志不会一直保留，当没有事务需要用到这些回滚日志的时候，回滚日志就会删除。

因此尽量不要使用长事务。长事务意味着系统里面会存在很老的事务视图。由于这些事务随时可能访问数据库里面的任何数据，所以这个事务提交之前，数据库里面它可能用到的回滚记录必须保留，这就会导致大量的占用存储空间。

事务的启动方式

Mysql事务启动的方式有以下几种：
1、显示启动事务语句，begin或start transaction。配套的提交语句是commit，回滚语句是rollback
2、set autocommit=0，这个命令会将这个线程的自动提交关掉。意味着如果你执行一个select语句，这个事务就启动了，而且并不会自动提交。这个事务只需存在知道你主动执行commit或rollback语句，或者断开连接。

有些客户端连接框架会默认连接成功后先执行一个set autocommit=0的命令。这就导致接下来的查询都在事务中，如果是长连接，就导致了意外的长事务。

因此，建议使用set autocommit=1, 通过显式语句的方式来启动事务。

小结

1.mysql原子性的保证是利用了undo log。undo log名为回滚日志，是实现原子性的关键，当事务回滚时能够撤销所有已经成功执行的sql语句，他需要记录你要回滚的相应日志信息。undo log记录了这些回滚需要的信息，当事务执行失败或调用了rollback，导致事务需要回滚，便可以利用undo log中的信息将数据回滚到修改之前的样子。

2.mysql持久性的保证是利用了redo log。Mysql是先把磁盘上的数据加载到内存中，在内存中对数据进行修改，再刷回磁盘上。如果此时突然宕机，内存中的数据就会丢失。redo log包括两部分：一是内存中的日志缓冲(redo log buffer)，该部分日志是易失性的；二是磁盘上的重做日志文件(redo log file)，该部分日志是持久的。innodb通过force log at commit机制实现事务的持久性，即在事务提交的时候，必须先将该事务的所有事务日志写入到磁盘上的redo log file和undo log file中进行持久化。

3.mysql一致性的保证是从2个方面来保证的。从数据库层面来看，A(原子性)、I(隔离性)、D(持久性)是手段，是为了保证一致性，数据库提供的手段。数据库必须要实现AID三大特性，才有可能实现一致性。

但是，如果你在事务里故意写出违反约束的代码，一致性还是无法保证的。例如，你在转账的例子中，你的代码里故意不给B账户加钱，那一致性还是无法保证。因此，还必须从应用层角度考虑。从应用层面，通过代码判断数据库数据是否有效，然后决定回滚还是提交数据！