AI 助理
备案控制台
开发者社区 数据库 文章 正文

从一个案例深入剖析InnoDB隐式锁和可见性判断(2)

2022-08-15 79
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《 阿里云开发者社区用户服务协议》和 《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写 侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
本文涉及的产品
RDS MySQL DuckDB 分析主实例，集群系列 4核8GB
简介： 从一个案例深入剖析InnoDB隐式锁和可见性判断
4、关于page的max trx id

我们上面多次提到二级索引page的max trx id，这个max trx id实际就是PAGE_MAX_TRX_ID，它位于page的offset 56后的8个字节，实际上这个值只会存在于二级索引上，主键没有这个值，我们可以看到如下：

表结构和数据
mysql> show create table testimp4 \G
*************************** 1. row ***************************
       Table: testimp4
Create Table: CREATE TABLE `testimp4` (
  `id` int(11) NOT NULL AUTO_INCREMENT,
  `a` int(11) DEFAULT NULL,
  `b` int(11) DEFAULT NULL,
  `d` varchar(200) DEFAULT NULL,
  PRIMARY KEY (`id`),
  KEY `b` (`b`),
  KEY `d` (`d`)
) ENGINE=InnoDB AUTO_INCREMENT=10000 DEFAULT CHARSET=utf8
1 row in set (0.00 sec)

mysql> select *from testimp4;
+------+------+------+------------------------------------+
| id   | a    | b    | d                                  |
+------+------+------+------------------------------------+
|    5 |    5 |  300 | NULL                               |
|    6 | 7000 | 7700 | 1124                               |
|   11 | 7000 | 7700 | 1124                               |
|   12 | 7000 | 7700 | 1124                               |
|   13 | 2900 | 1800 | NULL                               |
|   14 | 2900 | 1800 | NULL                               |
| 1000 |   88 | 1499 | NULL                               |
| 4000 | 6000 | 5904 | iiiafsafasfihhhccccchhhigggofgo111 |
| 4001 | 7000 | 7700 | 1124454555                         |
| 9999 | 9999 | 9999 | a                                  |
+------+------+------+------------------------------------+
10 rows in set (0.00 sec)

每次每行更新后会更新这个值，如果大于则修改，小于则不变。函数page_update_max_trx_id中有如下片段

begin；insert into testimp4 values(10000,10000,10000,'gp');（不提交）

四、关于加锁的阶段

我们一般锁需要加锁的都是DML语句和select for update这样的语句，这里将加锁分为数据查找和数据修改两个阶段。

  • 对于select for update：

主键访问数据：访问主键判断是否存在隐式锁，然后加显示锁。二级索引访问数据（需要回表的情况）：访问二级索引判断是否存在隐式锁，然后加显示锁，接着回表主键判断是否存在隐式锁，然后加显示锁。

  • 对于update/delete：

主键访问修改数据：数据查找阶段主键判断是否存在隐式锁，然后加显示锁。数据修改阶段涉及到了其他二级索引，那么维护相应的二级索引加隐含锁。

二级索引访问修改数据：数据查找阶段二级索引判断是否存在隐式锁（可能需要回表判断），二级索引加显示锁，数据修改阶段回表修改主键数据加显示锁，然后维护各个二级索引（修改字段涉及的二级索引或者修改主键则包含全部二级索引）加隐式锁。

  • 对于insert而言如果没有堵塞（插入印象锁和gap lock堵塞），那么始终为隐式锁。

注意这里我们看到了隐式锁，隐式锁不会占用row的结构体，因此在show engine innodb status里面是看不到的，除非有其他事务显示将其转换为显示锁。我们来做几个例子如下（REPEATABLE READ隔离级别）：

4.1 插入数据
begin；insert into testimp4 values(10000,10000,10000,'gp');（不提交）


image.png

# T1时刻S1锁状态：

---TRANSACTION 94487, ACTIVE 5 sec
 1 lock struct(s), heap size 1160, 0 row lock(s), undo log entries 1
 MySQL thread id 11, OS thread handle 140737089492736, query id 482 localhost root starting
 show engine innodb status
 TABLE LOCK table `test`.`testimp4` trx id 94487 lock mode IX
# T2时刻S1锁状态：
 ---TRANSACTION 94487, ACTIVE 271 sec
 2 lock struct(s), heap size 1160, 1 row lock(s), undo log entries 1
 MySQL thread id 11, OS thread handle 140737089492736, query id 484 localhost root starting
 show engine innodb status
 TABLE LOCK table `test`.`testimp4` trx id 94487 lock mode IX
 RECORD LOCKS space id 501 page no 3 n bits 80 index PRIMARY of table `test`.`testimp4` trx id 94487 lock_mode X locks rec but not gap
 Record lock, heap no 2 PHYSICAL RECORD: n_fields 6; compact format; info bits 0
 0: len 4; hex 80002710; asc ' ;;
 1: len 6; hex 000000017117; asc q ;;
 2: len 7; hex d0000002c40110; asc ;;
 3: len 4; hex 80002710; asc ' ;;
 4: len 4; hex 80002710; asc ' ;;
 5: len 2; hex 6770; asc gp;;
# T3时刻S1锁状态：
 ---TRANSACTION 94487, ACTIVE 337 sec
 3 lock struct(s), heap size 1160, 2 row lock(s), undo log entries 1
 MySQL thread id 11, OS thread handle 140737089492736, query id 521 localhost root starting
 show engine innodb status
 TABLE LOCK table `test`.`testimp4` trx id 94487 lock mode IX
 RECORD LOCKS space id 501 page no 3 n bits 80 index PRIMARY of table `test`.`testimp4` trx id 94487 lock_mode X locks rec but not gap
 Record lock, heap no 2 PHYSICAL RECORD: n_fields 6; compact format; info bits 0
 0: len 4; hex 80002710; asc ' ;;
 1: len 6; hex 000000017117; asc q ;;
 2: len 7; hex d0000002c40110; asc ;;
 3: len 4; hex 80002710; asc ' ;;
 4: len 4; hex 80002710; asc ' ;;
 5: len 2; hex 6770; asc gp;;
RECORD LOCKS space id 501 page no 4 n bits 80 index b of table `test`.`testimp4` trx id 94487 lock_mode X locks rec but not gap
 Record lock, heap no 2 PHYSICAL RECORD: n_fields 2; compact format; info bits 0
 0: len 4; hex 80002710; asc ' ;;
 1: len 4; hex 80002710; asc ' ;;
# T4时刻S1锁状态：
 ---TRANSACTION 94487, ACTIVE 408 sec
 4 lock struct(s), heap size 1160, 3 row lock(s), undo log entries 1
 MySQL thread id 11, OS thread handle 140737089492736, query id 559 localhost root starting
 show engine innodb status
 TABLE LOCK table `test`.`testimp4` trx id 94487 lock mode IX
 RECORD LOCKS space id 501 page no 3 n bits 80 index PRIMARY of table `test`.`testimp4` trx id 94487 lock_mode X locks rec but not gap
 Record lock, heap no 2 PHYSICAL RECORD: n_fields 6; compact format; info bits 0
 0: len 4; hex 80002710; asc ' ;;
 1: len 6; hex 000000017117; asc q ;;
 2: len 7; hex d0000002c40110; asc ;;
 3: len 4; hex 80002710; asc ' ;;
 4: len 4; hex 80002710; asc ' ;;
 5: len 2; hex 6770; asc gp;;
RECORD LOCKS space id 501 page no 4 n bits 80 index b of table `test`.`testimp4` trx id 94487 lock_mode X locks rec but not gap
 Record lock, heap no 2 PHYSICAL RECORD: n_fields 2; compact format; info bits 0
 0: len 4; hex 80002710; asc ' ;;
 1: len 4; hex 80002710; asc ' ;;
RECORD LOCKS space id 501 page no 5 n bits 80 index d of table `test`.`testimp4` trx id 94487 lock_mode X locks rec but not gap
 Record lock, heap no 2 PHYSICAL RECORD: n_fields 2; compact format; info bits 0
 0: len 2; hex 6770; asc gp;;
 1: len 4; hex 80002710; asc ' ;;

实际上我们看到这里insert语句后主键和各个索引都上了隐含锁只是看不到，通过其他S2,S3,S4我们逐步把这些隐式锁转换为了显示锁。

4.2 delete语句通过主键删除数据

image.png

# T1时刻S1锁状态：
---TRANSACTION 94493, ACTIVE 3 sec
2 lock struct(s), heap size 1160, 1 row lock(s), undo log entries 1
MySQL thread id 11, OS thread handle 140737089492736, query id 567 localhost root
TABLE LOCK table `test`.`testimp4` trx id 94493 lock mode IX
RECORD LOCKS space id 501 page no 3 n bits 80 index PRIMARY of table `test`.`testimp4` trx id 94493 lock_mode X locks rec but not gap
Record lock, heap no 12 PHYSICAL RECORD: n_fields 6; compact format; info bits 32
 0: len 4; hex 8000270f; asc   ' ;;
 1: len 6; hex 00000001711d; asc     q ;;
 2: len 7; hex 550000003b071b; asc U   ;  ;;
 3: len 4; hex 8000270f; asc   ' ;;
 4: len 4; hex 8000270f; asc   ' ;;
 5: len 1; hex 61; asc a;;

# T2时刻S1锁状态：
---TRANSACTION 94493, ACTIVE 112 sec
4 lock struct(s), heap size 1160, 3 row lock(s), undo log entries 1
MySQL thread id 11, OS thread handle 140737089492736, query id 567 localhost root
TABLE LOCK table `test`.`testimp4` trx id 94493 lock mode IX
RECORD LOCKS space id 501 page no 3 n bits 80 index PRIMARY of table `test`.`testimp4` trx id 94493 lock_mode X locks rec but not gap
Record lock, heap no 12 PHYSICAL RECORD: n_fields 6; compact format; info bits 32
 0: len 4; hex 8000270f; asc   ' ;;
 1: len 6; hex 00000001711d; asc     q ;;
 2: len 7; hex 550000003b071b; asc U   ;  ;;
 3: len 4; hex 8000270f; asc   ' ;;
 4: len 4; hex 8000270f; asc   ' ;;
 5: len 1; hex 61; asc a;;

RECORD LOCKS space id 501 page no 4 n bits 80 index b of table `test`.`testimp4` trx id 94493 lock_mode X locks rec but not gap
Record lock, heap no 12 PHYSICAL RECORD: n_fields 2; compact format; info bits 32
 0: len 4; hex 8000270f; asc   ' ;;
 1: len 4; hex 8000270f; asc   ' ;;

# T3时刻S1锁状态：
---TRANSACTION 94493, ACTIVE 133 sec
4 lock struct(s), heap size 1160, 3 row lock(s), undo log entries 1
MySQL thread id 11, OS thread handle 140737089492736, query id 567 localhost root
TABLE LOCK table `test`.`testimp4` trx id 94493 lock mode IX
RECORD LOCKS space id 501 page no 3 n bits 80 index PRIMARY of table `test`.`testimp4` trx id 94493 lock_mode X locks rec but not gap
Record lock, heap no 12 PHYSICAL RECORD: n_fields 6; compact format; info bits 32
 0: len 4; hex 8000270f; asc   ' ;;
 1: len 6; hex 00000001711d; asc     q ;;
 2: len 7; hex 550000003b071b; asc U   ;  ;;
 3: len 4; hex 8000270f; asc   ' ;;
 4: len 4; hex 8000270f; asc   ' ;;
 5: len 1; hex 61; asc a;;

RECORD LOCKS space id 501 page no 4 n bits 80 index b of table `test`.`testimp4` trx id 94493 lock_mode X locks rec but not gap
Record lock, heap no 12 PHYSICAL RECORD: n_fields 2; compact format; info bits 32
 0: len 4; hex 8000270f; asc   ' ;;
 1: len 4; hex 8000270f; asc   ' ;;

RECORD LOCKS space id 501 page no 5 n bits 80 index d of table `test`.`testimp4` trx id 94493 lock_mode X locks rec but not gap
Record lock, heap no 12 PHYSICAL RECORD: n_fields 2; compact format; info bits 32
 0: len 1; hex 61; asc a;;
 1: len 4; hex 8000270f; asc   ' ;;


实际上我们看到这里delete语句后，主键加了显示锁，这是因为数据查找阶段需要加显示锁，但是各个二级索引是由于维护而加的是隐式锁，我们通过S2,S3将其转换为了显示锁。

            </div>
文章标签：
云数据库 RDS MySQL 版
SQL
关系型数据库
索引
MySQL
相关实践学习
每个IT人都想学的“Web应用上云经典架构”实战
本实验从Web应用上云这个最基本的、最普遍的需求出发，帮助IT从业者们通过“阿里云Web应用上云解决方案”，了解一个企业级Web应用上云的常见架构，了解如何构建一个高可用、可扩展的企业级应用架构。
MySQL数据库入门学习
本课程通过最流行的开源数据库MySQL带你了解数据库的世界。 &nbsp; 相关的阿里云产品：云数据库RDS MySQL 版 阿里云关系型数据库RDS（Relational Database Service）是一种稳定可靠、可弹性伸缩的在线数据库服务，提供容灾、备份、恢复、迁移等方面的全套解决方案，彻底解决数据库运维的烦恼。 了解产品详情:&nbsp;https://www.aliyun.com/product/rds/mysql&nbsp;
xaubllxwtvaqiu
目录
相关文章
慕枫技术笔记
|
缓存 前端开发 中间件
DDD 领域驱动设计落地实践系列：工程结构分层设计
前面几篇文章中，笔者给大家阐述了 DDD 领域驱动设计的三大过程，重点围绕如何通过战略设计与战术设计进行 DDD 落地实践进行了详细的讨论，但是还没有涉及到工程层面的落地。实际上所有的这些架构理论到最后都是为了使得我们代码结构更加清晰，从而开发出 bug 少、扩展性强、逻辑清楚的应用。因此本文就是为了解决 DDD 领域驱动落地实践最后一公里问题，将我们分析出来的领域模型通过与工程结构的映射实现真正的落地。
慕枫技术笔记
1809 0
DDD 领域驱动设计落地实践系列：工程结构分层设计
1176112968452250
|
存储 缓存 NoSQL
三级缓存实操系列(三)
三级缓存实操系列(三)
1176112968452250
266 0
最好zzz
|
Java
线程池内部机制：线程的保活与回收策略
【10月更文挑战第24天】 线程池是现代并发编程中管理线程资源的一种高效机制。它不仅能够复用线程，减少创建和销毁线程的开销，还能有效控制并发线程的数量，提高系统资源的利用率。本文将深入探讨线程池中线程的保活和回收机制，帮助你更好地理解和使用线程池。
最好zzz
595 2
蓝易云
|
存储 缓存 监控
性能利器Caffeine缓存全面指南
通过以上指南，您应该能够有效利用Caffeine缓存来优化您的Java应用程序。Caffeine的强大功能和灵活性，使它成为提升应用性能的理想选择。
蓝易云
876 4
阿萨聊测试
|
关系型数据库 网络安全 数据安全/隐私保护
你会开启Postgresql 的SSL单向认证 配置？
你会开启Postgresql 的SSL单向认证 配置？
阿萨聊测试
997 0
你会开启Postgresql 的SSL单向认证 配置？
码哥字节
|
缓存 NoSQL Java
硬核 | Redis 布隆（Bloom Filter）过滤器原理与实战
硬核 | Redis 布隆（Bloom Filter）过滤器原理与实战
码哥字节
1372 0
技术混子
|
缓存 算法 安全
深入理解操作系统：虚拟内存管理的原理与实践
【4月更文挑战第8天】 在现代计算机系统的设计与实现中，虚拟内存管理是操作系统核心功能之一。通过抽象物理硬件的细节，提供给用户一个看似无限的地址空间，它允许多个进程独立运行，同时为系统提供必要的内存保护机制。本文将探讨虚拟内存的基本原理、关键组件以及它在操作系统中的实际应用，旨在为读者提供一个清晰的视角来理解这一复杂的技术概念，并讨论其对现代计算环境的重要性和影响。
技术混子
422 0
麒麟改bug
|
NoSQL 测试技术 Redis
六步操作教你轻松搭建Redis集群
Redis 是我们目前大规模使用的缓存中间件，由于它强大高效而又便捷的功能，得到了广泛的使用。单节点的Redis已经就达到了很高的性能，为了提高可用性我们可以使用Redis集群。本文参考了Rdis的官方文档和使用Redis官方提供的Redis Cluster工具搭建Rdis集群。
麒麟改bug
308 0
范大脚脚
|
前端开发 .NET 测试技术
DDD（领域驱动设计）理论结合实践
范大脚脚
5473 1
waynaqua
|
存储 SQL 关系型数据库
何时使用Elasticsearch而不是MySql
MySQL 和 Elasticsearch 是两种不同的数据管理系统，它们各有优劣，适用于不同的场景。本文将从以下几个方面对它们进行比较和分析：
waynaqua
1214 0

热门文章

最新文章

  • 1
    Python使用ffmpeg完美解决方案（避坑必看）
  • 2
    一场与自己心魔的 “殊死搏斗”
  • 3
    HTTP协议中的“X-Real-IP”头字段的作用是什么？底层原理是什么？
  • 4
    ETL工具 kettle
  • 5
    用Python实现简单机器学习模型：以鸢尾花数据集为例
  • 6
    JPA:@Modifying注解(UPDATE或者DELETE)
  • 7
    Unit4 作业
  • 8
    Uvaoj10054 - The Necklace
  • 9
    WM Define Strategy for Addition to Existing Stock(十五。3）
  • 10
    正则表达式中的反向预搜索
  • 1
    假期用阿里云服务器一键部署我的世界/幻兽帕鲁等游戏联机服务器教程
    57
  • 2
    Anthropic 开源 Bloom：基于 LLM 的自动化行为评估框架
    43
  • 3
    Chiplet 技术：芯片终于不再“憋大招”，而是开始像搭积木一样干活了
    38
  • 4
    事故写了一堆，还是天天踩坑？聊聊运维知识库自动化这件“迟早要补的课”
    45
  • 5
    云上数据管道太烧钱？别急，我给你捋一捋这三刀该怎么省（存储 / 计算 / 网络）
    30
  • 6
    新用户如何选择阿里云服务器配置详细攻略教程
    32
  • 7
    【Azure Notification Hub】实验Notification Hub页面中的Test Tag 功能 -- 定向发送消息到指定的Android设备
    27
  • 8
    酒店递送机器人深度技术解析与解决方案选型指南
    33
  • 9
    基于深度学习的农业虫害自动识别系统：YOLOv8 的完整工程
    60
  • 10
    银行业智慧转型：服务机器人核心技术解析与主流产品选型指南
    45

    • 相关电子书

    更多
  • 低代码开发师（初级）实战教程
  • 冬季实战营第三期：MySQL数据库进阶实战
  • 阿里巴巴DevOps 最佳实践手册
    • 下一篇
    安全设备篇——WAF