Mysql MVCC多版本并发控制

简介

Mysql在可重复读级别下，同样的sql在一个事务里面多次执行查询结果相同，即使有其他事务对数据有修改也不会影响当前事务的查询结果。
这个隔离就是通过MVCC（多版本并发控制 Multi-Version Concurrency Control），对同一行的数据的读和写两个操作是不会通过加锁互斥来保证隔离性，避免频繁加互斥锁。
串行化隔离级别为了保证隔离性将所有操作都加锁互斥来实现。
Mysql在读已提交和可重复读隔离级别下都实现了MVCC。

Undo日志版本链与read view机制详解

Undo日志版本链是指一行数据被多个事务修改后，在每个事务修改完成，Mysql会保存修改前的数据undo回滚日志，并且用两个隐藏字段trx_id和roll_pointer把日志串联起来形成一个历史记录版本链。

注意：

1. begin/start transaction并不是一个事务的起点，在执行到它们之后的第一个操作InnoDB表的语句，事务才真正启动，才向mysql申请事务id，Mysql内部是严格按照事务的启动顺序来分配事务id的。
2. 事务id是递增的，后启动的事务id一定大于先启动的事务id。

一致性视图 read-view

构成

1. m_ids：表示在生成ReadView时当前系统中活跃的读写事务的事务id列表。
2. min_id：表示在生成ReadView时当前系统中活跃的读写事务中最小的事务id，也就是m_ids中的最小值。
3. max_id：表示生成ReadView时系统中应该分配给下一个事务的id值，也就是生产view时最大的id。
   这里注意：max_id不是m_ids中最大的，比如 有三个事务，id 1、2、3，创建视图时，3已经提交，则min_id = 1; max_id=4; m_ids={1,2}.
4. creator_id：表示生成该ReadView的事务的自己的事务id。

可重复读和读已提交差别

可重复读：执行任何查询sql会生成当前事务的read-view，该视图在事务结束之前不会变化。
读已提交：每次执行查询sql都重新生成read-view。

比对规则

1. 如果被访问版本的trx_id属性值与ReadView中的creator_id值相同，意味着当前事务在访问它自己修改过的记录，所以该版本可以被当前事务访问。

2. 如果被访问版本的trx_id属性值小于ReadView中的min_id值，表明生成该版本的事务在当前事务生成ReadView前已经提交，所以该版本可以被当前事务访问。

3. 如果被访问版本的trx_id属性值大于或等于ReadView中的max_id值，表明生成该版本的事务在当前事务生成ReadView后才开启，所以该版本不可以被当前事务访问。

4. 如果被访问版本的trx_id属性值在ReadView的min_id和max_id之间，那就需要判断一下trx_id属性值是不是在m_ids列表中，如果在，说明创建ReadView时生成该版本的事务还是活跃的，该版本不可以被访问；如果不在，说明创建ReadView时生成该版本的事务已经被提交，该版本可以被访问。

总结

MVCC机制的实现就是通过read_view机制与undo版本链比对机制，使得不同的事务根据版本链比对规则能找到最大的可见版本，能查看此版本链上的所有提交。

判断流程

如果某个版本的数据对当前事务不可见的话，那就顺着版本链找到下一个版本的数据，继续按照上边的步骤判断可见性，依此类推，直到版本链中的最后一个版本。如果最后一个版本也不可见的话，那么就意味着该条记录对该事务完全不可见，查询结果就不包含该记录。