【MySQL】MySQL间隙锁--幻读解决原理

文章目录

  • 一、间隙锁概念
  • 二、测试间隙锁范围加锁
  • 三、测试等值间隙锁

一、间隙锁概念

  • 当我们用范围条件而不是相等条件检索数据, 并请求共享或排他锁时,InnoDB 会给符合条件的已有数据记录的索引项加锁;对于键值在条件范围内但并不存在的记录,叫做“间隙(GAP)” ,InnoDB 也会对这个“间隙”加锁,这种锁机制就是所谓的间隙锁
  • 举例来说, 假如 user 表中只有 101 条记录, 其userid 的值分别是 1,2,…,100,101, 下面的 SQL: select * from user where userid > 100 for update;是一个范围条件的检索,InnoDB 不仅会对符合条件的 userid 值为 101 的记录加锁,也会对userid 大 于 101(但是这些记录并不存在)的"间隙"加锁,防止其它事务在表的末尾增加数据
  • InnoDB 使用间隙锁的目的,是为了防止幻读,以满足串行化隔离级别的要求 ,对于上面的例子,要是不使用间隙锁,如果其他事务插入了 userid 大于 100 的任何记录,那么本事务如果再次执行上述语句,就会发生幻读

InnoDB串行化隔离级别使用间隙锁(gap lock)解决幻读(事务并发情况下两次查询的数据量不同)问题

间隙锁专用于串行化隔离级别,可解决幻读问题,幻读问题表现为:当前事务没做操作,前后两次相同的查询语句,显示的数据量不一致
在这里插入图片描述

我们把事务2 select的指定的条件分为2类:范围查询、等值查询

record lock:记录锁,就是行锁
gap lock:间隙锁,不包含记录本身
next-key lock:record lock(记录本身) + gap lock(不包括记录本身)

二、测试间隙锁范围加锁

设置事务为手动提交,然后把隔离级别设置成串行化
在这里插入图片描述

查看表结构,id、age、name都有索引
在这里插入图片描述

场景1:用不可重复的主键id测试间隙锁
范围查询
在这里插入图片描述

事务2的select操作只给三行数据加了共享锁,为什么插入id为24的数据也不行呢?

这是因为在串行化隔离级别中,不仅仅是获取了满足条件的这3行的行锁,而且把表记录之间以及后边空洞的地方也加上了间隙锁
在这里插入图片描述

图中红色线的地方都上了next-key锁,上锁范围(左开右闭)为:( 11 , 12 ] ∪ ( 12 , 22 ] ∪ ( 22 , 23 ] ∪ ( 23 , + ∞ ] (11,12]\cup(12,22]\cup(22,23]\cup(23,+\infty](11,12]∪(12,22]∪(22,23]∪(23,+∞]

上述select不仅仅获取了12,22,23的共享行锁(record-lock),还把间隙加了间隙锁,其实就是给间隙加上共享锁或者排他锁,由于我们这里是select,所以是给间隙加上了共享锁(我们select id>11还是可以的,不能update、insert、delete id>11的数据)

也就是说,我们可以在id小于11的地方update/delete,加排它锁。但是操作了id<=11的部分,不影响相同的select * from stu where id>11所获取的数据量,这样就能防止幻读发生

串行化隔离级别通过给select的部分加间隙锁,防止其他事务在加了间隙锁的区间进行增加或删除数据,就能防止幻读

场景2:用可重复的age(有索引)测试间隙锁
测试辅助索引树上,间隙锁的范围

我们先查看一下表结构、表数据,然后回滚
在这里插入图片描述

开启事务进行测试
在这里插入图片描述

很明显,由于age>20的区间都被事务1加上了间隙锁(这里加的是共享锁),所以事务2插入age=22和age=21都失败了

在这里插入图片描述

幻读就是同一事务两次用相同的条件查询数据,下一次查出的数据量和上一次的数据量不一样,就算事务1把age=20的数据插入表,事务2再用age>20查询,得到的数据量也不会改变。

那事务1插入age=20的数据能否成功呢?

在这里插入图片描述

依然不能成功,这是因为我们插入的数据id是自增的,所以这条数据(age=20,id=24),位于辅助索引树中(age=20,id=12)的右边,由于(age=20,id=12)右边都被上了锁,(age=20,id=24)自然无法插入

也就是说,如果我们指定age=20,id合法且<12,则可插入

在这里插入图片描述

很显然,事务1插入的age=18和age=19都不在事务2上锁的范围,所以可以插入

如果只是在辅助索引树上查找,不回表,那么主键索引树上不会加锁

在这里插入图片描述
在这里插入图片描述

select id from stu where age>14后,辅助索引树加锁区间如下:

在这里插入图片描述

在这里插入图片描述

场景3:实际情况需要具体分析用的到底是行锁还是表锁
在这里插入图片描述

回滚,重新开启事务
在这里插入图片描述

开始测试
在这里插入图片描述

我们发现事务1无论是插入age>18范围内的数据,还是范围外的数据,都无法成功

这时我们就要分析了,这应该没有用到索引,因为我们用索引,过滤出的数据占了整张表的一大半,MySQL server没使用索引。

没有加行锁,只能加表锁(这时加的是共享锁),所以事务1无论插入什么数据都不行
在这里插入图片描述

果然,没有用到索引
在这里插入图片描述

age>20用到了索引,所以可以用行锁

三、测试等值间隙锁

查看表结构和表数据
在这里插入图片描述

设置成手动提交,设置串行化隔离级别。回滚,然后启动事务
在这里插入图片描述

  1. 测试不能重复的主键索引
    此时事务2 select,由于是等值查询,相当于给这条数据加上了共享锁

在这里插入图片描述

事务1现在插入新的数据是可以成功的,因为主键id不能重复,我们不能再插入主键id=9的数据
在这里插入图片描述

在这种情况下,由于id=9的数据已经存在,主键和唯一键是不能重复的,事务2进行等值查询时,事务1插入一个新的数据,不用担心这条新插入的数据和查询条件是一样的,如果主键一样,SQL语句执行失败,所以肯定能成功

  1. 测试能重复的辅助索引
    回滚并重启事务
    在这里插入图片描述

事务2等值查询,给age=18这行数据加上共享锁(record-lock)

在这里插入图片描述
在这里插入图片描述

事务1插入age=18,这是不能允许的,否则事务2再查询age=18就有两条记录了(幻读)
在这里插入图片描述

奇怪的是,我们插入age=17、16、15都被阻塞了,而14、13成功了
在这里插入图片描述

这是因为,为了防止幻读,除了age=18这条数据加了共享锁,其两侧也被加上了间隙锁,因为在这种情况下,插入(age=18,id=10)和(age=18,id=8)是会发生幻读的,所以在一切会影响select * from user where age=18查询结果的地方都加上了间隙锁,但这也会导致一些本不影响查询结果的语句也执行失败,比如插入(age=17,id=24)虽然不影响上述SQL执行结果,由于在间隙锁范围内,依然无法插入

如果插入(age=15,id=1)就可以成功,根据辅助索引值相同,按照主键值升序排列,(age=15,id=1)应该放在(age=15,id=23)前面,不在间隙锁范围内

在这里插入图片描述

间隙锁是给不存在的数据记录的范围加锁:

  • 对于辅助索引,若值允许重复,在串行隔离级别中如果进行等值查询,InnoDB会给数据加上record-lock和gap-lock(防止别的事务插入索引值重复的数据,造成幻读)
  • 对于主键索引,或者唯一键索引,值不允许重复,那只需要加行锁就够了,不需要再加间隙锁(对于唯一键索引,不可能发生插入索引值重复的数据)

串行化隔离级别通过排它锁和共享锁解决脏读、不可重复读(两次查询的数据内容不同),通过间隙锁解决幻读(两次查询的数据量不同)

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

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

相关文章

chatgpt赋能python:用Python做股票分析

用Python做股票分析 在当今的股市中&#xff0c;数据分析和预测已经变得十分重要。Python作为最流行的编程语言之一&#xff0c;不仅易于学习&#xff0c;还有非常强大的数据处理和分析能力。在本文中&#xff0c;我们将探讨如何用Python进行股票分析。 数据收集 要进行股票…

如何利用宝塔面板快速搭建Wordpress网站?

本章教程&#xff0c;主要介绍一下&#xff0c;如何利用宝塔面板快速搭建Wordpress网站。 目录 一、 前置条件 二、 打开宝塔面板 三、解析域名 四、安装界面 五、主题安装 六、网站预览 一、 前置条件 需要准备一台Linux服务器&#xff0c;系统版本使用centos 7.X。 使用…

【项目】ROS下使用乐视深度相机LeTMC-520

本文主要记录如何在ros下使用乐视深度相机。乐视三合一体感摄像头LeTMC-520其实就是奥比中光摄像头&#xff08;Orbbec Astra Pro&#xff09; 系统&#xff1a;Ubuntu20.04 这款相机使用uvc输入彩色信息&#xff0c;需要使用libuvc、libuvc_ros才能在ROS上正常使用彩色功能。…

Vue.js 中的父子组件通信方式

Vue.js 中的父子组件通信方式 在 Vue.js 中&#xff0c;组件是构建应用程序的基本单元。当我们在应用程序中使用组件时&#xff0c;组件之间的通信是非常重要的。在 Vue.js 中&#xff0c;父子组件通信是最常见的组件通信方式之一。在本文中&#xff0c;我们将讨论 Vue.js 中的…

spring boot使用elasticsearch分词,排序,分页,高亮简单示例

目录 1. 创建ES实体2. 创建查询实体3. 查询方法实现3.1 核心代码3.2 构建查询条件3.2.1 关键词分词 3.3 高亮处理 4.完整查询代码展示 记&#xff0c;写一个简单的es分词demo,es版本6.8.12 如果使用es7有些方法可能会有所改变&#xff0c;请参考7的文档 es安装教程&#xff1a;…

隔离驱动芯片SLMi332兼容光耦隔离驱动器时的注意事项

数明深力科SLMi33x系列SLMi332是一款兼容光耦带DESAT保护功能的IGBT/SiC隔离驱动器。内置快速去饱和(DESAT) 故障检测功能、米勒钳位功能、漏极开路故障反馈、软关断功能以及可选择的自恢复模式&#xff0c;兼容光耦隔离驱动器。 SLMi33x系列SLMi332的DESAT阈值为6.5V&#xf…

大数据---聚类分析概述及聚类评估

聚类概述: 什么是聚类&#xff1f; 是把数据对象集合按照相似性划分成多个子集的过程。每个子集是一个簇&#xff08;cluster&#xff09;&#xff0c;分类的最终效果&#xff1a;使得簇中的对象彼此相似&#xff0c;但与其他簇中的对象相异。聚类是无监督学习&#xff0c;因…

缓存被穿透了怎么办?

首先来了解几个概念&#xff1a; 缓存穿透&#xff1a;大量请求根本不存在的key 缓存雪崩&#xff1a;redis中大量key集体过期 缓存击穿&#xff1a;redis中一个热点key过期&#xff08;大量用户访问该热点key&#xff0c;但是热点key过期&#xff09; 穿透解决方案 对空值…

如何有效和快速清理C盘

电脑在运行过程中会产生磁盘碎片&#xff0c;时间一长垃圾文件就会越多。而且我们平常不敢乱清理C盘中的文件&#xff0c;以免因为误删导致系统出现故障&#xff0c;所以垃圾文件才肆意占用系统盘空间。不过我们可以选择系统自带的“磁盘清理”功能“制服”它&#xff0c;给C盘…

带电更换柱上变压器(综合不停电作业法)

一、现场复勘 1.核对工作线路双重名称、杆号及设备双重名称 2.检查杆身质量 3.检查线路装置是否符合带电作业要求 4.检查待更换变压器容量 满足旁路作业要求 5.检查气象条件 作业前进行湿度和风速的测量&#xff0c;风力大于5级或湿度大于80%时&#xff0c;不宜带电作业&…

华为开源自研AI框架昇思MindSpore应用案例:Pix2Pix实现图像转换

目录 一、环境准备1.进入ModelArts官网2.使用CodeLab体验Notebook实例 二、基础原理三、准备环节配置环境文件准备数据数据展示 四、创建网络生成器G结构定义UNet Skip Connection Block基于UNet的生成器 基于PatchGAN的判别器Pix2Pix的生成器和判别器初始化 五、训练六、推理 …

SWAT模型教程

详情点击链接&#xff1a;SWAT模型教程详情点击链接&#xff1a;SWAT模型&#xff08;建模方法、实例应用、高级进阶&#xff09; 一&#xff1a;基于网络资源的SWAT模型快速建模​ 二&#xff1a;基于遥感产品的SWAT模型率定与验证​ 三&#xff1a;基于水文响应单元&#xff…

每日一题——用两个队列实现栈

每日一题 用两个队列实现栈 题目链接 思路 这里主要讲怎么实现出栈StackPop操作做完用两个栈实现队列&#xff0c;我们可能会想当然的认为&#xff0c;这一题也是一个主队列&#xff0c;一个辅助队列&#xff0c;当要出队时&#xff0c;首先判断辅助队列是否为空&#xff0c;…

FineBI6.0基础学习第一课 数据门户

PC端门户使用示例 首先,以管理员身份登录FineBI系统,安装数据门户,安装步骤见官网 新建一个数据门户

C++中的高阶函数:以std::function优雅地实现回调

C中的高阶函数&#xff1a;以std::function优雅地实现回调 1. 简介1.1 C高阶函数的概念1.2 C的std::function的功能及其重要性 2. std::function的使用2.1 std::function的定义和基本使用2.1.1 std::function的定义2.1.2 std::function的基本使用 2.2 std::function接受普通函数…

Python+Yolov5人脸表情特征识别

程序示例精选 PythonYolov5人脸表情特征识别 如需安装运行环境或远程调试&#xff0c;见文章底部个人QQ名片&#xff0c;由专业技术人员远程协助&#xff01; 前言 这篇博客针对<<PythonYolov5人脸表情特征识别>>编写代码&#xff0c;代码整洁&#xff0c;规则&am…

Linux环境变量总结

Linux是一个多用户的操作系统。多用户意味着每个用户登录系统后&#xff0c;都有自己专用的运行环境。而这个环境是由一组变量所定义,这组变量被称为环境变量。用户可以对自己的环境变量进行修改以达到对环境的要求。 设置环境变量的方法 对所有用户生效的永久性变量 这类变…

电子科技大学编译原理复习笔记(三):控制结构

目录 前言 重点一览 语句级控制结构 单元级控制结构 四种单元级控制结构 本章小结 前言 本复习笔记基于张老师的课堂PPT&#xff0c;供自己期末复习与学弟学妹参考用。 重点一览 语句级控制结构 定义&#xff1a;用来构造各种语句执行顺序的机制 传统三种语句级控制结…

【问题记录】解决vite多页应用路由改用history之后本地刷新404问题

当前包的版本信息&#xff1a; "vue": "^2.7.14", "vue-router": "^3.6.5" "vite": "^3.0.7", 首先&#xff0c;修改路由模式 首先&#xff0c;将之前多页项目中的某个页面路由模式改用 history &#xff0c;…

【异常捕获】

异常捕获 异常概念处理错误方式 异常处理举例栈展开异常规范异常继承层次优缺点 异常 概念 异常时程序可能检测到的&#xff0c;运行时不正常的情况&#xff0c;如存储空间耗尽&#xff0c;数组越界等&#xff0c;可以预见可能发生在什么地方但不知道在什么时候发生的错误。 …