MySQL next-key lock 加锁范围是什么?
前言
某天,突然被问到 MySQL 的 next-key lock,我瞬间的反应就是:
这都是啥啥啥???
这一个截图我啥也看不出来呀?
仔细一看,好像似曾相识,这不是《MySQL 45 讲》里面的内容么?
什么是 next-key lock
A next-key lock is a combination of a record lock on the index record and a gap lock on the gap before the index record.
官网的解释大概意思就是:next-key 锁是索引记录上的记录锁和索引记录之前的间隙上的间隙锁的组合。
先给自己来一串小问号???
- 在主键、唯一索引、普通索引以及普通字段上加锁,是锁住了哪些索引?
- 不同的查询条件,分别锁住了哪些范围的数据?
- for share 和 for update 等值查询和范围查询的锁范围?
- 当查询的等值不存在时,锁范围是什么?
- 当查询条件分别是主键、唯一索引、普通索引时有什么区别?
既然啥都不懂,那只好从头开始操作实践一把了!
先看看看 《MySQL 45 讲》中丁奇老师的结论:
看了这结论,应该可以解答一大部分问题,不过有一句非常非常重点的话需要关注:MySQL 后面的版本可能会改变加锁策略,所以这个规则只限于截止到现在的最新版本,即 5.x 系列<=5.7.24,8.0 系列 <=8.0.13
所以,以上的规则,对现在的版本并不一定适用,下面我以 MySQL 8.0.25
版本为例,进行多角度验证 next-key lock 加锁范围。
环境准备
MySQL 版本:8.0.25
隔离级别:可重复读(RR)
存储引擎:InnoDB
mysql> select @@global.transaction_isolation,@@transaction_isolation\G
mysql> show create table t\G
如何使用 Docker 安装 MySQL,可以参考另一篇文章《使用 Docker 安装并连接 MySQL》
主键索引
首先来验证主键索引的 next-key lock 的范围
此时数据库的数据如图所示,对主键索引来说此时数据间隙如下:
主键等值查询 —— 数据存在
mysql> begin; select * from t where id = 10 for update;
这条 SQL,对 id = 10
进行加锁,可以先思考一下加了什么锁?锁住了什么数据?
可以通过 data_locks
查看锁信息,SQL 如下:
# mysql> select * from performance_schema.data_locks;
mysql> select * from performance_schema.data_locks\G
具体字段含义可以参考 官方文档
结果主要包含引擎、库、表等信息,咱们需要重点关注以下几个字段:
- INDEX_NAME:锁定索引的名称
- LOCK_TYPE:锁的类型,对于 InnoDB,允许的值为 RECORD 行级锁 和 TABLE 表级锁。
- LOCK_MODE:锁的类型:S, X, IS, IX, and gap locks
- LOCK_DATA:锁关联的数据,对于 InnoDB,当 LOCK_TYPE 是 RECORD(行锁),则显示值。当锁在主键索引上时,则值是锁定记录的主键值。当锁是在辅助索引上时,则显示辅助索引的值,并附加上主键值。
结果很明显,这里是对表添加了一个 IX 锁 并对主键索引 id = 10 的记录,添加了一个 X,REC_NOT_GAP
锁,表示只锁定了记录。
同样 for share
是对表添加了一个 IS 锁并对主键索引 id = 10 的记录,添加了一个 S 锁。
可以得出结论:
对主键等值加锁,且值存在时,会对表添加意向锁,同时会对主键索引添加行锁。
主键等值查询 —— 数据不存在
mysql> select * from t where id = 11 for update;
如果是数据不存在的时候,会加什么锁呢?锁的范围又是什么?
在验证之前,分析一下数据的间隙。
id = 11
是肯定不存在的。但是加了for update
,这时需要加 next-key lock,id = 11
所属区间为 (10,15] 的前开后闭区间;- 因为是
等值查询
,不需要锁id = 15
那条记录,next-key lock 会退化为间隙锁; - 最终区间为 (10,15) 的前开后开区间。
使用 data_locks 分析一下锁信息:
看下锁的信息 X,GAP
表示加了间隙锁,其中 LOCK_DATA = 15,表示锁的是 主键索引 id = 15 之前的间隙。
此时在另一个 Session 执行 SQL,答案显而易见,是 id = 12 不可以插入,而 id = 15 是可以更新的。
可以得出结论,在数据不存在时,主键等值查询,会锁住该主键查询条件所在的间隙。
主键范围查询(重点)
mysql> begin; select * from t where id >= 10 and id < 11 for update;
根据 《MySQL 45 讲》分析得出下面结果:
id >= 10
定位到 10 所在的区间 (10,+∞);- 因为是 >= 存在等值判断,所以需要包含 10 这个值,变为 [10,+∞) 前闭后闭区间;
id < 11
限定后续范围,则根据 11 判断下一个区间为 15 的前开后闭区间;- 结合起来则是 [10,15]。(不完全正确)
先看下 data_locks
可以看到除了表锁之外,还有 id = 10 的行锁(X,REC_NOT_GAP
)以及主键索引 id = 15 之前的间隙锁(X,GAP
)。
所以实际上 id = 15 是可以进行更新的。也就是说前开后闭区间
出现了问题,个人认为应该是 id < 11
这个条件判断,导致不需要进行了锁 15 这个行锁。
结果验证也是正确的,id = 12 插入阻塞,id = 15 更新成功。
当范围的右侧是包含等值查询呢?
mysql> begin; select * from t where id > 10 and id <= 15 for update;
来分析一下这个 SQL:
id > 10
定位到 10 所在的区间 (10,+∞);id <= 15
定位是 (-∞, 15];- 结合起来则是 (10,15]。
同样先看一下 data_locks
可以看出只添加了一个主键索引 id = 15 的 X 锁。
验证下 id = 15 是否可以更新?再验证 id = 16 是否可以插入?
事实证明是没有问题的!
当然,这里有小伙伴会说,在 《MySQL 45 讲》 里面说这里有一个 bug,会锁住下一个 next-key。
事实证明,这个 bug 已经被修复了。修复版本为 MySQL 8.0.18
。但是并没有完全修复!!!
参考链接地址:
https://dev.mysql.com/doc/relnotes/mysql/8.0/en/news-8-0-18.html#mysqld-8-0-18-bug
搜索关键字:Bug #29508068)
咱们可以分别用 8.0.17 进行复现一下:
在 8.0.17 中 id <= 15
会将 id = 20 这条数据也锁着,而在 8.0.25 版本中则不会。所以这个 bug 是被修复了的。
再来看下是前开后闭
还是前开后开
的问题,严谨一下,使用 8.0.17 和 8.0.18 做比较。
现在我估计大概率是在 8.0.18 版本修复 Bug #29508068
的时候,把这个前开后闭
给优化成了前开后开
了。
对比 data_locks 数据:
注意红色下划线部分,在 8.0.17 版本中 id < 17
时 LOCK_MODE 是 X
,而在 8.0.25 版本中则是 X,GAP
。
总结
本文主要通过实际操作,对主键加锁时的 next-key lock 范围进行了验证,并查阅资料,对比版本得出不同的结论。
结论一:
- 加锁时,会先给表添加意向锁,IX 或 IS;
- 加锁是如果是多个范围,是分开加了多个锁,每个范围都有锁;(这个可以实践下 id < 20 的情况)
- 主键等值查询,数据存在时,会对该主键索引的值加行锁
X,REC_NOT_GAP
; - 主键等值查询,数据不存在时,会对查询条件主键值所在的间隙添加间隙锁
X,GAP
; - 主键等值查询,范围查询时情况则比较复杂:
- 8.0.17 版本是前开后闭,而 8.0.18 版本及以后,进行了优化,主键时判断不等,不会锁住后闭的区间。
- 临界
<=
查询时,8.0.17 会锁住下一个 next-key 的前开后闭区间,而 8.0.18 及以后版本,修复了这个 bug。
优化后,导致后开,这个不知道是因为优化后,主键的区间会直接后开,还是因为是个 bug。具体小伙伴可以尝试一下。
结论二
通过使用 select * from performance_schema.data_locks;
和操作实践,可以看出 LOCK_MODE 和 LOCK_DATE 的关系:
LOCK_MODE | LOCK_DATA | 锁范围 |
---|---|---|
X,REC_NOT_GAP | 15 | 15 那条数据的行锁 |
X,GAP | 15 | 15 那条数据之前的间隙,不包含 15 |
X | 15 | 15 那条数据的间隙,包含 15 |
LOCK_MODE = X
是前开后闭区间;X,GAP
是前开后开区间(间隙锁);X,REC_NOT_GAP
行锁。
基本已经摸清主键的 next-key lock 范围,注意版本使用的是 8.0.25。
疑问
- 那唯一索引的 next-key lock 范围是什么?
- 当索引覆盖时锁的范围和加锁的索引分别是什么?
- 我为什么说这个 bug 没有完全修复,也是在非主键唯一索引中复现了这个 bug。
文章篇幅有限,小伙伴可以先自己思考一下,尽量自己操作试一试,实践出真知。至于具体答案,那就需要下一篇文章进行验证并总结结论了。
MySQL next-key lock 加锁范围是什么?的更多相关文章
- (转)mysql、innodb和加锁分析
mysql.innodb和加锁分析 原文:https://liuzhengyang.github.io/2016/09/25/mysqlinnodb/ 介绍 本文主要介绍MySQL和InnoDB存储引 ...
- mysql deadlock、Lock wait timeout解决和分析
项目上线 线上遇到大量的deadlock 和wait timeout 但是看程序没什么问题 问dba也不能给出很好的解决方案!最终自己去了解mysql锁 以及看mysq锁日志 如果了解mysql锁的机 ...
- Key lock 的秘密
研究死锁,或者观察sp_lock,有时候最恼人的莫过于你看到下面研究成果的key lock,但是却不知道究竟是哪个page 哪个row被lock住了: Exec sp_lock: 就说上面的key ...
- Mysql中Key与Index的区别
mysql的key和index多少有点令人迷惑,这实际上考察对数据库体系结构的了解的. 1 key 是数据库的物理结构,它包含两层意义,一是约束(偏重于约束和规范数据库的结构完整性),二是索引(辅助查 ...
- MySQL中KEY、PRIMARY KEY、UNIQUE KEY、INDEX 的区别
参考:MySQL中KEY.PRIMARY KEY.UNIQUE KEY.INDEX 的区别 对于题目中提出的问题,可以拆分来一步步解决.在 MySQL 中 KEY 和 INDEX 是同义.那这个问题就 ...
- 【Mysql】key 、primary key 、unique key 与index区别
参考:https://blog.csdn.net/nanamasuda/article/details/52543177 总的来说,primary key .unique key 这些key建立的同时 ...
- 待续--mysql中key 、primary key 、unique key 与index区别
mysql中key .primary key .unique key 与index区别
- MySQL Foreign Key
ntroduction to MySQL foreign key A foreign key is a field in a table that matches another field of a ...
- detecting locked tables mysql (locked by LOCK TABLE)
detecting locked tables mysql (locked by LOCK TABLE) up vote15down votefavorite 7 I would like to kn ...
随机推荐
- 到底什么才叫SEO
昨天去面试,公司的老板,问了我几个SEO的问题.SEO是什么?长尾词与关键词的区别?你用哪些SEO工具? SEO就是为了将关键词做上好的位置展示给用户.难道不是吗? 这些问题,我都答了一下. 然后他问 ...
- 关于Oracle 数据库使用dba_tables或者all_tables或者user_tables统计数据时,与直接查询表统计时数据不一致的记录
1. 今天写代码发现这个问题,这里记录一下, 不一致的原因是因为 dba_tables .all_tables.user_tables 不是实时的反应表的数据的,所以需要在查询统计之前对表进行手动分 ...
- 编译Android 4.4.4 r1的源码刷Nexus 5手机详细教程
本文博客地址:http://blog.csdn.net/qq1084283172/article/details/54562606 网上关于编译Android源码的教程已经很多了,但是讲怎么编译And ...
- Python socket编程(阻塞) --基于SocketServer
SocketServer模块是Python对socket常规通信的一个经过封装的模块,使用简单,基于面向对象的设计模式,但功能有限,可用于快速开发. Tips: 默认端口:6767 默认本地ip:12 ...
- The 2014 ACM-ICPC Asia Mudanjiang Regional First Round C
题意: 这个是The 2014 ACM-ICPC Asia Mudanjiang Regional First Round 的C题,这个题目当时自己想的很复杂,想的是优先队列广搜,然后再在 ...
- 路由协议之OSPF
目录 OSPF协议 OSPF的七种状态 OSPF的11种LSA Stub和Nssa OSPF中的防环机制 OSPF中的路由汇总和路由过滤 OSPF中的虚拟链路 虚拟链路有两种存在的意义 OSPF中的认 ...
- UVA11464偶数矩阵
题意: 给你一个n*n的01矩阵,你的你的任务是吧尽量少的0变成1,使得每个元素的上下左右之和均为偶数(如果有的话),比如 0 0 0 0 1 0 1 0 0 ---&g ...
- JWT(Json Web Token)认证
目录 JWT(Json Web Token) JWT的数据结构 JWT的用法 JWT验证流程
- SQL Server 数据库基本使用技巧
use master; #显示数据库 select top 3 * from spt_values; #显示去前3行 select * from test where id2 like '%1010% ...
- MBG:mybatis逆向工程使用
一:如果是Maven工程可在pom.xml文件中添加插件 <build> <plugins> <plugin> <groupId>org.mybatis ...