RDB底层原理

Redis服务器自动保存功能的实现原理及文件中的各个组成部分

因为Redis是内存数据库，它将自己的数据库状态储存在内存里 面，所以如果不想办法将储存在内存中的数据库状态保存到磁盘里面， 那么一旦服务器进程退出，服务器中的数据库状态也会消失不见。

为了解决这个问题，Redis提供了RDB持久化功能，这个功能可以将Redis在内存中的数据库状态保存到磁盘里面，避免数据意外丢失。

RDB持久化既可以手动执行，也可以根据服务器配置选项定期执行，该功能可以将某个时间点上的数据库状态保存到一个RDB文件中。

RDB持久化功能所生成的RDB文件是一个经过压缩的二进制文件， 通过该文件可以还原生成RDB文件时的数据库状态。

RDB文件的创建与载入

有两个Redis命令可以用于生成RDB文件，一个是SAVE，另一个是 BGSAVE。

• SAVE 会阻塞Redis服务器进程，直到RDB文件创建完毕为止， 在服务器进程阻塞期间，服务器不能处理任何命令请求：

	127.0.0.1:6379> save
	23094:M 22 Jul 2022 00:00:29.827 * DB saved on disk
	OK

• BGSAVE命令会派生出一个子进程，然后由子进程负责创建RDB文件，服务器进程（父进程）继续处理命令请求：

	127.0.0.1:6379> bgsave
	Background saving started

RDB文件的载入工作是在服务器启动时自动执行的，所以Redis并没有专门用于载入RDB文件的命令，只要Redis服务器在启动时检测到RDB文件存在，它就会自动载入RDB文件。

另外值得一提的是，因为AOF文件的更新频率通常比RDB文件的更 新频率高，所以

• 如果服务器开启了AOF持久化功能，那么服务器会优先使用AOF文件来还原数据库状态
• 只有在AOF持久化功能处于关闭状态时，服务器才会使用RDB文 件来还原数据库状态。

载入RDB文件的实际工作由rdb.c/rdbLoad函数完成，这个函数和 rdbSave函数之间的关系可以用图10-5表示
服务器判断该用哪个文件来还原数据库状态的流程图

手动执行

两个命令执行过程中服务器的状态

• SAVE命令执行时，Redis服务器会被阻塞，所以当 SAVE命令正在执行时，客户端发送的所有命令请求都会被拒绝。
• 因为BGSAVE命令的保存工作是由子进程执行的，所以在子进程创建RDB文件的过程中，Redis服务器仍然可以继续处理客户端的命令请求，但是，在BGSAVE命令执行期间，服务器处理SAVE、BGSAVE、 BGREWRITEAOF三个命令的方式会和平时有所不同。
  ⓵ SAVE： 在BGSAVE命令执行期间，客户端发送的SAVE命令会被服务器拒绝，为了避免父进程（服务器进程）和子进程同时执行两个rdbSave调用，防止产生竞争条件。
  ② BGSAVE： 在BGSAVE命令执行期间，客户端发送的BGSAVE命令会被 服务器拒绝，因为同时执行两个BGSAVE命令也会产生竞争条件。
  ⓷ BGREWRITEAOF： ❶ 如果BGSAVE命令正在执行，那么客户端发送的BGREWRITEAOF 命令会被延迟到BGSAVE命令执行完毕之后执行 ❷ 如果BGREWRITEAOF命令正在执行，那么客户端发送的BGSAVE 命令会被服务器拒绝（因为BGREWRITEAOF和BGSAVE两个命令的实际工作都由子进程执行，所以这两个命令在操作方面并没有什么冲突的地方，不能同时执 行它们只是一个性能方面的考虑——并发出两个子进程，并且这两个子 进程都同时执行大量的磁盘写入操作）。

自动间隔性保存

因为BGSAVE命令可以在不阻塞服务器进程的情况下执行，所以 Redis允许用户通过设置服务器配置的save选项，让服务器每隔一段时间自动执行一次BGSAVE命令。

用户可以通过save选项设置多个保存条件，但只要其中任意一个条件被满足，服务器就会执行BGSAVE命令。举个例子，如果我们向服务器提供以下配置：

save 900 1 
save 300 10 
save 60 10000

那么只要满足以下三个条件中的任意一个，BGSAVE命令就会被执行：

• 服务器在900秒之内，对数据库进行了至少1次修改。
• 服务器在300秒之内，对数据库进行了至少10次修改。
• 服务器在60秒之内，对数据库进行了至少10000次修改。

RDB文件结构

⚠️ 因为RDB文件保存的是二进制数据，而不是C字符串，为了简便起见，我们用"REDIS"符号代表’R’、‘E’、‘D’、‘I’、‘S’五个字符，而不是带’\0’结尾符号的C字符串’R’、‘E’、‘D’、‘I’、‘S’、‘\0’。

• REDIS部分，这个部分的长度为5字节，保存 着“REDIS”五个字符。通过这五个字符，程序可以在载入文件时，快速检查所载入的文件是否RDB文件。
• db_version 长度为4字节，它的值是一个字符串表示的整数，这个整数记录了RDB文件的版本号，比如"0006"就代表RDB文件的版本为第六版
• databases 部分包含着零个或任意多个数据库，以及各个数据库中的键值对数据。
  ❶ 如果服务器的数据库状态为空（所有数据库都是空的），那么这 个部分也为空，长度为0字节。
  ❷ 如果为非空，根据数据库所保存键值对的数量、类型和内容不同，这个部分的长度也会有所不同。
• EOF常量的长度为1字节，当读入程序遇到这个值的时候，它知道所有数据库的所有键值对都 已经载入完毕了。
• check_sum 是一个8字节长的无符号整数，保存着一个校验和， 这个校验和是程序通过对REDIS、db_version、databases、EOF四个部分的内 容进行计算得出的。服务器在载入RDB文件时，会将载入数据所计算出 的校验和与check_sum所记录的校验和进行对比，以此来检查RDB文件是否有出错或者损坏的情况出现。

例子，图10-11展示了一个databases部分为空的RDB文件：文 件开头的"REDIS"表示这是一个RDB文件，之后的"0006"表示这是第六 版的RDB文件，因为databases为空，所以版本号之后直接跟着EOF常 量，最后的6265312314761917404是文件的校验和。

databases部分

一个RDB文件的databases部分可以保存任意多个非空数据库，图中的database 0代表0号数据库中的所有键值对数据，而database 3则代表3号数据库中的所有键值对数据。

每个databases文件中都可以保存为SELECTDB、 db_number、key_value_pairs三个部分，如图所示。

• SELECTDB常量的长度为1字节，当读入程序遇到这个值的时候， 它知道接下来要读入的将是一个数据库号码。
• db_number 保存着一个数据库号码，根据号码的大小不同，这个部分的长度可以是1字节、2字节或者5字节。当程序读入db_number部分之 后，服务器会调用SELECT命令，根据读入的数据库号码进行数据库切换，使得之后读入的键值对可以载入到正确的数据库中。
• key_value_pairs 部分保存了数据库中的所有键值对数据，如果键值 对带有过期时间，那么过期时间也会和键值对保存在一起。根据键值对 的数量、类型、内容以及是否有过期时间等条件的不同，key_value_pairs部分的长度也会有所不同。

0号数据库的结构。

完整的RDB文件

key_value_pairs

不带过期时间的键值对在RDB文件中由TYPE、key、value三部分组 成，如图所示。

• TYPE记录了value的类型，长度为1字节，值可以是以下常量的其中 一个：
  ·REDIS_RDB_TYPE_STRING
  ·REDIS_RDB_TYPE_LIST
  ·REDIS_RDB_TYPE_SET
  ·REDIS_RDB_TYPE_ZSET
  ·REDIS_RDB_TYPE_HASH
  ·REDIS_RDB_TYPE_LIST_ZIPLIST
  ·REDIS_RDB_TYPE_SET_INTSET
  ·REDIS_RDB_TYPE_ZSET_ZIPLIST
  ·REDIS_RDB_TYPE_HASH_ZIPLIST
  以上列出的每个TYPE常量都代表了一种对象类型或者底层编码， 当服务器读入RDB文件中的键值对数据时，程序会根据TYPE的值来决定如何读入和解析value的数据
• key总是一个字符串对象，它的编码方式和 REDIS_RDB_TYPE_STRING类型的value一样。根据内容长度的不同， key的长度也会有所不同。
• value： TYPE类型的不同，以及保存内容长度的不同，保存value的结 构和长度也会有所不同

带有过期时间的键值对在RDB文件

• 带有过期时间的键值对中的TYPE、key、value三个部分的意义，和 前面介绍的不带过期时间的键值对的TYPE、key、value三个部分的意义 完全相同
• EXPIRETIME_MS 常量的长度为1字节，它告知读入程序，接下来 要读入的将是一个以毫秒为单位的过期时间。
• ms 是一个8字节长的带符号整数，记录着一个以毫秒为单位的 UNIX时间戳，这个时间戳就是键值对的过期时间。

分析RDB文件

我们使用od命令来分析Redis服务器产生的RDB文件，该命令可以用给定的格式转存（dump）并打印输入文件。

redis> FLUSHALL 
OK 
redis> SADD LANG "C" "JAVA" "RUBY" 
(integer) 3 
redis> SAVE 
OK
$ od -c dump.rdb 
0000000 R E D I S 0 0 0 6 376 \0 002 004 L A N
0000020 G 003 004 R U B Y 004 J A V A 001 C 377 202 
0000040 312 r 352 346 305 * 023
0000047

以下是RDB文件各个部分的意义：

• REDIS0006：RDB文件标志和版本号。
• 376\0：切换到0号数据库。
• 002 004 L A N G：002是常量REDIS_RDB_TYPE_SET（这个常量的实际值为整数2），表示这是一个哈希表编码的集合键，004表示键的长度，LANG是键的名字。
• 003：集合的大小，说明这个集合包含三个元素。
• 004 R U B Y：集合的第一个元素。
• 004 J A V A：集合的第二个元素。
• 001 C：集合的第三个元素。
• 377：代表常量EOF。
• 202 312 r 352 346 305*023：代表校验和。