Redis資料持久化原理

2021-10-04 18:23:36 字數 3635 閱讀 8725

redis 的資料全部在記憶體裡,如果突然宕機,資料就會全部丟失,因此必須有一種機制 來保證 redis 的資料不會因為故障而丟失,這種機制就是 redis 的持久化機制。

redis 的持久化機制有兩種,第一種是快照,第二種是 aof 日誌。快照是一次全量備 份,aof 日誌是連續的增量備份。快照是記憶體資料的二進位制序列化形式,在儲存上非常緊湊,而 aof 日誌記錄的是記憶體資料修改的指令記錄文字。aof 日誌在長期的執行過程中會 變的無比龐大,資料庫重啟時需要載入 aof 日誌進行指令重放,這個時間就會無比漫長。 所以需要定期進行 aof 重寫,給 aof 日誌進行**。

我們知道 redis 是單執行緒程式,這個執行緒要同時負責多個客戶端套接字的併發讀寫操作 和記憶體資料結構的邏輯讀寫。

在服務線上請求的同時,redis 還需要進行記憶體快照,記憶體快照要求 redis 必須進行文 件 io 操作,可檔案 io 操作是不能使用多路復用 api。

這意味著單執行緒同時在服務線上的請求還要進行檔案 io 操作,檔案 io 操作會嚴重拖 垮伺服器請求的效能。還有個重要的問題是為了不阻塞線上的業務,就需要邊持久化邊響應 客戶端請求。持久化的同時,記憶體資料結構還在改變,比如乙個大型的 hash 字典正在持久 化,結果乙個請求過來把它給刪掉了,還沒持久化完呢,這尼瑪要怎麼搞?

那該怎麼辦呢?

redis 使用作業系統的多程序 cow(copy on write) 機制來實現快照持久化,這個機制 很有意思,也很少人知道。多程序 cow 也是鑑定程式設計師知識廣度的乙個重要指標。

redis 在持久化時會呼叫 glibc 的函式 fork 產生乙個子程序,快照持久化完全交給子進 程來處理,父程序繼續處理客戶端請求。子程序剛剛產生時,它和父程序共享記憶體裡面的代 碼段和資料段。這時你可以將父子程序想像成乙個連體嬰兒,共享身體。這是 linux 作業系統的機制,為了節約記憶體資源,所以盡可能讓它們共享起來。在程序分離的一瞬間,記憶體的

增長幾乎沒有明顯變化。

用 python 語言描述程序分離的邏輯如下。fork 函式會在父子程序同時返回,在父程序 裡返回子程序的 pid,在子程序裡返回零。如果作業系統記憶體資源不足,pid 就會是負數,表 示 fork 失敗。

pid = os.fork() if pid > 0:

handle_client_requests() if pid == 0:

handle_snapshot_write() if pid < 0:

# fork error

# 父程序繼續處理客戶端請求 # 子程序處理快照寫磁碟

子程序做資料持久化,它不會修改現有的記憶體資料結構,它只是對資料結構進行遍歷讀

取,然後序列化寫到磁碟中。但是父程序不一樣,它必須持續服務客戶端請求,然後對記憶體

資料結構進行不間斷的修改。

這個時候就會使用作業系統的 cow 機制來進行資料段頁面的分離。資料段是由很多操 作系統的頁面組合而成,當父程序對其中乙個頁面的資料進行修改時,會將被共享的頁面復 制乙份分離出來,然後對這個複製的頁面進行修改。這時子程序相應的頁面是沒有變化的, 還是程序產生時那一瞬間的資料。

隨著父程序修改操作的持續進行,越來越多的共享頁面被分離出來,記憶體就會持續增 長。但是也不會超過原有資料記憶體的 2 倍大小。另外乙個 redis 例項裡冷資料佔的比例往 往是比較高的,所以很少會出現所有的頁面都會被分離,被分離的往往只有其中一部分頁 面。每個頁面的大小只有 4k,乙個 redis 例項裡面一般都會有成千上萬的頁面。

子程序因為資料沒有變化,它能看到的記憶體裡的資料在程序產生的一瞬間就凝固了,再 也不會改變,這也是為什麼 redis 的持久化叫「快照」的原因。接下來子程序就可以非常安 心的遍歷資料了進行序列化寫磁碟了。

aof 日誌儲存的是 redis 伺服器的順序指令序列,aof 日誌只記錄對記憶體進行修改的 指令記錄。

假設 aof 日誌記錄了自 redis 例項建立以來所有的修改性指令序列,那麼就可以通過 對乙個空的 redis 例項順序執行所有的指令,也就是「重放」,來恢復 redis 當前例項的內 存資料結構的狀態。

redis 會在收到客戶端修改指令後,先進行引數校驗,如果沒問題,就立即將該指令文 本儲存到 aof 日誌中,也就是先存到磁碟,然後再執行指令。這樣即使遇到突發宕機,已 經儲存到 aof 日誌的指令進行重放一下就可以恢復到宕機前的狀態。

redis 在長期執行的過程中,aof 的日誌會越變越長。如果例項宕機重啟,重放整個 aof 日誌會非常耗時,導致長時間 redis 無法對外提供服務。所以需要對 aof 日誌瘦 身。

redis 提供了 bgrewriteaof 指令用於對 aof 日誌進行**。其原理就是開闢乙個子進 程對記憶體進行遍歷轉換成一系列 redis 的操作指令,序列化到乙個新的 aof 日誌檔案中。 序列化完畢後再將操作期間發生的增量 aof 日誌追加到這個新的 aof 日誌檔案中,追加 完畢後就立即替代舊的 aof 日誌檔案了,**工作就完成了。

aof 日誌是以檔案的形式存在的,當程式對 aof 日誌檔案進行寫操作時,實際上是將 內容寫到了核心為檔案描述符分配的乙個記憶體快取中,然後核心會非同步將髒資料刷回到磁碟 的。

這就意味著如果機器突然宕機,aof 日誌內容可能還沒有來得及完全刷到磁碟中,這個 時候就會出現日誌丟失。那該怎麼辦?

linux 的 glibc 提供了 fsync(int fd)函式可以將指定檔案的內容強制從核心快取刷到磁 盤。只要 redis 程序實時呼叫 fsync 函式就可以保證 aof 日誌不丟失。但是 fsync 是乙個 磁碟 io 操作,它很慢!如果 redis 執行一條指令就要 fsync 一次,那麼 redis 高效能的 地位就不保了。

所以在生產環境的伺服器中,redis 通常是每隔 1s 左右執行一次 fsync 操作,週期 1s 是可以配置的。這是在資料安全性和效能之間做了乙個折中,在保持高效能的同時,盡可能 使得資料少丟失。

redis 同樣也提供了另外兩種策略,乙個是永不 fsync——讓作業系統來決定合適同步磁 盤,很不安全,另乙個是來乙個指令就 fsync 一次——非常慢。但是在生產環境基本不會使 用,了解一下即可。

快照是通過開啟子程序的方式進行的,它是乙個比較耗資源的操作。

1、遍歷整個記憶體,大塊寫磁碟會加重系統負載

2、aof 的 fsync 是乙個耗時的 io 操作,它會降低 redis 效能,同時也會增加系統 io 負擔

所以通常 redis 的主節點是不會進行持久化操作,持久化操作主要在從節點進行。從節 點是備份節點,沒有來自客戶端請求的壓力,它的作業系統資源往往比較充沛。

但是如果出現網路分割槽,從節點長期連不上主節點,就會出現資料不一致的問題,特別 是在網路分割槽出現的情況下又不小心主節點宕機了,那麼資料就會丟失,所以在生產環境要 做好實時監控工作,保證網路暢通或者能快速修復。另外還應該再增加乙個從節點以降低網 絡分割槽的概率,只要有乙個從節點資料同步正常,資料也就不會輕易丟失。

重啟 redis 時,我們很少使用 rdb 來恢復記憶體狀態,因為會丟失大量資料。我們通常 使用 aof 日誌重放,但是重放 aof 日誌效能相對 rdb 來說要慢很多,這樣在 redis 實 例很大的情況下,啟動需要花費很長的時間。

redis 4.0 為了解決這個問題,帶來了乙個新的持久化選項——混合持久化。將 rdb 文 件的內容和增量的 aof 日誌檔案存在一起。這裡的 aof 日誌不再是全量的日誌,而是自 持久化開始到持久化結束的這段時間發生的增量 aof 日誌,通常這部分 aof 日誌很小。

於是在 redis 重啟的時候,可以先載入 rdb 的內容,然後再重放增量 aof 日誌就可 以完全替代之前的 aof 全量檔案重放,重啟效率因此大幅得到提公升。

Redis 資料持久化

首先redis內部使用乙個redisobject物件來表示所有的key和value,redisobject最主要的資訊如上圖所示 type代表乙個value物件具體是何種資料型別,encoding是不同資料型別在redis內部的儲存方式,比如 type string代表value儲存的是乙個普通字串...

redis持久化資料

如果我們想要redis僅僅作為純記憶體的快取來用,那麼可以禁止rdb和aof所有的持久化機制 如果同時使用rdb和aof兩種持久化機制,那麼在redis重啟的時候,會使用aof來重新構建資料,因為aof中的資料更加完整 1 rdb會生成多個資料檔案,每個資料檔案都代表了某乙個時刻中redis的資料,...

redis資料持久化RDBAOF

全稱 reids database 資料持久化方式之一 在指定時間間隔內,將記憶體中的資料集快照寫入硬碟。術語叫 snapshot 快照。恢復時,將快照檔案直接讀到記憶體裡。root host53 cd var lib redis 6379 root host53 6379 ls dump.rdb ...