由MySQL加锁机制引发的死锁案例分析
创始人
2025-06-01 08:22:54
0

1、死锁案例

--建表
CREATE TABLE t1(`id` int(11) NOT NULL,`value` int(11) NOT NULLPRIMARY KEY (`id`),KEY `idx_value` (`value`)
);
--插入初始数据
insert into t1 values(1,1);
insert into t1 values(2,2);
insert into t1 values(3,3);--事务1
select count(*) from t1 where value=1 for update;
--事务2
update t1 set value=2 where id=1;

高并发场景下事务1和事务2会发生死锁

2、MySQL加锁机制

Mysql基础(十九):锁
MySQL 加锁机制验证记录 | 三点水

首先需要知道的是,MySQL的行锁是对索引项加锁,可重复读隔离级别下具体的加锁方式如下:

SQL操作的索引加锁方式
主键索引对应的主键索引项加行锁
唯一索引对应的唯一索引项+对应的主键索引项都加行锁
非唯一索引对应的索引项加NextKey锁,对应的主键索引项加行锁
无索引对所有的主键索引项加NextKey锁,实际效果如同锁表

NextKey锁即行锁+间隙锁,用于锁定一个范围,主要用于解决幻读的问题

3、分析

--建表
CREATE TABLE t1(`id` int(11) NOT NULL,`value` int(11) NOT NULLPRIMARY KEY (`id`),KEY `idx_value` (`value`)
);
--插入初始数据
insert into t1 values(1,1);
insert into t1 values(2,2);
insert into t1 values(3,3);--事务1
select count(*) from t1 where value=1 for update;
--事务2
update t1 set value=2 where id=1;
  1. 如果不了解MySQL具体的加锁机制(加锁顺序及加锁对象),我们可能会错误地认为事务1和事务2都是对 id=1 这行进行了加锁,即只存在对单个资源的竞争,两个事务会发生锁等待,但不会发生死锁。
  2. 但是如果考虑到MySQL的加锁顺序及加锁对象,我们可以看到:
    事务1会先对 value=1 的索引项加锁(此外还会对该索引项前后的间隙加间隙锁),再对 id=1 的主键索引项加锁;
    事务2会先对 id=1 的主键索引项加锁,之后修改value的索引需要获取value=1的索引项的锁。
  3. 这样就很容易看出来,在高并发情况下,事务1和事务2对 id=1 的主键索引项、value=1 的索引项这两个资源产生了竞争,可能会产生循环等待,即产生死锁
  4. 分析的过程不复杂,但会因为知识储备存在漏洞,而解不出来;并且case不好手动触发,只有高并发场景才能复现。

相关内容

热门资讯

linux入门---制作进度条 了解缓冲区 我们首先来看看下面的操作: 我们首先创建了一个文件并在这个文件里面添加了...
C++ 机房预约系统(六):学... 8、 学生模块 8.1 学生子菜单、登录和注销 实现步骤: 在Student.cpp的...
JAVA多线程知识整理 Java多线程基础 线程的创建和启动 继承Thread类来创建并启动 自定义Thread类的子类&#...
【洛谷 P1090】[NOIP... [NOIP2004 提高组] 合并果子 / [USACO06NOV] Fence Repair G ...
国民技术LPUART介绍 低功耗通用异步接收器(LPUART) 简介 低功耗通用异步收发器...
城乡供水一体化平台-助力乡村振... 城乡供水一体化管理系统建设方案 城乡供水一体化管理系统是运用云计算、大数据等信息化手段࿰...
程序的循环结构和random库...   第三个参数就是步长     引入文件时记得指明字符格式,否则读入不了 ...
中国版ChatGPT在哪些方面... 目录 一、中国巨大的市场需求 二、中国企业加速创新 三、中国的人工智能发展 四、企业愿景的推进 五、...
报名开启 | 共赴一场 Flu... 2023 年 1 月 25 日,Flutter Forward 大会在肯尼亚首都内罗毕...
汇编00-MASM 和 Vis... Qt源码解析 索引 汇编逆向--- MASM 和 Visual Studio入门 前提知识ÿ...
【简陋Web应用3】实现人脸比... 文章目录🍉 前情提要🌷 效果演示🥝 实现过程1. u...
前缀和与对数器与二分法 1. 前缀和 假设有一个数组,我们想大量频繁的去访问L到R这个区间的和,...
windows安装JDK步骤 一、 下载JDK安装包 下载地址:https://www.oracle.com/jav...
分治法实现合并排序(归并排序)... 🎊【数据结构与算法】专题正在持续更新中,各种数据结构的创建原理与运用✨...
在linux上安装配置node... 目录前言1,关于nodejs2,配置环境变量3,总结 前言...
Linux学习之端口、网络协议... 端口:设备与外界通讯交流的出口 网络协议:   网络协议是指计算机通信网...
Linux内核进程管理并发同步... 并发同步并发 是指在某一时间段内能够处理多个任务的能力,而 并行 是指同一时间能够处理...
opencv学习-HOG LO... 目录1. HOG(Histogram of Oriented Gradients,方向梯度直方图)1...
EEG微状态的功能意义 导读大脑的瞬时全局功能状态反映在其电场结构上。聚类分析方法一致地提取了四种头表面脑电场结构ÿ...
【Unity 手写PBR】Bu... 写在前面 前期积累: GAMES101作业7提高-实现微表面模型你需要了解的知识 【技...