MySQL 核心模块揭秘 | 01 期 | 事务的起源：事务池和管理器的初始化

爱可生开源社区 2024 全新技术专栏《MySQL 核心模块揭秘》第一期。

作者：操盛春，爱可生技术专家，公众号『一树一溪』作者，专注于研究 MySQL 和 OceanBase 源码。

爱可生开源社区出品，原创内容未经授权不得随意使用，转载请联系小编并注明来源。

本文基于 MySQL 8.0.32 源码，存储引擎为 InnoDB。

1. 事务池和管理器

作为 MySQL 中支持事务的默认存储引擎，InnoDB 对表中数据的读写操作都在事务中执行。

MySQL 被设计为支持高并发，支持很多客户端同时连接到数据库，这些连接可以同时执行 SQL。

如果这些 SQL 都要读写 InnoDB 表，InnoDB 会为每个连接启动一个事务，这意味着需要同时启动很多事务。

对于 TP 场景，通常情况下，事务都会很快执行完成。启动事务、执行 SQL、提交事务的整个流程只会持续很短的时间。

TP 是 OLTP 的简称，表示在线事务处理；与之相对的另一个常用术语 AP，是 OLAP 的简称，表示在线事务分析。

以这样一个场景为例：

• 客户端连接到 MySQL。
• 客户端执行 begin 语句。
• 客户端执行一条 update 语句，按主键 ID 更新一条记录。
  
  这个步骤中，InnoDB 会在执行 update 语句之前，真正启动一个事务。
• 客户端执行 commit 语句。
• 客户端关闭数据库连接。InnoDB 会在这一步释放事务。

在这个场景下，InnoDB 事务从启动到释放的整个生命周期，有可能只持续 1 ~ 2 毫秒（甚至更短）。

由于要存放事务 ID、事务状态、Undo 日志编号、事务所属的用户线程等信息，每个事务都有一个与之对应的对象，我们称之为事务对象。

每个事务对象都要占用内存，如果每启动一个事务都要为事务对象分配内存，释放事务时又要释放内存，会降低数据库性能。

为了避免频繁分配、释放内存对数据库性能产生影响，InnoDB 引入了事务池（Pool），用于管理事务。

顾名思义，事务池是一个池子，这个池子存放的东西既不是水，也不是酒，而是事务对象。

对比我们生活中的各种池子，例如：水池、洗手池、池塘，都是有大小限制的。

事务池也一样有大小限制，不能无限制的存放事务对象。数据库繁忙的时候，有很多很多事务对象，需要多个事务池来管理。

事务池多了之后，又会引发另一些问题，例如：

• 怎么创建新的事务池？
• 客户端创建了一个新的数据库连接，要获取一个新的事务对象，从哪个事务池获取？
• 其它问题…

为了解决这些问题，InnoDB 又引入了事务池管理器（PoolManager），用于管理事务池。

MySQL 启动过程中，InnoDB 先创建事务池管理器，然后，事务池管理器创建并初始事务池。

2. 创建事务池管理器

InnoDB 整个生命周期中，事务池管理器只有一个，它有个很重要的属性（m_size），用于指定每个事务池能用多大内存来存放事务对象。

这个属性值来源于一个硬编码的常量值，代码里是这样定义的：

/** Size of on trx_t pool in bytes. */
static const ulint MAX_TRX_BLOCK_SIZE = 1024 * 1024 * 4;

这意味着每个事务池能用来存放事务对象的内存是 4194304 字节，也就是 4M。

MySQL 启动过程中，事务池管理器只会创建并初始化一个事务池。

这个事务池会放入事务池管理器的 m_pools 属性。这个属性是个数组（vector），用于管理所有事务池。

创建事务池的过程中，InnoDB 会分配一块 4M 的内存用于存放事务对象。

每个事务对象的大小为 992 字节，4M 内存能够存放 4194304 / 992 = 4228 个事务对象。

3. 初始化事务池

事务池创建完成之后，就该初始化了。事务池的初始化，主要是为了得到一些事务对象。

事务池有一个队列，用于存放已经初始化的事务对象。我们称这个队列为事务队列。

一个事务池有 4M 内存可以存放事务对象，这块内存会被分隔成 4228 个小块。每初始化一块小内存，就会得到一个事务对象，这个事务对象会被放入事务队列。

InnoDB 初始化事务池的过程中，不会初始化全部的 4228 块小内存，只会初始化最前面的 16 块小内存，得到 16 个事务对象并放入事务队列。

初始事务池完成之后，事务队列中只有 16 个事务对象。

那么，剩余的 4212 块小内存什么时候会被初始化？

**它们会在这种情况下被初始化：**启动过程中初始化的 16 个事务对象都被取走使用了，事务队列变成空队列了。

此时，需要再分配一个事务对象用于启动新事务，InnoDB 就会把剩余的 4212 块小内存全部初始化，得到 4212 个事务对象并放入事务队列。

有一点需要说明，不管是启动过程中初始化的 16 块小内存，还是运行过程中初始化的 4212 块小内存，都是在循环里一个一个初始化的。每一轮循环都要干两件事：

• 初始化一块小内存，得到一个事务对象。
• 把事务对象放入事务池的事务队列中。

初始化小块内存的过程中，会初始化事务对象的各个属性。这里我们就不一一介绍这些属性了，等到该它们出场的时候，再按需介绍。

4. 总结

InnoDB 只有一个事务池管理器，用于管理 N 个事务池（N >= 1），每个事务池可以管理 4228 个事务对象。

MySQL 启动过程中，InnoDB 会先创建事务管理器。事务管理器会创建一个事务池，初始化 16 个事务对象放入事务池的事务队列。

MySQL 运行过程中，如果这 16 个事务对象都正在被使用，InnoDB 需要一个新的事务对象时，会一次性初始化剩余的 4212 个事务对象并放入事务池的事务队列。

本期问题：运行过程中，创建一个新的事务池，会分配多少内存？初始化多少个事务对象？
关于本期主题，如果大家有任何疑问，欢迎留言交流！

下期预告：BEGIN 语句会马上启动事务吗？

更多技术文章，请访问：https://opensource.actionsky.com/

关于 SQLE

SQLE 是一款全方位的 SQL 质量管理平台，覆盖开发至生产环境的 SQL 审核和管理。支持主流的开源、商业、国产数据库，为开发和运维提供流程自动化能力，提升上线效率，提高数据质量。

SQLE 获取

类型	地址
版本库	https://github.com/actiontech/sqle
文档	https://actiontech.github.io/sqle-docs/
发布信息	https://github.com/actiontech/sqle/releases
数据审核插件开发文档	https://actiontech.github.io/sqle-docs/docs/dev-manual/plugins/howtouse