拒绝零散碎片, 一文理清MySQL的各种锁

系列文章目录

学习MySQL先有全局观,细说其发展历程及特点
Mysql常用操作,谈谈排序与分页


在这里插入图片描述

相信大家在日常使用Mysql的过程中,对锁也有着一些了解。什么排它/共享锁,表锁、行锁,还有意向锁之类的。相信同学们也看到过很多相关文章,不过大部分文章只是偏重其中某一种锁进行深入分析,实话实说,确实有不少锁的逻辑较为复杂,值得摸索。但对于大部分同学而言,我认为最好是先对这些锁有个总体的认知,做到先总再分,这样才更能从全局了解锁的设计。

📕作者简介:战斧,从事金融IT行业,有着多年一线开发、架构经验;爱好广泛,乐于分享,致力于创作更多高质量内容
📗本文收录于 mysql 专栏,有需要者,可直接订阅专栏实时获取更新
📘高质量专栏 云原生、RabbitMQ、Spring全家桶 等仍在更新,欢迎指导
📙Zookeeper Redis dubbo docker netty等诸多框架,以及架构与分布式专题即将上线,敬请期待

一、MySQL的锁指什么

我们先来看一下Mysql的基本构成,如下图,以前我们其实也介绍过,MySQL数据库总体分为三个部分:

  • Server层:负责处理客户端连接、查询解析和优化、数据访问控制、事务处理、日志、replication和其他管理操作。
  • 存储引擎:负责数据的存储和检索等操作。MySQL支持多个存储引擎,如InnoDB、MyISAM、MEMORY等。
  • 物理磁盘层:真正存储数据的位置,保存着数据库数据以及各类日志。

在这里插入图片描述

我们日常说的MySQL的各种锁,有的是由存储引擎提供的(如行锁),有些锁是有Server层提供的(如全局锁、表锁),它们结合起来才形成了完整的锁的体系

二、排他与共享

锁从不同角度理解,其实会有不同的分类,也就是说同一个东西,在不同的分类下叫不同的锁,但其实它们并不冲突。在讨论 MySQL 的锁时,一般我们会有这样两种分类:

  • 锁的粒度
  • 是否排他

从锁的粒度来看,可以分为全局锁表锁行锁,顾名思义,锁的层级分别是数据库、某张表、以及表里的行。
从是否独占来看,可以分为排它锁共享锁

在innoDB,对于同一个资源,是允许设定 排它锁(X) 和 共享锁(S) 两种的,它们的兼容关系如下:

XS
X冲突冲突
S冲突兼容

比如事务A对某一行上了共享锁(S),此时再来一个事务B,如果B需要这个资源的共享锁,那么它能立即获得。如果B需要该资源的排它锁,事务B就需要等待了。

而不同粒度的锁,接下来我们以一一讲解

三、全局锁(Global Lock)

用于 限制整个数据库实例 的访问,当执行一些需要全局一致性的操作时,例如备份、恢复等,可以使用全局锁,如下命令

 FLUSH TABLES WITH READ LOCK

这个命令会对所有数据库的所有表都上一个读锁,加完这个锁后,所有的表都会被锁定从而无法插入任何内容了(mysql自己的系统日志表不在此列)

四、表锁(Table Lock)

锁定整个表,在执行涉及整个表的操作时,会对整个表进行锁定,避免其他事务对该表进行并发操作。它的上锁及解锁语法如下

-- 加锁
LOCK {TABLE | TABLES}
 tbl_name [[AS] alias] lock_type
 [, tbl_name [[AS] alias] lock_type] ...
lock_type: {
 READ [LOCAL]
 | WRITE
}

-- 释放锁
UNLOCK {TABLE | TABLES}

一般情况下,不建议使用这种表锁,除非是对一组MyISAM的表来操作,那么提前将它们锁定会提高效率

五、意向锁(Intention Locks)

InnoDB 支持多粒度锁,允许行锁和表锁共存。例如下面的语句就可以在指定的表上使用排他锁(X锁):

LOCK TABLES … WRITE

而为了同时避免遍历行锁的困境:比如事务A获取了某一行的排它锁,此时事务B想锁表,就必须遍历每一行检查是否有锁;同时也为了避免不同粒度间的锁出现死锁,所以InnoDB使用了意向锁。意向锁是表级别的锁,它指示事务以后对表中的某一行需要哪种类型的锁(共享的还是排他的)。有两种类型的意向锁:

  • 意向共享锁(IS)表明事务打算对表中的单个行设置共享锁
  • 意向排他锁(IX)表示事务打算对表中的单个行设置排他锁

例如,SELECT…FOR SHARE 设置IS锁,SELECT…FOR UPDATE 设置一个IX锁。
在事务获得表中某一行的共享锁之前,它必须首先获得表上的IS锁或更强的锁。
在事务获得表中某一行的排他锁之前,它必须首先获得该表上的IX锁

表级锁类型兼容性如下表所示:

XIXSIS
X冲突冲突冲突冲突
IX冲突兼容冲突兼容
S冲突冲突兼容兼容
IS冲突兼容兼容兼容

这个表的理解其实很简单:
(1)X 作为表的排他锁,和其他所有表锁冲突
(2)IX 代表准备修改某一行,此时如果有人持有表,不论是 X 还是 S,为了防止冲突或不一致,所以会返回冲突

如果锁与现有锁兼容,则将锁授予请求事务,但如果它与现有锁冲突,则不会授予。事务等待,直到冲突的现有锁被释放。如果锁请求与现有锁冲突,并且由于会导致死锁而无法授予,则会发生错误。

意向锁的主要目的是显示某人正在锁定表中的一行,或者将要锁定表中的一行,作为行锁前置的隐式锁。也就是说若你仅使用表锁,或仅使用行锁,意向锁是不会让你阻塞的。只有你在持有行锁的情况下又使用表锁,它才能发挥它的用处

六、行级锁(Row Lock)

在InnoDB存储引擎中,默认使用的是行级锁。它可以实现更细粒度的并发控制,只锁定部分行,而不是整个表,提高了并发性能。而从实际表现来说,其又分为三种 记录锁(Record Locks)间隙锁(Gap Locks),以及所谓临键锁(Next-Key Locks)。实际上在源码种,这三种锁其实叫 LOCK_REC_NOT_GAPLOCK_GAPLOCK_ORDINARY

/* Precise modes /
/
* this flag denotes an ordinary next-key lock in contrast to LOCK_GAP or
LOCK_REC_NOT_GAP /
constexpr uint32_t LOCK_ORDINARY = 0;
/
* when this bit is set, it means that the lock holds only on the gap before
the record; for instance, an x-lock on the gap does not give permission to
modify the record on which the bit is set; locks of this type are created
when records are removed from the index chain of records /
constexpr uint32_t LOCK_GAP = 512;
/
* this bit means that the lock is only on the index record and does NOT
block inserts to the gap before the index record; this is used in the case
when we retrieve a record with a unique key, and is also used in locking
plain SELECTs (not part of UPDATE or DELETE) when the user has set the READ
COMMITTED isolation level */
constexpr uint32_t LOCK_REC_NOT_GAP = 1024;

1. 记录锁(Record Locks)

记录锁是索引记录上的锁,例如,

SELECT c1 FROM t WHERE c1=10 For update;

这样就能阻止任何其他事务插入、更新或删除c1是10为的行。
记录锁总是锁定索引,即使定义的表没有索引也是如此。对于这样的情况,InnoDB创建一个隐藏的聚集索引,并使用该索引进行记录锁定

2. 间隙锁(Gap Locks)

如果我们把隔离级别设定为可重复度(RR),MySQL就会为我们解决”幻读“现象,这里面除了MVCC的作用外,还会在此时引入”间隙锁“的概念,间隙锁本质上是 在索引记录之间的间隙上的锁,或者在第一个索引记录之前或最后一个索引记录之后的间隙上的锁。比如说当我们执行这样一个SQL时

SELECT c1 FROM t WHERE c1 BETWEEN 10 and 20 For Update

就会防止其他事务将值15插入到列t.c1中,因为范围中所有现有值之间的间隙被锁定。

3. 临键锁(Next-Key Locks)

next-key锁是索引记录上的记录锁和索引记录之前的间隙上的间隙锁的组合。InnoDB执行行级锁的方式是,当它搜索或扫描一个表索引时,它会在遇到的索引记录上设置共享锁或排他锁。因此,行级锁实际上是索引记录锁。索引记录上的next-key锁也会影响该索引记录之前的“间隙”。也就是说,next-key锁是索引记录锁加上索引记录前面的间隙锁

假设索引包含值10、11、13和20。此索引的Next-Key Locks锁定则覆盖以下区间,其中圆括号表示不包含区间端点,方括号表示包含端点:

(negative infinity, 10]
(10, 11]
(11, 13]
(13, 20]
(20, positive infinity)

对于最后一个间隔,next-key锁锁定索引中最大值以上的间隙,以及值高于索引中任何实际值的“supremum”伪记录。”supremum“不是一个真正的索引记录,因此,实际上,这个next-key锁只锁定最大索引值后面的间隙。默认情况下,InnoDB运行在REPEATABLE READ事务隔离级别。在这种情况下,InnoDB使用next-key锁进行搜索和索引扫描,这可以防止幻行。

4. 插入意向锁(Insert Intention Locks)

学习了上面的间隙锁,我们不难知晓,想要插入新数据通常需要先获得间隙锁(隔离级别为可重复读及以上)。按照常理来说,如果有多个事务都想往一个间隙里插入数据,它们只要慢慢排队就好了,但是,我们还需要意识到,一旦事务A插入一条数据成功,原先的间隙可能就会变成两个间隙,事务B可能又被A新诞生的这个间隙所阻碍。为了优化这种插入排队的情况,innodb提出了插入意向锁的概念:

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

插入意图锁是insert操作在行插入之前设置的一种间隙锁。这个锁以这样一种方式表示插入的意图,即插入到相同索引间隙中的多个事务如果不在间隙内的相同位置插入,则不需要彼此等待

也就是说,插入操作在获取间隙锁之前,会先获取到插入意向锁,下面的示例演示了一个事务在获得插入记录的排他锁之前使用插入意图锁。该示例涉及两个客户机A和b。客户机A创建一个包含两个索引记录(90和102)的表,然后启动一个事务,对ID大于100的索引记录设置排他锁。排他锁包括记录102之前的间隙锁:

mysql> CREATE TABLE child (id int(11) NOT NULL, PRIMARY KEY(id)) ENGINE=InnoDB;
mysql> INSERT INTO child (id) values (90),(102);

mysql> START TRANSACTION;
mysql> SELECT * FROM child WHERE id > 100 FOR UPDATE;
+-----+
| id |
+-----+
| 102 |
+-----+

客户端B开始一个事务,向缺口间隙插入一条记录,事务在等待获得排他锁时接受插入意图锁:

mysql> START TRANSACTION;
mysql> INSERT INTO child (id) VALUES (101);

在SHOW ENGINE INNODB STATUS和INNODB monitor输出中,插入意图锁的事务数据如下所示:

RECORD LOCKS space id 31 page no 3 n bits 72 index `PRIMARY` of table `test`.`child`
trx id 8731 lock_mode X locks gap before rec insert intention waiting
Record lock, heap no 3 PHYSICAL RECORD: n_fields 3; compact format; info bits 0
 0: len 4; hex 80000066; asc f;;
 1: len 6; hex 000000002215; asc " ;;
 2: len 7; hex 9000000172011c; asc r ;;...

5. 行锁总结

其实对于行锁,现在解析的文章有很多,我们后续也可能结合源码进行更深入的解释。但在这里我们可以先进行总结(源于Mysql源码版本8.0.30)

  • 锁基于扫描到的索引,对于innoDB,哪怕你没有显示建立索引,每一张表也都至少会有一个索引(即其聚集索引
  • 间隙锁(Gap Locks) 只有在隔离级别为可重复读以上才会有
  • 隔离级别为读未提交/读提交时,行级锁默认使用记录锁(Record Locks),隔离级别为可重复读/序列化时,行级锁默认使用的是临键锁(Next-Key Locks)
  • 间隙锁(Gap Locks) 的目的是不让这段间隙内插入新的数据,因此其设计与传统意义上的共享/排他概念不一样。比如:事务A在一个间隙上持有共享间隙锁(间隙s锁),而事务B可以在同一个间隙上持有排他性间隙锁(间隙x锁)

七、自增锁(AUTO-INC Locks)

AUTO-INC锁是一种特殊的表级锁,用于在具有AUTO_INCREMENT列的表中插入事务。

在最简单的情况下,如果一个事务正在向表中插入值,那么任何其他事务都必须等待对该表进行自己的插入,以便第一个事务插入的行接收连续的主键值。innodb_autoinc_lock_mode变量控制用于自动增量锁定的算法。它允许您选择如何在可预测的自动递增值序列和插入操作的最大并发性之间进行权衡。

在这里插入图片描述
这里有 0、1、2 三种模式可选

  • 0(traditional):这是最常用的模式。在这种模式下,InnoDB使用一个全局的互斥锁(AUTO-INC锁)来保护自增主键的访问。当有一个事务插入新记录时,其他事务必须等待该事务释放AUTO-INC锁后才能插入新记录,该锁通常保持到语句结束(而不是事务结束)。

  • 1(consecutive):在这种模式下,InnoDB使用一个递增的互斥锁(AUTO-INC锁)来保护自增主键的访问。如果我们可以预知插入的数据条数,InnoDB会为每个事务分配一个独立的自增值区间。当一个事务需要插入自增值时,它就可以在自己的区间内找到一个可用的自增值,然后将其插入到表中。通过为每个事务分配独立的自增值区间,Consecutive模式可以实现并行插入,这种模式适用于具有高并发读写的应用,可以提高性能。

  • 2(interleaved):这种模式是在MySQL 8.0中引入的新模式。在这种模式下,事务们都不再持有表级AUTO-INC锁,该模式可以支持多个语句可以同时生成数字,也就是说,数字的分配在多个语句之间交错进行。

需要注意的是,在我们使用它不同种类的插入语句的时候,consecutive 自增锁有可能还是会使用全局互斥锁的样子,因为不是每一种 insert 都能提前预知其数量的,比如下面这样的插入:

INSERT INTO t1 (c2) SELECT ... from another table ...

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

PhotoShop批量生成存储jpg

1、说明 根据之前自动批量生成psd格式的文件。打印一般都是jpg格式的,那如果将这些psd的文件,生成jpg,本文采用ps的动作 2、生成动作 点击窗口-动作 录屏存储jpg动作 3、根据动作生成 选择相应动作之后选择需要处理的文件夹

Aidlux 1.4 部署Nextcloud 2024.6实录 没成功

Aidux阉割版Debain10,坑很多,比如找不到实际的系统日志,有知道的大神吗? 1 Apache2安装 # 测试Apache2 sudo apt update && sudo apt upgrade sudo apt install apache2 -y80端口疑似被禁止只能换端口 rootlocalhost:/…

定制化智能硬件解决方案:为您的业务量身打造的未来之选

在这个数字化转型的时代,企业必须适应快速变化的技术需求和激烈的市场竞争。定制化智能硬件解决方案提供了一种独特的方法,使企业能够通过优化流程和提高效率来满足其特定的业务需求。本文将探讨定制化智能硬件如何助力企业实现卓越性能和创新&#xff0…

mongosh常用命令详解及如何开启MongoDB身份验证

目录 Mongosh常用命令介绍 连接到MongoDB实例 基本命令 查看当前数据库 切换数据库 查看所有数据库 查看当前数据库中的集合 CRUD操作 插入文档 查询文档 更新文档 删除文档 替换文档 索引操作 创建索引 查看索引 删除索引 聚合操作 数据库管理 创建用户 …

计算机毕业设计Python+Vue.js知识图谱音乐推荐系统 音乐爬虫可视化 音乐数据分析 大数据毕设 大数据毕业设计 机器学习 深度学习 人工智能

开发技术 协同过滤算法、机器学习、LSTM、vue.js、echarts、django、Python、MySQL 创新点协同过滤推荐算法、爬虫、数据可视化、LSTM情感分析、短信、身份证识别 补充说明 适合大数据毕业设计、数据分析、爬虫类计算机毕业设计 介绍 音乐数据的爬取:爬取歌曲、…

(项目实战)业务场景中学透RocketMQ5.0-事务消息在预付卡系统中的应用

1 什么是事务消息 RocketMQ中事务消息主要是解决分布式场景下各业务系统事务一致性问题,常见的分布式事务解决方案有传统XA事务方案、TCC、本地消息表、MQ事务等。今天我们基于RocketMQ事务消息解决预付卡系统资金账户子系统和会员积分子系统、短信子系统分布式事务…

JMeter的基本使用与性能测试,完整入门篇保姆式教程

Jmeter 的简介 JMeter是一个纯Java编写的开源软件,主要用于进行性能测试和功能测试。它支持测试的应用/服务/协议包括Web (HTTP, HTTPS)、SOAP/REST Webservices、FTP、Database via JDBC等。我们最常使用的是HTTP和HTTPS协议。 Jmeter主要组件 线程组&#xff08…

永辉超市:胖东来爆改,成色几何?

单日业绩暴涨14倍。来,看看,这是被胖东来爆改后重新开业后的门店, 不出意外的流量爆炸。胖东来爆改,真是解决实体商超困境的灵丹妙药吗? 今天我们聊聊——永辉超市 最近两年实体商超日子都不好过,去年13家…

在Worpress增加网站的二级目录,并转向到站外网站

在WordPress中,你可以通过添加自定义重定向来实现将某个二级目录(例如 www.example.com/subdir)重定向到站外网站。可以通过以下几种方法来实现: 方法一:使用 .htaccess 文件 如果你的服务器使用Apache,你…

使用上海云盾 CDN 和 CloudFlare 后 Nginx、 WordPress、 Typecho 获取访客真实 IP 方法

最近因为被 DDoS/CC 攻击的厉害,明月就临时的迁移了服务器,原来的服务器就空置下来了,让明月有时间对服务器进行了重置重新部署安装生产环境。因为站点同时使用了上海云盾和 CloudFlare(具体思路可以参考【国内网站使用国外 CloudFlare CDN 的思路分享】一文)两个 CDN 服务…

Java数据类型与运算符

1. 变量和类型 变量指的是程序运行时可变的量,相当于开辟一块空间来保存一些数据。 类型则是对变量的种类进行了划分,不同类型的变量具有不同的特性。 1.1 整型变量(重点) 基本语法格式: int 变量名 初始值;代码示…

20240621在飞凌的OK3588-C开发板linux系统的CAM3上接OV5645录像

20240621在飞凌的OK3588-C开发板linux系统的CAM3上接OV5645录像 2024/6/21 19:57 开发板:OK3588-C SDK:linux R4/Buildroot v4l2-ctl --list-devices v4l2-ctl --list-formats-ext -d /dev/video16 gst-launch-1.0 v4l2src device/dev/video16 num-bu…

【Git】 -- Part2 -- 分支管理

1. 分支 在 Git 中,分支(Branch)是用于在项目中创建独立开发线路的机制。分支使得开发者可以在不影响主干(main 或 master)的情况下进行实验、开发新功能或修复 Bug。 举个例子: 分⽀就好像是科幻电影⾥⾯…

鸿蒙开发:【进程模型概述】

进程模型概述 系统的进程模型如下图所示: 应用中(同一包名)的所有PageAbility、ServiceAbility、DataAbility、FormAbility运行在同一个独立进程中,即图中绿色部分的“Main Process”。 WebView拥有独立的渲染进程,即…

OS复习笔记ch11-2

上一节我们学习的内容是I/O系统的特点和设备分类和差异,这一节我们将主要关注I/O控制方式、OS设计问题、I/O逻辑结构等。 I/O功能的演变 在专栏的ch1-2中,我们详细讲解了CPU与外设的三种交互方式,这里简单地带过。 (1&#xff0…

MPLS-LDP(个人学习笔记)

定义 标签分发协议LDP(Label Distribution Protocol)是多协议标签交换MPLS的一种控制协议,负责转发等价类FEC的分类、标签的分配以及标签交换路径LSP的建立和维护等操作。LDP规定了标签分发过程中的各种消息以及相关处理过程 术语 LDP会话&a…

计算机组成原理 | 计算机系统概述

CPI:(Clockcycle Per Instruction),指每条指令的时钟周期数。 时钟周期:对CPU来说,在一个时钟周期内,CPU仅完成一个最基本的动作。时钟脉冲是计算机的基本工作脉冲,控制着计算机的工作节奏。时钟周期 是一个时钟脉冲所…

ECharts 词云案例三:2024年阅读关键词

ECharts 词云案例三:2024年阅读关键词 引言 在数据可视化领域,ECharts 以其强大的功能性和灵活性,成为开发者和设计师的首选工具之一。继上一篇关于 ECharts 词云图的详细介绍后,本文将探索词云图的进阶应用——使用蒙版来创造更…

约束求解器方案设计

1.约束求解介绍 给定一个几何对象(点、直线段、圆、圆弧、平面等)的集合G和一个关于集合G中几何对象之间约束(点的位置、直线段的长度、圆弧对应的圆心角角度、垂直、相切等) 的集合C,则在二元组(G,C)中根…

【UIDynamic-动力学-附着行为-刚性附着 Objective-C语言】

一、接下来,我们来说这个附着行为啊, 1.我们之前举过例子,一个车坏了,另外一个车,拉着这个车,就是附着行为啊, 这个里边呢,我们新建一个项目, Name:09-附着行为-刚性附着, 附着行为呢,分为两个大类: 1)刚性附着 2)弹性附着 刚性附着,指的就是,两个物体之间…