mysql锁场景_MySQL死锁系列-常见加锁场景分析

在上一篇文章《锁的类型以及加锁原理》主要总结了 MySQL 锁的类型和模式以及基本的加锁原理,今天我们就从原理走向实战,分析常见 SQL 语句的加锁场景。了解了这几种场景,相信小伙伴们也能举一反三,灵活地分析真实开发过程中遇到的加锁问题。

如下图所示,数据库的隔离等级,SQL 语句和当前数据库数据会共同影响该条 SQL 执行时数据库生成的锁模式,锁类型和锁数量。

39bfb3a637f38ba7de6f217d0ee9423c.png

下面,我们会首先讲解一下隔离等级、不同 SQL 语句 和 当前数据库数据对生成锁影响的基本规则,然后再依次具体 SQL 的加锁场景。

隔离等级对加锁的影响

MySQL 的隔离等级对加锁有影响,所以在分析具体加锁场景时,首先要确定当前的隔离等级。

读未提交(Read Uncommitted 后续简称 RU):可以读到未提交的读,基本上不会使用该隔离等级,所以暂时忽略。

读已提交(Read Committed 后续简称 RC):存在幻读问题,对当前读获取的数据加记录锁。

可重复读(Repeatable Read 后续简称 RR):不存在幻读问题,对当前读获取的数据加记录锁,同时对涉及的范围加间隙锁,防止新的数据插入,导致幻读。

序列化(Serializable):从 MVCC 并发控制退化到基于锁的并发控制,不存在快照读,都是当前读,并发效率急剧下降,不建议使用。

这里说明一下,RC 总是读取记录的最新版本,而 RR 是读取该记录事务开始时的那个版本,虽然这两种读取的版本不同,但是都是快照数据,并不会被写操作阻塞,所以这种读操作称为 快照读(Snapshot Read)

MySQL 还提供了另一种读取方式叫当前读(Current Read),它读的不再是数据的快照版本,而是数据的最新版本,并会对数据加锁,根据语句和加锁的不同,又分成三种情况:

SELECT ... LOCK IN SHARE MODE:加共享(S)锁

SELECT ... FOR UPDATE:加排他(X)锁

INSERT / UPDATE / DELETE:加排他(X)锁

当前读在 RR 和 RC 两种隔离级别下的实现也是不一样的:RC 只加记录锁,RR 除了加记录锁,还会加间隙锁,用于解决幻读问题。

不同 SQL 语句对加锁的影响

不同的 SQL 语句当然会加不同的锁,总结起来主要分为五种情况:

SELECT ... 语句正常情况下为快照读,不加锁;

SELECT ... LOCK IN SHARE MODE 语句为当前读,加 S 锁;

SELECT ... FOR UPDATE 语句为当前读,加 X 锁;

常见的 DML 语句(如 INSERT、DELETE、UPDATE)为当前读,加 X 锁;

常见的 DDL 语句(如 ALTER、CREATE 等)加表级锁,且这些语句为隐式提交,不能回滚。

其中,当前读的 SQL 语句的 where 从句的不同也会影响加锁,包括是否使用索引,索引是否是唯一索引等等。

当前数据对加锁的影响

SQL 语句执行时数据库中的数据也会对加锁产生影响。

比如一条最简单的根据主键进行更新的 SQL 语句,如果主键存在,则只需要对其加记录锁,如果不存在,则需要在加间隙锁。

至于其他非唯一性索引更新或者插入时的加锁也都不同程度的受到现存数据的影响,后续我们会一一说明。

具体场景分析

具体 SQL 场景分析主要借鉴何登成前辈的《MySQL 加锁处理分析》文章和 aneasystone 的系列文章,在他们的基础上进行了总结和整理。

我们使用下面这张 book 表作为实例,其中 id 为主键,ISBN(书号)为二级唯一索引,Author(作者)为二级非唯一索引,score(评分)无索引。

a327f8b2ca80074bf4c1c0d5d6a9f520.png

UPDATE 语句加锁分析

下面,我们先来分析 UPDATE 相关 SQL 在使用较为简单 where 从句情况下加锁情况。其中的分析原则也适用于 UPDATE,DELETE 和 SELECT ... FOR UPDATE等当前读的语句。

聚簇索引,查询命中

聚簇索引就是 InnoDB 存储引擎下的主键索引,具体可参考《MySQL索引》。

下图展示了使用 UPDATE book SET score = 9.2 WHERE ID = 10 语句命中的情况下在 RC 和 RR 隔离等级下的加锁,两种隔离等级下没有任何区别,都是对 ID = 10 这个索引加排他记录锁。

238fe727e5d366121036b2c5756c7534.png

聚簇索引,查询未命中

下图展示了 UPDATE book SET score = 9.2 WHERE ID = 16 语句未命中时 RR 隔离级别下的加锁情况。

在 RC 隔离等级下,不需要加锁;而在 RR 隔离级别会在 ID = 16 前后两个索引之间加上间隙锁。

7075da50f1ea79b6184c55103242dc84.png

值得注意的是,间隙锁和间隙锁之间是互不冲突的,间隙锁唯一的作用就是为了防止其他事务的插入新行,导致幻读,所以加间隙 S 锁和加间隙 X 锁没有任何区别。

二级唯一索引,查询命中

下图展示了 UPDATE book SET score = 9.2 WHERE ISBN = 'N0003' 在 RC 和 RR 隔离等级下命中时的加锁情况。

在 InnoDB 存储引擎中,二级索引的叶子节点保存着主键索引的值,然后再拿主键索引去获取真正的数据行,所以在这种情况下,二级索引和主键索引都会加排他记录锁。

1c2add5e6ef0bcea01b209a3d5e2abfc.png

二级唯一索引,查询未命中

下图展示了 UPDATE book SET score = 9.2 WHERE ISBN = 'N0008' 语句在 RR 隔离等级下未命中时的加锁情况,RC 隔离等级下该语句未命中不会加锁。

因为 N0008 大于 N0007,所以要锁住 (N0007,正无穷)这段区间,而 InnoDB 的索引一般都使用 Suprenum Record 和 Infimum Record 来分别表示记录的上下边界。Infimum 是比该页中任何记录都要小的值,而 Supremum 比该页中最大的记录值还要大,这两条记录在创建页的时候就有了,并且不会删除。

所以,在 N0007 和 Suprenum Record 之间加了间隙锁。

aef08c159ca6e8360a9c0a56ce320c12.png

为什么不在主键上也加 GAP 锁呢?欢迎留言说出你的想法。

二级非唯一索引,查询命中

下图展示了 UPDATE book SET score = 9.2 WHERE Author = 'Tom' 语句在 RC 隔离等级下命中时的加锁情况。

我们可以看到,在 RC 等级下,二级唯一索引和二级非唯一索引的加锁情况是一致的,都是在涉及的二级索引和对应的主键索引上加上排他记录锁。

e972539cdd0b01d631d3226fd3517e58.png

但是在 RR 隔离等级下,加锁的情况产生了变化,它不仅对涉及的二级索引和主键索引加了排他记录锁,还在非唯一二级索引上加了三个间隙锁,锁住了两个 Tom 索引值相关的三个范围。

那为什么唯一索引不需要加间隙锁呢?间隙锁的作用是为了解决幻读,防止其他事务插入相同索引值的记录,而唯一索引和主键约束都已经保证了该索引值肯定只有一条记录,所以无需加间隙锁。

b97afac12790f099a7a2af752d553118.png

需要注意的是,上图虽然画着 4 个记录锁,三个间隙锁,但是实际上间隙锁和它右侧的记录锁会合并成 Next-Key 锁。

所以实际情况有两个 Next-Key 锁,一个间隙锁(Tom60,正无穷)和两个记录锁。

二级非唯一索引,查询未命中

下图展示了 UPDATE book SET score = 9.2 WHERE Author = 'Sarah' 在 RR 隔离等级下未命中的加锁情况,它会在二级索引 Rose 和 Tom 之间加间隙锁。而 RC 隔离等级下不需要加锁。

ce3a96979811d88f7adafbf42229588d.png

无索引

当 Where 从句的条件并不使用索引时,则会对全表进行扫描,在 RC 隔离等级下对所有的数据加排他记录锁。在RR 隔离等级下,除了给记录加锁,还会对记录和记录之间加间隙锁。和上边一样,间隙锁会和左侧的记录锁合并成 Next-Key 锁。

下图就是 UPDATE book SET score = 9.2 WHERE score = 22 语句在两种隔离等级下的加锁情况。

22b5c1c533c0774385727882d3519d56.png

聚簇索引,范围查询

上面介绍的场景都是 where 从句的等值查询,而范围查询的加锁又是怎么样的呢?我们慢慢来看。

下图是 UPDATE book SET score = 9.2 WHERE ID <= 25 在 RC 和 RR 隔离等级下的加锁情况。

RC 场景下与等值查询类似,只会在涉及的 ID = 10,ID = 18 和 ID = 25 索引上加排他记录锁。

0d241184b9d56ee5f79e8da973102bc7.png

而在 RR 隔离等级下则有所不同,它会加上间隙锁,和对应的记录锁合并称为 Next-Key 锁。除此之外,它还会在(25, 30] 上分别加 Next-Key 锁。这一点是十分特殊的,具体原因还需要再探究。

二级索引,范围查询

下图展示了 UPDATE book SET ISBN = N0001 WHERE score <= 7.9 在 RR 级别下的加锁情况。

a5cc2a9e7d94de8878b16c85f24c2f49.png

修改索引值

UPDATE 语句修改索引值的情况可以分开分析,首先 Where 从句的加锁分析如上文所述,多了一步 Set 部分的加锁。

下图展示了 UPDATE book SET Author = 'John' WHERE ID = 10 在 RC 和 RR 隔离等级下的加锁情况。除了在主键 ID 上进行加锁,还会对二级索引上的 Bob(就值) 和 John(新值) 上进行加锁。

6da33aace8942f056adecadac101f6e4.png

DELETE 语句加锁分析

一般来说,DELETE 的加锁和 SELECT FOR UPDATE 或 UPDATE 并没有太大的差异。

因为,在 MySQL 数据库中,执行 DELETE 语句其实并没有直接删除记录,而是在记录上打上一个删除标记,然后通过后台的一个叫做 purge 的线程来清理。从这一点来看,DELETE 和 UPDATE 确实是非常相像。事实上,DELETE 和 UPDATE 的加锁也几乎是一样的。

INSERT 语句加锁分析

接下来,我们来看一下 Insert 语句的加锁情况。

Insert 语句在两种情况下会加锁:

为了防止幻读,如果记录之间加有间隙锁,此时不能 Insert;

如果 Insert 的记录和已有记录造成唯一键冲突,此时不能 Insert;

除了上述情况,Insert 语句的锁都是隐式锁。隐式锁是 InnoDB 实现的一种延迟加锁的机制来减少加锁的数量。

隐式锁的特点是只有在可能发生冲突时才加锁,减少了锁的数量。另外,隐式锁是针对被修改的 B+Tree 记录,因此都是记录类型的锁,不可能是间隙锁或 Next-Key 类型。

具体 Insert 语句的加锁流程如下:

首先对插入的间隙加插入意向锁(Insert Intension Locks)

如果该间隙已被加上了间隙锁或 Next-Key 锁,则加锁失败进入等待;

如果没有,则加锁成功,表示可以插入;

然后判断插入记录是否有唯一键,如果有,则进行唯一性约束检查

如果不存在相同键值,则完成插入

如果存在相同键值,则判断该键值是否加锁

如果没有锁, 判断该记录是否被标记为删除

如果标记为删除,说明事务已经提交,还没来得及 purge,这时加 S 锁等待;

如果没有标记删除,则报 duplicate key 错误;

如果有锁,说明该记录正在处理(新增、删除或更新),且事务还未提交,加 S 锁等待;

插入记录并对记录加 X 记录锁;

后记

本文中讲解的 SQL 语句都是十分简单的,当 SQL 语句包含多个查询条件时,加锁的分析过程就往往更加复杂。我们需要使用 MySQL 相关的工具进行分析,并且有时甚至需要查询 MySQL 相关的日志信息来了解到底语句加了什么锁或者为什么产生死锁,下篇文章中我们就主要了解一下这些内容,请大家持续关注。

f56ca2d4ed168a10413fdea7a8b1c44c.png

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/525900.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

kubectl logs -f tail 显示100_系统管理员应该知道的9个kubectl命令

kubectl是Kubernetes的一个命令行管理工具&#xff0c;可用于Kubernetes上的应用部署和日常管理。本文列举了9个常见的kubectl命令&#xff0c;并对每个命令进行了简单扼要的介绍&#xff0c;供大家参考。同时&#xff0c;大家也可以通过文中连接获取更详细的介绍。如今&#x…

机器视觉技术及应用_工业机器人视觉技术的应用前景

工业机器人和视觉相当于拥有一双“眼睛”&#xff0c;可以更灵活地完全代替人类的工作。工业机器人视觉分为二维和三维。通过三维视觉&#xff0c;可以对物体进行三维扫描&#xff0c;获得物体的三维信息。通过精确的算法定位&#xff0c;可以更准确的控制生产过程中材料的使用…

mysql setup w_MySql的安装及配置详细指引!

一、安装My Sql数据库1.1,首先下载MySQL与HeidiSQL工具&#xff0c;双击打开后可以看到名为”mysql-5.0.22-win32 Setup.exe”的安装程序&#xff0c;双击执行该程序。1.2&#xff0c;打开安装向导后&#xff0c;单击”Next”继续下一步。1.3 选择安装类型&#xff0c;如果没有…

mysql安装下载的缓存文件_mysql的安装

linux版ubuntu安装mysql从官方提供的mysql-apt-config.deb包进行APT源设置下载完成以后&#xff0c;默认apt源保存在了Downloads目录下。通过终端切换目录到Downloads目录下执行一下命令&#xff1a;cd Downloads/sudo dpkg -i mysql-apt-config_0.8.12-1_all.deb按下方向键选择…

python3.0实例_python3.0 模拟用户登录,三次错误锁定的实例

python用户登录三次锁定怎么修改1.normal_user是存放用户id及密码的文件 2.lock_file是存放被锁定的用户id的文档,默认为空. 3.程序会对normal_user里的合法用户id进行判断,若连续输入用户id错误达三次程序直接退出. 4.程序会输入对正确用户名后的密码进行判断,输入密码有3次机…

安卓9与10的系统要求_代码开源!支持RISC-V架构的安卓系统终于来了!

文章来源&#xff1a;芯片开放社区&#xff0c;作者&#xff1a;OCC编辑万里征途迈出第一步&#xff0c;基于RISC-V的安卓10系统来了。点击链接查案演示视频&#xff1a; 平头哥芯片开放社区(OCC)​occ.t-head.cn今天&#xff0c;平头哥完成了安卓10对RISC-V的移植并开源了全部…

trie树 mysql_Trie树详解(转)

特别声明本文只是一篇笔记类的文章&#xff0c;所以不存在什么抄袭之类的。以下为我研究时参考过的链接(有很多&#xff0c;这里我只列出我记得的)&#xff1a;1、字典树的概念字典树&#xff0c;因为它的搜索快捷的特性被单词搜索系统使用&#xff0c;故又称单词查找树。它是一…

mysql 主键 最佳实践_设计套路:Mysql主键的选取

最近在对一些大表进行优化&#xff0c;发现主键和索引设计都有争议&#xff0c;就此从原理上分析主键设计该如何选取。Mysql的数据结构Mysql是由B树构成&#xff0c;搞清楚下面两个问题&#xff0c;就知道为什么用B树了。1.BTree是为磁盘或者其他直接存取辅助设备而设计的一种平…

java tostring格式化日期_java日期格式化SimpleDateFormat的使用详解

日期和时间格式由 日期和时间模式字符串 指定。在 日期和时间模式字符串 中&#xff0c;未加引号的字母 A 到 Z 和 a 到 z 被解释为模式字母&#xff0c;用来表示日期或时间字符串元素。文本可以使用单引号 () 引起来&#xff0c;以免进行解释。所有其他字符均不解释&#xff1…

ul 原点显示_CSS+HTML ul li列表原点如何相连

方案一:html参与考试《第一期模拟考试》3小时50分钟学习文档《LDO电路设计规范》3小时50分钟学习文档《LDO电路设计规范》3小时50分钟Css:*{margin:0;padding:0;}ul{margin:100px;padding:0;list-style: none;}ul li{position:relative;padding-left: 30px;padding-bottom: 20p…

java并发执行一个方法_JAVA的执行并发原理

VolatileVolatile关键字用于确保共享数据的可见性与有序性&#xff0c;但是并不能保证方法的原子性&#xff0c;在程序中对Volatile关键字使用得当的话&#xff0c;它比synchronized的使用和执行成本会更低&#xff0c;因为他不会引起线程的上下文切换和调度。先讲一下重排序&a…

java.util. 什么意思_java.util中,util是什么意义

展开全部1. util包的框架常用的集合类主要636f70793231313335323631343130323136353331333431343630实现两个“super接口”而来&#xff1a;Collection和Map。1.1 Collection有两个子接口&#xff1a;List和SetList特点是元素有序&#xff0c;且可重复。实现的常用集合类有Arra…

java测试用例编写_TestNG测试用例编写和执行

编写TestNG用例测试基本上包括以下步骤&#xff1a;编写业务逻辑针对业务逻辑中涉及的方法编写测试类&#xff0c;在代码中插入TestNG的注解直接执行测试类或者添加一个testng.xml文件运行 TestNG.下面我们介绍一个完整的例子来测试一个逻辑类&#xff1b;1.创建一个pojo类Empl…

好爽 java_Intellij是进行scala开发的一个非常好用的工具,可以非常轻松查看scala源码,当然用它来开发Java也是很爽的,之前一直在用scala ide和ec...

Intellij是进行scala开发的一个非常好用的工具&#xff0c;可以非常轻松查看scala源码&#xff0c;当然用它来开发Java也是很爽的&#xff0c;之前一直在用scala ide和eclipse&#xff0c;现在换成intellij简直好用到飞起&#xff0c;但是有些人不知道怎么用intellij去创建一个…

linux服务器安装php7_CentOS 7 下 PHP 7.1.12 安装配置

Linux系统&#xff1a;CentOS 7记录在CentOS 7 下 PHP 7.1.12 安装配置的过程。先安装相关依赖包yum installpcre pcre-devel zlib zlib-devel openssl openssl-devel gd gd-devel libjpeg libjpeg-devel libpng libpng-devel freetype freetype-devel e2fsprogs e2fsprogs-dev…

commvault备份mysql,备份MySQL数据库的4种方式

备份MySQL数据库的4种方式前言我们试着想一想, 在生产环境中什么最重要&#xff1f;如果我们服务器的硬件坏了可以维修或者换新, 软件问题可以修复或重新安装,但是如果数据没了呢&#xff1f;这可能是最恐怖的事情了吧, 我感觉在生产环境中应该没有什么比数据跟更为重要.那么我…

php $app-run(),Thinkphp 5.x 应用启动 App::run()

在上文加载完配置等一系列工作之后&#xff0c;进入App::run()&#xff0c;在run()方法中&#xff0c;首先通过自动加载机制拿到 Request 的一个实例接着 $config self::initCommon()初始化公共配置&#xff0c;先是 addNamespace 添加app当前所在的命名空间&#xff0c;然后 …

php react-native,React-Native+Mobx实现商城APP

这次给大家带来React-NativeMobx实现商城APP&#xff0c;React-NativeMobx实现商城APP的注意事项有哪些&#xff0c;下面就是实战案例&#xff0c;一起来看一下。最近一直在学习微信小程序&#xff0c;在学习过程中&#xff0c;看到了 wxapp-mall这个微信小程序的项目&#xff…

matlab axis 用法,MATLAB中regionprops的用法

Matlab图像处理函数&#xff1a;regionprops这里给出在Matlab图像处理工具箱中非常重要的一个图像分析函数&#xff1a;regionprops。顾名思义&#xff1a;它的用途是get the properties of region&#xff0c;即用来度量图像区域属性的函数。语法STATS regionprops(L,propert…

emlog_toolkit.php,emlog 4.0版本IIS6下伪静态划定规矩

emlog默许不能生成静态文件&#xff0c;不过彷佛有生成静态页面的相干插件&#xff0c;该插件博客吧先不研讨&#xff0c;本日博客簿要引见的是emlog 4.0版本在IIS6环境下的伪静态划定规矩&#xff0c;人人都晓得&#xff0c;经由过程伪静态能够让博客文章网址变得对搜索引擎越…