在分布式系統或數據庫管理系統中，日志先行原則（Write-Ahead Logging，WAL） 是確保數據一致性、持久性和恢復能力的重要機制。通過 WAL，系統能夠在發生故障時恢復數據，保證數據的可靠性。在這篇博客中，我們將深入探討 Redis AOF 和 MySQL redo log 是如何應用日志先行原則，解決內核 Page Cache 的問題，并避免日志文件無限增大的。

🚩 日志先行原則：保障數據正確落盤

日志先行原則的核心思想是：數據操作的記錄要先寫入日志文件，然后才執行實際的數據操作。這種做法的目的不僅僅是為了確保數據操作的 順序性，而且也為系統 崩潰恢復 提供了保障。通過日志文件，系統可以在崩潰之后，通過重放日志中的操作，恢復到崩潰前的狀態。

內核 Page Cache 的作用

操作系統為了提升磁盤 I/O 性能，引入了 Page Cache（頁面緩存）。當數據被寫入磁盤時，它并不是立刻寫到磁盤上的，而是先緩存到 內存中，然后操作系統會周期性地將內存中的數據刷新到磁盤。這種機制能顯著提升寫操作的效率，但它帶來了一些潛在問題，尤其是對于持久化系統的可靠性。

日志先行原則解決的核心問題

為了確保數據能夠 可靠地落盤，即使操作系統的緩存機制（Page Cache）發生問題，日志文件的記錄能夠作為保證，防止數據丟失。這是 WAL 原則的核心：我們將數據的修改首先寫入日志文件，在日志文件被成功寫入之后，才允許數據操作執行。這意味著，數據是否持久化到磁盤由 日志文件 控制，而不僅僅依賴操作系統的緩存機制。

---

🚩 Redis AOF 持久化：重寫機制避免日志文件無限增大

Redis 是一個內存數據存儲系統，默認情況下，數據存儲在內存中并通過內存操作來提供高性能的讀寫服務。然而，Redis 同時也提供了 AOF（Append-Only File）持久化機制，以確保數據在重啟或崩潰后不會丟失。

AOF 重寫：精簡日志文件

Redis AOF 的工作機制也遵循了 日志先行原則，即每次寫操作都會先被記錄到 AOF 文件中，然后才進行實際的內存操作。為了避免 AOF 文件的無限增大，Redis 引入了 AOF 重寫機制。

AOF 重寫的過程：

1. 當 Redis 執行寫操作時，命令會被追加到 AOF 文件。
2. 隨著時間的推移，AOF 文件會逐漸增大，因為每個操作都會記錄在文件中。為了解決這個問題，Redis 會定期進行 AOF 重寫。
3. 在 AOF 重寫過程中，Redis 會在后臺創建一個新的 AOF 文件，并將當前內存中的數據生成一份 精簡版的寫操作記錄，去除冗余的命令（例如多個連續的 SET 操作可以合并為一個 MSET 操作）。
4. 重寫完成后，舊的 AOF 文件會被替換為新的文件，釋放磁盤空間。

舉個例子：

假設你有一個鍵 user:123，并且對它執行了多個 SET 操作，如下：

SET user:123 name "John"
SET user:123 age 30
SET user:123 city "New York"

這些操作會被按順序追加到 AOF 文件中。如果不進行重寫，AOF 文件將會不斷增加。但通過 AOF 重寫，Redis 會把這三條 SET 命令合并為一條：

MSET user:123 name "John" age 30 city "New York"

這樣 AOF 文件的大小就得到了有效壓縮。

---

🚩 MySQL redo log：循環使用已有的日志文件

MySQL 的 redo log 采用了 日志先行原則，它主要用于保證事務的持久化，確保在系統崩潰后能通過重做日志恢復數據。MySQL 的 redo log 與 Redis 的 AOF 有相似的目的，都是為了解決 數據丟失 問題。

Redo log 循環使用：避免日志文件增大

MySQL 使用的 redo log 是一個循環寫入的日志系統，當日志文件寫滿時，MySQL 會 覆蓋舊的日志文件，而不是不斷增加新的文件。這樣可以有效避免日志文件無休止增大。

redo log 的工作機制：

1. 每個事務的修改會先記錄到 redo log 中，并通過 InnoDB 存儲引擎持久化到磁盤。
2. redo log 文件是循環使用的，MySQL 在寫滿一個日志文件后，會將新的日志寫入下一個文件，并重新覆蓋最早的日志文件。
3. 文件增大問題：通過這種方式，MySQL 確保日志文件不會不斷增加，同時也確保事務的持久化。

日志文件回收：

當 日志文件寫滿 時，MySQL 會自動回收日志文件，保證不會無限制地占用磁盤空間。通過這個機制，MySQL 能夠確保即使在高并發的環境下，日志文件始終保持在一個合理的大小范圍內。

---

🚩 總結：日志先行原則保障數據落盤

無論是 Redis AOF 還是 MySQL redo log，它們都通過 日志先行原則 來保證數據在落盤之前不會丟失。這不僅僅是為了確保數據的一致性和持久性，還能有效應對操作系統的 Page Cache 所帶來的潛在問題。

關鍵點：

• 日志先行原則 保障了數據在磁盤上持久化之前不會丟失。
• Redis 通過 AOF 重寫機制，在數據成功落盤后清理舊的日志文件，避免文件無限增大。
• MySQL 的 redo log 則通過 循環使用日志文件 來解決日志文件增大的問題。

通過這些機制，Redis 和 MySQL 都能在確保高性能的同時，避免日志文件無限增長，保持系統的可靠性和穩定性。

---

希望這篇博客能夠幫助你更好地理解 Redis 和 MySQL 中的日志管理機制。如果你有任何問題或需要進一步的解釋，歡迎在評論區留言！