原文出处:Java 技术驿站 『chenssy』
上篇博文【死磕 Redis】--- 哨兵(一):部署哨兵架构 介绍了 Redis Sentinel 是一个能够自动完成故障发现和故障转移并通知应用方,从而实现真正的高可用的分布式架构 ,他具备 监控、通知、自动故障转移等功能,同时详细演示了哨兵的架构部署和自动故障转移,相信各位小伙伴对 Redis 哨兵机制有了一个简单的认识,这篇博文将详细介绍哨兵的基本原理,包括:
心跳机制
主观下线、客观下线
Sentinel 选举
故障转移
心跳检查
Sentinel 通过三个定时任务来完成对各个节点的发现和监控,这是保证 Redis 高可用的重要机制。
1、每隔 10 秒,每个 Sentinel 节点会向已知的主从节点发送 info 命令获取最新的主从架构。下图是 info 命令的响应。
Sentinel 节点通过解析响应信息,就可以知道当前 Redis 数据节点的最新拓扑结构。如果是新增的节点,Sentinel 就会与其建立连接。
2、每隔 2 秒,Sentinel 节点都会向主从节点的 _sentinel_:hello 频道发送自己的信息。目的有两个:
发现新的 Sentinel 节点
Sentinel 节点之间交换主节点的状态,作为后面客观下线以及领导者选择的依据。
发送的消息内容格式为:
,,,,
,,,
3、每隔一秒,哨兵会每个主从节点、Sentinel 节点发送 PING 命令。该定时任务是哨兵心跳机制中的核心,它涉及到 Redis 数据节点的运行状态监控,哨兵领导者的选举等细节操作。当哨兵节点发送 PING 命令后,若超过 down-after-milliseconds 后,当前哨兵节点会认为该节点主观下线。
主观下线、客观下线
主观下线
在第三个定时任务中,每个一秒 Sentinel 节点会向每个 Redis 数据节点发送 PING 命令,若超过 down-after-milliseconds 设定的时间没有收到响应,则会对该节点做失败判定,这种行为叫做 主观下线。因为该行为是当前节点的一家之言,所以会存在误判的可能。
客观下线
当 Sentinel 节点判定一个主节点为主观下线后,则会通过 sentinel is-master-down-by-addr 命令询问其他 Sentinel 节点对该主节点的状态,当有超过 个 Sentinel 节点认为主节点存在问题,这时该 Sentinel节点会对主节点做客观下线的决定。
这里有一点需要注意的是,客观下线是针对主机节点,如果主观下线的是从节点或者其他 Sentinel 节点,则不会进行后面的客观下线和故障转移了。
Sentinel 选举
假如一个 Sentinel 节点完成了主节点的客观下线,那么是不是就可以立刻进行故障转移呢?显然不是,因为 Redis 的故障转移工作只需要一个 Sentinel 节点来完成,所以会有一个选举的过程,选举出来一个领导者来完成故障转移工作。Redis 节点采用 Raft 算法来完成领导者写选举,该算法不是本文的重点,所以不做过多介绍,下面主要介绍 Sentinel 选举的主要流程。
每一个做主观下线的 Sentinel 节点都有成为领导者的可能,他们会想其他 Sentinel 节点发送 sentinel is-master-down-by-addr ,要求将它设置为领导者。
收到命令的 Sentinel 节点如果没有同意其他 Sentinel 节点发送的命令,则会同意该请求,否则拒绝。
如果该 Sentinel 节点发现自己得到的票数已经超过半数且超过 ,那么他将成为领导者。
如果该过程有多个 Sentinel 成为领导者,那么将等待一段时间重新进行选择,直到有且只有一个 Sentinel 节点成为领导者为止。
加入有 A、B、C、D 四个节点构成 Sentinel 集群。加入 A 率先完成客观下线,则 A 会向 B、C、D 发出成为领导者的申请,由于 B、C、D 没有同意过其他 Sentinel 节点,所以会将投票给 A,A 得到三票。B 则向 A、C、D 发起申请,由于 C、D 已经同意了 A,所以会拒绝,但是他会得到 A 的同意,所以 B 得到一票,同理 C、D 得到零票,如下图:
节点
得到的票数
A
B 、C、D
B
A
C
D
所以 A 会成为领导者,进行故障转移工作。一般来说,哨兵选择的过程很快,谁先完成客观下线,一般就能成为领导者。
故障转移
当某个 Sentinel 节点通过选举成为了领导者,则他就要承担起故障转移的工作,其具体步骤如下:
1、从从节点列表中选择一个节点作为新的主节点,选择的策略如下:
过滤掉不健康的节点(主观下线、断线),5 秒内没有回复过 Sentinel 节点 ping 响应、与主节点失联超过 down-after-milliseconds * 10秒
选择优先级最高级别的节点,如果不存在则继续
选择复制偏移量最大的节点(数据最完整),存在则返回,不存在则继续
选择 runid 最小的节点
2、在新的主节点上执行 slaveof no one,让其变成主节点
3、向剩余的从节点发送命令,让它们成为新主节点的从节点
命令详解
参考资料