MySQL Innodb 中的排它锁、共享锁、意向锁、记录锁、间隙锁、临键锁、死锁讲解

news2024/12/24 3:37:43

一、MySQL 锁机制

MySQL作为流行的关系型数据库管理系统之一,在处理并发访问时,锁起着至关重要的作用。锁的使用可以确保数据的完整性,同时也是实现并发操作的必备工具。在MySQL Innodb 引擎中锁可以理解为两个方向的东西,一个是基本锁的类型一个是锁粒度的策略

对于锁的类型主要为我们常见的排他锁共享锁,排他锁又称独占锁,允许事务修改数据并阻止其他事务同时获取相同资源任何类型的锁。用于保护数据的完整性和一致性,确保在修改数据时不会发生冲突。共享锁允许多个事务同时读取同一行的数据,但不允许任何事务修改数据。

锁粒度的策略则是建立在排他锁和共享锁之上的方案。主要控制锁的粒度大小,实际锁的方式还是共享锁或排他锁。例如记录锁、间隙锁、临键锁等,不同的策略锁的粒度范围不同,如记录锁会锁住一行数据,间隙锁会锁住一个范围的数据等,本文将深入探讨MySQL Innodb 引擎中的锁机制。

二、基本锁的类型

2.1 排它锁

排他锁又称为写锁,简称X锁,是一种悲观锁,具有悲观锁的特征,如一个事务获取了一个数据行的X锁,其他事务尝试获取锁时就会等待另一个事务的释放。其中在 InnoDB 引擎下做写操作时 (UPDATE、DELETE、INSERT)都会自动给涉及到的数据加上 X 锁,因此当多线程情况下对同一条数据进行更新,在MySQL中不会出现线程安全问题。

其中 SELECT 语句默认不会加锁,如果查询的数据已经存在 X 锁,则会返回其最近提交的数据,如果希望每次获取的数据都是更新后最新的数据,当存在有更新时,则等待更新完成后获取新的值,这种情况下就需要对 SELECT 语句也要存在 X 锁,其中 SELECT 语句加 X 锁的话需要使用 FOR UPDATE 语句。

比如:当前有一张表结构如下:

CREATE TABLE `lock` (
  `id` int NOT NULL AUTO_INCREMENT,
  `name` varchar(255) DEFAULT NULL,
  PRIMARY KEY (`id`)
) ENGINE=InnoDB  DEFAULT CHARSET=utf8mb4 COLLATE=utf8mb4_0900_ai_ci;

写入一条测试数据:

INSERT INTO `testdb`.`lock`(`id`, `name`) VALUES (1, 'lock1');

下面,我使用 Navicat 开启了两个对话框,我在第一个对话框中,使用手动提交事务的方式执行更新语句,并且既不提交也不回滚事务:

BEGIN;
UPDATE `lock` SET `name` = 'lock2' WHERE id = 1; 

在这里插入图片描述
下面在另一个对话框中,查询 id = 1 的数据:

SELECT * FROM `lock` where id = 1

在这里插入图片描述
可以看到,并没有拿到最新的内容,因为此时 X 锁还没有释放,那此时对查询语句进行调整下,加上 FOR UPDATE 语句:

SELECT * FROM `lock` where id = 1 FOR UPDATE

在这里插入图片描述

此时会发现,查询语句一直在等待,因为这个查询语句在等待 X 锁的释放,下面对第一个对话框中,执行提交事务:

COMMIT;

在这里插入图片描述
在回到第二个对话框中查看:
在这里插入图片描述
已经拿到最新的值。这里需要注意下,你的是不是出现了超时报错,这是因为 Innodb 引擎对等待锁有个等待超时时间,默认情况下是 50s ,可以通过下面指令查看:

SHOW VARIABLES LIKE "Innodb_lock_wait_timeout"

在这里插入图片描述

如果感觉太小,可以通过下面指令调整:

SET innodb_lock_wait_timeout = 100

上面的操作已经感觉出来 X 锁的效果,那当两个 SELECT 语句都加上 FOR UPDATE 呢,比如在第一个回话框中,使用手动事务执行 SELECT 语句,同样不提交事务:

BEGIN;
SELECT * FROM `lock` where id = 1 FOR UPDATE;

在这里插入图片描述

在第二个对话框同样执行相同的代码,可以发现被阻塞掉了。

在这里插入图片描述

当第一个提交事务后,第二个紧接着也查出了信息,这也正符合排他锁的特征。

2.2 共享锁

共享锁可以理解为读锁,简称S锁,可以对多个事务SELECT情况下读取同一数据时不会阻塞,但是如果存在写操作时 (UPDATE、DELETE、INSERT),SELECT语句也会被阻塞,在MySQL中使用 S 锁需要使用 LOCK IN SHARE MODE

例如还是开启两个对话框,在第两个对话框中,都查询 id = 1 的数据,并加上 S 锁,最后同样不提交事务:

BEGIN;
SELECT * FROM `lock` where id = 1 LOCK IN SHARE MODE;

在这里插入图片描述
可以发现两个都拿到了数据,对两个都提交事务后,假如第一个对话框中是更新操作,最后同样不提交事务:

BEGIN;
UPDATE `lock` SET `name` = 'lock3' WHERE id = 1 ;

在这里插入图片描述
在第二个对话框中还是加上 S 锁的查询操作:

BEGIN;
SELECT * FROM `lock` where id = 1 LOCK IN SHARE MODE;

在这里插入图片描述

可以看到查询被阻塞了,当第一个对话框中提交了事务,这里才会返回结果:

在这里插入图片描述

2.3 意向锁

MySQL中的意向锁是一种特殊类型的锁,用于在表级别上表示事务可能要对表中的某些行进行修改。这种锁可以协调多个事务并发访问同一表,以确保数据的完整性和一致性。

意向锁分为两种类型:意向共享锁(IS)和意向排他锁(IX)。它们是在行级锁之上的一种辅助锁,用于表级锁的管理,意向锁是一种不与行级锁冲突的表级锁。

  • 意向共享锁(IS):表示事务打算在表中的某些行上设置共享锁(即读锁),但不是在整个表上设置排他锁(即写锁)。其他事务可以同时获取意向共享锁和共享锁,但不能获取排他锁。

  • 意向排他锁(IX):表示事务打算在表中的某些行上设置排他锁(即写锁),但不是在整个表上设置共享锁。其他事务可以同时获取意向排他锁和共享锁,但不能获取排他锁。

意向锁的引入主要是为了协调事务对表级锁的请求。当一个事务要在某一行上设置锁时,它会首先尝试获取意向锁。如果其他事务已经在表上设置了排他锁,则意向锁会阻止其他事务再获取共享锁,从而避免了读取到不一致的数据。同样,如果其他事务已经在表上设置了共享锁,则意向锁会阻止其他事务再获取排他锁,从而避免了并发写操作导致的数据破坏。

意向锁之间是互相兼容的

IXIS
IX兼容兼容
IS兼容兼容

意向锁和排他锁、共享锁之间只有共享级别的锁兼容:

XS
IX冲突冲突
IS冲突兼容

例如:在事务1中写入一条数据:

BEGIN;
INSERT INTO `lock`(id,name) VALUES(11,"lock1");

然后查询锁的情况:

SELECT * FROM	`performance_schema`.data_locks  WHERE OBJECT_NAME = 'lock'

在这里插入图片描述

可以看到加了表级意向排他锁。

然后在事务2中准备锁表:

LOCK TABLE `lock` WRITE;

在这里插入图片描述

可以看出被阻塞了。

三、锁粒度的策略

3.1 记录锁

记录锁(Row Lock)也叫行锁,将锁的粒度控制在最小的一行数据上,是一种用于控制并发访问的锁定机制,它允许多个事务同时操作同一张表中的不同行,而不会相互干扰,从而提高并发能力。记录锁包含了共享锁和排它锁,锁定的资源是索引记录,如果表中的字段没有索引,InnoDB 会创建一个隐藏的聚集索引并使用该索引进行记录锁定。

例如:在事务1中,查询所有数据:

BEGIN;
SELECT * FROM `lock` FOR UPDATE;

然后查看锁的情况:

SELECT * FROM	`performance_schema`.data_locks  WHERE OBJECT_NAME = 'lock'

在这里插入图片描述

LOCK_DATA 可以看出锁的资源是主键ID

3.2 间隙锁

间隙锁(Gap Lock)是 MySQL 中一种特殊类型的锁,用于在事务中防止其他事务插入新记录或修改范围内的数据,保证数据的一致性和防止幻读。间隙锁通常与范围条件查询结合使用,确保数据的完整性和一致性。

例如:当事务 1 查询 id > 0 and id < 5 的数据时,如果此时事务 2 对该范围的数据写入了一条数据,而这个数据如果在事务1中继续操作,就有可能出现幻读。

所以为了避免这个问题,InnoDB 引擎中引入了间隙锁机制,即在索引中的两个值之间锁定一个间隙,阻止其他任何事务在该间隙上进行插入或修改操作,从而保证数据的一致性和防止幻读。

注意:间隙锁只在 Innodb 引擎可重复读隔离级别中存在。

例如,查询一个范围:

BEGIN;
SELECT * FROM `lock` where id > 1 and id < 5 FOR UPDATE

然后查看锁情况:

SELECT * FROM	`performance_schema`.data_locks  WHERE OBJECT_NAME = 'lock'

在这里插入图片描述

可以看到锁住了2-5这个范围的数据,细心的可以发现 5 其实没有在查询条件中,但是也被锁住了,这就和间隙锁的范围有关了,间隙锁会锁住索引之间的数据或者第一个索引前面或者最后一个索引后面。这里 5 就是最后一个索引后面的数据。

注意,如果根据 id > 13,此时id最大值是11的情况下,则会锁住 11 - 正无穷 的范围:

BEGIN;
SELECT * FROM `lock` where id > 13 FOR UPDATE

查看锁情况:

SELECT * FROM	`performance_schema`.data_locks  WHERE OBJECT_NAME = 'lock'

在这里插入图片描述

看到LOCK_DATAsupremum pseudo-record,它是 InnoDB 中定义的一种特殊记录,我们可以理解为 +∞

如果此时写入一个id=15的数据,就会被阻塞:

BEGIN;
insert into `lock`(id,name) values(15,'lock');

在这里插入图片描述

3.3 临键锁

临键锁是索引记录上的记录锁(Record Locks)和索引记录之前的间隙上的间隙锁(Gap Locks)的组合。也就是临键锁不仅会用记录锁锁住相关的行数据,也会用间隙锁锁住一个范围的数据。同样临键锁的目标也是保证数据的一致性和防止幻读。临键锁针对间隙范围时遵循左开右闭的原则。

具体触发策略为:

  • 当筛选字段是唯一索引时,进行等值查询时,针对目标数据增加记录锁。没有匹配到任何记录的时候,增加间隙锁。

  • 当筛选字段是普通索引时,进行等值查询时,针对目标数据增加记录锁,然后向右遍历直到最后一个值不满足查询条件时,这个范围增加间隙锁。

例如:给 name 字段添加普通索引:

ALTER TABLE `lock` ADD INDEX index_name(name);

然后进行普通索引等值查询:

BEGIN;
SELECT * FROM `lock` where name = 'lock1' FOR UPDATE

查看锁情况:

SELECT * FROM	`performance_schema`.data_locks  WHERE OBJECT_NAME = 'lock'

在这里插入图片描述
可以看到锁住了 lock1 的普通索引和主键索引,同时也将 lock1之后的普通索引 lock10给锁上了,锁的类型为间隙锁 。

然后当使用唯一索引时,查询目标不存在情况下。

例如数据库中没有 id=10 的记录,但我们还要查询 id=10 的数据:

在这里插入图片描述

BEGIN;
SELECT * FROM `lock` where id = 10 FOR UPDATE

然后查看锁情况:

SELECT * FROM	`performance_schema`.data_locks  WHERE OBJECT_NAME = 'lock'

在这里插入图片描述

可以看到主键为 11 的数据被锁住了,锁的类型是间隙锁。

四、死锁

上面了解到了MySQL中的各种锁机制,既然存在锁肯定会有死锁的风险。例如事务1中更新了 id=1 的数据,事务 2 中更新了 id = 2 的数据,此时事务1 准备更新 id=2 的数据,而事务 2 准备更新 id=1 的数据,需要互相等待对方释放锁,此时就是死锁。

好在 MySQL 中默认开启了死锁检测,当发现某个事物的操作可能会造成死锁时,会主动回滚当前事务。

可以通过下面指令查看是否开启:

SHOW GLOBAL VARIABLES LIKE 'innodb_deadlock_detect';

在这里插入图片描述

例如:在事务1中查询 id=1 的数据,并添加排他锁:

BEGIN;
SELECT * FROM `lock` where id = 1 FOR UPDATE;

此时事务2,查询 id=2 的数据,并添加排他锁:

BEGIN;
SELECT * FROM `lock` where id = 2 FOR UPDATE;

然后事务1中,又查询 id=2 的数据,添加排他锁:

SELECT * FROM `lock` where id = 2 FOR UPDATE;

由于id=2的锁被事务2持有,此时会阻塞等待:

在这里插入图片描述

紧接着又在事务2中,查询 id=1 的数据,添加排他锁:

SELECT * FROM `lock` where id = 1 FOR UPDATE;

此时可以发现事物2异常回滚了,给出了提示是发现了死锁:

在这里插入图片描述

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

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

相关文章

stm32移植嵌入式数据库FlashDB

本次实验的程序链接stm32f103FlashDB嵌入式数据库程序资源-CSDN文库 一、介绍 FlashDB 是一款超轻量级的嵌入式数据库&#xff0c;专注于提供嵌入式产品的数据存储方案。与传统的基于文件系统的数据库不同&#xff0c;FlashDB 结合了 Flash 的特性&#xff0c;具有较强的性能…

白话微机:10.民风淳朴的MCS-51小镇(小镇方言:汇编)

1. 基本结构与周期 MCS-51系列单片机属于8位单片机用 8051单片机构成最小应用系统时&#xff0c;只要将单片机接上时钟电路和复位电路即可MCS-51单片机由CPU、存储器和I/O三部分组成CPU是指&#xff1a;运算器和控制器 “PC CPU 3BUS RAM I/O” 在执行指令过程中&#xff…

cdn加速与ssl加速

cdn CDN的全称是Content Delivery Network&#xff0c;即内容分发网络。其基本思路是尽可能避开互联网上有可能影响数据传输速度和稳定性的瓶颈和环节&#xff0c;使内容传输的更快、更稳定。 简单的来说&#xff0c;就是把原服务器上数据复制到其他服务器上&#xff0c;用户访…

论文笔记:SmartPlay : A Benchmark for LLMs as Intelligent Agents

iclr 2024 reviewer评分 5688 引入了 SmartPlay&#xff0c;一种从 6 种不同游戏中提取的基准 衡量LLM作为智能体的能力 1 智能代理所需的能力 论文借鉴游戏设计的概念&#xff0c;确定了智能LLM代理的九项关键能力&#xff0c;并为每项能力确定了多个等级&#xff1a; 长文…

Python杂记--使用asyncio构建HTTP代理服务器

Python杂记--使用asyncio构建HTTP代理服务器 引言基础知识代码实现 引言 本文将介绍 HTTP 代理的基本原理&#xff0c;并带领读者构建一个自己的 HTTP 代理服务器。代码中不会涉及到任何第三方库&#xff0c;全部由 asyncio 实现&#xff0c;性能优秀&#xff0c;安全可靠。 基…

[管理者与领导者-163] :团队管理 - 高效执行力 -1- 高效沟通的架构、关键问题、注意事项

目录 前言&#xff1a;沟通是管理者实施管理最重要的工作 一、人与人沟通模型 1.1 模型 1.2 完整过程 1.3 发送和接受方式 1.4 传输 1.5 关于编码与解码 1.6 反馈 1.7 沟通中常见问题 二、管理者如何提高沟通的效率 2.1 为什么管理者布置任务后&#xff0c;总有人…

MYSQL执行过程和顺序详解

一、前言 1.1、说明 就MySQL在执行过程、sql执行顺序&#xff0c;以及一些相关关键字的注意点方面的学习分享内容。 在参考文章的基础上&#xff0c;会增加自己的理解、看法&#xff0c;希望本文章能够在您的学习中提供帮助。 如有错误的地方&#xff0c;欢迎指出纠错&…

Web端Excel的导入导出Demo

&#x1f4da;目录 &#x1f4da;简介:✨代码的构建&#xff1a;&#x1f4ad;Web端接口Excel操作&#x1f680;下载接口&#x1f680;导入读取数据接口 &#x1f3e1;本地Excel文件操作⚡导出数据&#x1f308;导入读取数据 &#x1f4da;简介: 使用阿里巴巴开源组件Easy Exce…

在Windows上安装Go编译器并配置Golang开发环境

文章目录 1、安装Go语言编译程序1.1、下载GoLang编译器1.2、安装GoLang编译器 2、配置Golang IDE运行环境2.1、配置GO编译器2.1.1、GOROOT 概述2.1.2、GOROOT 作用2.1.2、配置 GOROOT 2.2、配置GO依赖管理2.2.1、Module管理依赖2.2.2、GOPATH 管理依赖 2.3、运行GO程序2.3.1、创…

OpenCV 学习笔记2 C++

1.图像直方图 直方图&#xff08;Histogram&#xff09;是图像处理中常用的工具&#xff0c;它表示图像中每个像素强度值的分布情况。在OpenCV中&#xff0c;可以使用 cv::calcHist 函数来计算图像的直方图。 图像直方图是一种展示图像像素强度分布的统计图表。它显示了图像中…

Eclipse+Java+Swing实现图书信息管理系统-TXT存储信息

一、系统介绍 1.开发环境 操作系统&#xff1a;Win10 开发工具 &#xff1a;Eclipse2021 JDK版本&#xff1a;jdk1.8 存储方式&#xff1a;Txt文件存储 2.技术选型 JavaSwingTxt 3.功能模块 4.工程结构 5.系统功能 1.系统登录 管理员可以登录系统 2.查看图书 管理员…

Python数据分析案例42——基于Attention-BiGRU的时间序列数据预测

承接上一篇的学术缝合&#xff0c;排列组合模型&#xff0c;本次继续缝合模型演示。 Python数据分析案例41——基于CNN-BiLSTM的沪深300收盘价预测-CSDN博客 案例背景 虽然我自己基于各种循环神经网络做时间序列的预测已经做烂了.....但是还是会有很多刚读研究生或者是别的领…

Django处理枚举(枚举模型)以及source的使用

Django处理枚举-枚举模型 1、定义模型类、序列化器类2、对上面这些场景使用source参数3、支持连表查询4、自定义序列化输出方法5、案例5 1、定义模型类、序列化器类 定义模型类models.py&#xff1b;项目模型类、接口模型类、用例模型类 from django.db import modelsclass T…

【linux深入剖析】深入理解软硬链接 | 动静态库的制作以及使用

&#x1f341;你好&#xff0c;我是 RO-BERRY &#x1f4d7; 致力于C、C、数据结构、TCP/IP、数据库等等一系列知识 &#x1f384;感谢你的陪伴与支持 &#xff0c;故事既有了开头&#xff0c;就要画上一个完美的句号&#xff0c;让我们一起加油 目录 1.理解软硬链接1.1 操作观…

AskManyAI:一个GPT、Claude、Gemini、Kimi等顶级AI的决斗场

一直以来很多人问我能不能有个稳定&#xff0c;不折腾的全球AI大模型测试网站&#xff0c;既能够保证真实靠谱&#xff0c;又能够保证稳定、快速&#xff0c;不要老动不动就挂了、出错或者漫长的响应。 直到笔者遇到了AskManyAI&#xff0c;直接就惊艳住了&#xff01; 话不多…

公布应用程序

&#x1f4d5;作者简介&#xff1a; 过去日记&#xff0c;致力于Java、GoLang,Rust等多种编程语言&#xff0c;热爱技术&#xff0c;喜欢游戏的博主。 &#x1f4d8;相关专栏Rust初阶教程、go语言基础系列、spring教程等&#xff0c;大家有兴趣的可以看一看 &#x1f4d9;Jav…

亚马逊云科技官方重磅发布GenAI应用开发学习路线(全免费)

今天小李哥给大家分享的是亚马逊云科技&#xff08;AWS&#xff09;最近官方发布的GenAI应用开发最佳学习路线&#xff0c;不仅内容非常全面更主要的是全部免费&#xff01;大家动动小手就能成为GenAI开发大&#x1f42e;&#xff01; 1️⃣这个GenAI开发学习路线包括什么&…

.cur 鼠标光标编辑器

详解透明贴图和三元光栅操作 - CodeBus 鼠标指针文件格式解析——Windows&#xff08;二&#xff09; (qq.com) [C/C] RGBA数组生成Windows下的ico文件_c ico格式-CSDN博客 色环设计 - CodeBus 左键绘制 右键选颜色 ctrl右键设置鼠标热点 F1导出.cur文件 //代码来源&…

web3项目自动连接小狐狸以及小狐狸中的各种“地址”详解

刚做web3的时候&#xff0c;比较迷糊的就是人们口中说的各种地址&#xff0c;小狐狸钱包地址&#xff0c;私钥地址&#xff0c;跳转地址&#xff0c;接口地址&#xff0c;交易地址&#xff0c;等等XX地址&#xff0c;常常感觉跟做链的同事们说话不在一个频道。 这一小节&#x…