redis哨兵核心底层原理

sdown和odown两种失败状态

sdown是主观宕机，就一个哨兵如果自己觉得有一个master宕机了，那么就是主观宕机。
odown是客观宕机，如果quorum数量的哨兵都觉得master宕机了，那么就是客观宕机
sdown达成条件很简单，如果一个哨兵ping一个master，超过is-master-down-milliseconds指定的毫秒数之后，就主观认为master宕机
sdown到odown转换的条件很简单，如果一个哨兵在指定时间中，收到quorum指定数量的其他哨兵也认为master是sdown了，那就认为客观宕机。

---

哨兵集群的自动发现机制

哨兵互相之间的发现，是通过redis的pub/sub系统实现的，每个哨兵会往sentinel:hello这个channel里边发送一个消息，这个时候所有其他哨兵都可以消费到这个消息，并感知到其他哨兵的存在。
每个哨兵也会去监听自己监控的每个master+slave对应的sentinel:hello channel，然后感知到同样再监听这个master+slaves的其他哨兵的存在
每个哨兵还会跟其他哨兵交换对master的监控配置，互相进行监控配置同步。

---

slave配置的自动纠正

哨兵会负责自动纠正slave的一些配置，比如slave如果要称为潜在的master候选人，哨兵会确保slave再复制现在master的数据，如果slave连接到一个错误的master上，比如故障转移后，那么哨兵会确保他们连接到正确的master上。

---

slave->master选举算法

如果一个master被认为odown了，而且majority哨兵都允许了贮备切换，那么某个哨兵就会执行主备切换操作，此时首先选举一个slave来
会考虑slave一些信息

• 跟master断开连接时间
• slave优先级
• 复制offset
• run id
  如果一个slave跟master断开连接已经超过down-after-milliseconds的10倍，外加master宕机时长，那么slave就认定不合适选举为master
  接下来会对slave排序
  (1)按照slave优先级进行排序，slave priority越低，优先级越高
  (2)如果slave priority相同，那么看replica offset，哪个salve复制了越多数据，offset越靠后，优先级越高
  (3)如果上面两个条件都相同，那么选择一个run id比较小的那个slave

---

quorum和majority

每次一个哨兵要做主备切换，首先需要quorum数量的哨兵认为odown，然后选举一个哨兵来做切换，这个哨兵还得得到majority哨兵的授权，才能正式执行切换。

configuration epoch

哨兵会对一套redis master+slave进行监控，有相应监控的配置
执行切换的那个哨兵，会从要切换到的新master(slave->master)那里得到一个configuration epoch，这就是一个version号，每次切换的version号必须是唯一的。
如果第一个选举出来的哨兵切换失败了，那么其他哨兵，会等待failover-timeout时间，然后接替继续执行切换，此时会重新获得一个新的configuration epoch，作为新的version号。

---

configuration传播

哨兵完成切换以后，会在自己本地更新生成最新的master配置，然后同步给其他哨兵，就是通过之前所得pub/sub消息机制
这里version号就很重要了，因为各种消息都是通过一个channel去发布和监听的，所以一个哨兵完成一次新的切换后，新的master配置是跟着新的version号的
其他的哨兵都是根据版本号的大小来更新自己的master配置的。