Redis_Sentinal 核心概念说明
哨兵会监听mastrer节点状态,如果说此时Sentinal判断master node现在已经宕机,实际上是会有两种宕机状态: Sdown 和 Odown
Sdown 和 Odown两种失败状态说明
sdown是主观宕机,就是一个哨兵自己觉得一个master宕机了,那么就是主观宕机
odown是客观宕机,如果quorum数量的哨兵都觉得一个master宕机了,那么就是客观宕机
sdown达成的条件其实很简单,如果一个哨兵ping一个master 超过了 == is-master-down-after-millisenconds== 指定的毫秒数之后,就主观认为master宕机
sdown 到 odown转换的条件也很简单,如果一个哨兵在指定时间内,收到了quorum指定数量的其他哨兵也认为那个master是down了,那么就认为是odown了
哨兵和Slave集群的自动发现机制
哨兵之间的互相发现,是通过redis的pub/sub系统实现的,每个哨兵都会往自己监控的每个master+slaves对应的_sentinal_:hello channel里发送一条消息,内容是自己的IP,host,和run_id,还有对这个master的监控配置,每个哨兵也会去监听自己监控的每个master + slaves 对应的_sentinal_:hello channel;然后去感知到同样在监听这个master+slaves的其他哨兵的存在
每个哨兵还会跟其他哨兵交换对master的监控配置,互相进行监控配置的同步
slave 配置的自动纠正
哨兵会负责自动纠正slave的一些配置,比如slave 如果要成为潜在的master候选人,哨兵会确保slave在复制现有的master的数据
如果slave连接到一个错误的master上,比如故障转移之后,那么哨兵会确保他们连接到正确的master上
slave->master选举算法
如果一个master 被认为是odown了,而且majority哨兵都允许了主备切换,那么某个哨兵就会执行主备切换操作,此时首先要选举出来一个slave
slave选举的要求(竞选条件)
- 跟Master断开连接的时长
如果一个slave跟master断开连接已经超过了down-after-milliscends的10倍,外加master宕机的时长,那么slave就被认为不适合选举成为master 相关公式为:(down-after-milliscends * 10) + milliseconds_since_master_is_in_SOWN_state - slave的优先级
- 复制offset
- run_id
接下来会按照上述的信息对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个哨兵都同意授权,才能执行切换
configuration epoch
哨兵会对一套redis master+slave进行监控,有相应的监控的配置
执行切换的那个哨兵,会从要切换的新master哪里得到一个configuration epoch,这就是一个version号,每次切换的version都必须是唯一的,如果第一个选举出来的哨兵切换失败了,那么其他哨兵会等待failover-timeout时间,然后接替继续执行切换,此时会重新获取一个新的configuration epoch,作为新的version 号
configuration 传播
哨兵完成切换之后,会在自己本地更新成为最新的master配置,然后同步给其他的哨兵,这就是通过pub/sub消息机制,这里之前的version号就很重要了,因为各种消息都是通过一个channel去发布和监听的,所以一个哨兵完成一次新的切换之后,新的master配置是跟着新的version的,其他的哨兵都是根据版本号的大小来更新自己的master配置的