AOF持久化(通过保存Redis服务器所执行的写命令来记录数据库状态)
AOF介绍
AOF持久化保存数据库状态的方法则是将服务器执行的命令保存到AOF文件中,被写入AOF文件的所有命令都是以redis的命令请求协议保存的。
在服务器启动时,可以通过载入和执行AOF文件中保存的命令来还原服务器关闭之前的状态。
AOF持久化实现
AOF持久化功能的实现可以分为命令追加(append),文件写入,文件同步(sync)三个步骤。
1.命令追加
在AOF持久化功能处于打开状态时,服务器在执行完一个写命令之后,会以协议格式将被执行的写命令追加到服务器状态的aof_buf缓冲区的末尾:
struct redisServer{ //.... //AOF缓冲区 sds aof_buf; //... };
AOF文件的写入与同步
服务器在处理文件事件时可能会执行写命令,使得一些内容被追加到aof_buf缓冲区里面,所以在服务器每次结束一个事件循环之前,它都会调用flushAppendOnlyFile函数,考虑是否需要将aof_buf缓冲区中的内容写入和保存到AOF文件里面。
flushAppendOnlyFile函数的行为由服务器配置的appendfsync选项的值来决定。
appendfsync的值 | flushAppendOnlyFile函数的行为 |
always | 将aof_buf缓冲区中所有内容写入并同步到AOF文件 |
everysec(默认值) | 将aof_buf缓冲区中的所有内容写入到aof文件,如果上次同步AOF文件的事件距离现在超过一秒钟,那么再次对AOF进行同步,并且这个同步操作是由一个线程专门执行负责的。 |
no | 将aof_buf缓冲区中的所有内容写入到AOF文件,但并不对AOF文件进行同步,何时同步由操作系统决定。 |
- 因为在现代操作系统中,当用户调用write函数,将一些数据写入到文件的时候,操作系统通常会将写入数据暂时保存到一个内存缓冲区里面,等到缓冲区的空间被填满了,或者超过指定的时限之后,才真正地将缓冲区中的数据写入到磁盘里面。
系统提供了fsync和fdatasync两个同步函数,可以强制让操作系统立即将缓冲区中的数据写入到磁盘中,从而确保数据的安全性。
AOF文件的载入与数据还原
因为AOF文件里面包含了重建数据库状态所需的所有写命令,所以服务器只要读入并重新执行一遍AOF文件里面的写命令,就可以还原服务器关闭之前的数据库状态。
Redis读取AOF文件并还原数据库状态的详细步骤:
1.创建一个不带网络连接的伪客户端
2.从AOF文件分析并读取出一条写命令
3.用伪客户端执行被读出的写命令
4.重复执行步骤二和步骤三,直至AOF文件中的所有写命令被处理完毕为止。
AOF重写
问题:因为AOF持久化是通过保存被执行的写命令来记录数据库状态的,所以随着时间的流逝,文件体积越来越大,对服务器造成影响,而且进行数据还原的所需时间就越来越多。
解决方法:进行AOF重写,通过重写,Redis服务器可以创建一个新的AOF文件来代替现有的AOF文件,新旧两个AOF所保存的数据库状态相同,但是AOF文件不会包含任何浪费空间的kangaroo余命令,所以新的AOF文件的体积通常比旧的AOF体积小得多。
AOF文件重写的实现细节
AOF文件重写并不需要对现有的AOF文件进行任何读取,分析或者写入操作,而是通过读取服务器当前的数据库状态来实现的。
步骤
首先从数据库中读取键现在的值,然后用一条命令去记录键值对,代替以前记录这个键值对的多条命令,这就是实现原理
重写过程 1.创建新的AOF文件 2.开始遍历数据库{ 3.忽略空数据库 4.写入SELECT命令,指定数据库号码 5.遍历数据库中所有键 6.忽略过期的键 7.根据键的类型进行重写 8.如果键带有过期时间,那么过期时间也要重写 } 9.写入完毕,关闭文件
- 因为aof_write函数生成的新AOF文件只包含还原数据库状态所必须的命令,所以新的AOF文件不会浪费任何磁盘空间。
- 如果重写程序在处理列表、哈希表、集合、有序集合这四种可能会带有多个元素的键时,会先检查键所包含的元素数量,如果元素的数量禅古公了redis.h/REDIS_AOF_REWRITE_PER_cMD常量,也就是64的时候,那么重写程序会使用多条命令来记录键的值,而不是单单使用一条命令。
AOF后台重写(BGREWRITEAOF命令的实现原理)
因为AOF的重写会进行大量的写入操作,所以调用这个函数的线程将会被长期阻塞,所以Redis服务器使用单个线程来处理命令请求,所以如果服务器直接调用aof_rewrite函数的话,那么这个时候服务器将无法处理客户端发来的命令请求。
所以Redis决定将AOF重写程序放到子程序里执行,这样可以同时达到两个目的:
- 子进程进行AOF重写期间,服务器进程可以继续处理命令请求
- 子进程带有服务器的数据服务,使用子进程而不是线程,可以在避免使用锁的情况下,保证了数据的安全性。
问题:子进程在进行AOF重写期间,服务器进程还需要继续处理命令请求,而新的命令可能会对现在的数据库状态进行修改,从而使得服务器当前的数据状态和重写后的AOF文件所保存的数据状态不一致
解决方法:
Redis设置了一个AOF重写缓冲区,这个缓冲区在服务器创建子进程的时候开始使用,当Redis服务器执行完一个写命令之后,它会同时将这个写命令发送到AOF缓冲区和AOF重写缓冲区。
在子进程执行AOF重写期间,服务器进程需要执行以下三个工作:
- 执行客户端发来的命令
- 将执行后的写命令追加到AOF缓冲区
- 将执行后的写命令追加到AOF重写缓冲区。
这样一来可以保证
- AOF缓冲区的内容会被定期写入和同步到AOF文件,对现有的AOF文件的处理工作会照常
- 从创建子进程开始,服务器执行的所以写命令都会被记录到AOF重写缓冲区里面
当子进程完成AOF重写任务之后,会向父进程发送一个信号,父进程在接到信号之后,会调用一个信号处理函数,并执行以下工作:
- 将AOF重写缓冲区中的所有内容写入到新AOF文件中,这时新AOF文件所保存数据库状态和服务器当前的数据库状态一致
- 对新的AOF文件进行改名,原子地覆盖现有的AOF文件,完成新旧两个AOF文件的替换。