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

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

2022-07-18 66
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《 阿里云开发者社区用户服务协议》和 《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写 侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
本文涉及的产品
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
目录
相关文章
Python研究所
【全是精华】Token的获取和使用-FastApi版
【全是精华】Token的获取和使用-FastApi版
Python研究所
1510 0
艾伦~耶格尔
|
4月前
|
Java 编译器 测试技术
Java注解（Annotation）与元编程实践
本文深入讲解Java注解的原理与实战应用，涵盖内置注解、自定义注解、编译期与运行期处理机制，以及在依赖注入、Web框架和数据验证中的实际应用，助你掌握元编程核心技能。
艾伦~耶格尔
190 2
鱼的爱情看不出泪水
|
5月前
|
Web App开发 开发者 Windows
Windows英文版下载问题
本文介绍了在无法通过迅雷下载Windows英文版系统时的替代方案。通过微软官方工具可直接下载ISO文件并刻录U盘安装，适用于Home/Pro/Education版本。对于企业版，可通过微软评估中心获取试用版，或使用Pro版配合企业版密钥升级。附有详细操作步骤及备用下载方法链接。
鱼的爱情看不出泪水
308 0
星河造梦坊丨程序开发
|
API 图形学
Unity精华☀️GetInstanceID 和 GetHashCode 的区别
Unity精华☀️GetInstanceID 和 GetHashCode 的区别
星河造梦坊丨程序开发
533 1
jiashufen
|
运维 Cloud Native Devops
云原生架构的崛起与实践云原生架构是一种通过容器化、微服务和DevOps等技术手段，帮助应用系统实现敏捷部署、弹性扩展和高效运维的技术理念。本文将探讨云原生的概念、核心技术以及其在企业中的应用实践，揭示云原生如何成为现代软件开发和运营的主流方式。##
云原生架构是现代IT领域的一场革命，它依托于容器化、微服务和DevOps等核心技术，旨在解决传统架构在应对复杂业务需求时的不足。通过采用云原生方法，企业可以实现敏捷部署、弹性扩展和高效运维，从而大幅提升开发效率和系统可靠性。本文详细阐述了云原生的核心概念、主要技术和实际应用案例，并探讨了企业在实施云原生过程中的挑战与解决方案。无论是正在转型的传统企业，还是寻求创新的互联网企业，云原生都提供了一条实现高效能、高灵活性和高可靠性的技术路径。 ##
jiashufen
853 30
想飞的雪糕
|
缓存 前端开发 JavaScript
前端serverless探索之组件单独部署时，利用rxjs实现业务状态与vue-react-angular等框架的响应式状态映射
本文深入探讨了如何将RxJS与Vue、React、Angular三大前端框架进行集成，通过抽象出辅助方法`useRx`和`pushPipe`，实现跨框架的状态管理。具体介绍了各框架的响应式机制，展示了如何将RxJS的Observable对象转化为框架的响应式数据，并通过示例代码演示了使用方法。此外，还讨论了全局状态源与WebComponent的部署优化，以及一些实践中的改进点。这些方法不仅简化了异步编程，还提升了代码的可读性和可维护性。
想飞的雪糕
369 1
糜终
|
SQL 存储 关系型数据库
MySQL 与 IntelliJ IDEA 同时兼容的注释
MySQL 与 IntelliJ IDEA 同时兼容的注释
糜终
285 2
游客mldfis24krfue
|
Kubernetes 容器 Perl
在K8S中，镜像的更新策略是什么？
在K8S中，镜像的更新策略是什么？
游客mldfis24krfue
348 0
1941623231718325
|
供应链 搜索推荐 数据挖掘
探索增强现实（AR）在零售业的应用
【5月更文挑战第12天】本文探讨了AR技术如何革新零售业，包括虚拟试衣间提升购物效率、产品信息展示增强认知、导航导购优化购物体验及互动营销增加用户粘性。AR技术能提升消费者体验，提高零售业效率，并增强品牌竞争力。随着AR的发展，零售业将迎来更多创新应用。
1941623231718325
422 6
aliyun1645995785-22449
|
Web App开发 数据可视化 数据挖掘
利用R语言进行聚类分析实战（数据+代码+可视化+详细分析）
利用R语言进行聚类分析实战（数据+代码+可视化+详细分析）
aliyun1645995785-22449
1135 2

热门文章

最新文章

  • 1
    云原生数据湖构建、分析与开发治理最佳实践及案例分享
  • 2
    在Linux中，如何配置VPN连接？
  • 3
    一场与自己心魔的 “殊死搏斗”
  • 4
    解决gradle下载慢的问题
  • 5
    HTTP协议中的“X-Real-IP”头字段的作用是什么？底层原理是什么？
  • 6
    数据治理怎么做？一文讲清数据治理全流程
  • 7
    JDK1.8源码(六)——java.util.LinkedList 类
  • 8
    流程 － 什么是真正的Scrum？
  • 9
    HDOJ 1090 A+B for Input-Output Practice (II)
  • 10
    HTTP权威指南_摘录
  • 1
    基于 YOLOv8 的智能车牌定位检测系统设计与实现—从模型训练到 PyQt 可视化落地的完整实战方案
    63
  • 2
    千万级数据表的count(*)查询优化
    41
  • 3
    GPT-5.2 Codex来了：能独立跑7+小时的AI程序员，老金手把手教你玩转
    93
  • 4
    YOLOv11改进 - C3k2融合 | C3k2融合 IIA信息整合注意力（Information Integration Attention ）平衡精度与计算成本 | TGRS2025
    28
  • 5
    阿里云轻量应用服务器开箱测评：最新升级200M带宽，不限流量
    72
  • 6
    《游戏场景下伪造内容的识别与处置技术指南》
    32
  • 7
    《从操作轨迹到认知图谱：玩家专属游戏知识体系图谱的搭建路径》
    32
  • 8
    钉钉一口气发20多个新品：Agent OS操作系统让AI从问答走向干活
    67
  • 9
    GPU vs NPU：算力江湖分家又合流，这事儿你真想清楚了吗？
    67
  • 10
    使用 Cursor 进行自动代码调试的实用指南
    41

    • 相关电子书

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