MySQL数据锁:Record Lock,Gap Lock 和 Next-Key Lock

简介: 本文基于 MySQL 8.0.30 版本及 InnoDB 引擎,深入解析三种行锁机制:记录锁(Record Lock)、间隙锁(Gap Lock)和临键锁(Next-key Lock)。记录锁锁定索引记录,确保事务唯一修改;间隙锁锁定索引间的间隙,防止新记录插入;临键锁结合两者,锁定范围并记录自身,有效避免幻读现象。通过具体示例展示了不同锁的作用机制及其在并发控制中的应用。

你好,我是猿java。

申明:本文基于 MySQL 8.0.30 版本,InnoDB引擎
共享锁和排他锁 文章中,我们详细分析了共享锁和排他锁在MySQL中是如何工作的,今天,我们接着分析InnoDB引擎的 3种行锁。

MySQLInnoDB引擎的行锁主要有三类:

  1. Record Lock: 记录锁,是在索引记录上加锁;
  2. Gap Lock:间隙锁,锁定一个范围,但不包含记录;
  3. Next-key LockNext-key Lock = Gap Lock + Record Lock,它锁定了一个范围(Gap Lock实现),并且锁定记录本身(Record Lock实现);

Record Lock

什么是 Record Lock?

Record Lock,记录锁,它是针对索引记录的锁,锁定的总是索引记录。在多用户数据库系统中,多个事务可能会同时尝试读取或修改同一条记录,Record Lock确保只有一个事务能在某一时刻修改该记录,其他事务只能读取,或者在写锁释放后再进行修改。

举例说明

为了更好的说明Record Lock,我们以下面的顺序执行流来进行验证:

加锁线程 sessionA 线程B sessionB 线程B sessionC
#开启事务
begin;
给user表id=1加写锁
select id from user
where id = 1 for update;
update user set name='name121'
where id = 1;
查看InnoDB监视器中记录锁数据
show engine innodb status\G
commit提交事务
record lock 被释放
被堵塞的update操作执行ok

示例执行结果如下图:
record-lock.png

通过上面的示例可以看出:

  • 事务A(sessionA)对id=1加排他锁之后产生了记录锁
  • 事务B(sessionB)对id=1update操作被阻塞了
  • 事务C(sessionC)可以查看到Record Lock

Gap Lock

什么是Gap Lock?

Gap Lock,间隙锁,它是一种行级锁,锁住两个索引记录之间的间隙,而不是实际的数据记录,由InnoDB隐式添加。

如下图:(1,3) 表示锁住记录1 和记录3 之间的间隙,这样记录2 就无法插入,间隙可能跨越单个索引值、多个索引值,甚至是空。

gap-lock-table.png

InnoDB中,间隙锁是通过索引来实现的。这意味着间隙锁只能作用于索引,而不能直接作用于非索引列。当一个事务对某个索引列上的间隙加锁时,其他事务就无法在这个间隙中插入新的记录。

举例说明

为了更好的说明Gap Lock间隙锁,我们以下面的顺序执行流来进行验证:

加锁线程 sessionA 线程B sessionB 线程C sessionC
#开启事务
begin;
加锁
select * from user
where age = 10 for share;
insert into user(id,age) values(2,20);
#查看InnoDB监视器中记录锁数据
show engine innodb status\G
commit提交事务
Gap Lock被释放
# 被堵塞的insert操作执行成功

示例执行结果如下图:
gap-lock.png

通过上面的示例执行结果可以看出:

  • 事务A(sessionA)在加共享锁的时候产生了间隙锁(Gap Lock)
  • 事务B(sessionB)对间隙中进行insert/update操作,需要先获取排他锁(X),导致阻塞
  • 事务C(sessionC)通过show engine innodb status\G指令可以查看到间隙锁的存在。

需要说明,间隙锁只是锁住间隙内部的范围,在间隙外的insert/update操作不会受影响。

Next-Key Lock

什么是Next-Key Lock?

Next-Key Lock,称为临键锁,它是Record Lock + Gap Lock的组合,用来锁定一个范围,并且锁定记录本身锁,它是一种左开右闭的范围,可以用符号表示为:(a,b]。如下图:

next-key-lock-table.png

举例说明

为了更好的说明Next-Key Lock,我们以下面的顺序执行流来进行验证:

加锁线程 sessionA 线程B sessionB 线程C sessionC 线程D sessionD
#开启事务
begin;
#加锁
select * from user
where age = 10 for share;
#获取锁失败
insert操作被堵塞
insert into
user(id,age)
values(2,20);
#update被堵塞
update user
set name='name1'
where age = 10;
#查看InnoDB监视器中记录锁数据
show engine innodb status\G
提交事务Gap Lock被释放
commit
被堵塞的insert操作执行ok #被堵塞的update操作执行成功

示例执行结果如下图:
next-key-lock.png

通过上面的示例执行结果可以看出:

  • 事务A(sessionA)在加共享锁的时候产生了间隙锁(Gap Lock)
  • 事务B(sessionB)对间隙中进行insert操作,需要先获取排他锁(X),导致阻塞。
  • 事务C(sessionC)对间隙中进行update操作,需要先获取排他锁(X),导致阻塞。
  • 事务D(sessionD)通过show engine innodb status\G指令可以查看到间隙锁的存在。需要说明的,间隙锁只是锁住间隙内部的范围,在间隙外的insert/update操作不会受影响。

总结

Record LockGap LockGap Lock 3种锁是存在MySQLInnoDB引擎的行锁,MyISAM引擎没有:

  1. Record Lock: 记录锁,是在索引记录上加锁;
  2. Gap Lock:间隙锁,锁定一个范围,但不包含记录,即(A,B)
  3. Next-key LockNext-key Lock = Gap Lock + Record Lock,它锁定了一个范围(Gap Lock实现),并且锁定记录本身(Record Lock实现),即(A,B];;

这 3种锁都是InnoDB引擎隐式添加的,目的是为了解决可重复读隔离级别下幻读的现象。

参考

InnoDB Locking官方资料

学习交流

如果你觉得文章有帮助,请帮忙转发给更多的好友,或关注:猿java,持续输出硬核文章。

目录
相关文章
|
23天前
|
弹性计算 人工智能 架构师
阿里云携手Altair共拓云上工业仿真新机遇
2024年9月12日,「2024 Altair 技术大会杭州站」成功召开,阿里云弹性计算产品运营与生态负责人何川,与Altair中国技术总监赵阳在会上联合发布了最新的“云上CAE一体机”。
阿里云携手Altair共拓云上工业仿真新机遇
|
15天前
|
存储 关系型数据库 分布式数据库
GraphRAG:基于PolarDB+通义千问+LangChain的知识图谱+大模型最佳实践
本文介绍了如何使用PolarDB、通义千问和LangChain搭建GraphRAG系统,结合知识图谱和向量检索提升问答质量。通过实例展示了单独使用向量检索和图检索的局限性,并通过图+向量联合搜索增强了问答准确性。PolarDB支持AGE图引擎和pgvector插件,实现图数据和向量数据的统一存储与检索,提升了RAG系统的性能和效果。
|
20天前
|
机器学习/深度学习 算法 大数据
【BetterBench博士】2024 “华为杯”第二十一届中国研究生数学建模竞赛 选题分析
2024“华为杯”数学建模竞赛,对ABCDEF每个题进行详细的分析,涵盖风电场功率优化、WLAN网络吞吐量、磁性元件损耗建模、地理环境问题、高速公路应急车道启用和X射线脉冲星建模等多领域问题,解析了问题类型、专业和技能的需要。
2570 22
【BetterBench博士】2024 “华为杯”第二十一届中国研究生数学建模竞赛 选题分析
|
17天前
|
人工智能 IDE 程序员
期盼已久!通义灵码 AI 程序员开启邀测,全流程开发仅用几分钟
在云栖大会上,阿里云云原生应用平台负责人丁宇宣布,「通义灵码」完成全面升级,并正式发布 AI 程序员。
|
2天前
|
存储 人工智能 搜索推荐
数据治理,是时候打破刻板印象了
瓴羊智能数据建设与治理产品Datapin全面升级,可演进扩展的数据架构体系为企业数据治理预留发展空间,推出敏捷版用以解决企业数据量不大但需构建数据的场景问题,基于大模型打造的DataAgent更是为企业用好数据资产提供了便利。
159 2
|
19天前
|
机器学习/深度学习 算法 数据可视化
【BetterBench博士】2024年中国研究生数学建模竞赛 C题:数据驱动下磁性元件的磁芯损耗建模 问题分析、数学模型、python 代码
2024年中国研究生数学建模竞赛C题聚焦磁性元件磁芯损耗建模。题目背景介绍了电能变换技术的发展与应用,强调磁性元件在功率变换器中的重要性。磁芯损耗受多种因素影响,现有模型难以精确预测。题目要求通过数据分析建立高精度磁芯损耗模型。具体任务包括励磁波形分类、修正斯坦麦茨方程、分析影响因素、构建预测模型及优化设计条件。涉及数据预处理、特征提取、机器学习及优化算法等技术。适合电气、材料、计算机等多个专业学生参与。
1568 16
【BetterBench博士】2024年中国研究生数学建模竞赛 C题:数据驱动下磁性元件的磁芯损耗建模 问题分析、数学模型、python 代码
|
3天前
|
JSON 自然语言处理 数据管理
阿里云百炼产品月刊【2024年9月】
阿里云百炼产品月刊【2024年9月】,涵盖本月产品和功能发布、活动,应用实践等内容,帮助您快速了解阿里云百炼产品的最新动态。
阿里云百炼产品月刊【2024年9月】
|
21天前
|
编解码 JSON 自然语言处理
通义千问重磅开源Qwen2.5,性能超越Llama
击败Meta,阿里Qwen2.5再登全球开源大模型王座
939 14
|
16天前
|
人工智能 开发框架 Java
重磅发布!AI 驱动的 Java 开发框架:Spring AI Alibaba
随着生成式 AI 的快速发展,基于 AI 开发框架构建 AI 应用的诉求迅速增长,涌现出了包括 LangChain、LlamaIndex 等开发框架,但大部分框架只提供了 Python 语言的实现。但这些开发框架对于国内习惯了 Spring 开发范式的 Java 开发者而言,并非十分友好和丝滑。因此,我们基于 Spring AI 发布并快速演进 Spring AI Alibaba,通过提供一种方便的 API 抽象,帮助 Java 开发者简化 AI 应用的开发。同时,提供了完整的开源配套,包括可观测、网关、消息队列、配置中心等。
706 12
|
15天前
|
存储 监控 调度
云迁移中心CMH:助力企业高效上云实践全解析
随着云计算的发展,企业上云已成为创新发展的关键。然而,企业上云面临诸多挑战,如复杂的应用依赖梳理、成本效益分析等。阿里云推出的云迁移中心(CMH)旨在解决这些问题,提供自动化的系统调研、规划、迁移和割接等功能,简化上云过程。CMH通过评估、准备、迁移和割接四个阶段,帮助企业高效完成数字化转型。未来,CMH将继续提升智能化水平,支持更多行业和复杂环境,助力企业轻松上云。