這篇文章帶大家深入學習下Redis,詳細解析持久化,介紹其運作方式、持久化流程等,希望對大家有幫助!
本文將從以下幾個面向介紹Redis持久化機制:
寫在前面
##本文從整體詳細介紹Redis的兩種持久化方式,包含工作原理、持久化流程及實務策略,以及背後的一些理論知識。上一篇文章僅介紹了RDB持久化,但Redis持久化是一個整體,單獨介紹不成體系,故重新整理。 【相關推薦:Redis影片教學】
Redis是記憶體資料庫,所有的資料會保存在記憶體中,這與傳統的MySQL、Oracle、SqlServer等關係型資料庫直接把資料保存到硬碟相比,Redis的讀寫效率非常高。但是保存在記憶體中也有一個很大的缺陷,一旦斷電或宕機,記憶體資料庫中的內容將會全部遺失。為了彌補這個缺陷,Redis提供了把記憶體資料持久化到硬碟文件,以及透過備份文件來恢復資料的功能,即Redis持久化機制。
Redis支持兩種方式的持久化:RDB快照和AOF。
RDB快照用官方的話來說:RDB持久化方案是按照指定時間間隔對你的資料集產生的時間點快照(point-to-time snapshot) 。它以緊縮的二進位檔案保存Redis資料庫某一時刻所有資料物件的記憶體快照,可用於Redis的資料備份、轉移與復原。到目前為止,仍是官方的預設支援方案。
既然說RDB是Redis中資料集的時間點快照,那我們先簡單了解一下Redis內的資料物件在記憶體中是如何儲存與組織的。
預設情況下,Redis中有16個資料庫,編號從0-15,每個Redis資料庫使用一個redisDb
物件來表示,redisDb
使用hashtable存儲K-V對象。為方便理解,我以其中一個db為例繪製Redis內部資料的儲存結構示意圖。
時間點快照也就是某一刻Redis內每個DB中每個資料物件的狀態,先假設在這一刻所有的資料物件不再改變,我們就可以依照上圖中的資料結構關係,把這些資料物件依序讀取出來並寫入到檔案中,以此實現Redis的持久化。然後,當Redis重新啟動時依照規則讀取這個檔案中的內容,再寫入到Redis記憶體即可恢復至持久化時的狀態。
當然,這個前提時我們上面的假設成立,否則面對一個時刻變化的資料集,我們無從下手。我們知道Redis中客戶端命令處理是單線程模型,如果把持久化當作一個命令處理,那麼資料集肯定時處於靜止狀態。另外,作業系統提供的fork()函數所建立的子行程可取得與父行程一致的記憶體數據,相當於取得了記憶體資料副本;fork完成後,父行程該幹嘛,持久化狀態的工作交給子進程就行了。
很顯然,第一種情況不可取,持久化備份會導致短時間內Redis服務不可用,這對於高HA的系統來講是無法容忍的。所以,第二種方式是RDB持久化的主要實踐方式。由於fork子進程後,父進程資料一直在變化,子進程並未與父進程同步,RDB持久化必然無法保證實時性;RDB持久化完成後發生斷電或宕機,會導致部分資料遺失;備份頻率決定了遺失資料量的大小,提高備份頻率,意味著fork過程消耗較多的CPU資源,也會導致較大的磁碟I/O。
在Redis內完成RDB持久化的方法有rdbSave和rdbSaveBackground兩個函數方法(源碼檔案rdb.c中),先簡單說下兩者差異:
RDB持久化的觸發必然離不開以上兩個方法,觸發的方式分為手動和自動。手動觸發容易理解,是指我們透過Redis客戶端人為的對Redis服務端發起持久化備份指令,然後Redis服務端開始執行持久化流程,這裡的指令有save和bgsave。自動觸發是Redis根據自身運作要求,在滿足預設條件時自動觸發的持久化流程,自動觸發的場景有以下幾個(摘自這篇文章):
配置規則自動觸發;
指令重新載入redis時;
從上圖可以知道:
方法完成的。
redisServer中有幾個與RDB持久化有關的字段,我從程式碼中摘出來,中英文對照著看下:
struct redisServer { /* 省略其他字段 */ /* RDB persistence */ long long dirty; /* Changes to DB from the last save * 上次持久化后修改key的次数 */ struct saveparam *saveparams; /* Save points array for RDB, * 对应配置文件多个save参数 */ int saveparamslen; /* Number of saving points, * save参数的数量 */ time_t lastsave; /* Unix time of last successful save * 上次持久化时间*/ /* 省略其他字段 */ } /* 对应redis.conf中的save参数 */ struct saveparam { time_t seconds; /* 统计时间范围 */ int changes; /* 数据修改次数 */ };
saveparams對應
redis.conf下的save規則,save參數是Redis觸發自動備份的觸發策略,
seconds為統計時間(單位:秒),
changes 為在統計時間內發生寫入的次數。
save m n的意思是:m秒內有n條寫入就會觸發一次快照,即備份一次。 save參數可以配置多組,滿足在不同條件的備份要求。如果需要關閉RDB的自動備份策略,可以使用
save ""。以下為幾個設定的說明:
# 表示900秒(15分钟)内至少有1个key的值发生变化,则执行 save 900 1 # 表示300秒(5分钟)内至少有1个key的值发生变化,则执行 save 300 10 # 表示60秒(1分钟)内至少有10000个key的值发生变化,则执行 save 60 10000 # 该配置将会关闭RDB方式的持久化 save ""
serverCron對RDB save規則的偵測程式碼如下所示:
int serverCron(struct aeEventLoop *eventLoop, long long id, void *clientData) { /* 省略其他逻辑 */ /* 如果用户请求进行AOF文件重写时,Redis正在执行RDB持久化,Redis会安排在RDB持久化完成后执行AOF文件重写, * 如果aof_rewrite_scheduled为true,说明需要执行用户的请求 */ /* Check if a background saving or AOF rewrite in progress terminated. */ if (hasActiveChildProcess() || ldbPendingChildren()) { run_with_period(1000) receiveChildInfo(); checkChildrenDone(); } else { /* 后台无 saving/rewrite 子进程才会进行,逐个检查每个save规则*/ for (j = 0; j = sp->changes && server.unixtime-server.lastsave > sp->seconds &&(server.unixtime-server.lastbgsave_try > CONFIG_BGSAVE_RETRY_DELAY || server.lastbgsave_status == C_OK)) { serverLog(LL_NOTICE,"%d changes in %d seconds. Saving...", sp->changes, (int)sp->seconds); rdbSaveInfo rsi, *rsiptr; rsiptr = rdbPopulateSaveInfo(&rsi); /* 执行bgsave过程 */ rdbSaveBackground(server.rdb_filename,rsiptr); break; } } /* 省略:Trigger an AOF rewrite if needed. */ } /* 省略其他逻辑 */ }
int rdbSaveBackground(char *filename, rdbSaveInfo *rsi) { pid_t childpid; if (hasActiveChildProcess()) return C_ERR; server.dirty_before_bgsave = server.dirty; server.lastbgsave_try = time(NULL); // fork子进程 if ((childpid = redisFork(CHILD_TYPE_RDB)) == 0) { int retval; /* Child 子进程:修改进程标题 */ redisSetProcTitle("redis-rdb-bgsave"); redisSetCpuAffinity(server.bgsave_cpulist); // 执行rdb持久化 retval = rdbSave(filename,rsi); if (retval == C_OK) { sendChildCOWInfo(CHILD_TYPE_RDB, 1, "RDB"); } // 持久化完成后,退出子进程 exitFromChild((retval == C_OK) ? 0 : 1); } else { /* Parent 父进程:记录fork子进程的时间等信息*/ if (childpid == -1) { server.lastbgsave_status = C_ERR; serverLog(LL_WARNING,"Can't save in background: fork: %s", strerror(errno)); return C_ERR; } serverLog(LL_NOTICE,"Background saving started by pid %ld",(long) childpid); // 记录子进程开始的时间、类型等。 server.rdb_save_time_start = time(NULL); server.rdb_child_type = RDB_CHILD_TYPE_DISK; return C_OK; } return C_OK; /* unreached */ }
Redis的rdbSave函数是真正进行RDB持久化的函数,流程、细节贼多,整体流程可以总结为:创建并打开临时文件、Redis内存数据写入临时文件、临时文件写入磁盘、临时文件重命名为正式RDB文件、更新持久化状态信息(dirty、lastsave)。其中“Redis内存数据写入临时文件”最为核心和复杂,写入过程直接体现了RDB文件的文件格式,本着一图胜千言的理念,我按照源码流程绘制了下图。
补充说明一下,上图右下角“遍历当前数据库的键值对并写入”这个环节会根据不同类型的Redis数据类型及底层数据结构采用不同的格式写入到RDB文件中,不再展开了。我觉得大家对整个过程有个直观的理解就好,这对于我们理解Redis内部的运作机制大有裨益。
上一节我们知道RDB是一种时间点(point-to-time)快照,适合数据备份及灾难恢复,由于工作原理的“先天性缺陷”无法保证实时性持久化,这对于缓存丢失零容忍的系统来说是个硬伤,于是就有了AOF。
AOF是Append Only File的缩写,它是Redis的完全持久化策略,从1.1版本开始支持;这里的file存储的是引起Redis数据修改的命令集合(比如:set/hset/del等),这些集合按照Redis Server的处理顺序追加到文件中。当重启Redis时,Redis就可以从头读取AOF中的指令并重放,进而恢复关闭前的数据状态。
AOF持久化默认是关闭的,修改redis.conf以下信息并重启,即可开启AOF持久化功能。
# no-关闭,yes-开启,默认no appendonly yes appendfilename appendonly.aof
AOF本质是为了持久化,持久化对象是Redis内每一个key的状态,持久化的目的是为了在Reids发生故障重启后能够恢复至重启前或故障前的状态。相比于RDB,AOF采取的策略是按照执行顺序持久化每一条能够引起Redis中对象状态变更的命令,命令是有序的、有选择的。把aof文件转移至任何一台Redis Server,从头到尾按序重放这些命令即可恢复如初。举个例子:
首先执行指令set number 0
,然后随机调用incr number
、get number
各5次,最后再执行一次get number
,我们得到的结果肯定是5。
因为在这个过程中,能够引起number
状态变更的只有set/incr
类型的指令,并且它们执行的先后顺序是已知的,无论执行多少次get
都不会影响number
的状态。所以,保留所有set/incr
命令并持久化至aof文件即可。按照aof的设计原理,aof文件中的内容应该是这样的(这里是假设,实际为RESP协议):
set number 0 incr number incr number incr number incr number incr number
最本质的原理用“命令重放”四个字就可以概括。但是,考虑实际生产环境的复杂性及操作系统等方面的限制,Redis所要考虑的工作要比这个例子复杂的多:
set
命令,存在很大的压缩空间。从流程上来看,AOF的工作原理可以概括为几个步骤:命令追加(append)、文件写入与同步(fsync)、文件重写(rewrite)、重启加载(load),接下来依次了解每个步骤的细节及背后的设计哲学。
當AOF 持久化功能處於開啟狀態時,Redis 在執行完一個寫入指令之後,會以協定格式(也就是RESP,即Redis 用戶端和伺服器互動的通訊協定)把被執行的寫入指令追加到Redis 服務端維護的AOF 緩衝區末端。對AOF檔案只有單一執行緒的追加操作,沒有seek等複雜的操作,即使斷電或當機也不存在檔案損壞風險。另外,使用文字協定好處多多:
AOF緩衝區類型為Redis自主設計的資料結構sds
,Redis會根據指令的類型採用不同的方法(catAppendOnlyGenericCommand
、 catAppendOnlyExpireAtCommand
等)對指令內容進行處理,最後寫入緩衝區。
要注意的是:如果指令追加時正在進行AOF重寫,這些指令也會追加到重寫緩衝區(aof_rewrite_buffer
)。
AOF檔的寫入與同步離不開作業系統的支持,在開始介紹之前,我們需要補充Linux I/O緩衝區相關知識。硬碟I/O效能較差,檔案讀寫速度遠比不上CPU的處理速度,若每次檔案寫入等待資料寫入硬碟,整體拉低作業系統的效能。為了解決這個問題,作業系統提供了延遲寫入(delayed write)機制來提高硬碟的I/O效能。
傳統的UNIX實作在核心中設有緩衝區高速緩存或頁面高速緩存,大多數磁碟I/O都透過緩衝進行。當資料寫入檔案時,核心通常會先將該資料複製到其中一個緩衝區中,如果該緩衝區尚未寫滿,則不會將其排入輸出佇列,而是等待其寫滿或當核心需要重複使用該緩衝區以便存放其他磁碟區塊資料時, 再將該緩衝排入到輸出佇列,然後待到達隊首時,才進行實際的I/O操作。這種輸出方式就稱為延遲寫入。
延遲寫入減少了磁碟讀寫次數,但是卻降低了檔案內容的更新速度,使得欲寫到檔案中的資料在一段時間內並沒有寫到磁碟上。當系統發生故障時,這種延遲可能造成文件更新內容的遺失。為了確保磁碟上實際檔案系統與緩衝區快取中內容的一致性,UNIX系統提供了sync、fsync和fdatasync三個函數為強制寫入硬碟提供支援。
Redis每次事件輪訓結束前(beforeSleep
)都會呼叫函數flushAppendOnlyFile
,flushAppendOnlyFile
#會把AOF緩衝區(aof_buf
)中的資料寫入核心緩衝區,並且根據appendfsync
配置來決定採用何種策略把核心緩衝區中的資料寫入磁碟,即呼叫fsync()
。此配置有三個可選項always
、no
、everysec
#,說明如下:
fsync()
,是安全性最高、效能最差的策略。 fsync()
。性能最好,安全性最差。 fsync()
。這是官方建議的同步策略,也是預設配置,做到兼顧效能和資料安全性,理論上只有在系統突然宕機的情況下遺失1秒的資料。 注意:上面介紹的策略受組態項目no-appendfsync-on-rewrite
的影響,它的作用是告知Redis:AOF檔重寫期間是否禁止呼叫fsync(),預設是no。
如果appendfsync
設定為always
或everysec
,背景正在進行的BGSAVE
或 BGREWRITEAOF
消耗過多的磁碟I/O,在某些Linux系統配置下,Redis對fsync()的呼叫可能會阻塞很久。然而這個問題還沒有修復,因為即使是在不同的執行緒中執行fsync()
,同步寫入操作也會被阻塞。
為了緩解此問題,可以使用該選項,以防止在進行BGSAVE
或BGREWRITEAOF
時在主程序中呼叫fsync()。
yes
意味着,如果子进程正在进行BGSAVE
或BGREWRITEAOF
,AOF的持久化能力就与appendfsync
设置为no
有着相同的效果。最糟糕的情况下,这可能会导致30秒的缓存数据丢失。yes
,否则保持为no
。如前面提到的,Redis长时间运行,命令不断写入AOF,文件会越来越大,不加控制可能影响宿主机的安全。
为了解决AOF文件体积问题,Redis引入了AOF文件重写功能,它会根据Redis内数据对象的最新状态生成新的AOF文件,新旧文件对应的数据状态一致,但是新文件会具有较小的体积。重写既减少了AOF文件对磁盘空间的占用,又可以提高Redis重启时数据恢复的速度。还是下面这个例子,旧文件中的6条命令等同于新文件中的1条命令,压缩效果显而易见。
我们说,AOF文件太大时会触发AOF文件重写,那到底是多大呢?有哪些情况会触发重写操作呢?
**
与RDB方式一样,AOF文件重写既可以手动触发,也会自动触发。手动触发直接调用bgrewriteaof
命令,如果当时无子进程执行会立刻执行,否则安排在子进程结束后执行。自动触发由Redis的周期性方法serverCron
检查在满足一定条件时触发。先了解两个配置项:
BGREWRITEAOF
时AOF文件占用空间最小值,默认为64MB;Redis启动时把aof_base_size
初始化为当时aof文件的大小,Redis运行过程中,当AOF文件重写操作完成时,会对其进行更新;aof_current_size
为serverCron
执行时AOF文件的实时大小。当满足以下两个条件时,AOF文件重写就会触发:
增长比例:(aof_current_size - aof_base_size) / aof_base_size > auto-aof-rewrite-percentage 文件大小:aof_current_size > auto-aof-rewrite-min-size
手动触发与自动触发的代码如下,同样在周期性方法serverCron
中:
int serverCron(struct aeEventLoop *eventLoop, long long id, void *clientData) { /* 省略其他逻辑 */ /* 如果用户请求进行AOF文件重写时,Redis正在执行RDB持久化,Redis会安排在RDB持久化完成后执行AOF文件重写, * 如果aof_rewrite_scheduled为true,说明需要执行用户的请求 */ if (!hasActiveChildProcess() && server.aof_rewrite_scheduled) { rewriteAppendOnlyFileBackground(); } /* Check if a background saving or AOF rewrite in progress terminated. */ if (hasActiveChildProcess() || ldbPendingChildren()) { run_with_period(1000) receiveChildInfo(); checkChildrenDone(); } else { /* 省略rdb持久化条件检查 */ /* AOF重写条件检查:aof开启、无子进程运行、增长百分比已设置、当前文件大小超过阈值 */ if (server.aof_state == AOF_ON && !hasActiveChildProcess() && server.aof_rewrite_perc && server.aof_current_size > server.aof_rewrite_min_size) { long long base = server.aof_rewrite_base_size ? server.aof_rewrite_base_size : 1; /* 计算增长百分比 */ long long growth = (server.aof_current_size*100/base) - 100; if (growth >= server.aof_rewrite_perc) { serverLog(LL_NOTICE,"Starting automatic rewriting of AOF on %lld%% growth",growth); rewriteAppendOnlyFileBackground(); } } } /**/ }
AOF文件重写的流程是什么?听说Redis支持混合持久化,对AOF文件重写有什么影响?
从4.0版本开始,Redis在AOF模式中引入了混合持久化方案,即:纯AOF方式、RDB+AOF方式,这一策略由配置参数aof-use-rdb-preamble
(使用RDB作为AOF文件的前半段)控制,默认关闭(no),设置为yes可开启。所以,在AOF重写过程中文件的写入会有两种不同的方式。当aof-use-rdb-preamble
的值是:
结合源码(6.0版本,源码太多这里不贴出,可参考aof.c
)及参考资料,绘制AOF重写(BGREWRITEAOF)流程图:
结合上图,总结一下AOF文件重写的流程:
父进程:
子进程:
aof-use-rdb-preamble
配置,以RDB或AOF方式寫入前半部分,並同步至硬碟;Redis啟動後透過loadDataFromDisk
函數執行資料載入工作。這裡要注意,雖然持久化方式可以選擇AOF、RDB或兩者兼用,但是資料載入時必須做出選擇,兩種方式各自載入一遍就亂套了。
理論上,AOF持久化比RDB有更好的即時性,當開啟了AOF持久化方式,Redis在資料載入時優先考慮AOF方式。而且,Redis 4.0版本後AOF支援了混合持久化,載入AOF檔需要考慮版本相容性。 Redis資料載入流程如下圖所示:
在AOF方式下,開啟混合持久化機制產生的檔案是“RDB頭AOF尾”,未開啟時產生的文件全部為AOF格式。考慮兩種檔案格式的相容性,如果Redis發現AOF檔案為RDB頭,會使用RDB資料載入的方法讀取並還原前半部;然後再使用AOF方式讀取並恢復後半部。由於AOF格式儲存的資料為RESP協定指令,Redis採用偽客戶端執行指令的方式來復原資料。
如果在AOF指令追加過程中發生宕機,由於延遲寫入的技術特點,AOF的RESP指令可能不完整(被截斷)。遇到這種情況時,Redis會依照設定項aof-load-truncated
執行不同的處理策略。這個配置是告訴Redis啟動時讀取aof文件,如果發現文件被截斷(不完整)時該如何處理:
Redis提供了兩個持久化的選擇:RDB支援以特定的實踐間隔為資料集產生時間點快照;AOF把Redis Server收到的每條寫入指令持久化到日誌中,待Redis重啟時透過重播指令恢復資料。日誌格式為RESP協議,對日誌檔案只做append操作,無損壞風險。且當AOF檔案過大時可以自動重寫壓縮檔案。
當然,如果你不需要對資料進行持久化,也可以停用Redis的持久化功能,但是大多數情況並非如此。實際上,我們時有可能同時使用RDB和AOF兩種方式的,最重要的就是我們要理解兩者的區別,以便合理使用。
redis-check-aof
工具修復;對RDB和AOF兩種持久化方式的工作原理、執行流程及優缺點了解後,我們來思考下,實際場景中應該怎麼權衡利弊,合理的使用兩種持久化方式。如果只是使用Redis作為快取工具,所有資料可以根據持久化資料庫進行重建,則可關閉持久化功能,做好預熱、快取穿透、擊穿、雪崩之類的防護工作即可。
一般情況下,Redis會承擔更多的工作,如分散式鎖定、排行榜、註冊中心等,持久化功能在災難復原、資料遷移方面將發揮較大的作用。建議遵循幾個原則:
透過上面的分析,我們都知道RDB的快照、AOF的重寫都需要fork,這是一個重量級運算,會對Redis造成阻塞。因此為了不影響Redis主進程響應,我們需要盡可能降低阻塞。
更多程式相關知識,請造訪:程式設計入門! !
以上是Redis深入學習之詳解持久化原理的詳細內容。更多資訊請關注PHP中文網其他相關文章!