Redis專題地址：https://www.cnblogs.com/hello-shf/category/1615909.html
SpringBoot讀源碼系列：https://www.cnblogs.com/hello-shf/category/1456313.html
Elasticsearch系列：https://www.cnblogs.com/hello-shf/category/1550315.html
數據結構系列：https://www.cnblogs.com/hello-shf/category/1519192.html
一、redis主從復制原理
redis主從同步策略：slave剛加入集群會觸發一次全量同步（全量復制）。全量同步之后，進行增量復制。slave優先是增量同步，如果增量同步失敗會嘗試從master節點進行全量復制。
全量復制：slave初始化階段
如上圖
- slave服務器首先連接master節點，發送SYNC命令。
- master節點收到SYNC命令開始指令BGSAVE（延遲寫，讀正常）命令生成RDB（快照）文件，在此期間master的寫請求會被緩存。
- RDB生成，master會將該RDB發送給所有的slave。
- slave收到RDB文件會拋棄之前的舊數據，然后載入新的RDB。
- master完成RDB發送，會執行之前阻塞的寫命令，並將這些命令同步到slave節點。（增量復制）
- 以上步驟完成后master和slave開始正常工作。
值得注意的是，全量復制對主從都是非阻塞的，是異步復制。
增量復制：master每次的寫命令會同步到slave，slave收到命令執行對應命令。
斷點續傳：在步驟3步驟中，master發送給slave的文件過程中，網絡故障了，重連后，master僅會復制給slave缺少的部分（會記錄offset偏移量）。
master node 會在內存中維護一個 backlog，master 和 slave 都會保存一個 replica offset 還有一個 master run id，offset 就是保存在 backlog 中的。如果 master 和 slave 網絡連接斷掉了，slave 會讓 master 從上次 replica offset 開始繼續復制，如果沒有找到對應的 offset，那么就會執行一次 resynchronization。
主從復制中的內存淘汰策略：slave不會主動淘汰過期key，master處理掉的過期key，會向slave發送一個del命令，同步淘汰的數據。
心跳數據：master 默認每隔 10秒 發送一次 heartbeat，slave node 每隔 1秒 發送一個 heartbeat。
注意，如果采用了主從架構，那么建議必須開啟 master node 的持久化，不建議用 slave node 作為 master node 的數據熱備，因為那樣的話，如果你關掉 master 的持久化，可能在 master 宕機重啟的時候數據是空的，然后可能一經過復制， slave node 的數據也丟了。
另外，master 的各種備份方案，也需要做。萬一本地的所有文件丟失了，從備份中挑選一份 rdb 去恢復 master，這樣才能確保啟動的時候，是有數據的，即使采用了高可用機制，slave node 可以自動接管 master node，但也可能 sentinel 還沒檢測到 master failure，master node 就自動重啟了，還是可能導致上面所有的 slave node 數據被清空。
二、哨兵機制
哨兵之前的主從架構是需要在各自的配置文件中手動配置自己的master或者slave節點。（方便理解后面的Configuration傳播）
假如采用了redis的主從方案，那么當master節點宕機，主備切換的過程是需要運維人員手動完成的，人工的故障轉移是十分的耗時而且對運維人員的要求是極高的。
所以就有了基於redis哨兵（Sentinel）機制搭建的高可用架構。
1，sentinel
中文哨兵。哨兵是 redis 集群機構中非常重要的一個組件，主要有以下功能：
- 集群監控：負責監控 redis master 和 slave 進程是否正常工作。
- 消息通知：如果某個 redis 實例有故障，那么哨兵負責發送消息作為報警通知給管理員。
- 故障轉移：如果 master node 掛掉了，會自動轉移到 slave node 上。
- 配置中心：如果故障轉移發生了，通知 client 客戶端新的 master 地址。
哨兵用於實現 redis 集群的高可用，本身也是分布式的，作為一個哨兵集群去運行，互相協同工作。
- 故障轉移時，判斷一個 master node 是否宕機了，需要大部分的哨兵都同意才行，涉及到了分布式選舉的問題。
- 即使部分哨兵節點掛掉了，哨兵集群還是能正常工作的，因為如果一個作為高可用機制重要組成部分的故障轉移系統本身是單點的，那就很坑爹了。
2，核心知識
- 哨兵至少需要 3 個實例，來保證自己的健壯性。
- 哨兵 + redis 主從的部署架構，是不保證數據零丟失的，只能保證 redis 集群的高可用性。
- 對於哨兵 + redis 主從這種復雜的部署架構，盡量在測試環境和生產環境，都進行充足的測試和演練。
3，故障轉移
- sdown 是主觀宕機，就一個哨兵如果自己覺得一個 master 宕機了，那么就是主觀宕機
- odown 是客觀宕機，如果 quorum 數量的哨兵都覺得一個 master 宕機了，那么就是客觀宕機
sdown 達成的條件很簡單，如果一個哨兵 ping 一個 master，超過了 is-master-down-after-milliseconds 指定的毫秒數之后，就主觀認為 master 宕機了；如果一個哨兵在指定時間內，收到了 quorum 數量的其它哨兵也認為那個 master 是 sdown 的，那么就認為是 odown 了。
三、slave->master 選舉算法
如果一個 master 被認為 odown 了，而且 majority 數量的哨兵都允許主備切換，那么某個哨兵就會執行主備切換操作，此時首先要選舉一個 slave 來，會考慮 slave 的一些信息：
- 跟 master 斷開連接的時長
- slave 優先級
- 復制 offset
- run id
如果一個 slave 跟 master 斷開連接的時間已經超過了 down-after-milliseconds 的 10 倍，外加 master 宕機的時長，那么 slave 就被認為不適合選舉為 master。
(down-after-milliseconds * 10) + milliseconds_since_master_is_in_SDOWN_state
接下來會對 slave 進行排序：
- 按照 slave 優先級進行排序，slave priority 越低，優先級就越高。
- 如果 slave priority 相同，那么看 replica offset，哪個 slave 復制了越多的數據，offset 越靠后，優先級就越高。
- 如果上面兩個條件都相同，那么選擇一個 run id 比較小的那個 slave。
quorum 和 majority：
每次一個哨兵要做主備切換，首先需要 quorum 數量的哨兵認為 odown，然后選舉出一個哨兵來做切換，這個哨兵還需要得到 majority 哨兵的授權，才能正式執行切換。
如果 quorum < majority，比如 5 個哨兵，majority 就是 3，quorum 設置為 2，那么就 3 個哨兵授權就可以執行切換。
但是如果 quorum >= majority，那么必須 quorum 數量的哨兵都授權，比如 5 個哨兵，quorum 是 5，那么必須 5 個哨兵都同意授權，才能執行切換。
主備切換帶來的數據丟失問題
數據丟失的兩種情況：
- 異步復制導致的數據丟失
因為 master->slave 的復制是異步的，所以可能有部分數據還沒復制到 slave，master 就宕機了，此時這部分數據就丟失了。
- 腦裂導致的數據丟失
腦裂，也就是說，某個 master 所在機器突然脫離了正常的網絡，跟其他 slave 機器不能連接，但是實際上 master 還運行着。此時哨兵可能就會認為 master 宕機了，然后開啟選舉，將其他 slave 切換成了 master。這個時候，集群里就會有兩個 master ，也就是所謂的腦裂。
此時雖然某個 slave 被切換成了 master，但是可能 client 還沒來得及切換到新的 master，還繼續向舊 master 寫數據。因此舊 master 再次恢復的時候，會被作為一個 slave 掛到新的 master 上去，自己的數據會清空，重新從新的 master 復制數據。而新的 master 並沒有后來 client 寫入的數據，因此，這部分數據也就丟失了。
解決方案：
進行如下配置：
1 min-slaves-to-write 1 2 min-slaves-max-lag 10
表示，要求至少有 1 個 slave，數據復制和同步的延遲不能超過 10 秒。
如果說一旦所有的 slave，數據復制和同步的延遲都超過了 10 秒鍾，那么這個時候，master 就不會再接收任何請求了。
- 減少異步復制數據的丟失
有了 min-slaves-max-lag 這個配置，就可以確保說，一旦 slave 復制數據和 ack 延時太長，就認為可能 master 宕機后損失的數據太多了，那么就拒絕寫請求，這樣可以把 master 宕機時由於部分數據未同步到 slave 導致的數據丟失降低的可控范圍內。
- 減少腦裂的數據丟失
如果一個 master 出現了腦裂，跟其他 slave 丟了連接，那么上面兩個配置可以確保說，如果不能繼續給指定數量的 slave 發送數據，而且 slave 超過 10 秒沒有給自己 ack 消息，那么就直接拒絕客戶端的寫請求。因此在腦裂場景下，最多就丟失 10 秒的數據。
四、哨兵集群的自動發現機制
哨兵互相之間的發現，是通過 redis 的 pub/sub 系統實現的，每個哨兵都會往 __sentinel__:hello 這個 channel 里發送一個消息，這時候所有其他哨兵都可以消費到這個消息，並感知到其他的哨兵的存在。
每隔兩秒鍾，每個哨兵都會往自己監控的某個 master+slaves 對應的 __sentinel__:hello channel 里發送一個消息，內容是自己的 host、ip 和 runid 還有對這個 master 的監控配置。
每個哨兵也會去監聽自己監控的每個 master+slaves 對應的 __sentinel__:hello channel，然后去感知到同樣在監聽這個 master+slaves 的其他哨兵的存在。
每個哨兵還會跟其他哨兵交換對 master 的監控配置，互相進行監控配置的同步。
五、configuration 傳播
哨兵完成切換之后，會在自己本地更新生成最新的 master 配置，然后同步給其他的哨兵，就是通過之前說的 pub/sub 消息機制。
這里之前的 version 號就很重要了，因為各種消息都是通過一個 channel 去發布和監聽的，所以一個哨兵完成一次新的切換之后，新的 master 配置是跟着新的 version 號的。其他的哨兵都是根據版本號的大小來更新自己的 master 配置的。
參考文獻：
https://github.com/hello-shf/advanced-java
https://www.cnblogs.com/daofaziran/p/10978628.html
如有錯誤的地方還請留言指正。
原創不易，轉載請注明原文地址：https://www.cnblogs.com/hello-shf/p/12072330.html