当前位置:网站首页>字节二面问的MySQL,差点没答好
字节二面问的MySQL,差点没答好
2022-08-09 19:03:00 【技术琐事】
之前收到读者面试字节时,被问到一个关于 MySQL 的问题。
如果对 MySQL 加锁机制比较熟悉的同学,应该一眼就能看出会发生死锁。
但是具体加了什么锁而导致死锁,是需要我们具体分析的。
接下来,就跟聊聊上面两个事务执行 SQL 语句的过程中,加了什么锁,从而导致死锁的。
准备工作
先创建一张 t_student 表,假设除了 id 字段,其他字段都是普通字段。
CREATE TABLE `t_student` ( `id` int NOT NULL,
`no` varchar( 255) DEFAULT NULL,
`name` varchar( 255) DEFAULT NULL,
`age` int DEFAULT NULL,
`score` int DEFAULT NULL,
PRIMARY KEY ( `id`)
) ENGINE= InnoDB DEFAULT CHARSET=utf8mb4;
然后,插入相关的数据后,t_student 表中的记录如下:
开始实验
在实验开始前,先说明下实验环境:
- MySQL 版本:8.0.26
- 隔离级别:可重复读(RR)
启动两个事务,按照题目的 SQL 执行顺序,过程如下表格:
可以看到,事务 A 和 事务 B 都在执行 insert 语句后,都陷入了等待状态(前提没有打开死锁检测),也就是发生了死锁,因为都在相互等待对方释放锁。
为什么会发生死锁?
我们可以通过 select * from performance_schema.data_locks\G; 这条语句,查看事务执行 SQL 过程中加了什么锁。
接下来,针对每一条 SQL 语句分析具体加了什么锁。
Time 1 阶段加锁分析
Time 1 阶段,事务 A 执行以下语句:
# 事务 Amysql> begin;
Query OK, 0 rows affected (0.00 sec)
mysql> update t_student set score = 100 where id = 25;
Query OK, 0 rows affected (0.01 sec)
Rows matched: 0 Changed: 0 Warnings: 0
然后执行 select * from performance_schema.data_locks\G; 这条语句,查看事务 A 此时加了什么锁。
从上图可以看到,共加了两个锁,分别是:
- 表锁:X 类型的意向锁;
- 行锁:X 类型的间隙锁;
这里我们重点关注行锁,图中 LOCK_TYPE 中的 RECORD 表示行级锁,而不是记录锁的意思,通过 LOCK_MODE 可以确认是 next-key 锁,还是间隙锁,还是记录锁:
- 如果 LOCK_MODE 为 X,说明是 next-key 锁;
- 如果 LOCK_MODE 为 X, REC_NOT_GAP,说明是记录锁;
- 如果 LOCK_MODE 为 X, GAP,说明是间隙锁;
因此,此时事务 A 在主键索引(INDEX_NAME : PRIMARY)上加的是间隙锁,锁范围是(20, 30)。
Time 2 阶段加锁分析
Time 2 阶段,事务 B 执行以下语句:
# 事务 Bmysql> begin;
Query OK, 0 rows affected (0.00 sec)
mysql> update t_student set score = 100 where id = 26;
Query OK, 0 rows affected (0.01 sec)
Rows matched: 0 Changed: 0 Warnings: 0
然后执行 select * from performance_schema.data_locks\G; 这条语句,查看事务 B 此时加了什么锁。
从上图可以看到,共加了两个锁,分别是:
- 表锁:X 类型的意向锁;
- 行锁:X 类型的间隙锁;
因此,此时事务 B 在主键索引(INDEX_NAME : PRIMARY)上加的是间隙锁,锁范围是(20, 30)。
事务 A 和 事务 B 的间隙锁范围都是一样的,为什么不会冲突?
两个事务的间隙锁之间是相互兼容的,不会产生冲突。
在MySQL官网上还有一段非常关键的描述:
Gap locks in InnoDB are “purely inhibitive”, which means that their only purpose is to prevent other transactions from Inserting to the gap. Gap locks can co-exist. A gap lock taken by one transaction does not prevent another transaction from taking a gap lock on the same gap. There is no difference between shared and exclusive gap locks. They do not conflict with each other, and they perform the same function.
间隙锁的意义只在于阻止区间被插入,因此是可以共存的。一个事务获取的间隙锁不会阻止另一个事务获取同一个间隙范围的间隙锁,共享和排他的间隙锁是没有区别的,他们相互不冲突,且功能相同。
Time 3 阶段加锁分析
Time 3,事务 A 插入了一条记录:
# Time 3 阶段,事务 A 插入了一条记录mysql> insert into t_student( id, no, name, age,score) value ( 25, 'S0025', 'sony', 28, 90);
/// 阻塞等待......
此时,事务 A 就陷入了等待状态。
然后执行 select * from performance_schema.data_locks\G; 这条语句,查看事务 A 在获取什么锁而导致被阻塞。
可以看到,事务 A 的状态为等待状态(LOCK_STATUS: WAITING),因为向事务 B 生成的间隙锁(范围 (20, 30))中插入了一条记录,所以事务 A 的插入操作生成了一个插入意向锁(LOCK_MODE:INSERT_INTENTION)。
插入意向锁是什么?
注意!插入意向锁名字里虽然有意向锁这三个字,但是它并不是意向锁,它属于行级锁,是一种特殊的间隙锁。
在MySQL的官方文档中有以下重要描述:
An Insert intention lock is a type of gap lock set by Insert operations prior to row Insertion. This lock signals the intent to Insert in such a way that multiple transactions Inserting into the same index gap need not wait for each other if they are not Inserting at the same position within the gap. Suppose that there are index records with values of 4 and 7. Separate transactions that attempt to Insert values of 5 and 6, respectively, each lock the gap between 4 and 7 with Insert intention locks prior to obtaining the exclusive lock on the Inserted row, but do not block each other because the rows are nonconflicting.
这段话表明尽管插入意向锁是一种特殊的间隙锁,但不同于间隙锁的是,该锁只用于并发插入操作。
如果说间隙锁锁住的是一个区间,那么「插入意向锁」锁住的就是一个点。因而从这个角度来说,插入意向锁确实是一种特殊的间隙锁。
插入意向锁与间隙锁的另一个非常重要的差别是:尽管「插入意向锁」也属于间隙锁,但两个事务却不能在同一时间内,一个拥有间隙锁,另一个拥有该间隙区间内的插入意向锁(当然,插入意向锁如果不在间隙锁区间内则是可以的)。所以,插入意向锁和间隙锁之间是冲突的。
另外,我补充一点,插入意向锁的生成时机:
- 每插入一条新记录,都需要看一下待插入记录的下一条记录上是否已经被加了间隙锁,如果已加间隙锁,那 Insert 语句会被阻塞,并生成一个插入意向锁 。
Time 4 阶段加锁分析
Time 4,事务 B 插入了一条记录:
# Time 4 阶段,事务 B 插入了一条记录mysql> insert into t_student( id, no, name, age,score) value ( 26, 'S0026', 'ace', 28, 90);
/// 阻塞等待......
此时,事务 B 就陷入了等待状态。
然后执行 select * from performance_schema.data_locks\G; 这条语句,查看事务 B 在获取什么锁而导致被阻塞。
可以看到,事务 B 在生成插入意向锁时而导致被阻塞,这是因为事务 B 向事务 A 生成的间隙锁(范围 (20, 30))中插入了一条记录,而插入意向锁和间隙锁是冲突的,所以事务 B 在获取插入意向锁时就陷入了等待状态。
最后回答,为什么会发生死锁?
本次案例中,事务 A 和事务 B 在执行完后 update 语句后都持有范围为(20, 30)的间隙锁,而接下来的插入操作为了获取到插入意向锁,都在等待对方事务的间隙锁释放,于是就造成了循环等待,满足了死锁的四个条件:互斥、占有且等待、不可强占用、循环等待,因此发生了死锁。
总结
两个事务即使生成的间隙锁的范围是一样的,也不会发生冲突,因为间隙锁目的是为了防止其他事务插入数据,因此间隙锁与间隙锁之间是相互兼容的。
在执行插入语句时,如果插入的记录在其他事务持有间隙锁范围内,插入语句就会被阻塞,因为插入语句在碰到间隙锁时,会生成一个插入意向锁,然后插入意向锁和间隙锁之间是互斥的关系。
如果两个事务分别向对方持有的间隙锁范围内插入一条记录,而插入操作为了获取到插入意向锁,都在等待对方事务的间隙锁释放,于是就造成了循环等待,满足了死锁的四个条件:互斥、占有且等待、不可强占用、循环等待,因此发生了死锁。
边栏推荐
- Toronto Research Chemicals盐酸乙环胺应用说明
- Prometheus Operator 自定义监控添加redis explorer
- Laravel之队列「建议收藏」
- Flume (五) --------- 自定义 Interceptor、自定义 Source 与 自定义 Sink
- 请问一下flink cdc mysql source 报这种错怎么处理呢?我都设置了useSSL=f
- [Free column] APK dynamic reverse application of Android security [Three Smali injection methods]
- 【kali-权限提升】(4.2.6)社会工程学工具包(中):中间人攻击工具Ettercap
- 数据分散情况的统计图-盒须图
- 数学建模代码速成~赛前一个月~matlab~代码模板~吐血总结~三大模型代码(预测模型、优化模型、评价模型)
- win10配置CenterNet环境
猜你喜欢
随机推荐
2022深圳(软考高级)信息系统项目管理师认证报名
pat链表专题训练+搜索专题
面试官:MySQL 中 update 更新,数据与原数据相同时会执行吗?大部分人答不上来!
以技术创新加速国家“碳中和”建设进程,华为云创新中心助力欣冠精密实现云智控“气”
Win11搜索不到文件的解决方法
【kali-权限提升】(4.2.7)社会工程学工具包:权限维持创建后门、清除痕迹
Leetcode 739.每日温度 单调栈
启动 CM agent 报错——ImportError: libssl.so.10: cannot open shared object file: No such file or directory
视频是主动学习吗?
为什么maxcompute的数据导入到mysql会乱码?mysql的表是udf8mb4的编码
STM32WB55的FUS更新及协议栈固件烧写方法
OpenSSL SSL_read: Connection was reset, errno 10054
继承关系下构造方法的访问特点
Prometheus Operator 自定义监控添加redis explorer
WPF中加载并使用图像资源
听音识情绪 | 程序员手把手教你搭建神经网络,更快get女朋友情绪,求生欲max!
leetcode二叉搜索树与双向链表
Toronto Research Chemicals盐酸乙环胺应用说明
最新BEV感知基线 | 你确定需要激光雷达?(卡内基梅隆大学)
Openharmony Lightweight System Experiment--GPIO Lighting