共计 3319 个字符，预计需要花费 9 分钟才能阅读完成。
鄙人心愿能写一些对萌新有所帮忙的文章，若有舛误，还望不吝赐教。
在 MySQL 中，当咱们将隔离等级明确为可反复读 *（实际上是 MySQL 的默认事务隔离级别），接着运行一个事务，再开启另一个事务：
A 事务首次查问；
B 事务接着新增；
A 事务随后蕴含 B 事务的新行进行更新，并再次查问；
后果呈现变动，这仿佛没有防止直觉上的幻读。
既然如此，本篇文章就是来探索 MySQL 可反复读时，可解决的幻读到底是怎么的幻读？
申明：任何 SQL 零碎中，可反复读的隔离级别都不要求解决幻读。咱们只是在探寻：MySQL 为了在这个层级解决幻读 *（或局部幻读），做了哪些工作。
什么是幻读
首先是直觉定义：当某个事务未实现前，只管可能有其余事务在执行，但我在本事务每次读取的后果，该当是统一的。
但随后咱们浏览 Wikipedia 的定义：当读取的 WHERE 条件并未加范畴锁时，因为另一事务对该范畴的数据进行增删改操作，导致本事务在两次读取时，后果不统一的状况。
会发现一个显著的差别：当 WHERE 没有加范畴锁，这句话意味着什么：
- 如果要躲避幻读，则必须加范畴锁——锁死本事务用到的所有数据——升高性能瓶颈；
- 有没有加范畴锁或通过相似机制来保障本事务的相干数据一致性，成为幻读的一大判断根据。
理清了定义，咱们来看看 MySQL 做了哪些工作。
MySQL 的一些机制
首先，MySQL 在执行读取时，会产生两种读取形式。
快照读（一致性的非锁定读取）
依据 MySQL 的定义，在咱们进行查问时，由 InnoDB 向查问出现数据库某个工夫点的快照，从而达成 一致性的非锁定读取机制。
而当隔离级别升格到可反复读时（MySQL 的事务默认隔离级别），整个事务过程中，都以事务开始时所用的快照为准。
试试 MySQL 官网给的栗子：
# 事件 A
SET autocommit=0;
# 事件 B
SET autocommit=0;
# 事件 A
SELECT * FROM t;
# 空后果
# 事件 B
INSERT INTO t VALUES (1, 2);
# 事件 A
SELECT * FROM t;
# 空后果
# 事件 B
INSERT INTO t VALUES (1, 2);
# 事件 A
SELECT * FROM t;
# 空后果
# 事件 B
COMMIT;
# 事件 A
SELECT * FROM t;
# 空后果
COMMIT;
SELECT * FROM t;
# 有后果听起来一口气就解决了幻读问题，但咱们持续浏览更多信息：
只管一致性读取听起来很好，但对某些 DML 语句会产生不一样的成果：
首先，快照实用于事务中的 SELECT 语句，当 A 事务更新了 由其余事务提交的、在事务期间产生 的新行，即使它们并不在快照内，也会变得可见。
除此之外，当你在 DML 语句中运行一些子语句时：
默认状况下，InnoDB 应用更强壮的锁来解决这些语句，并且这些读取语句像是沉闷在已提交读的级别一样，只管仍处在同一个事务，每个语句的读取也会导致设置和更新本人的快照。
让咱们将官网的栗子稍作批改，假如两个列为 id 和 val：
# 事件 A
SET autocommit=0;
# 事件 B
SET autocommit=0;
# 事件 A
SELECT * FROM t;
# 一个后果
# 事件 B
INSERT INTO t VALUES (2, 3);
# 事件 A
SELECT * FROM t;
# 一个后果
# 事件 B
COMMIT;
# 事件 A
SELECT * FROM t;
# 一个后果
INSERT INTO t VALUES (3, 4);
SELECT * FROM t;
# 两个后果，快照的一条 + 新增一条
UPDATE t SET val = 0 WHERE id > 0;
# 留神语句的影响行数
SELECT * FROM t;
# 三个后果——因为 DML 语句影响（发现）了一些额定的行，快照被更新了，事务尚未提交的一条也蕴含在内这里还有一个 MVVC（多版本并发管制）的概念，有趣味能够自行钻研：InnoDB Multi-Versioning – MySQL Doc
（因为 MVVC 波及到更多其余内容，至多目前我对其知之甚少，无奈在这里形容它的概念和实现状况——每个现代化的数据库系统都有基于本身定位的 MVVC 实现）
以后读（锁定读取）
针对快照读的问题，锁定读取则提供了锁机制，以供你平安的去 操作 / 行将操作 指标数据。
- 共享锁：
SELECT ... FOR SHARE，其余事务能够读取这些数据，但不能批改它们。 - 更新锁：
SELECT ... FOR UPDATE，锁定这些数据相干的行、索引和关联索引信息，保障在共享锁和其余隔离级别中，均无奈批改本事务相干的数据。
有一些小小的注意事项：
- 仅有禁用主动提交能力应用锁定读取；
- 子查问并不会被关联锁定，如果你想锁定子查问的数据，记得将对应的子语句也放到外面；
- 如果不想期待其余事务完结锁，能够应用
SELECT ... FOR ... SKIP LOCKED，这会疏忽掉被锁定的行，返回残余后果；或者是SELECT ... FOR ... NOWAIT，间接返回被锁的谬误。 - 在事务完结时，所有锁定读取的锁都会被开释。
最初留一个栗子：
# 事件 A
SET autocommit=0;
# 事件 B
SET autocommit=0;
# 事件 A
SELECT * FROM t FOR SHARE;
# 一个后果，没有 WHERE 条件，SHARE 将锁加到全表
# 事件 B
INSERT INTO t VALUES (2, 3);
# 被阻塞间隙锁
行锁保障了批改的一致性，而当数据进行新增行为时，行锁就无能为力了。
间隙锁（Gap Lock）用于锁住范畴的索引，保障指标地位关联的 间隙 牢固，于是，当咱们想要新增 val = 5 的行时，只须要锁住 5 左右的索引，即可保障新增的一致性。
# 事件 A
SET autocommit=0;
# 事件 B
SET autocommit=0;
# 事件 A
SELECT * FROM t WHERE id = 5 FOR SHARE;# 这会锁定 5，没有范畴的老本
# 或
# SELECT * FROM t WHERE id > 4 FOR SHARE;# 这会锁定 5 ~ ∞ 的范畴
# 事件 B
INSERT INTO t VALUES (5, 3);
# 事件 A
INSERT INTO t VALUES (5, 12);
# 胜利略微补充：如果咱们对 ID = 5 做操作时，会间接走记录锁（锁定某 一个 记录），毕竟没必要 Gap 了。
咱们确认了间隙锁对索引的行为，如果条件列基本不属于索引，会产生什么？
If
idis not indexed or has a nonunique index, the statement does lock the preceding gap.
如果 id 列不具备索引或只有非惟一索引，均会锁定邻近范畴，这是文档的解释。这里就不留代码了，大家有趣味能够去尝试一下。
Next-Key 锁
当咱们将间隙锁和记录锁组合应用，就失去了 Next-Key 锁。
可反复读级别中，InnoDB 会采纳这个锁，从而保障相干的增改将阻塞其余事务的同指标增改，当此时仅有咱们能进行该操作时，天然躲避了幻读。
最初，让咱们回到最后的栗子：
# 事件 A
SET autocommit=0;
# 事件 B
SET autocommit=0;
# 事件 A
UPDATE t SET val = 0 WHERE id > 0;
# 胜利，同时 Next-Key 锁锁住所有 WHERE 条件相干的记录
# 事件 B
INSERT INTO t VALUES (2, 3);
# 被阻塞论断
最终可知，MySQL 的可反复读隔离级别，解决的是 同类读时，产生的幻读问题，但并未解决非同类读导致的幻读问题——当然咱们浏览百科也能看到：对于可反复读级别的定义上，躲避幻读不是该级别必须解决的事项。
援用
本文参考或援用以下材料，在此致谢：
Repeatable-read isolation violated in UPDATE – MySQL Bug Report
Consistent Nonlocking Reads – MySQL Document
Innodb 中的事务隔离级别和锁的关系 – 美团技术团队
数据库内核月报 - 2017 / 06 – 阿里云 PolarDB- 数据库内核组
Isolation (database systems) – Wikipedia
《高性能 MySQL》– O’Reilly 系列丛书
引申：还有几个共享 / 排他 / 动向 / 锁，各有用途，我英文不是太好，看的有些累了（和本文主题如同也不是太相干），大家有趣味自取哈：InnoDB Locking – MySQL Document
（如果有关系，请留言，我会补充一下它们的概念和与本文的关系所在）
