封面来源:由博主个人绘制,如需使用请联系博主。

本文参考:MySQL数据库教程天花板,mysql安装到mysql高级,强!硬!

1. 数据库的存储结构

索引结构提供了高效的索引方式,索引信息和数据记录都是保存在文件上的,确切说是存储在页结构中的。

索引是在存储引擎中实现的,不同存储引擎中存放的格式一般是不同的,甚至有的存储引警比如 Memory 甚至都不用磁盘来存储数据。

由于 InnoDB 是 MySQL 的默认存储引擎,所以本章剖析 InnoDB 存储引擎的数据存储结构。

1.1 磁盘与内存交互的基本单位

页是磁盘与内存交互的基本单位。

InnoDB 将数据划分为若干个页,InnoDB 中页的大小默认为 16KB。

以页作为磁盘和内存之间交互的基本单位,也就是一次至少从磁盘中读取 16KB 大小的内容到内存中,或者一次至少把内存中 16KB 的内容刷新到磁盘中。使用 InnoDB 不论读一行,还是读多行,都会加载这些行所在的页。

记录是按行来存储的,但读取并不以行为单位,否则一次读取(一次 IO 操作)只能处理一行数据,效率非常低。

使用 InnoDB 管理存储空间的基本单位是页(Page),数据库 IO 操作的最小单位是页。一个页可以存储多个行记录。

1.2 页结构概述

多个页可以不在物理结构上相连,只通过双向链表相关联即可。

每个数据页中的记录会按照主键值从小到大的顺序组成一个单向链表,每个数据页都会为存储在它里边的记录生成一个页目录。

通过主键查找某条记录时可以在页目录中使用二分法快速定位到对应的槽,然后再遍历该槽对应分组中的记录即可。

1.3 页的大小

不同数据库管理系统中的页大小通常不同。MySQL 的 InnoDB 存储引擎中,默认的页大小是 16KB,可以通过以下命令查看:

1
SHOW VARIABLES LIKE '%innodb_page_size%';
mysql> SHOW VARIABLES LIKE '%innodb_page_size%';
+------------------+-------+
| Variable_name    | Value |
+------------------+-------+
| innodb_page_size | 16384 |
+------------------+-------+

SQL Server 中页的大小是 8KB,Oracle 中使用 块(Block) 来代表页,它支持的块大小有 2KB、4KB、8KB、16KB、32KB 和 64KB。

1.4 页的上层结构

在数据库中,还存在着区(Extent)、段(Segment)和表空间(Tablespace)的概念。它们之间的关系如下图所示:

页的上层结构

区(Extent) 是比页大一级的存储结构,在 InnoDB 存储引擎中,一个区会分配 64 个连续的页。InnoDB 中页大小默认是 16KB,因此一个区的大小是 64×16KB=1MB64 \times 16KB= 1MB

段(Segment) 由一个或多个区组成,区在文件系统是一个连续分配的空间(在 InnoDB 中是连续的 64 个页),但段中的区不一定是相邻的。 段是数据库中的分配单位 ,不同类型的数据库对象以不同的段形式存在。在创建数据表、索引时,就会创建对应的段,比如创建一张表时会创建一个表段,创建一个索引时会创建一个索引段。

表空间(Tablespace) 是一个逻辑容器,表空间中存储了段,在一个表空间中可以有若干个段,但一个段只能属于一个表空间。数据库由一个或多个表空间组成,表空间从管理层面上可以划分为系统表空间、用户表空间、撤销表空间、临时表空间等。

2. 页的内部结构

按类型对页划分,常见的有:

  • 数据页(保存 B+Tree 节点)
  • 系统页
  • Undo 页
  • 事务数据页

数据页是最常使用的页。

16KB 的数据页被划分为七个部分:

  1. 文件头(File Header)
  2. 页头(Page Header)
  3. 最大最小记录(Infimum + Supremum)
  4. 用户记录(User Records)
  5. 空闲空间(Free Space)
  6. 页目录(Page Directory)
  7. 文件尾(File Tailer)

数据页结构示意图

7 个部分的作用如下:

名称 占用大小 说明
File Header 38 字节 文件头,描述页的信息
Page Header 56 字节 页头,页的状态信息
Infimum + Supremum 26 字节 最大和最小记录,两个虚拟的行记录
User Records 不确定 用户记录,存储的行记录内容
Free Space 不确定 空闲记录,页中还没有被使用的空间
Page Directory 不确定 页目录,存储用户记录的相对位置
File Trailer 8 字节 文件尾,校验页是否完整

这七个部分又可以分成三类,分别是:

  1. File Header 和 File Trailer
  2. User Records、Infimum + Supremum 和 Free Space
  3. Page Directory 和 Page Header

页的主要作用是存储记录,所以 User Records 和 Infimum + Supremum 占了页结构的主要空间:

不断插入记录后页结构的变化

随着页中用户记录的不断增加,空闲空间不断减少。

2.1 File Header

File Header,即文件头部,描述各种页的通用信息(比如页的编号、其上一页、下一页是谁等)。

大小:38 字节。

构成:

名称 占用空间大小 描述
FIL_PAGE_SPACE_OR_CHKSUM 4 字节 页的校验和(checksum 值)
FIL_PAGE_OFFSET 4 字节 页号
FIL_PAGE_PREV 4 字节 上一个页的页号
FIL_PAGE_NEXT 4 字节 下一个页的页号
FIL_PAGE_LSN 8 字节 页面被最后修改时对应的日志序列位置(Log Sequence Number)
FIL_PAGE_TYPE 2 字节 页的类型
FIL_PAGE_FILE_FLUSH_LSN 8 字节 仅在系统表空间的一个页中定义,代表文件至少被刷新到了对应的 LSN 值
FIL_PAGE_ARCH_LOG_ON_OR_SPACE_ID 4 字节 页属于哪个表空间

FIL_PAGE_OFFSET(4字节)

每一个页都有一个单独的页号,就像身份证号码一样,InnoDB 通过页号可以定位到唯一页。

FIL_PAGE_TYPE(2字节)

当前页的类型。

类型名称 十六进制 描述
FIL_PAGE_TYPE_ALLOCATED 0x0000 最新分配,还未使用
FIL_PAGE_UNDO_LOG 0x0002 Undo 日志页
FIL_PAGE_INODE 0x0003 段信息节点
FIL_PAGE_IBUF_FREE_LIST 0x0004 Insert Buffer 空闲列表
FIL_PAGE_IBUF_BITMAP 0x0005 Insert Buffer 位图
FIL_PAGE_TYPE_SYS 0x0006 系统页
FIL_PAGE_TYPE_TRX_SYS 0x0007 事务系统数据
FIL_PAGE_TYPE_FSP_HDR 0x0008 表空间头部信息
FIL_PAGE_TYPE_XDES 0x0009 扩展描述页
FIL_PAGE_TYPE_BLOB 0x000A 溢出页
FIL_PAGE_INDEX 0x45BF 索引页,即数据页

FIL_PAGE_PREV(4字节)和FIL_PAGE_NEXT(4字节)

InnoDB 是以页为单位存放数据的,如果数据分散到多个不连续的页中进行存储,则需要把这些页关联起来,FIL_PAGE_PREVFIL_PAGE_NEXT 分别代表本页的上一个和下一个页的页号。这样通过建立一个双向链表把众多页都串联起来,保证这些页之间无需物理上的连续,而达到逻辑上的连续。

数据页之间组成的双向链表示例一

数据页之间组成的双向链表示例二

FIL_PAGE_SPACE_OR_CHKSUM(4字节)

当前页面的校验和(checksum)。

什么是校验和?

对于一个很长的字节串来说,会通过某种算法来计算一个比较短的值来代表这个很长的字节串,这个比较短的值就被称为校验和。

在比较两个很长的字节串之前,先比较这两个长字节串的校验和,如果校验和都不一样,那么两个长字节串肯定是不同的,这能够省去直接比较两个比较长的字节串的时间损耗。

文件头部和文件尾部都有 FIL_PAGE_SPACE_OR_CHKSUM 属性。

FIL_PAGE_SPACE_OR_CHKSUM 的作用:

InnoDB 存储引擎以页为单位把数据加载到内存中处理,如果该页中的数据在内存中被修改了,那么在修改后的某个时间需要把数据同步到磁盘中。假设在同步一半时突然断电,导致该页传输得不完整。可以通过比较文件尾的校验和(checksum 值)与文件头的校验和来检测一个页是否完整(也就是在同步的时候有没有发生只同步部分的情况),如果两个值不相等,则证明页的传输有问题,需要重新传输,否则认为页的传输已经完成。

具体过程:

当一个页在内存中被修改后,在同步之前会把它的校验和算出来,由于 File Header 在页的前边,所以 File Header 的校验和会先被同步到磁盘,当完全写完时,File Trailer 的校验和会被写到页的尾部。如果完全同步成功,则页的首、尾部校验和是一致的;如果写到一半突然断电,File Header 的校验和代表已经修改过的页,File Trailer 的校验和代表原先的页,二者不同则意味着同步中间出了错。这里的校验方式采用了 Hash 算法。

FIL_PAGE_LSN(8字节)

页面被最后修改时对应的日志序列位置(Log Sequence Number)。

2.2 File Trailer

File Trailer,即文件尾部。

大小:8 字节。

前 4 个字节代表页的校验和,与 File Header 中的校验和相对应。

后 4 个字节代表页面被最后修改时对应的日志序列位置(LSN),这部分也是为了校验页的完整性,如果首、尾部的 LSN 值校验失败,说明在同步过程出现了问题。

2.3 Free Space

Free Space,即空闲空间。

存储的记录会按照指定的行格式存储到 User Records 部分。在最开始生成页的时候,并没有 User Records,每当插入一条记录,都会从 Free Space,也就是尚未使用的存储空间中申请一个记录大小的空间划分到 User Records。当 Free Space 的空间都被 User Records 替代之后,就意味着这个页使用完了,此时再插入新记录,就需要申请新的页。

不断插入记录后空闲空间的变化

2.4 User Records

User Records,即用户记录。

用户记录中的记录按照 指定的行格式 一条一条地摆放,相互之间形成单链表。

那其中的每条记录又是怎么记录的呢?或者说单链表又是怎么形成的?

这就需要说到 行格式 中的 记录头信息 了。

记录头信息

记录头信息占了 5 字节。

执行以下语句创建 page_demo 表,指定字符集为 ascii,指定行格式为 Compact

1
2
3
4
5
6
CREATE TABLE page_demo (
c1 INT,
c2 INT,
c3 VARCHAR(10000),
PRIMARY KEY (c1)
) CHARSET = ascii ROW_FORMAT = Compact;

一条记录的行格式如下图所示:

表中记录的行格式示意图

可以看到,除了记录的真实数据外,一条记录还包括一些额外信息:

  • 变长字段长度列表
  • NULL 值列表
  • 记录头信息

此处主要讲述 记录头信息,在记录头信息中,又包含了多个属性:

名称 大小(单位 bit) 描述
预留位 1 1 未使用
预留位 2 1 未使用
delete_mask 1 标记当前记录是否被删除
min_rec_mask 1 B+Tree 的每层非叶子节点中的最小记录都会添加该标记
n_owned 4 当前记录拥有的记录数
heap_no 13 当前记录在记录堆的位置信息
record_type 3 当前记录的类型
next_record 16 下一条记录的相对位置

移除两个预留位后,行格式的简化图:

行格式简化图

向表中插入 4 条数据:

1
2
3
4
5
INSERT INTO page_demo VALUES
(1, 100, 'song'),
(2, 200, 'tong'),
(3, 300, 'zhan'),
(4, 400, 'lisi');

此时用户记录的示意图如下:

插入4条数据后的用户记录

后续将围绕这 4 条数据介绍 记录头信息 中各个属性的作用。

记录头信息:delete_mask

标记当前记录是否被删除,占用 1 个二进制位:

  • 0:记录未被删除
  • 1:记录已被删除

当某条记录被删除后,不会立即从磁盘上移除。如果立即移除,之后的记录需要在磁盘上重新排列,造成性能消耗。所有被删掉的记录会组成一个所谓的垃圾链表,这个链表中的记录占用的空间被称为 可重用空间,当有新记录插入时,可以覆盖这些被删除的记录。

记录头信息:min_rec_mask

B+Tree 的每层 非叶子节点 中的最小记录都会添加该标记,值为1。

前面插入的四条记录的 min_rec_mask 值都是0,意味它们都不是 B+Tree 的非叶子节点中的最小记录(因为它们根本就不是非叶子节点,都是叶子节点)。

记录头信息:record_type

当前记录的类型,共有 4 种类型:

类型值 对应的记录类型
0 普通记录
1 B+Tree 非叶节点记录
2 最小记录
3 最大记录

前面插入的四条记录都是普通记录,因此它们的 record_type 都是 0。

记录头信息:heap_no

当前记录在本页中的位置。

前面插入的四条记录在本页中的位置分别是 2、3、4、5,怎么没有 0 或 1 的记录呢?

MySQL 会自动为每个页添加两条记录,由于这两条记录并不是用户插入的,所以也称为 伪记录虚拟记录。这两个伪记录一个代表 最小记录,一个代表 最大记录。最小记录和最大记录的 heap_no 值分别是 01,也就是说它们俩在页中的位置最靠前。

什么是最大记录,什么是最小记录?参看【2.5 Infimum + Supremum】。

记录头信息:n_owned

页目录中每个组中最后一条记录的头信息中会存储该组一共有多少条记录,存储所用的字段就是 n_owned

页目录的详细信息可以参看【2.6 Page Directory】。

记录头信息:next_record

next_record 在记录头信息中十分重要,它表示从当前记录的真实数据到 下一条 记录的真实数据的 地址偏移量

比如第一条记录的 next_record 值为 32,意味着从第一条记录的真实数据的地址处向后找 32 个字节就是 下一条 记录的真实数据。

这里的 下一条 记录并不是按照插入顺序插入的下一条记录,而是按照主键值由小到大排列的下一条记录,同时规定 Infimum 记录(即最小记录)的下一条记录是本页中主键值最小的用户记录,而本页中主键值最大的用户记录的下一条记录是 Supremum 记录(即最大记录)。

最大最小记录与用户记录的链接关系

如果从表中删除一条记录,这个单链表也会发生变化:

1
DELETE FROM page_demo WHERE c1 = 2;

删除c1为2的记录后最大最小记录与用户记录的链接关系

删除 c12 的记录后:

  • 被删除记录并没有立即从存储空间中移除,而是把该记录的 delete_mask 值设置为 1;
  • 被删除记录的 next_record 值为 0,表示该记录没有下一条记录;
  • 被删除记录的前一条记录的 next_record 指向了被删除记录的下一条记录;
  • 最大记录的 n_owned 值从 5 变成了 4。

不论怎么对页中的记录做增删改操作,InnoDB 始终会维护一条记录的单链表,链表中的各个节点按照主键值由小到大的顺序进行连接。

如果又添加一条 c12 的记录呢?

又添加c1为2的记录后最大最小记录与用户记录的链接关系

直接复用了被删除记录的存储空间。

如果数据页中存在多条被删除掉的记录,这些记录的 next_record 会链接起来,并组成一个垃圾链表,以便后续重用这些存储空间。

2.5 Infimum + Supremum

Infimum,即最小记录;Supremum,即最大记录。

记录也可以比大小。对于一条完整的记录来说,比较记录的大小就是比较主键的大小。比如插入的 4 条记录的主键值分别是 1、2、3、4,这意味着这 4 条记录是从小到大依次递增。

InnoDB 规定的最小记录与最大记录的构造十分简单,都由 5 字节的记录头信息和 8 字节大小的一个固定的部分组成(一条占 5+8=135 + 8 = 13 字节,俩一起就 26 字节):

最大记录与最小记录的结构

这两条记录不是用户定义的记录,它们并不存放在页的 User Records 中,而是被单独放在一个称为 Infimum + Supremum 的部分:

最大最小记录与用户记录的区别

2.6 Page Directory

Page Directory,即页目录。

在页中,记录以单向链表的形式进行存储的。单向链表的插入、删除效率高,但检索效率不高,最坏情况需要遍历链表上的所有节点才能完成检索。因此在页结构中专门设计了页目录这个模块,使得能够通过二分查找法的方式对记录进行检索。

现在需要查找 page_demo 表中 c13 的记录,如果使用页目录进行二分查找:

  1. 将所有记录分成几个组,这些记录包括最小记录和最大记录,但不包括标记为“已删除”的记录;
  2. 第 1 组中 只有 最小记录;最后一组是最大记录所在的分组,内部会有 1~8 条记录;其余组中记录的数量在 4~8 条之间。这样使得除第 1 组(最小记录所在组)外,其余组的记录数会尽量平分。
  3. 每个组中最后一条记录的头信息(其中的 n_owned)中会存储该组一共有多少条记录;
  4. 页目录会存储每组最后一条记录的地址偏移量,这些地址偏移量按照先后顺序排列,每组的地址偏移量也被称为槽(slot),每个槽相当于指针指向了不同组的最后一个记录。

页目录中的槽与分组

比如 page_demo 表中共有 6 条记录,InnoDB 会把它们分成两组,第一组中只有一条最小记录,第二组中含有剩余的 5 条记录:

对page_demo表中的记录进行分组

由上图可知:

  • 页目录中只有两个槽,也就是说记录被分为了两组,槽 1 中的值是 112,表示最大记录的地址偏移量(从页面的 0 字节开始数,数 112 个字节);槽 0 中的值是 99,代表最小记录的地址偏移量。
  • 最小记录的 n_owned 值为1,表示以最小记录结尾的这个分组中只有 1 条记录,即最小记录本身。
  • 最大记录的 n_owned 值为 5,表示以最大记录结尾的这个分组中有 5 条记录,除最大记录外,还有用户插入的 4 条记录。

如果将槽与记录链接起来:

将槽与记录链接起来

将记录的分组也体现出来:

体现记录的分组

页目录的分组个数是如何确定的?

InnoDB 规定:对于最小记录所在的分组 只能 有 1 条记录,最大记录所在的分组拥有的记录条数 只能 在 1~8 条之间,剩下分组中记录的条数范围 只能 在是 4~8 条之间。

分组过程将按照:

  • 初始情况下一个数据页中只有最小记录和最大记录,它们分属于两个分组;

  • 每插入一条用户记录,都会从页目录中找到主键值比插入记录的主键值大且差值最小的槽,然后把该槽中最后一条记录的 n_owned 值加 1,表示本组内添加了一条记录,直到该组中的记录数等于 8;

  • 当一个组中的记录数为 8 时再插入一条记录,会将组中的记录拆分为两个组,一个组 4 条,另一个 5 条,并在页目录中新增一个槽来记录新增分组中最大记录的地址偏移量。

如何使用页目录进行快速查找到目标记录

page_demo 表中再增加 12 条记录,现在共有 6+12=186 + 12 = 18 条记录(包括最大、最小记录),这些记录被分为 5 个组:

新增12条记录后的分组情况

各个槽中代表的记录的主键值按照从小到大排序,所以才可以使用二分法来快速查找。5 个槽的编号分别是 0、1、2、3、4,所以初始情况下最低的槽是 low = 0,最高的槽是 high = 4。如果想查找主键值为 6 的记录:

  1. 计算中间槽的位置为 (0+4)÷2=2(0 + 4) \div 2 = 2,槽 2 对应记录的主键值为 8,又因为 8>68 > 6,设置 high 为 2,low 保持不变;
  2. 重新计算中间槽的位置为 (0+2)÷2=1(0 + 2) \div 2 = 1,槽 1 对应的主键值为 4,又因为 4<64 < 6,设置 low 为 1,high 保持不变;
  3. 由于 highlow=1high - low = 1,确定主键值为 6 的记录在槽 2 对应的组中,接下来需要找到槽 2 中主键值最小的那条记录,然后沿着单向链表遍历槽 2 中的记录。

每个槽对应该组中主键值最大的记录,槽 2 对应主键值为 8 的记录,怎么定位一个组中最小的记录呢?

各个槽都是挨着的,可以很轻易的拿到槽 1 对应的记录(主键值为 4),该条记录的下一条记录就是槽 2 中主键值最小的记录,该记录的主键值为 5。可以从主键值为 5 的记录出发,遍历槽 2 中的各条记录,直到找到主键值为 6 的记录。

因为一个组中包含的记录条数范围是 1~8,所以遍历一个组中的记录的代价是很小的。

2.7 Page Header

Page Header,即页面头部。

为了得到数据页中记录的状态信息,比如已经存储了多少条记录、第一条记录的地址是什么、页目录中存储了多少个槽等等,特意在页中定义了名为 Page Header 的部分,Page Header 固定占用 56 个字节,专门存储各种状态信息。

名称 大小(单位 bit) 描述
PAGE_N_DIR_SLOTS 2 当前页目录中的槽数
PAGE_HEAP_TOP 2 还未使用的空间最小地址,该地址之后就是 Free Space
PAGE_N_HEAP 2 当前页中记录的数量(包括最大、最小、被删除的记录)
PAGE_FREE 2 第一个已经标记为删除的记录的地址(多个被删除的记录会通过 next_record 组成垃圾链表)
PAGE_GARBAGE 2 已删除记录占用的字节数
PAGE_LAST_INSERT 2 最后插入记录的位置
PAGE_DIRECTION 2 记录插入的方向
PAGE_N_DIRECTION 2 一个方向连续插入的记录数量
PAGE_N_RECS 2 当前页中记录的数量(不包括最大、最小、被删除的记录)
PAGE_MAX_TRX_ID 8 修改当前页的最大事务 ID,仅在二级索引中定义
PAGE_LEVEL 2 当前页在 B+Tree 中所处的层级
PAGE_INDEX_ID 8 索引 ID,表示当前页属于哪个索引
PAGE_BTR_SEG_LEAF 10 B+Tree 叶子段的头部信息,仅在 B+Tree 的 Root 页中定义
PAGE_BTR_SEG_TOP 10 B+Tree 非叶子段的头部信息,仅在 B+Tree 的 Root 页中定义

PAGE_DIRECTION

如果新插入记录的主键值比上一条记录的主键值大,就说这条记录的插入方向是向右,反之向左。用来表示最后一条记录插入方向的状态就是 PAGE_DIRECTION

PAGE_N_DIRECTION

如果连续几次插入的新记录的方向都是一致的,InnoDB 会把沿着同一个方向插入记录的条数记下来,并用 PAGE_N_DIRECTION 表示。如果最后一条记录的插入方向发生了改变,这个值会被清零并重新统计。

2.8 从数据页的角度看 B+Tree 的查询

一棵 B+Tree 按照节点类型可以分成两部分:

  • 叶子节点,B+Tree 最底层的节点,节点的高度为 0,存储行记录;
  • 非叶子节点,节点高度大于 0,存储索引键和页面指针,并不存储行记录本身

B+Tree 如何进行记录检索的?

先从 B+Tree 的根开始,逐层检索,直到找到叶子节点,也就是找到对应的数据页为止,然后将数据页加载到内存中,页目录中的槽(slot)采用二分查找的方式先找到一个粗略的记录分组,最后在分组中通过链表遍历的方式查找到记录。

普通索引和唯一索引在查询效率上有什么不同?

唯一索引是在普通索引的基础上增加了约束性,即关键字唯一,找到了关键字就会停止检索。

使用普通索引时,用户记录中可能会存在多个关键字相同的情况,根据页结构,在读取一条记录时,不会单独从磁盘中读一条记录出去,而是将这个记录所在的页都加载到内存中进行读取。InnoDB 存储引擎的页大小为 16KB,一个页中可能存储着许多记录,因此在使用普通索引进行查找时,也只是在内存中多几次“判断下一条记录”的操作,对 CPU 来说,这些操作消耗的时间是忽略不计的。

所以对一个索引字段进行检索,无论采用普通索引还是唯一索引,在检索效率上几乎没有区别。

3. InnoDB 行格式

向表中插入记录时,都是以行为单位的,这些记录在磁盘上的存放方式也被称为 行格式记录格式。InnoDB 存储引擎设计了 4 种不同类型的行格式:

  • Compact
  • Redundant
  • Dynamic 和 Compressed

在 MySQL 8.0 中可以使用以下语句查看默认的行格式:

1
SELECT @@innodb_default_row_format;
mysql> SELECT @@innodb_default_row_format;
+-----------------------------+
| @@innodb_default_row_format |
+-----------------------------+
| dynamic                     |
+-----------------------------+

还可以使用如下语句查看某个具体表使用的行格式:

1
SHOW TABLE STATUS like '表名'\G

在创建表时,也可以指定行格式:

1
CREATE TABLE 表名(列的信息) ROW_FORMAT = 行格式名称

也能修改某个表的行格式:

1
ALTER TABLE 表名 ROW_FORMAT = 行格式名称

3.1 COMPACT

在 MySQL 5.1 中,默认行格式为 Compact

一条完整的记录其实可以被分为记录的额外信息和记录的真实数据两大部分。

compact行格式示意图

由上图可知,Compact 行格式分为四个部分:

  • 变长字段长度列表
  • NULL 值列表
  • 记录头信息
  • 真实记录数据

其中的 记录头信息 在前文已经介绍过,本节不再赘述。

变长字段长度列表

MySQL 支持一些变长的数据类型,比如 VARCHAR(M)VARBINARY(M)TEXTBLOB 等类型,这些数据类型修饰列被称为变长字段,变长字段存储的字节数是不固定的,所以在存储真实数据时需要顺便把这些数据占用的字节数也存起来。在 Compact 行格式中,把所有变长字段的真实数据占用的字节长度都存放在记录的开头部位,从而形成一个变长字段长度列表。

注意: 存储的变长长度和字段顺序是反过来的。比如两个 CARCHAR 字段在表结构的顺序是 a(10)b(15),那么在变长字段长度列表中存储的顺序是 15 和 10。

假设 record_test_table 表中的 col1col2col4 列的类型都是 VARCHAR(8),并且均能为 NULL,所以这三个列的值的长度都需要保存在 变长字段长度列表 中。再假设这三列的内容长度以十六进制表示如下表:

字段名 内容长度
col1 0x08
col2 0x04
col3 0x06

这些长度值需要按照列顺序的 逆序 存放,最终该记录的 变长字段长度列表 值为 060408

NULL 值列表

Compact 行格式会把可以为 NULL 的列统一管理起来,并存放在 NULL值列表 中。如果表中的列都要求 NOT NULL,那么 NULL 值列表 也不存在了。

为什么要定义 NULL 值列表?

因为数据都需要对齐,如果没有标注出 NULL 值的位置,就有可能在查询数据时出现混乱。如果使用一个特定的符号放到相应的数据位表示 NULL,虽能达到效果,但会浪费空间。所以不如开辟出一块空间专门用来记录该行的哪些列是非空数据,哪些是空数据:

  • 二进制位值为 1 时,代表该列为 NULL
  • 二进制位值为 0 时,代表该列不为 NULL

假设有字段 a、b、c,其中 a 是主键,在某一行中存储的数依次是 (1, null, 2)。Compact 行格式中的 NULL 值列表中将会存放 01,第一个 0 表示列 c 不为 NULL,第二个 1 表示列 b 的值为 NULL。因为列 a 是主键,肯定是非 NULL 且唯一的,因此 NULL 值列表会自动跳过主键。

因为 NULL 值列表的存在,在 Compact 行格式下,无论是定长的 CHAR,还是变长的 VARCHARNULL 值都不会占用任何存储空间。

记录的真实数据

记录的真实数据除了用户定义的数据以外,还会有三个隐藏列:

列名 是否必须 占用空间 描述
DB_ROW_ID 6 字节 行 ID,唯一标识
DB_TRX_ID 6 字节 事务 ID
DB_ROLL_PTR 7 字节 回滚指针

如果一个表没有手动定义主键列,会选取一个唯一列作为主键列;如果没有唯一列,则会为表默认添加一个名为 DB_ROW_ID 的隐藏列作为主键列。也就是说,DB_ROW_ID 隐藏列是在既没有主键列也唯一列时才会存在的。

DB_TRX_ID 和 DB_ROLL_PTR 与 MySQL 的事务日志有关,此处暂不介绍。

3.2 行溢出

InnoDB 存储引擎可以将一条记录中的某些数据存储在真正的数据页面之外。

VARCHAR(M) 类型最多可以存放 65535 个字节,那可以创建仅包含一个 VARCHAR(65535) 列的表吗?比如:

1
2
3
CREATE  TABLE  varchar_size_demo(
c VARCHAR(65535)
) CHARSET=ascii ROW_FORMAT=Compact;
ERROR 1118 (42000): Row size too large. The maximum row size for the used table type, not counting BLOBs, is 65535. This includes storage overhead, check the manual. You have to change some columns to TEXT or BLOBs

创建失败了,这是因为:MySQL 对一条记录占用的最大存储空间是有限制的,除 BLOBTEXT 类型的列外, 其他所有列(不包括隐藏列和记录头信息)占用的字节长度加起来不能超过 65535 个字节。

变长字段长度列表要占用 2 个字节,且 c 列未被标记为 NOT NULL,因此 NULL 值列表还会占用 1 个字节,最终自能创建出 6553521=6553265535 - 2 - 1 = 65532 个字节的 VARCHAR

1
2
3
CREATE  TABLE  varchar_size_demo(
c VARCHAR(65532)
) CHARSET=ascii ROW_FORMAT=Compact;

注意: 此处的 65532 还和表使用的字符集有关,创建的表使用的字符集是 ascii,在这种字符集下,一个字符恰好占用 1 个字节,如果换用其他字符集,比如 utf8mf4,在这种字符集下,一个字符不再只占用 1 个字节,此时需要额外的计算才能求出 VARCHAR(M)M 的最大值。

一个页的大小一般是 16KB,即 16384 字节,而一个 VARCHAR(M) 类型的列可以存储远超这个值的字节数,这导致一个页可能都存放不了一条记录,这种现象被称为 行溢出

使用 Compact 或 Reduntant 行格式时,对于占用存储空间非常大的列,在记录的真实数据处 只会 存储该列的一部分数据,而把剩余数据分散存储到其他的几个页中,并在记录的真实数据处用 20 个字节指向这些页的地址(这 20 个字节中还包括这些分散在其他页面中的数据所占用的字节数),以便找到剩余数据所在的页,这被称为 页的拓展

页的拓展

3.3 Dynamic 和 Compressed

在 MySQL 8.0 中,默认行格式是 Dynamic。Dynamic、Compressed 行格式和 Compact 行格式很类似,只不过在处理行溢出数据时有差别:

  • Compressed 和 Dynamic 两种行格式对于存放在 BLOB 中的数据采用了 完全的行溢出。在数据页中只存放 20 个字节的指针(溢出页的地址),实际的数据都存放在 Off Page(溢出页)中。

    完全的行溢出

  • Compact 和 Redundant 两种格式会在记录的真实数据处存储一部分数据(存放 768 个前缀字节)。

对于 Compressed 行格式来说,存储在其中的行数据会以 zlib 的算法进行压缩,因此对于 BLOBTEXTVARCHAR 这类大长度类型的数据能够进行非常有效的存储。

3.4 Redundant

Redundant 是 MySQL 5.0 之前 InnoDB 的行记录存储方式,MySQL 8.0 也支持这种行格式。

Redundant行格式示意图

不同于 Compact 行记录格式,Redundant 行格式的首部存在一个 字段长度偏移列表,它同样是按照列的顺序 逆序 摆放的。

字段长度偏移列表

Compact 行格式开头是 变长字段长度列表,而 Redundant 行格式的开头是 字段长度偏移列表,它们相比有以下差异:

  • 少了“变长”两个字。Redundant 行格式会把该条记录中所有列(包括隐藏列)的长度信息 逆序存储到字段长度偏移列表。
  • 多了“偏移”两个字。这意味着计算列值长度的方式不像 Compact 行格式那么直观,它采用两个相邻数值的差值来计算出各个列值的长度。

比如某条记录的字段长度偏移列表是:

2B 25 1F 1B 13 0C 06

由于采用逆序摆放,因此 字段长度偏移列表 中的值是:

06 0C 13 17 1A 24 25

而按照两个相邻数值的差值来计算各个列值的长度的意思是:

  • 第一列 DB_ROW_ID 的长度是 0x060x06 个字节,也就是 6 个字节。

  • 第二列 DB_TRX_ID 的长度是 0x0C0x060x0C - 0x06 个字节,也就是 6 个字节。

  • 第三列 DB_ROLL_PTR 的长度就是 0x130x0C0x13 - 0x0C 个字节,也就是 7 个字节。

  • 第四列 col1 的长度是 0x1B0x130x1B - 0x13 个字节,也就是 8 个字节。

  • 第五列 col2 的长度是 0x1F0x1B0x1F - 0x1B 个字节,也就是 4 个字节。

  • 第六列 col3 的长度是 0x250x1F0x25 - 0x1F 个字节,也就是 6 个字节。

  • 第七列 col4 的长度是 0x2B0x250x2B - 0x25 个字节,也就是 6 个字节。

记录头信息

不同于 Compact 行格式,Redundant 行格式中的记录头信息固定占用 6 个字节(即 48 位):

名称 大小(bit) 描述
() 1 预留位,未使用
() 1 预留位,未使用
deleted_mask 1 该行是否被删除
min_rec_mask 1 B+Tree 的每层非叶子节点中的最小记录会添加此标记
n_owned 4 当前记录拥有的记录数
heap_no 13 索引堆中该记录的位置信息
n_fileds 10 记录中列的数量
1byte_offs_flag 1 字段长度偏移列表中每个列对应的偏移量
next_record 16 页中下一条记录的绝对位置

与 Compact 行格式的记录头信息相比,有两处不同:

  1. Redundant 行格式多了 n_field1byte_offs_flag 两个属性
  2. Redundant 行格式中没有 record_type 属性

4. 区、段、碎片区

4.1 为什么要有区?

B+Tree 的每一层中的页都会形成一个双向链表,如果是以页为单位来分配存储空间,双向链表相邻的两个页之间的物理位置可能相距非常远。

B+Tree 索引的范围查询只需要定位到最左边和最右边的记录,然后沿着双向链表一直扫描就可以了,如果链表中相邻的两个页的物理位置相距非常远,范围查询时将使用随机 IO。磁盘的速度和内存的速度差了好几个数量级,随机 IO 是非常慢的,所以应该尽量让链表中相邻的页的物理位置也相邻,这样进行范围查询时才可以使用所谓的顺序 IO。

一个区是在物理位置上连续的 64个页。因为 InnoDB 中页的大小默认为 16KB,所以一个区的大小是 64×16KB=1MB64 \times 16KB = 1MB

如果表中的数据量较大,为某个索引分配空间时将不再以页为单位进行分配,而是按照区为单位,如果表中的数据特别多,甚至可以一次性分配多个连续的区。虽然这可能造成空间的浪费(数据不足以填充满整个区),但从性能的角度看,这可以消除很多随机 IO,功大于过。

4.2 为什么要有段?

范围查询其实是对 B+Tree 叶子节点中的记录进行顺序扫描,如果不区分叶子节点和非叶子节点,把节点代表的页面都放到申请到的区中的话,范围扫描的效果就大打折扣了(还会扫描非叶子节点)。所以 InnoDB 对 B+Tree 的叶子节点和非叶子节点进行了区别对待,叶子节点有自己独有的区,非叶子节点也有自己独有的区,存放叶子节点的区的集合就是一个 (segment),存放非叶子节点的区的集合也是一个段,也就是说一个索引会生成 2 个段,一个时叶子节点段,另一个非叶子节点段。

除了索引的叶子节点段和非叶子节点段之外,InnoDB 中还有为存储一些特殊的数据而定义的段,比如回滚段,常见的段有数据段、索引段和回滚段。数据段即 B+Tree 的叶子节点,索引段即 B+Tree 的非叶子节点。

在 InnoDB 存储引警中,段的管理都是由引擎自身所完成,DBA 不能、也没有必要对其进行控制,某种意义上简化了 DBA 的管理。

段其实不对应表空间中某个连续的物理区域,而是一个逻辑上的概率,由若干个零散的页面以及一些完整的区组成。

4.3 为什么要有碎片区?

默认情况下,一个使用 InnoDB 存储引擎的表只有一个聚簇索引,一个索引会生成 2 个段,段以区为单位申请存储空间,一个区默认占 1M 的存储空间,因此默认情况下一个只存了几条记录的小表也需要 2M 的存储空间吗?以后每次添加一个索引都要多申请 2M 的存储空间吗?显然不是这样的。

目前为止介绍的区都是纯粹的,一个区被整个分配到某一个段,或者说区中的所有页面都是为了存储同一个段的数据而存在,即使段中的数据填不满区中所有的页面,余下的页面也不会挪作他用。

为了考虑上述情况,InnoDB 提出了 碎片区(fragment) 的概念。在一个碎片区中,并不是所有的页都是为了存储同一个段的数据而存在的,碎片区中的页可以用于不同的目的,比如某些页用于段 A,某些页用于段 B,甚至可能不属于任何段。

碎片区直属于表空间,不属于任何段。

为某个段分配存储空间的策略应该是:

  • 在刚向表中插入数据时,段从某个碎片区以单个页面为单位进行存储空间的分配
  • 当某个段已经占用了 32 个碎片区页面后,申请以完整的区为单位来分配存储空间

段不能仅定义为某些区的集合,更精确的应该是某些零散的页面以及一些完整的区的集合。

4.4 区的分类

区大体上可以分为 4 种类型:

  1. 空闲的区(FREE):现在还没有用到这个区中的任何页面
  2. 有剩余空间的碎片区(FREE_FRAG):碎片区中还有可用的页面
  3. 没有剩余空间的碎片区(FULL_FRAG):碎片区中的所有页面都被使用,没有空闲页面
  4. 附属于某个段的区(FSEG):每一个索引都可以分为叶子节点段和非叶子节点段

处于 FREE、FREE_FRAG 以及 FULL_FRAG 这三种状态的区都是独立的,直属于表空间;而处于 FSEG 状态的区是附属于某个段的。

如果把表空间比作成一个集团军,段就相当于师,区相当于团。一般的团都隶属于某个师,就像是处于 FSEG 的区全都隶属于某个段,而处于 FREE、FREE_FRAG 以及 FULL_FRAG 这三种状态的区却直接隶属于表空间,类似独立团直接听命于军部。

5. 表空间

表空间可以看做是 InnoDB 存储引擎逻辑结构的最高层,所有的数据都存放在表空间中。

表空间是一个逻辑容器,表空间存储的对象是段,在一个表空间中可以有一个或多个段,但是一个段只能属于一个表空间。表空间数据库由一个或多个表空间组成,表空间从管理上可以划分为:

  • 系统表空间(System Tablespace)

  • 独立表空间(File-per-table Tablespace)

  • 撤销表空间(Undo Tablespace)

  • 临时表空间(Temporary Tablespace)等

5.1 独立表空间

独立表空间,即每张表都有一个独立的表空间,也就是数据和索引信息都会保存在自己的表空间中。独立的表空间(即单表)可以在不同的数据库之间进行迁移。

空间可以回收(DROP TABLE 操作可自动回收表空间;其他情况,表空间不能自己回收)。如果对于统计分析或日志表,删除大量数据后可以通过 ALTER TABLE table_name ENGINE=InnoDB; 回收不用的空间。对于使用独立表空间的表,不管怎么删除,表空间的碎片都不会太严重影响性能,且还有机会处理。

独立表空间由段、区、页组成。

真实表空间对应的文件大小

到数据目录里看,会发现一个新建的表对应的 .ibd 文件只占用了 96K(仅在 MySQL 5.7 中,因为 MySQL 8.0 中还保存了表结构,.frm 文件也融入到 .idb 文件中了),仅 6 个页面大小,这是因为一开始表里边都没有数据。.ibd 文件是自扩展的,随着表中数据的增多,表空间对应的文件也会逐渐增大。

查看 InnoDB 的表空间类型

1
SHOW VARIABLES LIKE 'innodb_file_per_table';
mysql> SHOW VARIABLES LIKE 'innodb_file_per_table';
+-----------------------+-------+
| Variable_name         | Value |
+-----------------------+-------+
| innodb_file_per_table | ON    |
+-----------------------+-------+

Value 为 ON,这意味着每张表都会单独保存为一个 .idb 文件。

5.2 系统表空间

系统表空间的结构和独立表空间基本类似,只不过整个 MySQL 进程只有一个系统表空间,相比于独立表空间,在系统表空间中会额外记录一些有关整个系统信息的页面。

每向一个表中插入一条记录,MySQL 还会有如下的校验过程:

  • 校验插入语句对应的表是否存在、插入的列和表中的列是否相符合等语法

  • 判断插入表的聚族索引和所有二级索引对应的根页面是哪个表空间的哪个页面,然后把记录插入对应索引的 B+Tree 中

所以说,MySQL 除了保存着插入的用户数据之外,还需要保存许多额外的信息,比如:

  • 某个表属于哪个表空间,表内有多少个列
  • 表中的每个列是什么类型
  • 表中有多少个索引,每个索引对应哪几个字段,该索引对应的根页面在哪个表空间的哪个页面
  • 表中有多少个外键,外键都对应了哪些列
  • 某个表空间对应文件系统上的文件路径是什么

上述这些数据并不是用户使用 INSERT 语句插入的用户数据,实是为了更好地管理用户数据而不得不引入的额外数据,这些数据也被称为 元数据。InnoDB 存储引擎特意定义了一些列的内部系统表(Internal System Table)来记录这些元数据:

表名 描述
SYS_TABLES 整个 InnoDB 存储引擎中所有的 的信息
SYS_COLUMNS 整个 InnoDB 存储引擎中所有的 的信息
SYS_INDEXES 整个 InnoDB 存储引擎中所有的 索引 的信息
SYS_FIELDS 整个 InnoDB 存储引擎中所有的 索引对应的列 的信息
SYS_FOREIGN 整个 InnoDB 存储引擎中所有的 外键 的信息
SYS_FOREIGN_COLS 整个 InnoDB 存储引擎中所有的 外键对应的列 的信息
SYS_TABLESPACES 整个 InnoDB 存储引擎中所有的 表空间 信息
SYS_DATAFILES 整个 InnoDB 存储引擎中所有的 表空间对应文件系统的文件路径 信息
SYS_VIRTUAL 整个 InnoDB 存储引擎中所有的 虚拟生成的列 信息

这些系统表也被称为 数据字典,它们都以 B+Tree 的形式保存在系统表空间的某些页面中,其中 SYS_TABLESSYS_COLUMNSSYS_INDEXESSYS_FIELDS 这四个表尤为重要,称之为 基本系统表(Basic System Tables)。

注意: 用户不能直接访问 InnoDB 的内部系统表,除非直接去解析系统表空间对应文件系统上的文件。不过考虑到查看这些表的内容可能有助于分析问题,所以在系统数据库 information_schema 中提供了一些以 INNODB_SYS 开头的表:

mysql> USE information_schema;
Reading table information for completion of table and column names
You can turn off this feature to get a quicker startup with -A 
Database changed mysql> SHOW TABLES LIKE 'INNODB_SYS%'; Empty set (0.00 sec)
mysql> SHOW TABLES LIKE 'INNODB%'; +----------------------------------------+ | Tables_in_information_schema (INNODB%) | +----------------------------------------+ | INNODB_BUFFER_PAGE | | INNODB_BUFFER_PAGE_LRU | | INNODB_BUFFER_POOL_STATS | | INNODB_CACHED_INDEXES | | INNODB_CMP | | INNODB_CMPMEM | | INNODB_CMPMEM_RESET | | INNODB_CMP_PER_INDEX | | INNODB_CMP_PER_INDEX_RESET | | INNODB_CMP_RESET | | INNODB_COLUMNS | | INNODB_DATAFILES | | INNODB_FIELDS | | INNODB_FOREIGN | | INNODB_FOREIGN_COLS | | INNODB_FT_BEING_DELETED | | INNODB_FT_CONFIG | | INNODB_FT_DEFAULT_STOPWORD | | INNODB_FT_DELETED | | INNODB_FT_INDEX_CACHE | | INNODB_FT_INDEX_TABLE | | INNODB_INDEXES | | INNODB_METRICS | | INNODB_SESSION_TEMP_TABLESPACES | | INNODB_TABLES | | INNODB_TABLESPACES | | INNODB_TABLESPACES_BRIEF | | INNODB_TABLESTATS | | INNODB_TEMP_TABLE_INFO | | INNODB_TRX | | INNODB_VIRTUAL | +----------------------------------------+ 31 rows in set (0.01 sec)

注意: MySQL 8.0 中无需末尾的 SYS,否则查不出数据。

information_schema 数据库中的以 INNODB_SYS 开头的表并不是真正的内部系统表,而是在存储引警启动时读取这些以 SYS 开头的系统表后填充到这些表中的。它们中的字段并不完全一样,但供日常参考已经足矣。