为什么MySQL中的GapLock间隙锁会导致并发插入死锁_深入分析RR隔离级别锁机制

夏萱姑娘_4968

夏萱姑娘_4968

2026-05-23

1032人浏览

原创

gap lock本身不直接导致死锁,但它是mysql在rr隔离级别下并发insert时死锁的关键催化剂:事务同时在相同间隙加gap lock后,又互相等待对方释放该锁以获取插入意向锁,形成循环等待。

为什么mysql中的gaplock间隙锁会导致并发插入死锁_深入分析rr隔离级别锁机制

Gap Lock 本身不直接导致死锁,但它是 MySQL 在 REPEATABLE READ 隔离级别下形成死锁的关键催化剂——尤其在并发 INSERT 或 INSERT ... ON DUPLICATE KEY UPDATE 场景中,它让多个事务“在看不见对方的情况下,同时卡在同一个间隙里”。

Gap Lock 在 RR 下如何被自动触发

只要 SQL 是当前读(SELECT ... FOR UPDATE、UPDATE、DELETE、INSERT),且 WHERE 条件落在**非唯一索引**或**无索引字段**上,InnoDB 就会用 Next-Key Lock(Record Lock + Gap Lock)锁定记录及其前后间隙。即使你只查一条记录,比如:

SELECT * FROM orders WHERE status = 'pending' FOR UPDATE;

若 status 是普通索引(非唯一),InnoDB 不仅锁住所有 status = 'pending' 的行,还会锁住这些值之间的所有间隙——比如现有 status 值为 'done'、'pending'、'canceled',那么 'pending' 对应的间隙可能被解释为 ('done', 'pending') 和 ('pending', 'canceled') 两个开区间,其他事务想插入新状态(如 'retrying')就可能被阻塞。

关键点:

  • 唯一索引(含主键)上的等值查询(=)只加 Record Lock,不加 Gap Lock;
  • 非唯一索引、范围查询(>、BETWEEN)、IS NULL 等,都会激活 Gap Lock;
  • INSERT 语句本身会先申请「插入意向锁(Insert Intention Lock)」,这是一种特殊的 Gap Lock,与普通 Gap Lock 冲突——这就是死锁温床。

并发 INSERT 死锁的典型链路

两个事务几乎同时执行:

INSERT INTO users (email, name) VALUES ('a@b.com', 'A') ON DUPLICATE KEY UPDATE name = VALUES(name);

假设 email 是唯一索引,但表中尚无该 email 记录。此时 InnoDB 的行为是:

MySQL
MySQL

编写正确的MySQL查询,避免字符集、索引和锁方面的常见陷阱。

下载
  • 事务 T1:扫描 email 索引,发现无匹配记录 → 在「该 email 应该插入的位置」加 Gap Lock(防止别人插进来)→ 申请插入意向锁 → 等待 Gap Lock 释放(但自己正持有它);
  • 事务 T2:做同样操作,在同一间隙加 Gap Lock,并申请插入意向锁;
  • 结果:T1 持有 Gap Lock A,等待插入意向锁 A;T2 持有 Gap Lock A,等待插入意向锁 A → 双方都在等对方释放 Gap Lock,形成循环等待。

注意:这种死锁在 READ COMMITTED 下不会发生,因为 RC 级别完全禁用 Gap Lock(只保留 Record Lock)。

为什么 show engine innodb status 显示 “lock_mode X locks gap before rec insert intention waiting”

这是最典型的 Gap Lock 并发插入死锁日志特征。拆解这串信息:

  • lock_mode X:排他锁;
  • locks gap before rec:锁的是记录前的间隙(Gap Lock);
  • insert intention waiting:当前事务正等待获取插入意向锁,但它被另一个事务持有的 Gap Lock 挡住了。

也就是说:两个事务都已成功加了 Gap Lock,又都卡在申请插入意向锁这一步——而插入意向锁与 Gap Lock 是互斥的(官方文档明确定义),于是 MySQL 检测到环形等待,回滚其中一个。

真正容易被忽略的细节

Gap Lock 导致的死锁,往往不是出现在你写的 SELECT ... FOR UPDATE 上,而是藏在 ORM 自动生成的语句、隐式事务、或者你以为“只是插入”的 ON DUPLICATE KEY UPDATE 里。更隐蔽的是:联合唯一索引如果只用部分列查询(如 WHERE a = ?,但索引是 (a, b)),InnoDB 仍会加 Gap Lock——因为它无法精确定位到单条记录。

修复时别只盯着 SQL 改写,优先确认三件事:隔离级别是否真需 RR、索引类型是否覆盖查询条件、INSERT 是否真的必须用 ON DUPLICATE KEY UPDATE 而非先 SELECT 再判断——后者虽多一次网络往返,但可彻底避开 Gap Lock 竞争。

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

mysql

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
C语言变量命名
C语言变量命名

c语言变量名规则是:1、变量名以英文字母开头;2、变量名中的字母是区分大小写的;3、变量名不能是关键字;4、变量名中不能包含空格、标点符号和类型说明符。php中文网还提供c语言变量的相关下载、相关课程等内容,供大家免费下载使用。

2023.06.20

3089

3

c语言入门自学零基础
c语言入门自学零基础

C语言是当代人学习及生活中的必备基础知识,应用十分广泛,本专题为大家c语言入门自学零基础的相关文章,以及相关课程,感兴趣的朋友千万不要错过了。

2023.07.25

2288

9

c语言运算符的优先级顺序
c语言运算符的优先级顺序

c语言运算符的优先级顺序是括号运算符 > 一元运算符 > 算术运算符 > 移位运算符 > 关系运算符 > 位运算符 > 逻辑运算符 > 赋值运算符 > 逗号运算符。本专题为大家提供c语言运算符相关的各种文章、以及下载和课程。

2023.08.02

1220

5

c语言数据结构
c语言数据结构

数据结构是指将数据按照一定的方式组织和存储的方法。它是计算机科学中的重要概念,用来描述和解决实际问题中的数据组织和处理问题。数据结构可以分为线性结构和非线性结构。线性结构包括数组、链表、堆栈和队列等,而非线性结构包括树和图等。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.09

1178

4

c语言random函数用法
c语言random函数用法

c语言random函数用法:1、random.random,随机生成(0,1)之间的浮点数;2、random.randint,随机生成在范围之内的整数,两个参数分别表示上限和下限;3、random.randrange,在指定范围内,按指定基数递增的集合中获得一个随机数;4、random.choice,从序列中随机抽选一个数;5、random.shuffle,随机排序。

2023.09.05

1336

5

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2023.09.20

2118

7

c语言get函数的用法
c语言get函数的用法

get函数是一个用于从输入流中获取字符的函数。可以从键盘、文件或其他输入设备中读取字符,并将其存储在指定的变量中。本文介绍了get函数的用法以及一些相关的注意事项。希望这篇文章能够帮助你更好地理解和使用get函数 。

2023.09.20

3400

8

c数组初始化的方法
c数组初始化的方法

c语言数组初始化的方法有直接赋值法、不完全初始化法、省略数组长度法和二维数组初始化法。详细介绍:1、直接赋值法,这种方法可以直接将数组的值进行初始化;2、不完全初始化法,。这种方法可以在一定程度上节省内存空间;3、省略数组长度法,这种方法可以让编译器自动计算数组的长度;4、二维数组初始化法等等。

2023.09.22

15355

6

c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

2023.09.22

549

3

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
PostgreSQL vs MySQL
PostgreSQL vs MySQL

共1课时 | 183人学习