MySQL在可重复读的隔离级别下到底解解决了幻读的问题没有?

RR幻读到底被解决了没？

做业务朋友对数据库的ACID多少都了解一些，这里面又尤其隔离性是讨论最多且最复杂的，说到隔离性就不得不说由于隔离产生的问题：

脏读
不可重复读
幻读

这里面争议最大的就数MySQL默认隔离级别RR是否解决了幻读的问题，这篇文章就是以实操的角度来看这个问题，所谓光说不练假把式，透过现象看到事情的本质才是我们要做的

先说结论:
MySQL在可重复读隔离级别下并没有解决幻读的问题。
MySQL读取数据有两种模式，分为快照读和当前读，在当前读下MySQL通过引入间隙锁（gap lock）能避免幻读的出现。
当使用快照读的时候仍可能存在幻读的出现。

可能了解一些MVCC的人就会说，你这说的不对，都是快照读了怎么可能读取到幻读的数据。其实这个问题在我不清楚MVCC细节的时候也有一样的疑问。我们先看下面的实例。

出现幻读的实例

数据库表结构：

CREATE TABLE `test` (
  `id` int(11) NOT NULL,
  `name` varchar(32) NOT NULL DEFAULT '',
  `age` int(11) NOT NULL DEFAULT '0',
  `sex` tinyint(2) NOT NULL DEFAULT '0',
  PRIMARY KEY (`id`)
) ENGINE=InnoDB DEFAULT CHARSET=utf8;

-- ----------------------------
-- Records of test
-- ----------------------------
INSERT INTO `test` VALUES ('1', 'bob', '18', '1');

事务时序图：

时间	事务A	事务B
T1	begin;
T2	select * from test where id >= 1;	begin;
T3		insert into test(id, name, age, sex) values(2, ‘lisa’, 18, 0);
T4		commit;
T5	update test set age = 19 where id >=1;
T6	select * from test where id >= 1;
T7	commit;

T2时刻获取结果：

mysql> select * from test where id >=1;
+----+------+-----+-----+
| id | name | age | sex |
+----+------+-----+-----+
|  1 | bob  |  18 |   1 |
+----+------+-----+-----+
1 row in set (0.00 sec)

T6时刻获取结果：

mysql> select * from test where id >= 1;
+----+------+-----+-----+
| id | name | age | sex |
+----+------+-----+-----+
|  1 | bob  |  19 |   1 |
|  2 | lisa |  19 |   0 |
+----+------+-----+-----+
2 rows in set (0.00 sec)

从上图中可以看出我们使用快照读在同一个事务的前后两次操作中查到了其他事务新插入的数据，满足幻读的概念。

那么既然使用快照读了，为什呢还会出现这个问题嘞？

按照一般的隔离性分析

理想条件下，事务A获取一条数据然后更新这条数据，最后再次查询这条数据，都应该是对一条数据进行操作。

然而这并不是理想条件

实际上事务A的T6时刻的查询，获得了事务B中新插入的数据，仔细看发现新插入的数据也被事务A中的update语句更新了。

造成幻读原因

更新语句是当前读，T5时刻的 update 语句执行之前会使用当前读获取最新的全部满足条件的数据进行操作，这就会导致更新语句查询到事务B在T3时刻新插入满足更新条件的数据。
在可重复读隔离级别下使用MVCC无锁实现快照读，T6时刻由于MVCC的原理使得用户可以获取到当前事务更新的数据，也就是自己在T5时刻更新的新插入的数据，所以可以展示出第一次快照读中没有的数据。

尝试用当前读执行同样的事务

事务时序图：

时间	事务A	事务B
T1	begin;
T2	select * from test where id >= 1 for update ;	begin;
T3		insert into test(id, name, age, sex) values(2, ‘lisa’, 18, 0); (blocking)
T4	update test set age = 19 where id >=1;
T5	select * from test where id >= 1 for update;
T6	commit;
T7		commit;

对比快照读T3时刻插入数据将被阻塞，这是因为RR下当前读引入了间隙锁的概念。

查询条件 where id >= 1 不光锁住了表中存在的数据id=1的哪一行，同时也锁住了 (1, +∞) 这个间隙，所以事务B在T3时刻语句将被阻塞，直到事务A提交事务之前都将一直阻塞。

所以插要插入的数据根本不能出现在事务A的查询语句中，也就没有可能出现幻读。

总结

当前读下由于有行锁和间隙锁，所以不存在幻读的情况发生。
在快照读的情况下，由于事务中可能存在更新语句覆盖了其他事务中不可见的提交。导致一致性视图发生改变可以读到别的事务提交的语句内容，最终导致出现幻读。

思考🤔

mysql知识点都是细碎的，但分析问题的时候往往需要将全部的知识脉络串联起来，正如上面的这个例子，涉及到了当前读，快照读，mvcc原理，行锁和间隙锁这些问题。

当我们不清楚的时候最好是实际的动手实验下，仅凭网络上的文章根本无法清楚问题的本质，甚至有些文章上的例子都是有问题的。

所以学习的最好方式就是实践，真的动手尝试才能发现问题的本质。

Refrence

MySQL实战45讲
 一篇文章带你掌握mysql的一致性视图（MVCC）
MySQL官方文档
 什么是间隙锁？到底锁了什么？

存储

MySQL MVCC lock RR

本博客所有文章除特别声明外，均采用 CC BY-SA 4.0 协议，转载请注明出处！

老生长谈:进程间通信上一篇

golang运行时核心调度函数(schedule，findrunnable，sysmon)源码分析下一篇

MySQL在可重复读的隔离级别下到底解解决了幻读的问题没有?

RR幻读到底被解决了没？

出现幻读的实例

按照一般的隔离性分析

然而这并不是理想条件

造成幻读原因

尝试用当前读执行同样的事务

总结

思考🤔

相关概念

快照读

当前读

mvcc原理

read view 创建时机

read view 的主要内容

如何工作

next-key lock

Refrence