從 OS 等級探究:Redis 運作原理程式逐行講解
內容描述
用超高速C語言解析Unix下Redis程式及完整執行過程
一次精通Redis、UNIX程式設計、分散式系統、儲存系統
▍本書主要內容
本書深入分析了Redis的實現原理,所以並不是Redis的入門書。為了儘量降低閱讀難度,本書複習了Redis各個核心功能的實現原理,提取了Redis核心程式(本書會儘量避免堆積程式),並以適量圖文,對Redis原始程式及其實現原理進行詳細分析,介紹Redis核心功能的設計思想和實現流程。
雖然本書的大部分內容是對Redis原始程式的分析,但是並不複雜,即使讀者只是簡單了解C語言的基礎語法,也可以輕鬆讀懂。
另外,本書結合Redis目前的最新版本6,分析了Redis最新特性,如Redis 6的ACL、Tracking等機制。為了照顧對Redis最新特性不熟悉的讀者,這部分內容提供了詳細的應用範例,幫助讀者循序漸進、由淺到深地學習和了解Redis最新特性。
本書也不侷限於Redis,而是由Redis延展出了兩方面內容:
(1)Redis中使用的UNIX機制,包括UNIX網路程式設計、執行緒同步等內容,本書會 透過原始程式展示Redis如何使用這些UNIX機制。
(2)如何透過Redis實現一個分散式系統,主要是Sentinel、Cluster機制的實現原理。
本書使用的原始程式版本是Redis 6,本書提供的Redis操作案例,如無特殊說明,也是在Redis 6版本上執行的操作實例。
▍本書特點
.分析Redis的字串、清單、雜湊、集合這幾種資料類型的編碼格式。
.介紹Redis事件機制與命令執行過程。
.利用I/O重複使用模型,實現事件循環機制。
.說明Redis持久化與複製機制。
.檔案持久化、從節點複製,透過將資料複製到不同備份中,從而保持資料安全。
.使用RDB、AOF持久化機制,以及主從節點複製流程等。
.Redis分散式架構,從流行的分散式演算法Raft出發,分析Sentinel監控節點,Cluster叢集實現資料分片,支援動態新增、刪除叢集節點,以及容錯移轉。
.說明Redis中的進階特性,包括Redis交易、非阻塞刪除、ACL存取控制清單、Tracking機制、Lua指令稿、Module模組、Stream訊息流等內容。
目錄大綱
第1部分 資料結構與編碼
01字串
1.1 redisObject
1.2 sds
02串列
2.1 ziplist
2.2 quicklist
03雜湊
3.1字典
3.2資料庫
04集合
4.1無序集合
4.2有序集合
第2部分 事件機制與指令執行
05 Redis啟動過程
5.1伺服器定義
5.2 main函數
5.3 Redis初始化過程
06事件機制
6.1 Redis事件機制概述
6.2 Redis啟動時建立的事件
6.3事件循環器的執行
07 epoll與網路通訊
7.1 I/O重複使用模型
7.2 epoll網路程式設計
7.3 Redis網路通訊啟動過程
08用戶端
8.1定義
8.2建立用戶端
8.3關閉用戶端
8.4用戶端設定
09 Redis指令執行過程
9.1 RESP協定
9.2解析請求
9.3傳回回應
9.4執行指令
10網路I/O執行緒
10.1執行緒概述
10.2互斥量概述
10.3初始化I/O執行緒
10.4解析請求
10.5 I/O執行緒主邏輯
10.6傳回回應
10.7 I/O執行緒狀態切換
第3部分 持久化與複製
11 RDB
11.1 RDB定時邏輯
11.2 RDB持久化過程
11.3 RDB檔案載入過程
11.4 RDB檔案分析範例
11.5 RDB設定
11.6 UNIX寫入時複製機制
11.7 UNIX I/O與快取
12 AOF
12.1 AOF定時邏輯
12.2 AOF持久化過程
12.3 AOF重新定義過程
12.4 AOF檔案載入過程
12.5 AOF檔案分析範例
12.6 AOF設定
13主從複製
13.1流程概述
13.2主從交握流程
13.3從節點同步流程
13.4主節點同步流程
13.5 PSYNC2
13.6主從複製流程
13.7定時邏輯
13.8主從複製設定
第4部分 分散式架構
14 Raft演算法
14.1分散式一致性的困難
14.2 CAP理論
14.3 Raft演算法的設計
14.4 Redis中的Raft演算法
15 Redis Sentinel
15.1 Redis Sentinel的應用範例
15.2 Redis Sentinel的實現原理
15.3 Redis Sentinel的容錯移轉
15.4用戶端互動
16 Redis Cluster
16.1 Redis Cluster的應用範例
16.2 Redis Cluster槽位管理
16.3 Redis Cluster啟動過程
16.4 Redis Cluster節點通訊
16.5 Redis Cluster的容錯移轉
第5部分 進階特性
17交易
17.1交易的應用範例
17.2交易的實現原理
18非阻塞刪除
18.1 UNLINK指令的實現原理
18.2後台執行緒
19記憶體管理
19.1動態記憶體分配器
19.2資料過期機制
19.3資料淘汰機制
20 Redis Stream
20.1 Redis Stream的應用範例
20.2 Stream的實現原理
21存取控制清單ACL
21.1 ACL的應用範例
21.2 ACL的實現原理
22 Redis Tracking
22.1 Redis Tracking的應用範例
22.2 Redis Tracking的實現原理
23 Lua指令稿
23.1 Lua指令稿的應用範例
23.2 Lua指令稿的實現原理
24 Redis Module
24.1 Module的應用範例
24.2 Module的實現原理
作者介紹
梁國斌
多年軟體設計與開發經驗。Redis長期使用者,熟悉Redis的核心原理與實現方式。公眾號(binecy)的維護者,主要分享各類軟體和框架的原始碼分析。