Redis Sentinel 源码（Redis的高可用模型分析） redis数据库框架高可用

摘要：本文通过对Redis Sentinel源码的理解，详细说明Sentinel的代码实现方式。

【Redis Sentinel 源码（Redis的高可用模型分析）】Redis Sentinel 是Redis提供的高可用模型解决方案。Sentinel可以自动监测一个或多个Redis主备实例，并在主实例宕机的情况下自动实行主备倒换。本文通过对Redis Sentinel源码的理解，详细说明Sentinel的代码实现方式。
Sentinel使用Redis内核相同的事件驱动代码框架，但Sentinel有自己独特的初始化步骤。在这篇文章里，会从Sentinel的初始化、Sentinel主时间事件函数、Sentinel 网络连接和Tilt模式三部分进行讲解。
Sentinel初始化我们可以通过redis-sentinel 或者 redis-server --sentinel 这两种方式启动并运行Sentinel实例，这两种方式是等价的。在Redis server.c 的main函数中，我们会看到Redis如何判断用户指定以Sentinel方式运行的逻辑：

文章图片

其中checkForSentinelMode函数会监测以下两种条件：

程序使用redis-sentinel可执行文件执行。
程序参数列表中有--sentinel 标志。

以上任何一种条件成立则Redis会使用Sentinel的方式运行。

文章图片

在Redis 判断是否以Sentinel的方式运行以后，我们会看到如下代码段：

文章图片

在initSentinelConfig函数中，会使用Sentinel特定的端口（默认为26379）来替代Redis的默认端口（6379）。另外，在Sentinel模式下，需要禁用服务器运行保护模式。

文章图片

与此同时，initSentinel函数会做如下操作：

文章图片

1.使用Sentinel自带的命令表去替代Redis服务器原生的命令. Sentinel 支持的命令表如下：

文章图片

2.初始化Sentinel主状态结构，Sentinel主状态的定义及注释如下。

文章图片

文章图片

其中masters字典指针中的每个值都对应着一个Sentinel检测的主实例。
在读取配置信息后，Redis服务器主函数会调用sentinelIsRunning函数，做以下几个工作：

检查配置文件是否被设置，并且检查程序对配置文件是否有写权限，因为如果Sentinel状态改变的话，会不断将自己当前状态记录在配置文件中。
如果在配置文件中指定运行ID，Sentinel 会使用这个ID作为运行ID，相反地，如果没有指定运行ID，Sentinel会生成一个ID用来作为Sentinel的运行ID。
对所有的Sentinel监测实例产生初始监测事件。

文章图片

Sentinel的主时间事件函数 Sentinel 使用和Redis服务器相同的事件处理机制：分为文件事件和时间事件。文件事件处理机制使用I/O 多路复用来处理服务器端的网络I/O 请求，例如客户端连接，读写等操作。时间处理机制则在主循环中周期性调用时间函数来处理定时操作，例如服务器端的维护，定时更新，删除等操作。Redis服务器主时间函数是在server.c中定义的serverCron函数,在默认情况下，serverCron会每100ms被调用一次。在这个函数中，我们看到如下代码：

文章图片

其中当服务器以sentinel模式运行的时候，serverCron会调用sentinelTimer函数，来运行Sentinel中的主逻辑，sentinelTimer函数在sentinel.c中的定义如下：

文章图片

Sentinel Timer函数会做如下几个操作：

检查Sentinel当前是否在Tilt 模式（Tilt模式将会在稍后章节介绍）。
检查Sentinel与其监控主备实例，以及其他Sentinel实例的连接，更新当前状态，并在主实例下线的时候自动做主备倒换操作。
检查回调脚本状态，并做相应操作。
更新服务器频率（调用serverCron函数的频率），加上一个随机因子，作用是防止监控相同主节点的Sentinel在选举Leader的时候时间冲突，导致选举无法产生绝对多的票数。

其中SentinelHandleDictOfRedisInstances函数的定义如下：

文章图片

SentinelHandleDictOfRedisInstances函数主要做的工作是：
1.调用sentinelHandleDictOfRedisInstance函数处理Sentinel与其它特定实例连接，状态更新，以及主备倒换工作。

如果当前处理实例为主实例，递归调用SentinelHandleDictOfRedisInstances函数处理其下属的从实例以及其他监控这个主实例的Sentinel。
在主备倒换成功的情况下，更新主实例为升级为主实例的从实例。

其中在sentinelHandleRedisInstance的定义如下：

文章图片

这个函数会做以下两部分操作：
1.检查Sentinel和其他实例（主备实例以及其他Sentinel）的连接，如果连接没有设置或已经断开连接，Sentinel会重试相对应的连接，并定时发送响应命令。需要注意的是：Sentinel和每个主备实例都有两个连接，命令连接和发布订阅连接。但是与其他监听相同主备实例的Sentinel只保留命令连接，这部分细节会在网络章节单独介绍。
2.第二部分操作主要做的是监测主备及其他Sentinel实例，并监测其是否在主观下线状态，对于主实例来说，还要检测是否在客观下线状态，并进行相应的主备倒换操作。
需要注意的是第二部分操作如果Sentinel在Tilt模式下是忽略的，下面我们来看一下这个函数第二部分的的具体实现细节。
sentinelCheckSubjectivelyDown 函数会监测特定的Redis实例（主备实例以及其他Sentinel）是否处于主观下线状态，这部分函数代码如下：

文章图片

主观下线状态意味着特定的Redis实例满足以下条件之一：

在实例配置的down_after_milliseconds时间内没有收到Ping的回复。
Sentinel认为实例是主实例，但收到实例为从实例的回复，并且上次实例角色回复时间大于在实例配置的down_after_millisecon时间加上2倍INFO命令间隔。

如果任何一个条件满足，Sentinel会打开实例的S_DOWN标志并认为实例进入主观下线状态。
主观下线状态意味着Sentinel主观认为实例下线，但此时Sentinel并没有询问其他监控此实例的其他Sentinel此实例的在线状态。
sentinelCheckObjectivelyDown 函数会检查实例是否为客观下线状态，这个操作仅仅对主实例进行。sentinelCheckObjectivelyDown函数定义如下：

文章图片

文章图片

这个函数主要进行的操作是循环查看监控此主实例的其他Sentinel SRI_MASTER_DOWN 标志是否打开，如果打开则意味着其他特定的Sentinel认为主实例处于下线状态，并统计认为主实例处于下线状态的票数，如果票数大于等于主实例配置的quorum值，则Sentinel会把主实例的SRI_O_DOWN标志打开，并认为主实例处于客观下线状态。
sentinelStartFailoverIfNeeded函数首先会检查实例是否处于客观下线状态（SRI_O_DOWN标志是否打开），并且在2倍主实例配置的主备倒换超时时间内没有进行主备倒换工作，Sentinel会打开SRI_FAILOVER_IN_PROGRESS标志并设置倒换状态为SENTINEL_FAILOVER_STATE_WAIT_START。并开始进行主备倒换工作。主备倒换的细节将在主备倒换的章节里介绍。

文章图片

Sentinel的网络连接上文提到每个Sentinel实例会维护与所监测的主从实例的两个连接，分别是命令连接（Command Connection）和发布订阅连接（Pub/Sub Connection）。但是需要注意的是，Sentinel和其他Sentinel之间只有一个命令连接。下面将分别介绍命令连接和发布订阅连接的作用。
命令连接
Sentinel维护命令连接是为了与其他主从实例以及Sentinel实例通过发送接收命令的方式进行通信，例如：

Sentinel会默认以每1s间隔发送PING 命令给其他实例以主观判断其他实例是否下线。
Sentinel会通过Sentinel和主实例之间的命令连接每隔10s发送INFO命令给主从实例以得到主实例和从实例的最新信息。
在主实例下线的情况下，Sentinel会通过Sentinel和从实例的命令连接发送SLAVEOF NO ONE命令给选定的从实例从而使从实例提升为新的主节点。
Sentinel会默认每隔1s发送is-master-down-by-addr命令以询问其他Sentinel节点关于监控的主节点是否下线。

在sentinel.c中的sentinelReconnectInstance函数中，命令连接的初始化如下：

文章图片

发布订阅连接
Sentinel维护和其他主从节点的发布订阅连接作用是为了获知其他监控相同主从实例的Sentinel实例的存在，并且从其他Sentinel实例中更新对所监控的主从实例以及发送的Sentinel实例的认知。例如在主备倒换完成后，其他Sentinel通过读取领头的Sentinel的频道消息来更新新的主节点的相关信息（地址，端口号等）。
Sentinel在默认每隔2秒钟会发送Hello消息包到其对应的主从实例的__sentinel__:hello频道中。Hello消息格式如下：
__sentinel_:hello<主节点名字 > <主节点地址> <主节点端口号> <主节点配置纪元>
当Sentinel通过订阅连接收到其他Sentinel发送的的Hello包时，会更新对主从节点以及S发送Sentinel的认知，如果收到自己发送的Hello包，则简单的丢弃不做任何处理。这部分代码逻辑是在sentinel.c中的sentinelProcessHelloMessage函数中定义的，由于篇幅原因在这里不做详细介绍。
在sentinel.c中的sentinelReconnectInstance函数中，发布订阅连接初始化如下：

文章图片

is-master-down-by-addr 命令
Sentinel会默认每隔1s通过命令连接发送is-master-down-by-addr命令以询问其他Sentinel节点关于监控的主节点是否下线。另外，在主实例下线的情况下，Sentinel之间也通过is-master-down-by-addr命令来获得投票并选举领头Sentinel。is-master-down-by-addr格式如下：
is-master-down-by-addr: <主实例地址> <主实例端口号> <当前配置纪元> <运行ID>
如果不是在选举领头Sentinel过程中, 项总为*，相反地，如果在Sentinel向其他Sentinel发送投票请求情况下，项为自己的运行id。这部分代码如下：
Redis Sentinel 源码（Redis的高可用模型分析）

文章图片

is-master-down-by-addr的命令回复格式如下：

<主节点下线状态>
<领头Sentinel运行ID >
<领头Sentinel配置纪元>

Sentinel在收到其他Sentinel命令回复后，会记录其他Sentinel回复的主实例在线状态信息，以及在选举领头Sentinel过程中的投票情况，这部分的代码逻辑定义在sentinel.c中的sentinelReceiveIsMasterDownByReply函数：
Redis Sentinel 源码（Redis的高可用模型分析）

文章图片

Tilt模式
Sentinel的Tilt模式会在以下两种情况下开启：

Sentinel进程被阻塞超过SENTINEL_TILT_TRIGGER时间（默认为2s），可能因为进程或系统I/O（内存，网络，存储）请求过多。
系统时钟调整到之前某个时间值。

Tilt模式是一种保护机制，处于该模式下Sentinel除了发送必要的PING及INFO命令外，不会主动做其他操作，例如主备倒换，标志主观、客观下线等。但可以通过INFO 命令及发布订阅连接的HELLO消息包来获取外界信息并对自身结构进行更新，直到SENTINEL_TILT_PERIOD时长（默认为30s）结束为止，我们可以认为Tilt模式是Sentinel的被动模式。
判断Tilt模式的代码逻辑定义如下：
Redis Sentinel 源码（Redis的高可用模型分析）

文章图片

参考资料：
ü https://github.com/antirez/redis
ü https://redis.io/topics/sentinel
ü Redis设计与实现第二版黄健宏著
本文分享自华为云社区《Redis Sentinel 源码分析》，原文作者：中间件小哥。
点击关注，第一时间了解华为云新鲜技术~