MySQL 核心模块揭秘—隐式锁(mysql的隐式转换)
wxin55 2024-10-26 16:33 15 浏览 0 评论
1. 什么是隐式锁?
前面我们介绍了行锁的共享锁、排他锁。按照精确模式,它们又都可以细分为普通记录锁、间隙锁、Next-Key 锁。
另外,还有一种专门用于插入记录场景的插入意向锁。
事务读写记录需要加这些行锁时,会发起加锁操作,申请新的行锁结构或者复用已有的行锁结构。
有了对应的行锁结构,我们就可以通过 performance_schema.data_locks 表查询到这些行锁的加锁情况了。InnoDB 内部把这种有对应锁结构的行锁称为显式锁。
隐式锁,是相对于显式锁而言的,它也是一种行锁,而且是普通记录锁的一种特殊存在形式。
顾名思义,既然是隐式锁,也就意味着我们查询不到它的加锁情况。
我们之所以查询不到,是因为隐式锁没有对应的行锁结构,它就像空气一样,神在,形不在。
我们知道空气是存在的,通常情况下,我们看不见,也摸不着。但是,热空气遇冷之后,凝结成小水珠,我们就能看得见,也能摸得着了。
我们也知道隐式锁是存在的,却查询不到。它也会像空气一样,有被看见的时候吗?
是的,它也有被看见的时候。但是,当它被看见的时候,已经换了一种形式,不再是隐式锁了,而是变成了显式锁。
隐式锁变成显式锁之后,我们就可以通过 performance_schema.data_locks 表查询到加锁情况了。
那么,问题来了,隐式锁到底是被看见了,还是没有被看见呢?
2. 怎么判断存在隐式锁?
隐式锁,不仅可以存在于主键索引记录上,还可以存在于二级索引记录上。
在它变成显式锁之前,我们怎么判断一条记录上是否存在隐式锁呢?
我根据代码逻辑归纳了四种情况。
情况 1,事务执行 insert 语句或者 update 语句插入一条记录到主键索引中,事务提交之前,这条记录上存在隐式锁。
update 语句不是更新记录吗,怎么还会插入记录?
如果你也有这样的疑问,说明这是个好问题。
有一种场景:如果 update 语句更新了主键字段值,主键索引的原记录会被标记删除,然后插入一条新记录。
其中,原记录的主键字段为更新之前的值,新记录的主键字段为更新之后的值。
情况 2,事务执行 insert 语句插入一条记录到二级索引中,事务提交之前,这条记录上存在隐式锁。
情况 3,事务执行 update 语句更新了二级索引的某个字段,二级索引的原记录会被标记删除,然后插入一条新记录,事务提交之前,原记录和新记录上都存在隐式锁。
情况 4,事务执行 delete 语句,如果扫描记录时没有使用二级索引,二级索引记录不会被显式加锁。
二级索引记录被标记删除之后,事务提交之前,记录上都存在隐式锁。
根据代码逻辑归纳出所有情况是很困难的,为了帮助我们更好的判断记录上是否存在隐式锁,我们有必要看看 InnoDB 代码里的判断逻辑长什么样。
InnoDB 代码里,判断记录上是否存在隐式锁的逻辑,和索引类型有关。
对于主键索引,判断逻辑比较简单。
InnoDB 会从主键索引记录的 DB_TRX_ID 字段中读取事务 ID,找到最后操作这条记录的事务。
只要主键索引记录上没有显式锁,并且最后操作记录的事务还没有提交,就认为这条记录上存在隐式锁。
对于二级索引,因为索引记录中没有 DB_TRX_ID 字段,判断逻辑会比主键索引复杂一点。
二级索引数据页的头信息中有个 PAGE_MAX_TRX_ID 字段,表示最后修改数据页中任意一条记录的事务 ID。
以某个二级索引中的一条记录(S1)为例,判断这条记录上是否存在隐式锁的主要步骤如下:
第 1 步,读取 S1 所属数据页头信息中的 PAGE_MAX_TRX_ID 字段,看看这个事务 ID 对应的事务是否已经提交了。
如果事务已经提交,说明 S1 上不存在隐式锁。
如果事务还没有提交,进入第 2 步。
第 2 步,根据 S1 中的主键字段,回表查询对应的主键索引记录。
找到主键索引记录之后,从它的 DB_TRX_ID 字段中读取事务 ID,看看这个事务 ID 对应的事务是否已经提交了。
如果事务已经提交,说明 S1 上不存在隐式锁。
如果事务还没有提交,那就麻烦了,需要进一步判断,这个代码逻辑就很晦涩了。
不过,值得欣慰的是,虽然代码逻辑很晦涩,但是用大白话描述起来可以很简单。
用大白话描述是这样的:只要这个还没有提交的事务操作过 S1,不管这个操作是插入,还是删除,都意味着 S1 上存在隐式锁。
3. 转换为显式锁
如果某条记录上存在隐式锁,在需要时,会被转换被显式锁。这个转换主要发生在两种场景下。
场景一,记录(R1)上存在隐式锁,其它事务(A)读写 R1 之前,如果需要对 R1 加行锁,事务 A 会把 R1 上的隐式锁转换为显式锁,然后等待 R1 上的行锁被释放之后,事务 A 才能获得锁。
场景二,某个事务部分回滚时,如果它操作过的记录上存在隐式锁,会被转换为显式锁。
部分回滚,指的是把事务回滚到某个保存点。这个保存点可以是我们手动创建的保存点,也可以是 InnoDB 内部创建的保存点。
InnoDB 内部创建的保存点,主要用于插入记录出现冲突时,回滚已经执行的操作。
介绍完隐式锁转换为显式锁的场景,我们再来看看隐式锁会被转换成什么样的显式锁。
前面我们介绍过,隐式锁是普通记录锁的一种特殊存在形式,所以,它也是普通记录锁。
隐式锁,既可以存在于刚刚插入的记录上,也可以存在于标记删除的二级索引记录上,所以,它又是一种排他锁。
两者综合起来,隐式锁本质上相当于排他普通记录锁。
发生转换时,隐式锁会被转换为排他普通记录锁。这个转换逻辑是不是又简单又粗暴?
4. 总结
隐式锁,是排他普通记录锁的一种特殊存在形式。
我们查询不到隐式锁的加锁情况,只能根据我们的经验判断记录上是否存在隐式锁。
在某些场景下,隐式锁会被转换为显式锁,然后,我们就可以通过 performance_schema.data_locks 表查询到加锁情况了。
更多资讯,点击全场景直播解决方案-航天云网解决方案
相关推荐
- ES6中 Promise的使用场景?(es6promise用法例子)
-
一、介绍Promise,译为承诺,是异步编程的一种解决方案,比传统的解决方案(回调函数)更加合理和更加强大在以往我们如果处理多层异步操作,我们往往会像下面那样编写我们的代码doSomething(f...
- JavaScript 对 Promise 并发的处理方法
-
Promise对象代表一个未来的值,它有三种状态:pending待定,这是Promise的初始状态,它可能成功,也可能失败,前途未卜fulfilled已完成,这是一种成功的状态,此时可以获取...
- Promise的九大方法(promise的实例方法)
-
1、promise.resolv静态方法Promise.resolve(value)可以认为是newPromise方法的语法糖,比如Promise.resolve(42)可以认为是以下代码的语...
- 360前端一面~面试题解析(360前端开发面试题)
-
1.组件库按需加载怎么做的,具体打包配了什么-按需加载实现:借助打包工具(如Webpack的require.context或ES模块动态导入),在使用组件时才引入对应的代码。例如在V...
- 前端面试-Promise 的 finally 怎么实现的?如何在工作中使用?
-
Promise的finally方法是一个非常有用的工具,它无论Promise是成功(fulfilled)还是失败(rejected)都会执行,且不改变Promise的最终结果。它的实现原...
- 最简单手写Promise,30行代码理解Promise核心原理和发布订阅模式
-
看了全网手写Promise的,大部分对于新手还是比较难理解的,其中几个比较难的点:状态还未改变时通过发布订阅模式去收集事件实例化的时候通过调用构造函数里传出来的方法去修改类里面的状态,这个叫Re...
- 前端分享-Promise可以中途取消啦(promise可以取消吗)
-
传统Promise就像一台需要手动组装的设备,每次使用都要重新接线。而Promise.withResolvers的出现,相当于给开发者发了一个智能遥控器,可以随时随地控制异步操作。它解决了三大...
- 手写 Promise(手写输入法 中文)
-
前言都2020年了,Promise大家肯定都在用了,但是估计很多人对其原理还是一知半解,今天就让我们一起实现一个符合PromiseA+规范的Promise。附PromiseA+规范地址...
- 什么是 Promise.allSettled()!新手老手都要会?
-
Promise.allSettled()方法返回一个在所有给定的promise都已经fulfilled或rejected后的promise,并带有一个对象数组,每个对象表示对应的pr...
- 前端面试-关于Promise解析与高频面试题示范
-
Promise是啥,直接上图:Promise就是处理异步函数的API,它可以包裹一个异步函数,在异步函数完成时抛出完成状态,让代码结束远古时无限回掉的窘境。配合async/await语法糖,可...
- 宇宙厂:为什么前端离不开 Promise.withResolvers() ?
-
大家好,很高兴又见面了,我是"高级前端进阶",由我带着大家一起关注前端前沿、深入前端底层技术,大家一起进步,也欢迎大家关注、点赞、收藏、转发。1.为什么需要Promise.with...
- Promise 新增了一个超实用的 API!
-
在JavaScript的世界里,Promise一直是处理异步操作的神器。而现在,随着ES2025的发布,Promise又迎来了一个超实用的新成员——Promise.try()!这个新方法简...
- 一次搞懂 Promise 异步处理(promise 异步顺序执行)
-
PromisePromise就像这个词的表面意识一样,表示一种承诺、许诺,会在后面给出一个结果,成功或者失败。现在已经成为了主流的异步编程的操作方式,写进了标准里面。状态Promise有且仅有...
- Promise 核心机制详解(promise机制的实现原理)
-
一、Promise的核心状态机Promise本质上是一个状态机,其行为由内部状态严格管控。每个Promise实例在创建时处于Pending(等待)状态,此时异步操作尚未完成。当异步操作成功...
- javascript——Promise(js实现promise)
-
1.PromiseES6开始支持,Promise对象用于一个异步操作的最终完成(包括成功和失败)及结果值的表示。简单说就是处理异步请求的。之所以叫Promise,就是我承诺,如果成功则怎么处理,失败怎...
你 发表评论:
欢迎- 一周热门
- 最近发表
-
- ES6中 Promise的使用场景?(es6promise用法例子)
- JavaScript 对 Promise 并发的处理方法
- Promise的九大方法(promise的实例方法)
- 360前端一面~面试题解析(360前端开发面试题)
- 前端面试-Promise 的 finally 怎么实现的?如何在工作中使用?
- 最简单手写Promise,30行代码理解Promise核心原理和发布订阅模式
- 前端分享-Promise可以中途取消啦(promise可以取消吗)
- 手写 Promise(手写输入法 中文)
- 什么是 Promise.allSettled()!新手老手都要会?
- 前端面试-关于Promise解析与高频面试题示范
- 标签列表
-
- hive行转列函数 (63)
- sourcemap文件是什么 (54)
- display none 隐藏后怎么显示 (56)
- 共享锁和排他锁的区别 (51)
- httpservletrequest 获取参数 (64)
- jstl包 (64)
- qsharedmemory (50)
- watch computed (53)
- java中switch (68)
- date.now (55)
- git-bash (56)
- 盒子垂直居中 (68)
- npm是什么命令 (62)
- python中+=代表什么 (70)
- fsimage (51)
- nginx break (61)
- mysql分区表的优缺点 (53)
- centos7切换到图形界面 (55)
- 前端深拷贝 (62)
- kmp模式匹配算法 (57)
- jsjson字符串转json对象 (53)
- jdbc connection (61)
- javascript字符串转换为数字 (54)
- mybatis 使用 (73)
- 安装mysql数据库 (55)