【MySQL】MVCC是如何解决快照读下的幻读问题的

矫情吗；* 2023-10-12 18:55 74阅读 0赞

#### 文章目录 ####

*  LBCC
 *   *  当前读
 *  MVCC
 *   *  隐藏列
     *  undo log
     *  Read View
 *  总结

我们从上文中了解到`InnoDB`默认的事务隔离级别是`repeatable read`（后文中用简称RR），它为了解决该隔离级别下的幻读的并发问题，提出了`LBCC`和`MVCC`两种方案。其中`LBCC`解决的是当前读情况下的幻读，`MVCC`解决的是普通读（快照读）的幻读。至于什么是当前读，什么是快照读，将在文中给出答案。

> 有想赚点外块|技术交流的朋友，[欢迎来撩][Link 1]

## LBCC ##

`LBCC`是`Lock-Based Concurrent Control`的简称，意思是基于锁的并发控制，此文主要内容是`MVCC`，所以`LBCC`暂时不展开。

### 当前读 ###

当前读（`Locking Read`）也称锁定读，读取当前数据的最新版本，而且读取到这个数据之后会对这个数据加锁，防止别的事务更改即通过`next-key`锁（行锁+gap锁）来解决当前读的问题。

在进行写操作的时候就需要进行“当前读”，读取数据记录的最新版本，包含以下`SQL`类型：`select ... lock in share mode` 、`select ... for update`、`update` 、`delete` 、`insert`。

因为锁的粒度过大，会导致性能的下降，因此提出了比`LBCC`性能更优越的方法`MVCC`。

## MVCC ##

`MVCC`是`Multi-Version Concurremt Control`的简称，意思是基于多版本的并发控制协议，通过版本号，避免同一数据在不同事务间的竞争，只存在于`InnoDB`引擎下。它主要是为了提高数据库的并发读写性能，不用加锁就能让多个事务并发读写。

`MVCC`的实现依赖于：三个隐藏字段、`Undo log`和`Read View`，其核心思想就是：只能查找事务id小于等于当前事务ID的行；只能查找删除时间大于等于当前事务ID的行，或未删除的行。

接下来让我们从源码级别来分析下`MVCC`。

### 隐藏列 ###

`MySQL`中会为每一行记录生成隐藏列，接下来就让我们了解一下这几个隐藏列吧。

（1）DB\_TRX\_ID：事务ID，是根据事务产生时间顺序自动递增的，是独一无二的。如果某个事务执行过程中对该记录执行了增、删、改操作，那么`InnoDB`存储引擎就会记录下该条事务的id。

（2）DB\_ROLL\_PTR：回滚指针，本质上就是一个指向记录对应的`undo log`的一个指针，大小为 7 个字节，`InnoDB` 便是通过这个指针找到之前版本的数据。该行记录上所有旧版本，在`undo log`中都通过链表的形式组织。

（3）DB\_ROW\_ID：行标识（隐藏单调自增 `ID`），如果表没有主键，InnoDB 会自动生成一个隐藏主键，大小为 6 字节。如果数据表没有设置主键，会以它产生聚簇索引。

（4）实际还有一个删除flag隐藏字段，既记录被更新或删除并不代表真的删除，而是删除flag变了。

### undo log ###

每当我们要对一条记录做改动时（这里的改动可以指INSERT、DELETE、UPDATE），都需要把回滚时所需的东西记录下来, 比如:

*  Insert undo log ：插入一条记录时，至少要把这条记录的主键值记下来，之后回滚的时候只需要把这个主键值对应的记录删掉就好了。
 *  Delete undo log：删除一条记录时，至少要把这条记录中的内容都记下来，这样之后回滚时再把由这些内容组成的记录插入到表中就好了。
 *  Update undo log：修改一条记录时，至少要把修改这条记录前的旧值都记录下来，这样之后回滚时再把这条记录更新为旧值就好了。  
    `InnoDB`把这些为了回滚而记录的这些东西称之为`undo log`。这里需要注意的一点是，由于查询操作（`SELECT`）并不会修改任何用户记录，所以在查询操作执行时，并不需要记录相应的`undo log`。

每次对记录进行改动都会记录一条undo日志，每条undo日志也都有一个`DB_ROLL_PTR`属性，可以将这些undo日志都连起来，串成一个链表，形成版本链。版本链的头节点就是当前记录最新的值。

**例**

先插入一条记录，假设该记录的事务id为80，那么此刻该条记录的示意图如下所示  
![sql插入][sql]  
实际上`insert undo`只在事务回滚时起作用，当事务提交后，该类型的undo日志就没用了，它占用的`Undo Log Segment`也会被系统回收。接着继续执行sql操作  
![sql更新][sql 1]  
其版本链如下  
![版本链][fc30d4bc4c90d818278e2461011d1b19.png]

> 很多人以为`undo log`用于将数据库物理的恢复到执行语句或者事务之前的样子，其实并非如此，`undo log`是逻辑日志，只是将数据库逻辑的恢复到原来的样子。因为在多并发系统中，你把一个页中的数据物理的恢复到原来的样子，可能会影响其他的事务。

### Read View ###

在可重复读隔离级别下，我们可以把每一次普通的`select`查询（不加`for update`语句）当作一次快照读，而快照便是进行`select`的那一刻，生成的当前数据库系统中所有未提交的事务id数组（数组里最小的`id`为`min_id`）和已经创建的最大事务`id`（`max_id`）的集合，即我们所说的一致性视图`readview`。在进行快照读的过程中要根据一定的规则将版本链中每个版本的事务`id`与`readview`进行匹配查询我们需要的结果。

快照读是不会看到别的事务插入的数据的。因此，幻读在“当前读”下才会出现。快照读的实现是基于多版本并发控制，即`MVCC`，可以认为`MVCC`是行锁的一个变种，但它在很多情况下，避免了加锁操作，降低了开销；既然是基于多版本，即快照读可能读到的并不一定是数据的最新版本，而有可能是之前的历史版本。`MVCC`只在 `READ COMMITTED` 和 `REPEATABLE READ`两个隔离级别下工作，其他两个隔离级别不和`MVCC`不兼容。因为`READ UNCOMMITTED`总是读取最新的数据行，而不是符合当前事务版本的数据行，而`SERIALIZABLE` 则会对所有读取的行都加锁。事务的快照时间点（即下文中说到的`Read View`的生成时间）是以第一个`select`来确认的。所以即便事务先开始，但是`select`在后面的事务的`update`之类的语句后进行，那么它是可以获取前面的事务的对应的数据。

> RC和RR隔离级别下的快照读和当前读：RC隔离级别下，快照读和当前读结果一样，都是读取已提交的最新；RR隔离级别下，当前读结果是其他事务已经提交的最新结果，快照读是读当前事务之前读到的结果。RR下创建快照读的时机决定了读到的版本。

对于使用RC和RR隔离级别的事务来说，都必须保证读到已经提交了的事务修改过的记录，也就是说假如另一个事务已经修改了记录但是尚未提交，是不能直接读取最新版本的记录的。核心问题就是：需要判断一下版本链中的哪个版本是当前事务可见的。为此，`InnoDB`提出了一个`Read View`的概念。

`Read View`就是事务进行快照读（普通`select`查询）操作的时候生产的一致性读视图，在该事务执行的快照读的那一刻，会生成数据库系统当前的一个快照，它由执行查询时所有未提交的事务id数组（数组里最小的id为`min_id`）和已经创建的最大事务id（`max_id`）组成，查询的数据结果需要跟`read view`做对比从而得到快照结果。

![快照规则][ab8f152e11b103602daf1b77dcf3a5a2.jpeg]

**版本链比对规则：**

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不在数组中，表示这个版本是已经提交了的事务生成的，可见。

光说不练假把式，接下来就让我们用例子来演示一下：首先我们要准备两张表，一张`test`和一张`account`表，然后我们以`account`的`undo log`来画版本链，准备数据和原始记录图如下

//test表中数据
    id=1,c1='11';
    id=5,c1='22';
    //account表数据
    id=1，name=‘lilei’；

![126a79ac9506d0502ed15b03425870b6.jpeg][]  
如下图，我们将按照里面的顺序执行`sql`  
![RR模式下多个事务执行][RR]  
当我们执行到第7行的`select`的语句时，会生成`readview[100,200],300`,版本链如图所示：  
![a3d0fc448d588f30e3001b8ab2dfb898.jpeg][]  
此时我们查询到的数据为`lilei300`。我们首先要拿最新版本的数据`trx_id=300`来`readview`中匹配，落在黄色区间内，一看该数据已经提交了，所以是可见的。继续往下执行，当执行到第10行的`select`语句时，因为`trx_id=100`并未提交，所以版本链依然为`readview[100,200],300`，版本链如图所示：  
![f7b2bd9729a32b6a0ddf2133844cd2b7.jpeg][]  
此时我们查询到的数据为`lilei300`。我们按上边操作，从最新版本依次往下匹配，我们首先要拿最新版本的数据`trx_id=100`来`readview`中匹配，落在黄色区间内，一看该数据在未提交的数组中，且不是自己的事务，所以是不可见的；然后我们选择前一个版本的数据，结果同上；继续向上找，当找到`trx_id=300`的数据时，会落在黄色区间，且是提交的，所以数据可见。继续往下执行，当执行到第13行的`select`语句时，此时尽管`trx_id=100`已经提交了，因为是`InnoDB`的RR模式，所以`readview`不会更改，仍为`readview[100,200],300`,版本链如图所示：  
![d751760b8a154a3d849ffa54a11c9789.jpeg][]  
此时我们查询到的数据为`lilei300`。原因同上边的步骤，不再赘述。

> 当执行`update`语句时，都是先读后写的，而这个读，是当前读，只能读当前的值，跟`readview`查找时的快照读区分开。

刚才演示的是`InnoDB`下的RR模式，接下来我们简单说一下RC模式，上文中提到的RC模式的数据读都是读最新的即当前读，所以readview是实时生成的，执行语句如图所示：  
![RC模式下多事务执行][RC]  
当我们执行到第13行的`select`的语句时，会生成`readview[200],300`，版本链还和之前一样，此时我们查询到的数据为`lilei2`。原因和上边讲的RR模式下的比对规则相同。

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

大家应该还关心一个问题，即`undo log`什么时候删除呢？

系统会判断，没有比这个`undo log`更早的`read view`的时候，`undo log`会被删除。所以这里也就是为什么我们建议你尽量不要使用长事务的原因。长事务意味着系统里面会存在很老的事务视图。由于这些事务随时可能访问数据库里面的任何数据，所以这个事务提交之前，数据库里面它可能用到的回滚记录都必须保留，这就会导致大量占用存储空间。

## 总结 ##

*  LBCC是基于锁的并发控制，因为锁的粒度过大，会导致性能的下降，因此提出了比 LBCC 性能更优越的方法 MVCC。
 *  MVCC 是基于多版本的并发控制协议，通过版本号，避免同一数据在不同事务间的竞争，只存在于InnoDB引擎下。
 *  MVCC 主要是为了提高数据库的并发读写性能，不用加锁就能让多个事务并发读写。
 *  MVCC的实现依赖于：三个隐藏字段、Undo log和Read View。
 *  MVCC 的核心思想就是：只能查找事务id小于等于当前事务ID的行；只能查找删除时间大于等于当前事务ID的行，或未删除的行。

[Link 1]: https://app.yinxiang.com/fx/d1ae87df-aa4e-498e-bcf2-32013fd1f523
[sql]: https://img-blog.csdnimg.cn/img_convert/d43a6c4a5ae4f9a5471bfcf9a8804bf7.png
[sql 1]: https://img-blog.csdnimg.cn/img_convert/6f7c611b000fb4fdc54049f7eddf06fc.png
[fc30d4bc4c90d818278e2461011d1b19.png]: https://img-blog.csdnimg.cn/img_convert/fc30d4bc4c90d818278e2461011d1b19.png
[ab8f152e11b103602daf1b77dcf3a5a2.jpeg]: https://img-blog.csdnimg.cn/img_convert/ab8f152e11b103602daf1b77dcf3a5a2.jpeg
[126a79ac9506d0502ed15b03425870b6.jpeg]: https://img-blog.csdnimg.cn/img_convert/126a79ac9506d0502ed15b03425870b6.jpeg
[RR]: https://img-blog.csdnimg.cn/img_convert/eafd1a459898b1e55c892128722c8f62.jpeg
[a3d0fc448d588f30e3001b8ab2dfb898.jpeg]: https://img-blog.csdnimg.cn/img_convert/a3d0fc448d588f30e3001b8ab2dfb898.jpeg
[f7b2bd9729a32b6a0ddf2133844cd2b7.jpeg]: https://img-blog.csdnimg.cn/img_convert/f7b2bd9729a32b6a0ddf2133844cd2b7.jpeg
[d751760b8a154a3d849ffa54a11c9789.jpeg]: https://img-blog.csdnimg.cn/img_convert/d751760b8a154a3d849ffa54a11c9789.jpeg
[RC]: https://img-blog.csdnimg.cn/img_convert/ace6664e0150c11db58c13849ca14d63.jpeg