MySQL原理之结构篇
我们前边唠叨请求处理过程的时候提到过,MySQL
服务器上负责对表中数据的读取和写入工作的部分是存储引擎
,而服务器又支持不同类型的存储引擎,比如InnoDB
、MyISAM
、Memory
啥的,不同的存储引擎一般是由不同的人为实现不同的特性而开发的,真实数据在不同存储引擎中存放的格式一般是不同的,甚至有的存储引擎比如Memory
都不用磁盘来存储数据,也就是说关闭服务器后表中的数据就消失了。由于InnoDB
是MySQL
默认的存储引擎,也是我们最常用到的存储引擎,我们也没有那么多时间去把各个存储引擎的内部实现都看一遍,所以本集要唠叨的是使用InnoDB
作为存储引擎的数据存储结构,了解了一个存储引擎的数据存储结构之后,其他的存储引擎都是依葫芦画瓢,等我们用到了再说哈~
一、InnoDB的记录结构
InnoDB
是一个将表中的数据存储到磁盘上的存储引擎,所以即使关机后重启我们的数据还是存在的。而真正处理数据的过程是发生在内存中的,所以需要把磁盘中的数据加载到内存中,如果是处理写入或修改请求的话,还需要把内存中的内容刷新到磁盘上。而我们知道读写磁盘的速度非常慢,和内存读写差了几个数量级,所以当我们想从表中获取某些记录时,InnoDB
存储引擎需要一条一条的把记录从磁盘上读出来么?不,那样会慢死,InnoDB
采取的方式是:将数据划分为若干个页,以页作为磁盘和内存之间交互的基本单位,InnoDB中页的大小一般为 16 KB。也就是在一般情况下,一次最少从磁盘中读取16KB的内容到内存中,一次最少把内存中的16KB内容刷新到磁盘中。
我们平时是以记录为单位来向表中插入数据的,这些记录在磁盘上的存放方式也被称为行格式
或者记录格式
。设计InnoDB
存储引擎的大叔们到现在为止设计了4种不同类型的行格式
,分别是Compact
、Redundant
、Dynamic
和Compressed
行格式,随着时间的推移,他们可能会设计出更多的行格式,但是不管怎么变,在原理上大体都是相同的。
1.1前置准备
我们可以在创建或修改表的语句中指定行格式
:
1 | CREATE TABLE 表名 (列的信息) ROW_FORMAT=行格式名称 |
比如我们在xiaohaizi
数据库里创建一个演示用的表record_format_demo
,可以这样指定它的行格式
:
1 | USE xiaohaizi; |
现在表中的记录就是这个样子的:
1 | SELECT * FROM record_format_demo; |
演示表的内容也填充好了,现在我们就来看看各个行格式下的存储方式到底有啥不同吧~
1.2Compact行格式
1.2.1变长字段列表
我们知道MySQL
支持一些变长的数据类型,比如VARCHAR(M)
、VARBINARY(M)
、各种TEXT
类型,各种BLOB
类型,我们也可以把拥有这些数据类型的列称为变长字段
,变长字段中存储多少字节的数据是不固定的,所以我们在存储真实数据的时候需要顺便把这些数据占用的字节数也存起来,这样才不至于把MySQL
服务器搞懵,所以这些变长字段占用的存储空间分为两部分:
- 真正的数据内容
- 占用的字节数
在Compact
行格式中,把所有变长字段的真实数据占用的字节长度都存放在记录的开头部位,从而形成一个变长字段长度列表,各变长字段数据占用的字节数按照列的顺序逆序存放
,我们再次强调一遍,是逆序存放!
我们拿record_format_demo
表中的第一条记录来举个例子。因为record_format_demo
表的c1
、c2
、c4
列都是VARCHAR(10)
类型的,也就是变长的数据类型,所以这三个列的值的长度都需要保存在记录开头处,因为record_format_demo
表中的各个列都使用的是ascii
字符集,所以每个字符只需要1个字节来进行编码,来看一下第一条记录各变长字段内容的长度:
把这个字节串组成的变长字段长度列表
填入上边的示意图中的效果就是:
由于第一行记录中c1
、c2
、c4
列中的字符串都比较短,也就是说内容占用的字节数比较小,用1个字节就可以表示,但是如果变长列的内容占用的字节数比较多,可能就需要用2个字节来表示。具体用1个还是2个字节来表示真实数据占用的字节数,InnoDB
有它的一套规则,我们首先声明一下W
、M
和L
的意思:
- 假设某个字符集中表示一个字符最多需要使用的字节数为
W
,也就是使用SHOW CHARSET
语句的结果中的Maxlen
列,比方说utf8
字符集中的W
就是3
,gbk
字符集中的W
就是2
,ascii
字符集中的W
就是1
。 - 对于变长类型
VARCHAR(M)
来说,这种类型表示能存储最多M
个字符(注意是字符不是字节),所以这个类型能表示的字符串最多占用的字节数就是M×W
。 - 假设它实际存储的字符串占用的字节数是
L
。
所以确定使用1个字节还是2个字节表示真正字符串占用的字节数的规则就是这样:
- 如果
M×W <= 255
,那么使用1个字节来表示真正字符串占用的字节数。
也就是说InnoDB在读记录的变长字段长度列表时先查看表结构,如果某个变长字段允许存储的最大字节数不大于255时,可以认为只使用1个字节来表示真正字符串占用的字节数。
- 如果
M×W > 255
,则分为两种情况:- 如果
L <= 127
,则用1个字节来表示真正字符串占用的字节数。 - 如果
L > 127
,则用2个字节来表示真正字符串占用的字节数。
- 如果
InnoDB在读记录的变长字段长度列表时先查看表结构,如果某个变长字段允许存储的最大字节数大于255时,该怎么区分它正在读的某个字节是一个单独的字段长度还是半个字段长度呢?设计InnoDB的大叔
使用该字节的第一个二进制位作为标志位
:如果该字节的第一个位为0,那该字节就是一个单独的字段长度(使用一个字节表示不大于127的二进制的第一个位都为0),如果该字节的第一个位为1,那该字节就是半个字段长度。对于一些占用字节数非常多的字段,比方说某个字段长度大于了16KB,那么如果该记录在单个页面中无法存储时,InnoDB会把一部分数据存放到所谓的溢出页
中,在变长字段长度列表处只存储留在本页面中的长度,所以使用两个字节也可以存放下来。
总结一下就是说:如果该可变字段允许存储的最大字节数(M×W
)超过255字节并且真实存储的字节数(L
)超过127字节,则使用2个字节,否则使用1个字节。
另外需要注意的一点是,变长字段长度列表中只存储值为 非NULL 的列内容占用的长度,值为 NULL 的列的长度是不储存的。也就是说对于第二条记录来说,因为c4
列的值为NULL
,所以第二条记录的变长字段长度列表
只需要存储c1
和c2
列的长度即可。其中c1
列存储的值为'eeee'
,占用的字节数为4
,c2
列存储的值为'fff'
,占用的字节数为3
。数字4
可以用1个字节表示,3
也可以用1个字节表示,所以整个变长字段长度列表
共需2个字节。填充完变长字段长度列表
的两条记录的对比图如下:
并不是所有记录都有这个变长字段长度列表部分,比方说表中所有的列都不是变长的数据类型的话,这一部分就不需要有。
record_format_demo
表的c1
、c2
、c4
列的类型是VARCHAR(10)
,而c3
列的类型是CHAR(10)
,我们说在Compact
行格式下只会把变长类型的列的长度逆序存到变长字段长度列表
中,就像这样:
但是这只是因为我们的record_format_demo
表采用的是ascii
字符集,这个字符集是一个定长字符集,也就是说表示一个字符采用固定的一个字节,如果采用变长的字符集(也就是表示一个字符需要的字节数不确定,比如gbk
表示一个字符要1~2个字节、utf8
表示一个字符要1~3个字节等)的话,c3
列的长度也会被存储到变长字段长度列表
中,比如我们修改一下record_format_demo
表的字符集:
1 | ALTER TABLE record_format_demo MODIFY COLUMN c3 CHAR(10) CHARACTER SET utf8; |
修改该列字符集后记录的变长字段长度列表
也发生了变化,如图:
这就意味着:对于 CHAR(M) 类型的列来说,当列采用的是定长字符集时,该列占用的字节数不会被加到变长字段长度列表,而如果采用变长字符集时,该列占用的字节数也会被加到变长字段长度列表。
1.2.2NULL值列表
我们知道表中的某些列可能存储NULL
值,如果把这些NULL
值都放到记录的真实数据
中存储会很占地方,所以Compact
行格式把这些值为NULL
的列统一管理起来,存储到NULL
值列表中,它的处理过程是这样的:
首先统计表中允许存储
NULL
的列有哪些。我们前边说过,主键列、被
NOT NULL
修饰的列都是不可以存储NULL
值的,所以在统计的时候不会把这些列算进去。比方说表record_format_demo
的3个列c1
、c3
、c4
都是允许存储NULL
值的,而c2
列是被NOT NULL
修饰,不允许存储NULL
值。如果表中没有允许存储 NULL 的列,则
NULL值列表
也不存在了,否则将每个允许存储NULL
的列对应一个二进制位,二进制位按照列的顺序逆序排列
,二进制位表示的意义如下:- 二进制位的值为
1
时,代表该列的值为NULL
。 - 二进制位的值为
0
时,代表该列的值不为NULL
。
- 二进制位的值为
因为表record_format_demo
有3个值允许为NULL
的列,所以这3个列和二进制位的对应关系就是这样:
再一次强调,二进制位按照列的顺序逆序排列,所以第一个列c1
和最后一个二进制位对应。
MySQL
规定NULL值列表
必须用整数个字节的位表示,如果使用的二进制位个数不是整数个字节,则在字节的高位补0
。表record_format_demo
只有3个值允许为NULL
的列,对应3个二进制位,不足一个字节,所以在字节的高位补0
,效果就是这样:
以此类推,如果一个表中有9个允许为NULL
,那这个记录的NULL
值列表部分就需要2个字节来表示了。
知道了规则之后,我们再返回头看表record_format_demo
中的两条记录中的NULL值列表
应该怎么储存。因为只有c1
、c3
、c4
这3个列允许存储NULL
值,所以所有记录的NULL值列表
只需要一个字节。
- 对于第一条记录来说,
c1
、c3
、c4
这3个列的值都不为NULL
,所以它们对应的二进制位都是0
,画个图就是这样:
- 对于第二条记录来说,
c1
、c3
、c4
这3个列中c3
和c4
的值都为NULL
,所以这3个列对应的二进制位的情况就是:
所以这两条记录在填充了NULL值列表
后的示意图就是这样:
1.2.3记录头信息
除了变长字段长度列表
、NULL值列表
之外,还有一个用于描述记录的记录头信息
,它是由固定的5
个字节组成。5
个字节也就是40
个二进制位,不同的位代表不同的意思,如图:
这些二进制位代表的详细信息如下表:
因为我们并不清楚这些属性详细的用法,所以这里就不分析各个属性值是怎么产生的了,之后我们遇到会详细看的。所以我们现在直接看一下record_format_demo
中的两条记录的头信息
分别是什么:
1.2.4记录的真实数据
对于record_format_demo
表来说,记录的真实数据
除了c1
、c2
、c3
、c4
这几个我们自己定义的列的数据以外,MySQL
会为每个记录默认的添加一些列(也称为隐藏列
),具体的列如下:
这里需要提一下InnoDB
表对主键的生成策略:优先使用用户自定义主键作为主键,如果用户没有定义主键,则选取一个不允许存储NULL值的UNIQUE
键作为主键,如果表中连Unique
键都没有定义的话,则InnoDB
会为表默认添加一个名为row_id
的隐藏列作为主键。所以我们从上表中可以看出:InnoDB存储引擎会为每条记录都添加 transaction_id 和 roll_pointer 这两个列,但是 row_id 是可选的(在没有自定义主键以及不允许存储NULL值的UNIQUE键的情况下才会添加该列)。这些隐藏列的值不用我们操心,InnoDB
存储引擎会自己帮我们生成的。
因为表record_format_demo
并没有定义主键,所以MySQL
服务器会为每条记录增加上述的3个列。现在看一下加上记录的真实数据
的两个记录长什么样吧:
看这个图的时候我们需要注意几点:
- 表
record_format_demo
使用的是ascii
字符集,所以0x61616161
就表示字符串'aaaa'
,0x626262
就表示字符串'bbb'
,以此类推。 - 注意第1条记录中
c3
列的值,它是CHAR(10)
类型的,它实际存储的字符串是:'cc'
,而ascii
字符集中的字节表示是'0x6363'
,虽然表示这个字符串只占用了2个字节,但整个c3
列仍然占用了10个字节的空间,除真实数据以外的8个字节的统统都用空格字符填充,空格字符在ascii
字符集的表示就是0x20
。 - 注意第2条记录中
c3
和c4
列的值都为NULL
,它们被存储在了前边的NULL值列表
处,在记录的真实数据处就不再冗余存储,从而节省存储空间。
另外有一点还需要注意,变长字符集的CHAR(M)
类型的列要求至少占用M
个字节,而VARCHAR(M)
却没有这个要求。比方说对于使用utf8
字符集的CHAR(10)
的列来说,该列存储的数据字节长度的范围是10~30个字节。即使我们向该列中存储一个空字符串也会占用10
个字节,这是怕将来更新该列的值的字节长度大于原有值的字节长度而小于10个字节时,可以在该记录处直接更新,而不是在存储空间中重新分配一个新的记录空间,导致原有的记录空间成为所谓的碎片。(这里你感受到设计Compact
行格式的大叔既想节省存储空间,又不想更新CHAR(M)
类型的列产生碎片时的纠结心情了吧。)
1.3Redundant行格式
其实知道了Compact
行格式之后,其他的行格式就是依葫芦画瓢了。我们现在要介绍的Redundant
行格式是MySQL5.0
之前用的一种行格式,也就是说它已经非常老了,但是本着知识完整性的角度还是要提一下,大家乐呵乐呵的看就好。
为了方便大家理解和节省篇幅,我们直接把表record_format_demo
在Redundant
行格式下的两条记录的真实存储数据提供出来,之后我们着重分析两种行格式的不同即可。
下边我们从各个方面看一下Redundant
行格式有什么不同的地方:
字段长度偏移列表
注意
Compact
行格式的开头是变长字段长度列表
,而Redundant
行格式的开头是字段长度偏移列表
,与变长字段长度列表
有两处不同:- 没有了变长两个字,意味着
Redundant
行格式会把该条记录中所有列(包括隐藏列
)的长度信息都按照逆序存储到字段长度偏移列表
。 - 多了个偏移两个字,这意味着计算列值长度的方式不像
Compact
行格式那么直观,它是采用两个相邻数值的差值来计算各个列值的长度。
- 没有了变长两个字,意味着
记录头信息
Redundant
行格式的记录头信息占用6
字节,48
个二进制位,这些二进制位代表的意思如下:第一条记录中的头信息是:
1
00 00 10 0F 00 BC
根据这六个字节可以计算出各个属性的值,如下:
1
2
3
4
5
6
7
8
9预留位1:0x00
预留位2:0x00
delete_mask: 0x00
min_rec_mask: 0x00
n_owned: 0x00
heap_no: 0x02
n_field: 0x07
1byte_offs_flag: 0x01
next_record:0xBC与
Compact
行格式的记录头信息对比来看,有两处不同:Redundant
行格式多了n_field
和1byte_offs_flag
这两个属性。Redundant
行格式没有record_type
这个属性。
1byte_offs_flag
的值是怎么选择的字段长度偏移列表
实质上是存储每个列中的值占用的空间在记录的真实数据
处结束的位置,还是拿record_format_demo
第一条记录为例,0x06
代表第一个列在记录的真实数据
第6个字节处结束,0x0C
代表第二个列在记录的真实数据
第12个字节处结束,0x13
代表第三个列在记录的真实数据
第19个字节处结束,等等等等,最后一个列对应的偏移量值为0x25
,也就意味着最后一个列在记录的真实数据
第37个字节处结束,也就意味着整条记录的真实数据
实际上占用37
个字节。我们前边说过每个列对应的偏移量可以占用1个字节或者2个字节来存储,那到底什么时候用1个字节,什么时候用2个字节呢?其实是根据该条
Redundant
行格式记录的真实数据
占用的总大小来判断的:- 当记录的真实数据占用的字节数不大于127(十六进制
0x7F
,二进制01111111
)时,每个列对应的偏移量占用1个字节。 - 当记录的真实数据占用的字节数大于127,但不大于32767(十六进制
0x7FFF
,二进制0111111111111111
)时,每个列对应的偏移量占用2个字节。 - 有没有记录的真实数据大于32767的情况呢?有,不过此时的记录已经存放到了溢出页中,在本页中只保留前
768
个字节和20个字节的溢出页面地址(当然这20个字节中还记录了一些别的信息)。因为字段长度偏移列表
处只需要记录每个列在本页面中的偏移就好了,所以每个列使用2个字节来存储偏移量就够了。
大家可以看出来,设计
Redundant
行格式的大叔还是比较简单粗暴的,直接使用整个记录的真实数据
长度来决定使用1个字节还是2个字节存储列对应的偏移量。只要整条记录的真实数据占用的存储空间大小大于127,即使第一个列的值占用存储空间小于127,那对不起,也需要使用2个字节来表示该列对应的偏移量。简单粗暴,就是这么简单粗暴(所以这种行格式有些过时了~)。为了在解析记录时知道每个列的偏移量是使用1个字节还是2个字节表示的,设计
Redundant
行格式的大叔特意在记录头信息
里放置了一个称之为1byte_offs_flag
的属性:- 当它的值为1时,表明使用1个字节存储。
- 当它的值为0时,表明使用2个字节存储。
- 当记录的真实数据占用的字节数不大于127(十六进制
Redundant
行格式中NULL
值的处理因为
Redundant
行格式并没有NULL值列表
,所以设计Redundant
行格式的大叔在字段长度偏移列表
中的各个列对应的偏移量处做了一些特殊处理 —— 将列对应的偏移量值的第一个比特位作为是否为NULL
的依据,该比特位也可以被称之为NULL比特位
。也就是说在解析一条记录的某个列时,首先看一下该列对应的偏移量的NULL比特位
是不是为1
,如果为1
,那么该列的值就是NULL
,否则不是NULL
。这也就解释了上边介绍为什么只要记录的真实数据大于127(十六进制
0x7F
,二进制01111111
)时,就采用2个字节来表示一个列对应的偏移量,主要是第一个比特位是所谓的NULL比特位
,用来标记该列的值是否为NULL
。但是还有一点要注意,对于值为
NULL
的列来说,该列的类型是否为定长类型决定了NULL
值的实际存储方式,我们接下来分析一下record_format_demo
表的第二条记录,它对应的字段长度偏移列表
如下:1
A4 A4 1A 17 13 0C 06
按照列的顺序排放就是:
1
06 0C 13 17 1A A4 A4
我们分情况看一下:
如果存储
NULL
值的字段是定长类型的,比方说CHAR(M)
数据类型的,则NULL
值也将占用记录的真实数据部分,并把该字段对应的数据使用0x00
字节填充。如图第二条记录的
c3
列的值是NULL
,而c3
列的类型是CHAR(10)
,占用记录的真实数据部分10字节,所以我们看到在Redundant
行格式中使用0x00000000000000000000
来表示NULL
值。另外,
c3
列对应的偏移量为0xA4
,它对应的二进制实际是:10100100
,可以看到最高位为1
,意味着该列的值是NULL
。将最高位去掉后的值变成了0100100
,对应的十进制值为36
,而c2
列对应的偏移量为0x1A
,也就是十进制的26
。36 - 26 = 10
,也就是说最终c3
列占用的存储空间为10个字节。如果该存储
NULL
值的字段是变长数据类型的,则不在记录的真实数据
处占用任何存储空间。比如
record_format_demo
表的c4
列是VARCHAR(10)
类型的,VARCHAR(10)
是一个变长数据类型,c4
列对应的偏移量为0xA4
,与c3
列对应的偏移量相同,这也就意味着它的值也为NULL
,将0xA4
的最高位去掉后对应的十进制值也是36
,36 - 36 = 0
,也就意味着c4
列本身不占用任何记录的实际数据
处的空间。
除了以上的几点之外,
Redundant
行格式和Compact
行格式还是大致相同的。
我们知道
Compact
行格式在CHAR(M)
类型的列中存储数据的时候还挺麻烦,分变长字符集和定长字符集的情况,而在Redundant
行格式中十分干脆,不管该列使用的字符集是啥,只要是使用CHAR(M)
类型,占用的真实数据空间就是该字符集表示一个字符最多需要的字节数和M
的乘积。比方说使用utf8
字符集的CHAR(10)
类型的列占用的真实数据空间始终为30
个字节,使用gbk
字符集的CHAR(10)
类型的列占用的真实数据空间始终为20
个字节。由此可以看出来,使用Redundant
行格式的CHAR(M)
类型的列是不会产生碎片的。
1.4行溢出数据
1.4.1VARCHAR(M)最多能存储的数据
我们知道对于VARCHAR(M)
类型的列最多可以占用65535
个字节。其中的M
代表该类型最多存储的字符数量,如果我们使用ascii
字符集的话,一个字符就代表一个字节,我们看看VARCHAR(65535)
是否可用:
1 | CREATE TABLE varchar_size_demo( |
从报错信息里可以看出,MySQL
对一条记录占用的最大存储空间是有限制的,除了BLOB
或者TEXT
类型的列之外,其他所有的列(不包括隐藏列和记录头信息)占用的字节长度加起来不能超过65535
个字节。所以MySQL
服务器建议我们把存储类型改为TEXT
或者BLOB
的类型。这个65535
个字节除了列本身的数据之外,还包括一些其他的数据(storage overhead
),比如说我们为了存储一个VARCHAR(M)
类型的列,其实需要占用3部分存储空间:
- 真实数据
- 真实数据占用字节的长度
NULL
值标识,如果该列有NOT NULL
属性则可以没有这部分存储空间
如果该VARCHAR
类型的列没有NOT NULL
属性,那最多只能存储65532
个字节的数据,因为真实数据的长度可能占用2个字节,NULL
值标识需要占用1个字节:
1 | CREATE TABLE varchar_size_demo( |
如果VARCHAR
类型的列有NOT NULL
属性,那最多只能存储65533
个字节的数据,因为真实数据的长度可能占用2个字节,不需要NULL
值标识:
1 | DROP TABLE varchar_size_demo; |
如果VARCHAR(M)
类型的列使用的不是ascii
字符集,那会怎么样呢?来看一下:
1 | DROP TABLE varchar_size_demo; |
从执行结果中可以看出,如果VARCHAR(M)
类型的列使用的不是ascii
字符集,那M
的最大取值取决于该字符集表示一个字符最多需要的字节数。在列的值允许为NULL
的情况下,gbk
字符集表示一个字符最多需要2
个字节,那在该字符集下,M
的最大取值就是32766
(也就是:65532/2),也就是说最多能存储32766
个字符;utf8
字符集表示一个字符最多需要3
个字节,那在该字符集下,M
的最大取值就是21844
,就是说最多能存储21844
(也就是:65532/3)个字符。
上述所言在列的值允许为NULL的情况下,gbk字符集下M的最大取值就是32766,utf8字符集下M的最大取值就是21844,这都是在表中只有一个字段的情况下说的,一定要记住一个行中的所有列(不包括隐藏列和记录头信息)占用的字节长度加起来不能超过65535个字节!
1.4.2记录中的数据太多产生的溢出
我们以ascii
字符集下的varchar_size_demo
表为例,插入一条记录:
1 | CREATE TABLE varchar_size_demo( |
其中的REPEAT('a', 65532)
是一个函数调用,它表示生成一个把字符'a'
重复65532
次的字符串。前边说过,MySQL
中磁盘和内存交互的基本单位是页
,也就是说MySQL
是以页
为基本单位来管理存储空间的,我们的记录都会被分配到某个页
中存储。而一个页的大小一般是16KB
,也就是16384
字节,而一个VARCHAR(M)
类型的列就最多可以存储65532
个字节,这样就可能造成一个页存放不了一条记录的尴尬情况。
在Compact
和Redundant
行格式中,对于占用存储空间非常大的列,在记录的真实数据
处只会存储该列的一部分数据,把剩余的数据分散存储在几个其他的页中,然后记录的真实数据
处用20个字节存储指向这些页的地址(当然这20个字节中还包括这些分散在其他页面中的数据的占用的字节数),从而可以找到剩余数据所在的页,如图所示:
从图中可以看出来,对于Compact
和Redundant
行格式来说,如果某一列中的数据非常多的话,在本记录的真实数据处只会存储该列的前768
个字节的数据和一个指向其他页的地址,然后把剩下的数据存放到其他页中,这个过程也叫做行溢出
,存储超出768
字节的那些页面也被称为溢出页
。画一个简图就是这样:
1.4.3行溢出的临界点
那发生行溢出
的临界点是什么呢?也就是说在列存储多少字节的数据时就会发生行溢出
?
MySQL
中规定一个页中至少存放两行记录,至于为什么这么规定我们之后再说(其实跟B+树索引有关,一个B+树的节点中最少包含两条记录,否则B+树层级过高甚至极端情况下根本无法构建起来),现在看一下这个规定造成的影响。以上边的varchar_size_demo
表为例,它只有一个列c
,我们往这个表中插入两条记录,每条记录最少插入多少字节的数据才会行溢出
的现象呢?这得分析一下页中的空间都是如何利用的。
每个页除了存放我们的记录以外,也需要存储一些额外的信息,乱七八糟的额外信息加起来需要
132
个字节的空间(现在只要知道这个数字就好了),其他的空间都可以被用来存储记录。每个记录需要的额外信息是
27
字节。这27个字节包括下边这些部分:
- 2个字节用于存储真实数据的长度
- 1个字节用于存储列是否是NULL值
- 5个字节大小的记录头信息
- 6个字节的
row_id
列 - 6个字节的
transaction_id
列 - 7个字节的
roll_pointer
列
假设一个列中存储的数据字节数为n,设计MySQL
的大叔规定如果该列不发生溢出的现象,就需要满足下边这个式子:
1 | 132 + 2×(27 + n) < 16384 |
求解这个式子得出的解是:n < 8099
。也就是说如果一个列中存储的数据小于8099
个字节,那么该列就不会成为溢出列
,否则该列就需要成为溢出列
。不过这个8099
个字节的结论只是针对只有一个列的varchar_size_demo
表来说的,如果表中有多个列,那上边的式子和结论都需要改一改了,所以重点就是:你不用关注这个临界点是什么,只要知道如果我们一条记录的某个列中存储的数据占用的字节数非常多时,该列就可能成为溢出列
。
1.5Dynamic和Compressed行格式
下边要介绍另外两个行格式,Dynamic
和Compressed
行格式,我现在使用的MySQL
版本是5.7
,它的默认行格式就是Dynamic
,这俩行格式和Compact
行格式挺像,只不过在处理行溢出
数据时有点儿分歧,它们不会在记录的真实数据处存储字段真实数据的前768
个字节,而是把所有的字节都存储到溢出页中,只在记录的真实数据处存储指向溢出页的地址(当然,这20字节还包括真实数据占用的字节数),就像这样:
Compressed
行格式和Dynamic
不同的一点是,Compressed
行格式会采用压缩算法对页面进行压缩,以节省空间。
二、InnoDB的数据页结构
2.1.不同类型的页简介
前边我们简单提了一下页
的概念,它是InnoDB
管理存储空间的基本单位,一个页的大小一般是16KB
。InnoDB
为了不同的目的而设计了许多种不同类型的页
,比如存放表空间头部信息
的页,存放Insert Buffer
信息的页,存放INODE
信息的页,存放undo
日志信息的页等等等等。当然了,如果我说的这些名词你一个都没有听过,就当我放了个屁吧~ 不过这没有一毛钱关系,我们今儿个也不准备说这些类型的页,我们聚焦的是那些存放我们表中记录的那种类型的页,官方称这种存放记录的页为索引(INDEX
)页,鉴于我们还没有了解过索引是个什么东西,而这些表中的记录就是我们日常口中所称的数据
,所以目前还是叫这种存放记录的页为数据页
吧。(对于InnoDB存储引擎来说,索引即数据,因此叫它数据页也没毛病)
2.2数据页结构的快速浏览
数据页代表的这块16KB
大小的存储空间可以被划分为多个部分,不同部分有不同的功能,各个部分如图所示:
从图中可以看出,一个InnoDB
数据页的存储空间大致被划分成了7
个部分,有的部分占用的字节数是确定的,有的部分占用的字节数是不确定的。下边我们用表格的方式来大致描述一下这7个部分都存储一些啥内容(快速的瞅一眼就行了,后边会详细唠叨的):
2.3记录在页中的存储
在页的7个组成部分中,我们自己存储的记录会按照我们指定的行格式
存储到User Records
部分。但是在一开始生成页的时候,其实并没有User Records
这个部分,每当我们插入一条记录,都会从Free Space
部分,也就是尚未使用的存储空间中申请一个记录大小的空间划分到User Records
部分,当Free Space
部分的空间全部被User Records
部分替代掉之后,也就意味着这个页使用完了,如果还有新的记录插入的话,就需要去申请新的页了,这个过程的图示如下:
为了更好的管理在User Records
中的这些记录,InnoDB
可费了一番力气呢,在哪费力气了呢?不就是把记录按照指定的行格式一条一条摆在User Records
部分么?其实这话还得从记录行格式的记录头信息
中说起。
为了故事的顺利发展,我们先创建一个表:
1 | CREATE TABLE page_demo( |
这个新创建的page_demo
表有3个列,其中c1
和c2
列是用来存储整数的,c3
列是用来存储字符串的。需要注意的是,我们把 c1 列指定为主键,所以在具体的行格式中InnoDB就没必要为我们去创建那个所谓的 row_id 隐藏列了。而且我们为这个表指定了ascii
字符集以及Compact
的行格式。所以这个表中记录的行格式示意图就是这样的:
从图中可以看到,我们特意把记录头信息
的5个字节的数据给标出来了,说明它很重要,我们再次先把这些记录头信息
中各个属性的大体意思浏览一下(我们目前使用Compact
行格式进行演示):
由于我们现在主要在唠叨记录头信息
的作用,所以为了大家理解上的方便,我们只在page_demo
表的行格式演示图中画出有关的头信息属性以及c1
、c2
、c3
列的信息(其他信息没画不代表它们不存在啊,只是为了理解上的方便在图中省略了~),简化后的行格式示意图就是这样:
下边我们试着向page_demo
表中插入几条记录:
1 | INSERT INTO page_demo VALUES(1, 100, 'aaaa'), (2, 200, 'bbbb'), (3, 300, 'cccc'), (4, 400, 'dddd'); |
为了方便大家分析这些记录在页
的User Records
部分中是怎么表示的,我把记录中头信息和实际的列数据都用十进制表示出来了(其实是一堆二进制位),所以这些记录的示意图就是:
看这个图的时候需要注意一下,各条记录在User Records
中存储的时候并没有空隙,这里只是为了大家观看方便才把每条记录单独画在一行中。我们对照着这个图来看看记录头信息中的各个属性是啥意思:
delete_mask
这个属性标记着当前记录是否被删除,占用1个二进制位,值为
0
的时候代表记录并没有被删除,为1
的时候代表记录被删除掉了。啥?被删除的记录还在
页
中么?是的,摆在台面上的和背地里做的可能大相径庭,你以为它删除了,可它还在真实的磁盘上[摊手]。这些被删除的记录之所以不立即从磁盘上移除,是因为移除它们之后把其他的记录在磁盘上重新排列需要性能消耗,所以只是打一个删除标记而已,所有被删除掉的记录都会组成一个所谓的垃圾链表
,在这个链表中的记录占用的空间称之为所谓的可重用空间
,之后如果有新记录插入到表中的话,可能把这些被删除的记录占用的存储空间覆盖掉。
将这个delete_mask位设置为1和将被删除的记录加入到垃圾链表中其实是两个阶段,我们后边在介绍事务的时候会详细唠叨删除操作的详细过程,稍安勿躁。
min_rec_mask
B+树的每层非叶子节点中的最小记录都会添加该标记,什么是个
B+
树?什么是个非叶子节点?好吧,等会再聊这个问题。反正我们自己插入的四条记录的min_rec_mask
值都是0
,意味着它们都不是B+
树的非叶子节点中的最小记录。n_owned
这个暂时保密,稍后它是主角~
heap_no
这个属性表示当前记录在本
页
中的位置,从图中可以看出来,我们插入的4条记录在本页
中的位置分别是:2
、3
、4
、5
。是不是少了点啥?是的,怎么不见heap_no
值为0
和1
的记录呢?这其实是设计
InnoDB
的大叔们玩的一个小把戏,他们自动给每个页里边儿加了两个记录,由于这两个记录并不是我们自己插入的,所以有时候也称为伪记录
或者虚拟记录
。这两个伪记录一个代表最小记录
,一个代表最大记录
,等一下哈~,记录可以比大小么?是的,记录也可以比大小,对于一条完整的记录来说,比较记录的大小就是比较
主键
的大小。比方说我们插入的4行记录的主键值分别是:1
、2
、3
、4
,这也就意味着这4条记录的大小从小到大依次递增。
请注意我强调了对于
一条完整的记录
来说,比较记录的大小就相当于比的是主键的大小
(聚簇索引
)。后边我们还会介绍只存储一条记录的部分列
的情况,比较记录的大小就是索引列+主键
(二级索引
)。
但是不管我们向页
中插入了多少自己的记录,设计InnoDB
的大叔们都规定他们定义的两条伪记录分别为最小记录与最大记录。这两条记录的构造十分简单,都是由5字节大小的记录头信息
和8字节大小的一个固定的部分组成的,如图所示
由于这两条记录不是我们自己定义的记录,所以它们并不存放在页
的User Records
部分,他们被单独放在一个称为Infimum + Supremum
的部分,如图所示:
从图中我们可以看出来,最小记录和最大记录的heap_no
值分别是0
和1
,也就是说它们的位置最靠前。
record_type
这个属性表示当前记录的类型,一共有4种类型的记录,
0
表示普通记录,1
表示B+树非叶节点记录,2
表示最小记录,3
表示最大记录。从图中我们也可以看出来,我们自己插入的记录就是普通记录,它们的record_type
值都是0
,而最小记录和最大记录的record_type
值分别为2
和3
。至于
record_type
为1
的情况,我们之后在说索引的时候会重点强调的。next_record
这玩意儿非常重要,它表示从当前记录的真实数据到下一条记录的真实数据的地址偏移量。比方说第一条记录的
next_record
值为32
,意味着从第一条记录的真实数据的地址处向后找32
个字节便是下一条记录的真实数据。如果你熟悉数据结构的话,就立即明白了,这其实是个链表
,可以通过一条记录找到它的下一条记录。但是需要注意注意再注意的一点是,下一条记录
指得并不是按照我们插入顺序的下一条记录,而是按照主键值由小到大的顺序的下一条记录。而且规定 Infimum记录(也就是最小记录) 的下一条记录就是本页中主键值最小的用户记录,而本页中主键值最大的用户记录的下一条记录就是 Supremum记录(也就是最大记录),为了更形象的表示一下这个next_record
起到的作用,我们用箭头来替代一下next_record
中的地址偏移量:从图中可以看出来,我们的记录按照主键从小到大的顺序形成了一个单链表。
最大记录
的next_record
的值为0
,这也就是说最大记录是没有下一条记录
了,它是这个单链表中的最后一个节点。如果从中删除掉一条记录,这个链表也是会跟着变化的,比如我们把第2条记录删掉:1
2DELETE FROM page_demo WHERE c1 = 2;
Query OK, 1 row affected (0.02 sec)删掉第2条记录后的示意图就是:
从图中可以看出来,删除第2条记录前后主要发生了这些变化:
- 第2条记录并没有从存储空间中移除,而是把该条记录的
delete_mask
值设置为1
。 - 第2条记录的
next_record
值变为了0,意味着该记录没有下一条记录了。 - 第1条记录的
next_record
指向了第3条记录。 - 还有一点你可能忽略了,就是
最大记录
的n_owned
值从5
变成了4
,关于这一点的变化我们稍后会详细说明的。
所以,不论我们怎么对页中的记录做增删改操作,InnoDB始终会维护一条记录的单链表,链表中的各个节点是按照主键值由小到大的顺序连接起来的。
你会不会觉得next_record这个指针有点儿怪,为啥要指向记录头信息和真实数据之间的位置呢?为啥不干脆指向整条记录的开头位置,也就是记录的额外信息开头的位置呢?因为这个位置刚刚好,向左读取就是记录头信息,向右读取就是真实数据。我们前边还说过变长字段长度列表、NULL值列表中的信息都是逆序存放,
这样可以使记录中位置靠前的字段和它们对应的字段长度信息在内存中的距离更近,可能会提高高速缓存的命中率
。再来看一个有意思的事情,因为主键值为
2
的记录被我们删掉了,但是存储空间却没有回收,如果我们再次把这条记录插入到表中,会发生什么事呢?1
2mysql> INSERT INTO page_demo VALUES(2, 200, 'bbbb');
Query OK, 1 row affected (0.00 sec)我们看一下记录的存储情况:
从图中可以看到,
InnoDB
并没有因为新记录的插入而为它申请新的存储空间,而是直接复用了原来被删除记录的存储空间。当数据页中存在多条被删除掉的记录时,这些记录的next_record属性将会把这些被删除掉的记录组成一个垃圾链表,以备之后重用这部分存储空间。
- 第2条记录并没有从存储空间中移除,而是把该条记录的
2.4Page Directory
现在我们了解了记录在页中按照主键值由小到大顺序串联成一个单链表,那如果我们想根据主键值查找页中的某条记录该咋办呢?比如说这样的查询语句:
1 | SELECT * FROM page_demo WHERE c1 = 3; |
最笨的办法:从Infimum
记录(最小记录)开始,沿着链表一直往后找,总有一天会找到(或者找不到[摊手]),在找的时候还能投机取巧,因为链表中各个记录的值是按照从小到大顺序排列的,所以当链表的某个节点代表的记录的主键值大于你想要查找的主键值时,你就可以停止查找了,因为该节点后边的节点的主键值依次递增。
这个方法在页中存储的记录数量比较少的情况用起来也没啥问题,比方说现在我们的表里只有4
条自己插入的记录,所以最多找4
次就可以把所有记录都遍历一遍,但是如果一个页中存储了非常多的记录,这么查找对性能来说还是有损耗的,所以我们说这种遍历查找这是一个笨
办法。但是设计InnoDB
的大叔们是什么人,他们能用这么笨的办法么,当然是要设计一种更溜的查找方式喽,他们从书的目录中找到了灵感。
我们平常想从一本书中查找某个内容的时候,一般会先看目录,找到需要查找的内容对应的书的页码,然后到对应的页码查看内容。设计InnoDB
的大叔们为我们的记录也制作了一个类似的目录,他们的制作过程是这样的:
- 将所有正常的记录(包括最大和最小记录,不包括标记为已删除的记录)划分为几个组。
- 每个组的最后一条记录(也就是组内最大的那条记录)的头信息中的
n_owned
属性表示该记录拥有多少条记录,也就是该组内共有几条记录。 - 将每个组的最后一条记录的地址偏移量单独提取出来按顺序存储到靠近
页
的尾部的地方,这个地方就是所谓的Page Directory
,也就是页目录
(此时应该返回头看看页面各个部分的图)。页面目录中的这些地址偏移量被称为槽
(英文名:Slot
),所以这个页面目录就是由槽
组成的。
比方说现在的page_demo
表中正常的记录共有6条,InnoDB
会把它们分成两组,第一组中只有一个最小记录,第二组中是剩余的5条记录,看下边的示意图:
从这个图中我们需要注意这么几点:
- 现在
页目录
部分中有两个槽,也就意味着我们的记录被分成了两个组,槽1
中的值是112
,代表最大记录的地址偏移量(就是从页面的0字节开始数,数112个字节);槽0
中的值是99
,代表最小记录的地址偏移量。 - 注意最小和最大记录的头信息中的
n_owned
属性- 最小记录的
n_owned
值为1
,这就代表着以最小记录结尾的这个分组中只有1
条记录,也就是最小记录本身。 - 最大记录的
n_owned
值为5
,这就代表着以最大记录结尾的这个分组中只有5
条记录,包括最大记录本身还有我们自己插入的4
条记录。
- 最小记录的
99
和112
这样的地址偏移量很不直观,我们用箭头指向的方式替代数字,这样更易于我们理解,所以修改后的示意图就是这样:
哎呀,咋看上去怪怪的,这么乱的图对于我这个强迫症真是不能忍,那我们就暂时不管各条记录在存储设备上的排列方式了,单纯从逻辑上看一下这些记录和页目录的关系:
这样看就顺眼多了嘛!为什么最小记录的n_owned
值为1,而最大记录的n_owned
值为5
呢,这里头有什么猫腻么?
是的,设计InnoDB
的大叔们对每个分组中的记录条数是有规定的:对于最小记录所在的分组只能有 1 条记录,最大记录所在的分组拥有的记录条数只能在 1~8 条之间,剩下的分组中记录的条数范围只能在是 4~8 条之间。所以分组是按照下边的步骤进行的:
- 初始情况下一个数据页里只有最小记录和最大记录两条记录,它们分属于两个分组。
- 之后每插入一条记录,都会从
页目录
中找到主键值比本记录的主键值大并且差值最小的槽,然后把该槽对应的记录的n_owned
值加1,表示本组内又添加了一条记录,直到该组中的记录数等于8个。 - 在一个组中的记录数等于8个后再插入一条记录时,会将组中的记录拆分成两个组,一个组中4条记录,另一个5条记录。这个过程会在
页目录
中新增一个槽
来记录这个新增分组中最大的那条记录的偏移量。
由于现在page_demo
表中的记录太少,无法演示添加了页目录
之后加快查找速度的过程,所以再往page_demo
表中添加一些记录:
1 | mysql> INSERT INTO page_demo VALUES(5, 500, 'eeee'), (6, 600, 'ffff'), (7, 700, 'gggg'), (8, 800, 'hhhh'), (9, 900, 'iiii'), (10, 1000, 'jjjj'), (11, 1100, 'kkkk'), (12, 1200, 'llll'), (13, 1300, 'mmmm'), (14, 1400, 'nnnn'), (15, 1500, 'oooo'), (16, 1600, 'pppp'); |
哈,我们一口气又往表中添加了12条记录,现在页里边就一共有18条记录了(包括最小和最大记录),这些记录被分成了5个组,如图所示:
因为把16条记录的全部信息都画在一张图里太占地方,让人眼花缭乱的,所以只保留了用户记录头信息中的n_owned
和next_record
属性,也省略了各个记录之间的箭头,我没画不等于没有啊!现在看怎么从这个页目录
中查找记录。因为各个槽代表的记录的主键值都是从小到大排序的,所以我们可以使用所谓的二分法
来进行快速查找。5个槽的编号分别是:0
、1
、2
、3
、4
,所以初始情况下最低的槽就是low=0
,最高的槽就是high=4
。比方说我们想找主键值为6
的记录,过程是这样的:
- 计算中间槽的位置:
(0+4)/2=2
,所以查看槽2
对应记录的主键值为8
,又因为8 > 6
,所以设置high=2
,low
保持不变。 - 重新计算中间槽的位置:
(0+2)/2=1
,所以查看槽1
对应的主键值为4
,又因为4 < 6
,所以设置low=1
,high
保持不变。 - 因为
high - low
的值为1,所以确定主键值为6
的记录在槽2
对应的组中。此刻我们需要找到槽2
中主键值最小的那条记录,然后沿着单向链表遍历槽2
中的记录。但是我们前边又说过,每个槽对应的记录都是该组中主键值最大的记录,这里槽2
对应的记录是主键值为8
的记录,怎么定位一个组中最小的记录呢?别忘了各个槽都是挨着的,我们可以很轻易的拿到槽1
对应的记录(主键值为4
),该条记录的下一条记录就是槽2
中主键值最小的记录,该记录的主键值为5
。所以我们可以从这条主键值为5
的记录出发,遍历槽2
中的各条记录,直到找到主键值为6
的那条记录即可。由于一个组中包含的记录条数只能是1~8条,所以遍历一个组中的记录的代价是很小的。
所以在一个数据页中查找指定主键值的记录的过程分为两步:
- 通过
二分法确定该记录所在的槽
,并找到该槽所在分组中主键值最小的那条记录
。 - 通过记录的
next_record
属性遍历该槽所在的组中的各个记录。
2.5Page Header
设计InnoDB
的大叔们为了能得到一个数据页中存储的记录的状态信息,比如本页中已经存储了多少条记录,第一条记录的地址是什么,页目录中存储了多少个槽等等,特意在页中定义了一个叫Page Header
的部分,它是页
结构的第二部分,这个部分占用固定的56
个字节,专门存储各种状态信息,具体各个字节都是干嘛的看下表:
在这里我们先唠叨一下PAGE_DIRECTION
和PAGE_N_DIRECTION
的意思:
PAGE_DIRECTION
假如新插入的一条记录的主键值比上一条记录的主键值大,我们说这条记录的插入方向是右边,反之则是左边。用来表示最后一条记录插入方向的状态就是
PAGE_DIRECTION
。PAGE_N_DIRECTION
假设连续几次插入新记录的方向都是一致的,
InnoDB
会把沿着同一个方向插入记录的条数记下来,这个条数就用PAGE_N_DIRECTION
这个状态表示。当然,如果最后一条记录的插入方向改变了的话,这个状态的值会被清零重新统计。
至于我们没提到的那些属性,我没说是因为现在不需要大家知道。不要着急,当我们学完了后边的内容,你再回头看,一切都是那么清晰。
2.6File Header
上边唠叨的Page Header
是专门针对数据页
记录的各种状态信息,比方说页里头有多少个记录了呀,有多少个槽了呀。我们现在描述的File Header
针对各种类型的页都通用,也就是说不同类型的页都会以File Header
作为第一个组成部分,它描述了一些针对各种页都通用的一些信息,比方说这个页的编号是多少,它的上一个页、下一个页是谁啦吧啦吧啦~ 这个部分占用固定的38
个字节,是由下边这些内容组成的:
对照着这个表格,我们看几个目前比较重要的部分:
FIL_PAGE_SPACE_OR_CHKSUM
这个代表当前页面的校验和(checksum)。啥是个校验和?就是对于一个很长很长的字节串来说,我们会通过某种算法来计算一个比较短的值来代表这个很长的字节串,这个比较短的值就称为
校验和
。这样在比较两个很长的字节串之前先比较这两个长字节串的校验和,如果校验和都不一样两个长字节串肯定是不同的,所以省去了直接比较两个比较长的字节串的时间损耗。FIL_PAGE_OFFSET
每一个
页
都有一个单独的页号,就跟你的身份证号码一样,InnoDB
通过页号来可以唯一定位一个页
。FIL_PAGE_TYPE
这个代表当前
页
的类型,我们前边说过,InnoDB
为了不同的目的而把页分为不同的类型,我们上边介绍的其实都是存储记录的数据页
,其实还有很多别的类型的页,具体如下表:我们存放记录的数据页的类型其实是
FIL_PAGE_INDEX
,也就是所谓的索引页
。至于啥是个索引,且听下回分解~FIL_PAGE_PREV
和FIL_PAGE_NEXT
我们前边强调过,
InnoDB
都是以页为单位存放数据的,有时候我们存放某种类型的数据占用的空间非常大(比方说一张表中可以有成千上万条记录),InnoDB
可能不可以一次性为这么多数据分配一个非常大的存储空间,如果分散到多个不连续的页中存储的话需要把这些页关联起来,FIL_PAGE_PREV
和FIL_PAGE_NEXT
就分别代表本页的上一个和下一个页的页号。这样通过建立一个双向链表把许许多多的页就都串联起来了,而无需这些页在物理上真正连着。需要注意的是,并不是所有类型的页都有上一个和下一个页的属性,不过我们本集中唠叨的数据页
(也就是类型为FIL_PAGE_INDEX
的页)是有这两个属性的,所以所有的数据页其实是一个双链表,就像这样:
关于File Header
的其他属性我们暂时用不到,等用到的时候再提哈~
2.7File Trailer
我们知道InnoDB
存储引擎会把数据存储到磁盘上,但是磁盘速度太慢,需要以页
为单位把数据加载到内存中处理,如果该页中的数据在内存中被修改了,那么在修改后的某个时间需要把数据同步到磁盘中。但是在同步了一半的时候中断电了咋办,这不是莫名尴尬么?为了检测一个页是否完整(也就是在同步的时候有没有发生只同步一半的尴尬情况),设计InnoDB
的大叔们在每个页的尾部都加了一个File Trailer
部分,这个部分由8
个字节组成,可以分成2个小部分:
前4个字节代表页的校验和
这个部分是和
File Header
中的校验和相对应的。每当一个页面在内存中修改了,在同步之前就要把它的校验和算出来,因为File Header
在页面的前边,所以校验和会被首先同步到磁盘,当完全写完时,校验和也会被写到页的尾部,如果完全同步成功,则页的首部和尾部的校验和应该是一致的。如果写了一半儿断电了,那么在File Header
中的校验和就代表着已经修改过的页,而在File Trailer
中的校验和代表着原先的页,二者不同则意味着同步中间出了错。后4个字节代表页面被最后修改时对应的日志序列位置(LSN)
这个部分也是为了校验页的完整性的,只不过我们目前还没说
LSN
是个什么意思,所以大家可以先不用管这个属性。
这个File Trailer
与File Header
类似,都是所有类型的页通用的。