Mysql底层专题（七）MVCC多版本并发控制机制

目录

一、基础认识

二、undo日志版本链和read view机制

1、MVCC实现原理

2、Read View

一、基础认识

MVCC(Multi-Version Concurrency Control)机制

Mysql在读已提交和可重复读隔离级别下都实现了MVCC机制

二、undo日志版本链和read view机制

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

1、MVCC实现原理

（a）可重复读隔离级别（RR）， 当事务开启，执行任何查询sql时会生成当前事务的一致性视图read-view，该视图在事务结束之前永远都不会变化，

（b）读已提交（RC）隔离级别在每次执行查询sql时都会重新生成read-view

对于使用 InnoDB 存储引擎的数据库表，它的聚簇索引记录中都包含下面两个隐藏列：

trx_id：当一个事务对某条聚簇索引记录进行改动时，就会把该事务的事务 id 记录在 trx_id 隐藏列里；

roll_pointer：每次对某条聚簇索引记录进行改动时，都会把旧版本的记录写入到 undo 日志中，然后这个隐藏列是个指针，指向每一个旧版本记录，于是就可以通过它找到修改前的记录。

2、Read View

视图read-view由执行查询Select语句时所有未提交事务id数组（数组里最小的id为min_id）和已创建的最大事务id（max_id）组成

有四个重要的字段：

1.  m_ids ：指的是在创建 Read View 时，当前数据库中「活跃事务」的事务 id 列表，注意是一个列表，“活跃事务”指的就是，启动了但还没提交的事务。
2. min_trx_id ：指的是在创建 Read View 时，当前数据库中「活跃事务」中事务 id 最小的事务，也就是 m_ids 的最小值。
3. max_trx_id ：这个并不是 m_ids 的最大值，而是创建 Read View 时当前数据库中应该给下一个事务的 id 值，也就是全局事务中最大的事务 id 值 + 1；
4. creator_trx_id ：指的是创建该 Read View 的事务的事务 id。

创建 Read View 后，我们可以将记录中的 trx_id 划分这三种情况：

版本链比对规则：

1. 如果 row 的 trx_id 落在绿色部分( trx_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 不在视图数组中，表示这个版本是已经提交了的事务生成的，可见。

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

MVCC可见性算法的操作示例：