当前位置: 首页 > news >正文

重新学习Mysql数据库3:Mysql存储引擎与数据存储原理

转自:https://draveness.me/mysql-innodb


作为一名开发人员,在日常的工作中会难以避免地接触到数据库,无论是基于文件的 sqlite 还是工程上使用非常广泛的 MySQL、PostgreSQL,但是一直以来也没有对数据库有一个非常清晰并且成体系的认知,所以最近两个月的时间看了几本数据库相关的书籍并且阅读了 MySQL 的官方文档,希望对各位了解数据库的、不了解数据库的有所帮助。


本文中对于数据库的介绍以及研究都是在 MySQL 上进行的,如果涉及到了其他数据库的内容或者实现会在文中单独指出。

数据库的定义

很多开发者在最开始时其实都对数据库有一个比较模糊的认识,觉得数据库就是一堆数据的集合,但是实际却比这复杂的多,数据库领域中有两个词非常容易混淆,也就是数据库实例

  • 数据库:物理操作文件系统或其他形式文件类型的集合;
  • 实例:MySQL 数据库由后台线程以及一个共享内存区组成;

对于数据库和实例的定义都来自于 MySQL 技术内幕:InnoDB 存储引擎 一书,想要了解 InnoDB 存储引擎的读者可以阅读这本书籍。

数据库和实例

在 MySQL 中,实例和数据库往往都是一一对应的,而我们也无法直接操作数据库,而是要通过数据库实例来操作数据库文件,可以理解为数据库实例是数据库为上层提供的一个专门用于操作的接口。

Database - Instance

在 Unix 上,启动一个 MySQL 实例往往会产生两个进程,mysqld 就是真正的数据库服务守护进程,而 mysqld_safe 是一个用于检查和设置 mysqld 启动的控制程序,它负责监控 MySQL 进程的执行,当 mysqld 发生错误时,mysqld_safe 会对其状态进行检查并在合适的条件下重启。

MySQL 的架构

MySQL 从第一个版本发布到现在已经有了 20 多年的历史,在这么多年的发展和演变中,整个应用的体系结构变得越来越复杂:

Logical-View-of-MySQL-Architecture

最上层用于连接、线程处理的部分并不是 MySQL 『发明』的,很多服务都有类似的组成部分;第二层中包含了大多数 MySQL 的核心服务,包括了对 SQL 的解析、分析、优化和缓存等功能,存储过程、触发器和视图都是在这里实现的;而第三层就是 MySQL 中真正负责数据的存储和提取的存储引擎,例如:InnoDB、MyISAM 等,文中对存储引擎的介绍都是对 InnoDB 实现的分析。

数据的存储

在整个数据库体系结构中,我们可以使用不同的存储引擎来存储数据,而绝大多数存储引擎都以二进制的形式存储数据;这一节会介绍 InnoDB 中对数据是如何存储的。

在 InnoDB 存储引擎中,所有的数据都被逻辑地存放在表空间中,表空间(tablespace)是存储引擎中最高的存储逻辑单位,在表空间的下面又包括段(segment)、区(extent)、页(page):

Tablespace-segment-extent-page-row

同一个数据库实例的所有表空间都有相同的页大小;默认情况下,表空间中的页大小都为 16KB,当然也可以通过改变 innodb_page_size 选项对默认大小进行修改,需要注意的是不同的页大小最终也会导致区大小的不同:

Relation Between Page Size - Extent Size

从图中可以看出,在 InnoDB 存储引擎中,一个区的大小最小为 1MB,页的数量最少为 64 个。

如何存储表

MySQL 使用 InnoDB 存储表时,会将表的定义数据索引等信息分开存储,其中前者存储在 .frm 文件中,后者存储在 .ibd 文件中,这一节就会对这两种不同的文件分别进行介绍。

frm-and-ibd-file

.frm 文件

无论在 MySQL 中选择了哪个存储引擎,所有的 MySQL 表都会在硬盘上创建一个 .frm 文件用来描述表的格式或者说定义;.frm 文件的格式在不同的平台上都是相同的。

CREATE TABLE test_frm(
    column1 CHAR(5),
    column2 INTEGER
);

当我们使用上面的代码创建表时,会在磁盘上的 datadir 文件夹中生成一个 test_frm.frm 的文件,这个文件中就包含了表结构相关的信息:

frm-file-hex

MySQL 官方文档中的 11.1 MySQL .frm File Format 一文对于 .frm文件格式中的二进制的内容有着非常详细的表述,在这里就不展开介绍了。

.ibd 文件

InnoDB 中用于存储数据的文件总共有两个部分,一是系统表空间文件,包括 ibdata1ibdata2 等文件,其中存储了 InnoDB 系统信息和用户数据库表数据和索引,是所有表公用的。

当打开 innodb_file_per_table 选项时,.ibd 文件就是每一个表独有的表空间,文件存储了当前表的数据和相关的索引数据。

如何存储记录

与现有的大多数存储引擎一样,InnoDB 使用页作为磁盘管理的最小单位;数据在 InnoDB 存储引擎中都是按行存储的,每个 16KB 大小的页中可以存放 2-200 行的记录。

当 InnoDB 存储数据时,它可以使用不同的行格式进行存储;MySQL 5.7 版本支持以下格式的行存储方式:

Antelope-Barracuda-Row-Format

Antelope 是 InnoDB 最开始支持的文件格式,它包含两种行格式 Compact 和 Redundant,它最开始并没有名字;Antelope 的名字是在新的文件格式 Barracuda 出现后才起的,Barracuda 的出现引入了两种新的行格式 Compressed 和 Dynamic;InnoDB 对于文件格式都会向前兼容,而官方文档中也对之后会出现的新文件格式预先定义好了名字:Cheetah、Dragon、Elk 等等。

两种行记录格式 Compact 和 Redundant 在磁盘上按照以下方式存储:

COMPACT-And-REDUNDANT-Row-Format

Compact 和 Redundant 格式最大的不同就是记录格式的第一个部分;在 Compact 中,行记录的第一部分倒序存放了一行数据中列的长度(Length),而 Redundant 中存的是每一列的偏移量(Offset),从总体上上看,Compact 行记录格式相比 Redundant 格式能够减少 20% 的存储空间。

行溢出数据

当 InnoDB 使用 Compact 或者 Redundant 格式存储极长的 VARCHAR 或者 BLOB 这类大对象时,我们并不会直接将所有的内容都存放在数据页节点中,而是将行数据中的前 768 个字节存储在数据页中,后面会通过偏移量指向溢出页。

Row-Overflo

但是当我们使用新的行记录格式 Compressed 或者 Dynamic 时都只会在行记录中保存 20 个字节的指针,实际的数据都会存放在溢出页面中。

Row-Overflow-in-Barracuda

当然在实际存储中,可能会对不同长度的 TEXT 和 BLOB 列进行优化,不过这就不是本文关注的重点了。

想要了解更多与 InnoDB 存储引擎中记录的数据格式的相关信息,可以阅读 InnoDB Record Structure

数据页结构

页是 InnoDB 存储引擎管理数据的最小磁盘单位,而 B-Tree 节点就是实际存放表中数据的页面,我们在这里将要介绍页是如何组织和存储记录的;首先,一个 InnoDB 页有以下七个部分:

InnoDB-B-Tree-Node

每一个页中包含了两对 header/trailer:内部的 Page Header/Page Directory 关心的是页的状态信息,而 Fil Header/Fil Trailer 关心的是记录页的头信息。

在页的头部和尾部之间就是用户记录和空闲空间了,每一个数据页中都包含 Infimum 和 Supremum 这两个虚拟的记录(可以理解为占位符),Infimum 记录是比该页中任何主键值都要小的值,Supremum 是该页中的最大值:

Infimum-Rows-Supremum

User Records 就是整个页面中真正用于存放行记录的部分,而 Free Space 就是空余空间了,它是一个链表的数据结构,为了保证插入和删除的效率,整个页面并不会按照主键顺序对所有记录进行排序,它会自动从左侧向右寻找空白节点进行插入,行记录在物理存储上并不是按照顺序的,它们之间的顺序是由 next_record 这一指针控制的。

B+ 树在查找对应的记录时,并不会直接从树中找出对应的行记录,它只能获取记录所在的页,将整个页加载到内存中,再通过 Page Directory 中存储的稀疏索引和 n_ownednext_record 属性取出对应的记录,不过因为这一操作是在内存中进行的,所以通常会忽略这部分查找的耗时。

InnoDB 存储引擎中对数据的存储是一个非常复杂的话题,这一节中也只是对表、行记录以及页面的存储进行一定的分析和介绍,虽然作者相信这部分知识对于大部分开发者已经足够了,但是想要真正消化这部分内容还需要很多的努力和实践。下文是详细分析。



innodb数据存储详细分析

本文主要介绍InnoDB存储引擎的逻辑存储结构

逻辑存储结构

table-space

Tablespace

  1. Tablespace是InnoDB存储引擎逻辑存储结构的最高层所有数据都存放在Tablespace中
  2. 分类
    • System Tablespace
    • Separate Tablespace
    • General Tablespace

System Tablespace

  1. System Tablespace即我们常见的共享表空间,变量为innodb_data_file_path,一般为ibdata1文件
  2. 里面存放着undo logschange bufferdoublewrite buffer等信息(后续将详细介绍),在没有开启file-per-table的情况下,还会包含所有表的索引和数据信息
  3. 没有开启file-per-table时存在的问题
    • 所有的表和索引都会在System Tablespace中,占用空间会越来越大
    • 碎片越来越多(如truncate table时,占用的磁盘空间依旧保留在System Tablespace
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
mysql>  SHOW VARIABLES LIKE 'innodb_data_file_path';
+-----------------------+------------------------+
| Variable_name         | Value                  |
+-----------------------+------------------------+
| innodb_data_file_path | ibdata1:12M:autoextend |
+-----------------------+------------------------+
1 row in set (0.01 sec)

mysql>  SHOW VARIABLES LIKE '%datadir%';
+---------------+-----------------+
| Variable_name | Value           |
+---------------+-----------------+
| datadir       | /var/lib/mysql/ |
+---------------+-----------------+
1 row in set (0.01 sec)

mysql> system sudo ls -lh /var/lib/mysql/ibdata1
[sudo] password for zhongmingmao:
-rw-r----- 1 mysql mysql 76M May  6 20:00 /var/lib/mysql/ibdata1

Separate Tablespace

  1. MySQL参考手册中并没有Separate Tablespace这个术语,这里只为了行文方便,表示在开启file-per-table的情况下,每个表有自己独立的表空间,变量为innodb_file_per_table
  2. 里面存放在每个表的索引和数据信息,后缀一般为.ibd
  3. 默认初始大小为96KB
  4. 好处
    • 避免System Tablespace越来越大
    • 减少碎片(truncate table,操作系统会自动回收空间
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
mysql> use test
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;
+----------------+
| Tables_in_test |
+----------------+
| t              |
+----------------+
1 row in set (0.00 sec)

mysql>  SHOW VARIABLES LIKE 'innodb_file_per_table';
+-----------------------+-------+
| Variable_name         | Value |
+-----------------------+-------+
| innodb_file_per_table | ON    |
+-----------------------+-------+
1 row in set (0.00 sec)

mysql>  SHOW VARIABLES LIKE '%datadir%';                                                                                               +---------------+-----------------+
| Variable_name | Value           |
+---------------+-----------------+
| datadir       | /var/lib/mysql/ |
+---------------+-----------------+
1 row in set (0.01 sec)

mysql> system sudo ls -lh /var/lib/mysql/test
total 112K
-rw-r----- 1 mysql mysql   61 Apr 28 10:18 db.opt
-rw-r----- 1 mysql mysql 8.4K May  7 17:03 t.frm
-rw-r----- 1 mysql mysql  96K May  7 17:03 t.ibd

General Tablespace

  1. General TablespaceMySQL 5.7.6引入的新特性,具体内容请参照下面链接
    15.7.9 InnoDB General Tablespaces

Segment

segment

  1. Segment分为三种
    1. Leaf node segment数据段,B+Tree的叶子节点
    2. Non-Leaf node segment索引段,B+Tree的非叶子节点
    3. Rollback segment:回滚段,存放undo log,默认是位于System Tablespace
  2. InnoDB中的B+Tree索引,由Leaf node segmentNon-Leaf node segment组成
  3. 一个Segment由多个Extent和Page组成

Extent

  1. Extent是由连续页(默认页大小为16KB)组成,在默认页大小时,为64个连续页,大小为64*16KB=1MB
    • 不同页大小:4KB*256 or 8KB*128 or 16KB*64 or 32KB*64 or 64KB*64
  2. 为了保证页的连续性,InnoDB可以一次性从磁盘申请4个Extent
  3. 为了节省磁盘空间,如表的数据量很小(Leaf node segmentNon-Leaf node segment都很小)或Rollback segment,Segment一开始不会直接申请Extent,而是先用32个碎片页(用于叶子节点)来存放数据,用完之后才继续对Extent(1MB)的申请

Page

  1. Page是InnoDB磁盘管理的最小单位,变量为innodb_page_size
1
2
3
4
5
6
7
mysql>  SHOW VARIABLES LIKE 'innodb_page_size';
+------------------+-------+
| Variable_name    | Value |
+------------------+-------+
| innodb_page_size | 16384 |
+------------------+-------+
1 row in set (0.17 sec)

Row

  1. InnoDB存储引擎的数据是按行进行存放的
  2. 行记录格式Row_FORMAT将在后续详细介绍

接下来是Page数据页详解,这是最重要的一部分。

本文主要介绍InnoDB存储引擎的数据页结构

数据页结构

page-structure

File Header

参考链接:Fil Header

  1. 总共38 Bytes,记录页的头信息
名称大小(Bytes)描述
FIL_PAGE_SPACE4该页的checksum
FIL_PAGE_OFFSET4该页在表空间中的页偏移量
FIL_PAGE_PREV4该页的上一个页
FIL_PAGE_NEXT4该页的下一个页
FIL_PAGE_LSN8该页最后被修改的LSN
FIL_PAGE_TYPE2该页的类型,0x45BF为数据页
FIL_PAGE_FILE_FLUSH_LSN8独立表空间中为0
FIL_PAGE_ARCH_LOG_NO4该页属于哪一个表空间

Page Header

参考链接:Page Header

  1. 总共56 Bytes,记录页的状态信息
名称大小(Bytes)描述
PAGE_N_DIR_SLOTS2Page DirectorySlot的数量,初始值为2
PAGE_HEAP_TOP2堆中第一个记录的指针
PAGE_N_HEAP2堆中的记录数,初始值为2
PAGE_FREE2指向可重用空间的首指针
PAGE_GARBAGE2已标记为删除(deleted_flag)的记录的字节数
PAGE_LAST_INSERT2最后插入记录的位置
PAGE_DIRECTION2最后插入的方向,PAGE_LEFT(0x01)PAGE_RIGHT(0x02)PAGE_NO_DIRECTION(0x05)
PAGE_N_DIRECTION2一个方向上连续插入记录的数量
PAGE_N_RECS2该页中记录(User Record)的数量
PAGE_MAX_TRX_ID8修改该页的最大事务ID(仅在辅助索引中定义)
PAGE_LEVEL2该页在索引树中位置,0000代表叶子节点
PAGE_INDEX_ID8索引ID,表示该页属于哪个索引
PAGE_BTR_SEG_LEAF10B+Tree叶子节点所在Leaf Node Segment的Segment Header(无关紧要)
PAGE_BTR_SEG_TOP10B+Tree非叶子节点所在Non-Leaf Node Segment的Segment Header(无关紧要)

Infimum + Supremum Records

参考链接:The Infimum and Supremum Records

  1. 每个数据页中都有两个虚拟的行记录,用来限定记录(User Record)的边界(Infimum为下界Supremum为上界
  2. InfimumSupremum页被创建是自动创建,不会被删除
  3. CompactRedundant行记录格式下,InfimumSupremum占用的字节数是不一样

infimum-supremum

User Records

参考链接:User Records

  1. 存储实际插入的行记录
  2. Page HeaderPAGE_HEAP_TOPPAGE_N_HEAPHEAP,实际上指的是Unordered User Record List
    • InnoDB不想每次都依据B+Tree键的顺序插入新行,因为这可能需要移动大量的数据
    • 因此InnoDB插入新行时,通常是插入到当前行的后面(Free Space的顶部)或者是已删除行留下来的空间
  3. 为了保证访问B+Tree记录的顺序性,在每个记录中都有一个指向下一条记录的指针,以此构成了一条单向有序链表

Free Space

  1. 空闲空间,数据结构是链表,在一个记录被删除后,该空间会被加入到空闲链表中

Page Directory

参考链接:Page Directory

  1. 存放着行记录User Record)的相对位置(不是偏移量)
  2. 这里的行记录指针称SlotDirectory Slot,每个Slot占用2Byte
  3. 并不是每一个行记录都有一个Slot,一个Slot中可能包含多条行记录,通过行记录中n_owned字段标识
  4. Infimum的n_owned总是1Supremum的n_owned为[1,8]User Record的n_owned为[4,8]
  5. Slot是按照索引键值的顺序进行逆序存放(Infimum是下界,Supremum是上界),可以利用二分查找快速地定位一个粗略的结果,然后再通过next_record进行精确查找
  6. B+Tree索引本身并不能直接找到具体的一行记录,只能找到该行记录所在的页
    • 数据库把页载入到内存中,然后通过Page Directory再进行二分查找
    • 二分查找时间复杂度很低,又在内存中进行查找,这部分的时间基本开销可以忽略

File Trailer

参考链接:Fil Trailer

  1. 总共8 Bytes,为了检测页是否已经完整地写入磁盘
  2. 变量innodb_checksums,InnoDB从磁盘读取一个页时是否会检测页的完整性
  3. 变量innodb_checksum_algorithm检验和算法

相关文章:

  • P1679 神奇的四次方数
  • nginx服务企业应用
  • Hadoop起源
  • HDU2255 奔小康赚大钱 【KM算法】
  • RxJava简介与入门(一)
  • 手把手教你用1行命令实现人脸识别
  • 【编程之美】字符串移位包含的问题(续)
  • 前端同学大福利,最全的面试题目整理
  • 随机ID添加
  • 新概念英语(1-115)Knock! Knock!
  • Python 数据结构
  • CTF---密码学入门第七题 杯酒人生
  • Wireshark在Windows 7无法正常运行
  • 优势独显,机会点亮,2017义乌装博会下月启幕
  • Mybatis Generator for SQL Server
  • 【347天】每日项目总结系列085(2018.01.18)
  • ECS应用管理最佳实践
  • flutter的key在widget list的作用以及必要性
  • Js实现点击查看全文(类似今日头条、知乎日报效果)
  • Linux快速配置 VIM 实现语法高亮 补全 缩进等功能
  • Median of Two Sorted Arrays
  • Spring技术内幕笔记(2):Spring MVC 与 Web
  • 构造函数(constructor)与原型链(prototype)关系
  • ------- 计算机网络基础
  • 利用阿里云 OSS 搭建私有 Docker 仓库
  • 前言-如何学习区块链
  • 设计模式走一遍---观察者模式
  • 十年未变!安全,谁之责?(下)
  • 什么软件可以剪辑音乐?
  • 什么软件可以提取视频中的音频制作成手机铃声
  • 一加3T解锁OEM、刷入TWRP、第三方ROM以及ROOT
  • 职业生涯 一个六年开发经验的女程序员的心声。
  • 【云吞铺子】性能抖动剖析(二)
  • 继 XDL 之后,阿里妈妈开源大规模分布式图表征学习框架 Euler ...
  • ​2021半年盘点,不想你错过的重磅新书
  • ​Java并发新构件之Exchanger
  • #{} 和 ${}区别
  • #14vue3生成表单并跳转到外部地址的方式
  • #include
  • $redis-setphp_redis Set命令,php操作Redis Set函数介绍
  • (1综述)从零开始的嵌入式图像图像处理(PI+QT+OpenCV)实战演练
  • (23)Linux的软硬连接
  • (Matlab)基于蝙蝠算法实现电力系统经济调度
  • (附源码)ssm码农论坛 毕业设计 231126
  • (三分钟了解debug)SLAM研究方向-Debug总结
  • (五)Python 垃圾回收机制
  • (一)Spring Cloud 直击微服务作用、架构应用、hystrix降级
  • (一)u-boot-nand.bin的下载
  • (一一四)第九章编程练习
  • (转)关于多人操作数据的处理策略
  • (转载)VS2010/MFC编程入门之三十四(菜单:VS2010菜单资源详解)
  • *ST京蓝入股力合节能 着力绿色智慧城市服务
  • ... fatal error LINK1120:1个无法解析的外部命令 的解决办法
  • .bat批处理(五):遍历指定目录下资源文件并更新
  • .CSS-hover 的解释