[MySQL 学习] Innodb锁系统(2)关键函数路径

本文涉及的产品
RDS MySQL DuckDB 分析主实例,基础系列 4核8GB
RDS Agent(兼容OpenClaw),2核4GB
RDS AI 助手,专业版
简介:

前提:

以下分析基于标准的配置选项:

tx_isolation = REPEATABLE-READ

innodb_locks_unsafe_for_binlog = OFF

lock->type_mode用来表示锁的类型,实际上lock->type_mode包含了几乎所有锁的模式信息,例如锁类型判断是X锁还是S锁 lock->type_mode &LOCK_TYPE_MASK

LOCK_MODE_MASK

0xFUL

用于表示锁模式掩码

LOCK_TYPE_MASK

0xF0UL

用于表示锁类型,LOCK_TABLE或者LOCK_REC

LOCK_WAIT

256

表示需要锁等待,还没有获得锁,只是在等待队列中等待

LOCK_ORDINARY

0

普通的next-key锁,锁记录,并锁记录前面的gap,这样可以防止幻读。

假设索引包括10,11,13,20,则next-key锁为:

(negative infinity, 10], (10, 11], (11, 13], (13, 20], (20, positive infinity)

我们经常在innodb_locks表中看到的supremum pseudo-record就是锁住了最大值往后的gap.

LOCK_GAP

512

只持有记录前的gap锁,例如,在一个gap上的x锁无法修改bit被设置的记录

在从索引记录链上移除记录时会加该类型的锁。

LOCK_REC_NOT_GAP

1024

也就是普通记录锁,只锁住记录,因此不会阻塞向该记录之前的gap中插入记录。

LOCK_INSERT_INTENTION

2048

插入意图锁,目的是让插入索引记录时等待,直到在gap上没有其他冲突的锁

记住,即使获得了等待的锁,也依然会持有插入意图锁

不同锁模式

enum lock_mode {

    LOCK_IS = 0, /* intention shared */

    LOCK_IX, /* intention exclusive */

    LOCK_S, /* shared */

    LOCK_X, /* exclusive */

    LOCK_AUTO_INC, /* locks the auto-inc counter of a table

            in an exclusive mode */

    LOCK_NONE, /* this is used elsewhere to note consistent read */

    LOCK_NUM = LOCK_NONE/* number of lock modes */

};

当使用唯一键或主键来检索数据时,gap锁是没有必要的(但如果查找的where条件中只包含了唯一索引的部分列时,则需要gap锁)

INSERT INTENTION锁在INSERT数据之前,它也是一种GAP锁,当多个事务同时插入记录到同一个索引gap时,如果不是GAP中的同一个位置,则无需等待。例如索引中有两个记录4和7,两个并发事务同时插入5和6,都会各自在获取记录排他锁之前先锁住INSERT INTENTION锁,但互相并不阻塞。

1.创建测试表

drop table section;

CREATE TABLE `section` (

  `id` int(11) NOT NULL AUTO_INCREMENT,

  `title` varchar(255) NOT NULL,

  `tree_left` int(11) DEFAULT NULL,

  `tree_right` int(11) DEFAULT NULL,

  `tree_level` int(11) DEFAULT NULL,

  PRIMARY KEY (`id`),

  KEY `tree_left` (`tree_left`) ,

  KEY `tree_right` (`tree_right`)

) ENGINE=InnoDB;


INSERT INTO `section` VALUES (‘1′, ‘root’, ‘1’, ’14’, ‘0’);

INSERT INTO `section` VALUES (‘4′, ‘left tree’, ‘8’, ’13’, ‘1’);

INSERT INTO `section` VALUES (’10’, ‘left tree3′, ’11’, ’11’, ‘3’);

INSERT INTO `section` VALUES (’11’, ‘right Tree’, ‘2’, ‘7’, ‘1’);

INSERT INTO `section` VALUES (’16’, ‘right Tree 2′, ‘3’, ‘6’, ‘2’);

INSERT INTO `section` VALUES (’27’, ‘right Tree 3′, ‘4’, ‘5’, ‘3’);

 

2.场景测试,目的是找出关键函数

断点:

lock_rec_create

sel_set_rec_lock

lock0lock.c:1050

 

a.根据主键值删除记录

delete from section where id =8;

这里会根据主键扫描,堆栈如下:

ha_innobase::index_read

 ->row_search_for_mysql

     |–>sel_set_rec_lock (第4280行)

          –>二级索引lock_sec_rec_read_check_and_lock

          –>聚集索引lock_clust_rec_read_check_and_lock

             ->lock_rec_lock

                   |–>lock_rec_lock_fast->lock_rec_lock_fast->lock_rec_create

                   |–>lock_rec_lock_slow


传递参数type_mode = 1027 =  3+1024 =  LOCK_X +LOCK_REC_NOT_GAP

lock->type_mode = (type_mode & ~LOCK_TYPE_MASK) | LOCK_REC = 1059 = LOCK_X | LOCK_REC_NOT_GAP | LOCK_REC

不过如果是根据范围(或者where条件不是确定主键时)来删除记录,则在主键记录上加LOCK_X锁(锁模式值为3)

b.根据二级索引值删除记录

delete from section where tree_left = 8;

首先根据二级索引查找记录,对二级索引记录加锁

ha_innobase::index_read->row_search_for_mysql->sel_set_rec_lock->lock_sec_rec_read_check_and_lock->lock_rec_lock->lock_rec_lock_fast->lock_rec_create

type_mode=3 = LOCK_X

lock->type_mode = (type_mode & ~LOCK_TYPE_MASK) | LOCK_REC = 35 = LOCK_REC | LOCK_X

第二次,根据二级索引记录回查聚集索引

row_sel_get_clust_rec_for_mysql->lock_clust_rec_read_check_and_lock->lock_rec_lock->lock_rec_lock_fast->lock_rec_create

type_mode=1027

lock->type_mode = LOCK_X | LOCK_REC_NOT_GAP | LOCK_REC

获得主键记录后,就可以执行更新了(row_update_for_mysql)

第三次,扫描下一条记录,看看是否满足条件。

ha_innobase::general_fetch->row_search_for_mysql->sel_set_rec_lock->lock_sec_rec_read_check_and_lock->lock_rec_lock->lock_rec_lock_slow->lock_rec_create

type_mode=515

lock->type_mode = 547 = LOCK_GAP | LOCK_X |  LOCK_REC

 

 

 

 

 



从show engine innodb status里的信息来看,也符合

TABLE LOCK table `test`.`section` trx id E1885D33 lock mode IX

RECORD LOCKS space id 109 page no 4 n bits 80 index `tree_left` of table `test`.`section` trx id E1885D33 lock_mode X

RECORD LOCKS space id 109 page no 3 n bits 80 index `PRIMARY` of table `test`.`section` trx id E1885D33 lock_mode X locks rec but not gap

RECORD LOCKS space id 109 page no 4 n bits 80 index `tree_left` of table `test`.`section` trx id E1885D33 lock_mode X locks gap before rec


c.二级索引上存在重复值

测试表:

drop table t1;

create table t1 (a int primary key , b int ,key(b));

insert into t1 values (1,10),(2,20),(3,20),(4,30);

delete from t1 where b = 20;

lock_sec_rec_read_check_and_lock->lock_rec_lock->lock_rec_lock_fast->lock_rec_create

heap_no=3

type_mode=3,lock->type_mode=35

row_sel_get_clust_rec_for_mysql->lock_clust_rec_read_check_and_lock->lock_rec_lock->lock_rec_lock_fast->lock_rec_create

type_mode=1027

lock->type_mode = 1059

row_update_for_mysql

继续查下一条数据。

sel_set_rec_lock->lock_sec_rec_read_check_and_lock->lock_rec_lock->lock_rec_lock_fast

type_mode=3,

row_sel_get_clust_rec_for_mysql->lock_clust_rec_read_check_and_lock->lock_rec_lock->lock_rec_lock_fast

mode=1027

row_update_for_mysql

row_search_for_mysql

lock_sec_rec_read_check_and_lock->lock_rec_lock->lock_rec_lock_slow->lock_rec_create

type_mode=547

show engine innodb status的结果:

4 lock struct(s), heap size 1248, 5 row lock(s), undo log entries 2

MySQL thread id 389, OS thread handle 0x7fa35e53c700, query id 1545 localhost root

TABLE LOCK table `test`.`t1` trx id E1885D8E lock mode IX

RECORD LOCKS space id 118 page no 4 n bits 72 index `b` of table `test`.`t1` trx id E1885D8E lock_mode X

RECORD LOCKS space id 118 page no 3 n bits 72 index `PRIMARY` of table `test`.`t1` trx id E1885D8E lock_mode X locks rec but not gap

RECORD LOCKS space id 118 page no 4 n bits 72 index `b` of table `test`.`t1` trx id E1885D8E lock_mode X locks gap before rec

 

因此,如果事务不提交的话,试图插入tree_left值为[4,11)范围的值都会被阻塞掉。


c.二级索引上存在重复值

测试表:

drop table t1;

create table t1 (a int primary key , b int ,key(b));

insert into t1 values (1,10),(2,20),(3,20),(4,30);

delete from t1 where b = 20;

lock_sec_rec_read_check_and_lock->lock_rec_lock->lock_rec_lock_fast->lock_rec_create

heap_no=3

type_mode=3,lock->type_mode=35

row_sel_get_clust_rec_for_mysql->lock_clust_rec_read_check_and_lock->lock_rec_lock->lock_rec_lock_fast->lock_rec_create

type_mode=1027

lock->type_mode = 1059

row_update_for_mysql

继续查下一条数据。

sel_set_rec_lock->lock_sec_rec_read_check_and_lock->lock_rec_lock->lock_rec_lock_fast

type_mode=3,

row_sel_get_clust_rec_for_mysql->lock_clust_rec_read_check_and_lock->lock_rec_lock->lock_rec_lock_fast

mode=1027

row_update_for_mysql

row_search_for_mysql

lock_sec_rec_read_check_and_lock->lock_rec_lock->lock_rec_lock_slow->lock_rec_create

type_mode=547

show engine innodb status的结果:

4 lock struct(s), heap size 1248, 5 row lock(s), undo log entries 2

MySQL thread id 389, OS thread handle 0x7fa35e53c700, query id 1545 localhost root

TABLE LOCK table `test`.`t1` trx id E1885D8E lock mode IX

RECORD LOCKS space id 118 page no 4 n bits 72 index `b` of table `test`.`t1` trx id E1885D8E lock_mode X

RECORD LOCKS space id 118 page no 3 n bits 72 index `PRIMARY` of table `test`.`t1` trx id E1885D8E lock_mode X locks rec but not gap

RECORD LOCKS space id 118 page no 4 n bits 72 index `b` of table `test`.`t1` trx id E1885D8E lock_mode X locks gap before rec

 

这里只是通过几个gdb挖掘出几个关键的函数,下回将开始深入分析这些函数的执行流程。

相关实践学习
每个IT人都想学的“Web应用上云经典架构”实战
本实验从Web应用上云这个最基本的、最普遍的需求出发,帮助IT从业者们通过“阿里云Web应用上云解决方案”,了解一个企业级Web应用上云的常见架构,了解如何构建一个高可用、可扩展的企业级应用架构。
MySQL数据库入门学习
本课程通过最流行的开源数据库MySQL带你了解数据库的世界。   相关的阿里云产品:云数据库RDS MySQL 版 阿里云关系型数据库RDS(Relational Database Service)是一种稳定可靠、可弹性伸缩的在线数据库服务,提供容灾、备份、恢复、迁移等方面的全套解决方案,彻底解决数据库运维的烦恼。 了解产品详情: https://www.aliyun.com/product/rds/mysql 
相关文章
|
8月前
|
NoSQL 算法 Redis
【Docker】(3)学习Docker中 镜像与容器数据卷、映射关系!手把手带你安装 MySql主从同步 和 Redis三主三从集群!并且进行主从切换与扩容操作,还有分析 哈希分区 等知识点!
Union文件系统(UnionFS)是一种**分层、轻量级并且高性能的文件系统**,它支持对文件系统的修改作为一次提交来一层层的叠加,同时可以将不同目录挂载到同一个虚拟文件系统下(unite several directories into a single virtual filesystem) Union 文件系统是 Docker 镜像的基础。 镜像可以通过分层来进行继承,基于基础镜像(没有父镜像),可以制作各种具体的应用镜像。
894 6
|
9月前
|
存储 关系型数据库 MySQL
介绍MySQL的InnoDB引擎特性
总结而言 , Inno DB 引搞 是 MySQL 中 高 性 能 , 高 可靠 的 存 储选项 , 宽泛 应用于要求强 复杂交易处理场景 。
395 15
|
9月前
|
SQL 关系型数据库 MySQL
Mysql基础学习day01
本课程为MySQL基础学习第一天内容,涵盖MySQL概述、安装、SQL简介及其分类(DDL、DML、DQL、DCL)、数据库操作(查询、创建、使用、删除)及表操作(创建、约束、数据类型)。适合初学者入门学习数据库基本概念和操作方法。
297 6
|
9月前
|
关系型数据库 MySQL 数据管理
Mysql基础学习day03-作业
本内容包含数据库建表语句及多表查询示例,涵盖内连接、外连接、子查询及聚合统计,适用于员工与部门数据管理场景。
172 1
|
9月前
|
SQL 关系型数据库 MySQL
Mysql基础学习day02-作业
本教程介绍了数据库表的创建与管理操作,包括创建员工表、插入测试数据、删除记录、更新数据以及多种查询操作,涵盖了SQL语句的基本使用方法,适合初学者学习数据库操作基础。
191 0
|
9月前
|
SQL 关系型数据库 MySQL
Mysql基础学习day03
本课程为MySQL基础学习第三天内容,主要讲解多表关系与多表查询。内容涵盖物理外键与逻辑外键的区别、一对多、一对一及多对多关系的实现方式,以及内连接、外连接、子查询等多表查询方法,并通过具体案例演示SQL语句的编写与应用。
262 0
|
9月前
|
SQL 关系型数据库 MySQL
Mysql基础学习day01-作业
本教程包含三个数据库表的创建练习:学生表(student)要求具备主键、自增长、非空、默认值及唯一约束;课程表(course)定义主键、非空唯一字段及数值精度限制;员工表(employee)包含自增主键、非空字段、默认值、唯一电话号及日期时间类型字段。每个表的结构设计均附有详细SQL代码示例。
172 0
|
9月前
|
SQL 关系型数据库 MySQL
Mysql基础学习day02
本课程为MySQL基础学习第二天内容,涵盖数据定义语言(DDL)的表查询、修改与删除操作,以及数据操作语言(DML)的增删改查功能。通过具体SQL语句与实例演示,帮助学习者掌握MySQL表结构操作及数据管理技巧。
232 0
|
SQL 关系型数据库 MySQL
MySQL 常用函数
我们这次全面梳理 MySQL 中的常用函数,涵盖 聚合函数、字符串函数、日期时间函数、数学函数 和 控制流函数 等五大类。每类函数均配有语法说明与实用示例,帮助读者提升数据处理能力,如统计分析、文本处理、日期计算、条件判断等。文章结尾提供了丰富的实战练习,帮助读者巩固和应用函数技巧,是进阶 SQL 编程与数据分析的实用工具手册。
952 2
|
存储 网络协议 关系型数据库
MySQL8.4创建keyring给InnoDB表进行静态数据加密
MySQL8.4创建keyring给InnoDB表进行静态数据加密
529 1

推荐镜像

更多