序言

　　我们知道MySQL在可反复读隔离级别下其他事情递交的內容，是看不见的。而可递交隔离级别下是能够见到其他事务管理递交的。而如果我们的业务场景是在事情内一样的2个查看大家必须见到的数据信息全是一致的，不可以被其他事情危害，就应用可反复读隔离级别。这类状况下RR级别下的一般查看（快照更新读）借助MVCC处理“幻读”难题，如果是“当今读”的状况必须借助哪些处理“幻读”难题呢？这就是本博闻必须讨论的。

　　在讨论前能看下以前的博闻（MySQL是怎样完成事务管理防护？），关键详细介绍隔离级别的实际关键技术，读过之后看此一篇文章很有可能更有协助。

　　注：本博闻探讨的“幻读”全是指在“可反复读”隔离级别下开展。

一、什么叫幻读？

　　假定大家有表t构造以下，里边的原始数据信息个人行为：(0,0,0),(1,1,1),(2,2,2),(3,3,3),(4,4,4),(5,5,5)

CREATE TABLE `t`
(
    `id` INT(11) NOT NULL,
    `key`  INT(11) DEFAULT NULL,
    `value`  INT(11) DEFAULT NULL,
    PRIMARY KEY (`id`),
    KEY `value` (`value`)
) ENGINE = InnoDB;
INSERT INTO t
VALUES (0, 0, 0),
       (1, 1, 1),
       (2, 2, 2),
       (3, 3, 3),
       (4, 4, 4),
       (5, 5, 5)

　　假定select * from where value=1 for update，只在这里一行上锁（留意这仅仅假定），其他行不上锁，那麼便会发生以下情景：

Session A的三次查看Q1-Q3全是select * from where value=1 for update，查看的value=1的全部row。

• T1：Q1只回到一行(1,1,1)；
• T2：session B升级id=0的value为1，这时表t中value=1的数据信息有二行
• T3：Q3回到二行(0,0,1),(1,1,1)
• T4：session C插入一行(6,6,1)，这时表t中value=1的数据信息有三行
• T5：Q3回到三行(0,0,1),(1,1,1),(6,6,1)
• T6：session A事情commit。

在其中Q3看到value=1这一样的状况，就称作幻读，幻读指的是一个事务管理在前后左右2次查看同一个范畴的情况下，后一次查看看到了前一次查看沒有见到的行。

先向“幻读”作出以下表述：

• 在可反复读隔离级别下，一般的查看是快照更新读，是不容易见到其他事务管理插进的数据信息的。因而， 幻读在“当今读”下能会发生（三个查看全是for update表明当今读）；
• 上边session B的改动update結果，被session A以后的select句子用“当今读”见到，不可以称之为幻读，幻读仅特指“新插进的行”。

二、幻读有哪些难题？

（1）必须独立处理

　　大家都知道，select ...for update句子便是将相对应的数据信息行锁定，例如session A在T1時刻的Q1查看句子：select * from where value=1 for update便是将value=1的数据信息行锁定，但显而易见如果是以上的情景产生，这时的for update词义被毁坏了（并沒有锁定value=1的数据信息行）。

　　即便 把全部的纪录都再加上锁，或是拦不住新插进的纪录，因此 “幻读”难题要独立拿出来处理。无法借助MVCC或是行锁体制来处理。这就引出来“空隙锁”，是此外一种上锁体制。

（2）空隙锁引起的高并发度

　　空隙锁引进之后，很有可能会造成一样句子锁定更高的范畴，这很有可能便会危害了高并发度。实际请看下面详细介绍

三、如何解决幻读？

　　造成幻读的缘故是，行锁只有锁定行，可是新插进纪录这一姿势，要升级的是纪录中间的“空隙”。因而，为了更好地处理幻读难题，InnoDB只能引进新的锁，也就是空隙锁(Gap Lock)。

　　空隙：例如表格中添加6个纪录，0,5,10,15,20,25。则造成7个空隙：

　　在一行行扫描仪的全过程中，不但将给行再加上了行锁，归还行两侧的间隙也再加上了空隙锁。那样就保证了没法再插进新的纪录。

　　空隙锁和行锁统称next-key lock，每一个next-key lock是前开后闭区间（空隙锁实数集，next-key lock前开后闭区间）：

　　空隙锁与空隙锁中间是不会有矛盾的，矛盾的是往空隙里插进一条纪录。 　

　　表t中是沒有value=7这一数据信息的，因此 Q1加的空隙锁(1,5)，而Q2也是加的这一空隙锁，二者不矛盾全是为了更好地维护这一空隙不允许插进值。

　　在表t复位后，假定表的数据信息以下：

　　假如用select * from for update实行，则会把全部表全部纪录锁上，就产生了7个next-key lock，分别是(-∞,0]、(0,2]、(2,4]、(4,6]、(6,8]、(8, 10]、(10, supremum]

　　空隙锁的引进，很有可能会造成一样的句子锁定更高的范畴，是会危害了高并发度

　　假定产生以下情景：

　则显著发生了死锁，剖析以下：

• Q1：实行select …for update句子，因为id=9这一行并不会有，因而会再加上空隙锁 (8,10);
• Q2：实行select …for update句子，一样会再加上空隙锁(8,10)，空隙锁中间不容易矛盾，因 此这一句子能够实行取得成功；
• session B 尝试插入一行(9,9,9)，被session A的空隙锁遮挡了，只能进到等候；
• session A尝试插入一行(9,9,9)，被session B的空隙锁遮挡了。 

　　有以上得知空隙锁的引进，很有可能会造成一样句子锁定更高的范畴，这实际上 是危害了高并发度。

　　为了更好地处理幻读难题能够选用读可递交隔离级别，空隙锁是在可反复读隔离级别下能会起效的。因此 假如把隔离级别设定为读递交得话， 就沒有空隙锁了。但与此同时，你需要处理很有可能发生的数据信息和日志不一致难题，必须把binlog文件格式设定为row，换句话说选用“RC隔离级别 日志文件格式binlog_format=row”组成。

三、汇总

• RR隔离级别下空隙锁才合理，RC隔离级别下沒有空隙锁；
• RR隔离级别下为了更好地处理“幻读”难题：“快照更新读”借助MVCC操纵，“当今读”根据空隙锁处理；
• 空隙锁和行锁统称next-key lock，每一个next-key lock是前开后闭区间；
• 空隙锁的引进，很有可能会造成一样句子锁定更高的范畴，危害高并发度。