InnoDB的MVCC原理

一、MVCC概念

多版本并发控制即MVCC，通过让 读操作读取行的历史版本而不是最新版本，从而实现不加锁的读（因为没有事务会修改旧的行记录，所以对 不可变行记录的读取就不用加锁），大大提高InnoDB并发性能。

二、InnoDB实现

InnoDB的MVCC主要依赖两部分数据记录事务信息：行记录隐藏列和read view结构。

Ⅰ、行记录隐藏列

有主键的行记录会有两个隐藏列：trx_id和db_roll_ptr。

• trx_id:表示最近一次对行进行增删改操作的事务ID
• db_roll_ptr:该列存放着回滚段的指针,InnoDB通过该指针寻找行的历史版本。容易看出，行历史版本在回滚段中以链表形式存放。
• ⭐delete_flag:另外,无论是Compact行记录格式又或者是Redundant行记录格式,其行记录头都有一个delete_flag的信息记录本行是否已经被删除。所以一个 事务① 对某行删除**(实际上就只是对行记录头的delete_flag置true)**之后，若此时一个在事务①之前开始执行的 事务② 要查询这行记录，InnoDB就能够找到该行记录从而根据其db_roll_ptr找到行历史版本返回给事务②。

Ⅱ、read view结构

下图删减了部分成员：

struct read_view_t{  
  
    trx_id_t    low_limit_id;  
                /*!< The read should not see any transaction  
                with trx id >= this value. In other words,  
                this is the "high water mark". */  
    trx_id_t    up_limit_id;  
                /*!< The read should see all trx ids which  
                are strictly smaller (<) than this value.  
                In other words,  
                this is the "low water mark". */  
  
    trx_id_t*   trx_ids;/*!< Additional trx ids which the read should  
                not see: typically, these are the read-write  
                active transactions at the time when the read  
                is serialized, except the reading transaction  
                itself; the trx ids in this array are in a  
                descending order. These trx_ids should be  
                between the "low" and "high" water marks,  
                that is, up_limit_id and low_limit_id. */  
    trx_id_t    creator_trx_id;  
                /*!< trx id of creating transaction, or  
                0 used in purge */  
}; 

①、read view定义

read view就是一个信息载体,InnoDB用read view来判断某事务SELECT执行时哪些行记录版本对改SELECT可见,哪些行记录版本不可见。

②、生命周期

• 在可重读事务隔离级别下，在每次事务开始执行前生成一个read view，该read view的作用范围是整个事务中的所有SELECT。
• 在读提交事务隔离级别下，每次事务中的SELECT执行前生成一个read view，而该read view的作用范围是事务内的单条SELECT。所以Read Commited违背事务的隔离性的原因就在于此,read view的作用范围是单条SELECT就意味着 某条SELECT能看到 在它之前执行完毕的增删改操作 的记录,也就是说一个事务内的SELECT可以看到另一个事务中的修改。

③、主要成员解析

• low_limit_id和up_limit_id:这两个成员记录的是 当前事务/sql 开始执行前的一刻 活跃(正在执行)的事务ID的界限。（由于给事务分配的ID是递增的,其大小决定了事务开启的先后顺序,所以有界限这个概念）low_limit_id记录的是活跃的事务ID的最大值（不包括最新开始执行的自己这个事务），up_limit_id记录的是活跃的事务ID的最小值。
• trx_ids:而trx_ids记录的是所有当前事务/sql 开始执行前的一刻正在活跃的事务ID(注意low_limit_id和up_limit_id只记录了最大和最小两个事务ID,那两个成员只是为了InnoDB方便判断是否可见,看下面就懂了)

三、可重读隔离级别的可见性判断流程

1. 客户端发来beain命令,InnoDB生成read view,开启事务
2. 当有SELECT语句对某行读取时,通过B+树索引或全表扫描找到该行记录,得到该行记录的隐藏列trx_id,将其与本事务的read view进行比较
   1. 若trx_id比up_limit_id小,则说明要查询的行的最后一次修改操作在本事务开启之前,所以该行版本对本事务可见
   2. 若trx_id比low_limit_id大,则说明行最后一次修改操作在本事务开启之后,所以该行版本对本事务不可见。此时就要根据行的db_roll_ptr遍历行版本链表，直到找到一个合适的版本（最迟的且对本事务可见的版本）返回
   3. 若trx_id在其两者之间，此时就要寻找trx_ids，看最后一次修改此行的事务是否在活跃链表中，如果不在，则说明该事务在本事务开启之前结束了，可见；若在，则要遍历行版本链表找合适版本。

参考资料

https://www.codercto.com/a/88775.html

https://blog.51cto.com/yanzongshuai/2103632