MVCC多版本并发控制机制详解

MVCC多版本并发控制机制
上节我们说到了事务的ACID特性和四种隔离级别，其中在可重复读级别下是如何保证事务较高的隔离性的？靠MVCC(Multi-Version Concurrency Control)机制来保证的。Mysql在读已提交和可重复读隔离级别下都实现了MVCC机制。
undo日志版本链与read view机制
undo日志版本链是指一行数据被多个事务依次修改过后，在每个事务修改完后，Mysql会保留修改前的数据undo回滚日志，并且用两个隐藏字段trx_id和roll_pointer把这些undo日志串联起来形成一个历史记录版本链。
比如说我修改了一条数据，那这条修改前的数据是不是就消失了呢？不，它在我们undo回滚日志里。
下面请看图：

read-view机制：在可重复读隔离级别，当事务开启，执行任何查询sql时会生成当前事务的一致性视图read-view，该视图在事务结束之前都不会变化(如果是读已提交隔离级别在每次执行查询sql时都会重新生成)，这个视图由执行查询时所有未提交事务id数组（数组里最小的id为min_id）和已创建的最大事务id（max_id）组成，事务里的任何sql查询结果需要从对应 版本链里的最新数据开始逐条跟read-view做比对从而得到最终的快照结果。
注意：begin/start transaction 命令并不是一个事务的起点，在执行到它们之后的第一个修改操作InnoDB表的语句，事务才真正启动，才会向mysql申请事务id，mysql内部是严格按照事务的启动顺序来分配事务id的。
版本链比对规则：

1. 如果trx_id<min_id ，表示这个版本是已提交的事务生成的，这个数据是可见的；
2. 如果trx_id>max_id ，表示这个版本是由将来启动的事务生成的，是肯定不可见的；
3. 如果min_id <=trx_id<= max_id，那就包括两种情况
   a. 若 row 的 trx_id 在视图数组中，表示这个版本是由还没提交的事务生成的，不可见，当前自己的事务是可见的；
   b. 若 row 的 trx_id 不在视图数组中，表示这个版本是已经提交了的事务生成的，可见。
   上图中总共有3个事务，假如trx_id为103的事务已提交，101和102的事务为未提交，
   我现在开启一个事务，做查询：select name from student where id = 1;则read-view:[101,102],103;
   name会是多少呢？mysql会先去undo版本链中拿到最新的trx_id（102），然后与read-view做比对，102在read-view数组[101,102]中,满足a，不可见；继续从undo版本链中取trx_id(101),同样与read-view做比对，不可见；继续继续从undo版本链中取trx_id（103）,比对，可见，所以结果为LiMin1。
   结论：MVCC机制的实现就是通过read-view机制与undo版本链比对机制，使得不同的事务会根据数据版本链对比规则读取 同一条数据在版本链上的不同版本数据。