MySQL之MVCC机制

什么是MVCC？

MVCC全称Multi-Version Concurrency Control，也叫多版本并发控制器。
MySQL在可重复读隔离级别下，在一个事务中多次查询的结果都相同，就算有其他事务对数据进行了修改也不会影响当前事务查询的结果。这个隔离性就是依靠MVCC机制来保证的。
对一行数据的读和写两个操作默认是不会通过加锁互斥来保证隔离性，避免了频繁加锁互斥，而在串行化隔离级别为了保证较高的隔离性是通过将所有操作加锁互斥来实现的。Mysql在读已提交和可重复读隔离级别下都实现了MVCC机制。

MVCC如何保证隔离的？

MVCC机制是通过undo-log的一个日志版本链与read-view（一致性视图）来保证的。MySQL会维护一个undo-log日志，每个事务开启、提交进行的操作都会被按照先后顺序记录。而当事务开启后第一次查询时（只要是InnoDB引擎的表不论哪个表）都会生成一个read-view（会记录当前事务开启到第一次查询时执行操作过的事务id），之后的每次查询都会依照这个read-view来获取数据，从而保证事务的隔离性。可重复读会一直使用第一次查询时生成的read-view，而读已提交则会在每次查询时生成新的read-view。

undo日志版本链与readview机制详解

undo日志版本链是指一行数据被多个事务依次修改过后，在每个事务修改完后，Mysql会保留修改前的数据undo回滚日志，并且用两个隐藏字段trx_id和roll_pointer把这些undo日志串联起来形成一个历史记录版本链(见下图)

在可重复读隔离级别，当事务开启，执行任何查询sql时会生成当前事务的一致性视图read-view，该视图在事务结束之前都不会变化(如果是读已提交隔离级别在每次执行查询sql时都会重新生成)，这个视图由执行查询时所有未提交事务id数组（数组里最小的id为min_id）和已创建的最大事务id（max_id）组成，事务里的任何sql查询结果需要从对应版本链里的最新数据开始逐条跟read-view做比对从而得到最终的快照结果。

版本链比对规则

1. 如果row的trx_id落在绿色部分(trx_id<min_id)，表示这个版本是已提交的事务生成的，这个数据是可见的；
2. 如果row的trx_id落在红色部分(trx_id>max_id)，表示这个版本是由将来启动的事务生成的，是不可见的(若row的trx_id就是当前自己的事务是可见的）；
3. 如果row的trx_id落在黄色部分(min_id<=trx_id<=max_id)，那就包括两种情况a.若row的trx_id在视图数组中，表示这个版本是由还没提交的事务生成的，不可见(若row的trx_id就是当前自己的事务是可见的)；b.若row的trx_id不在视图数组中，表示这个版本是已经提交了的事务生成的，可见。

对于删除的情况可以认为是update的特殊情况，会将版本链上最新的数据复制一份，然后将trx_id修改成删除操作的trx_id，同时在该条记录的头信息（recordheader）里的（deleted_flag）标记位写上true，来表示当前记录已经被删除，在查询时按照上面的规则查到对应的记录如果delete_flag标记位为true，意味着记录已被删除，则不返回数据。

注意：begin/start transaction命令并不是一个事务的起点，在执行到它们之后的第一个修改操作InnoDB表的语句，事务才真正启动，才会向mysql申请事务id，mysql内部是严格按照事务的启动顺序来分配事务id的。