[redis 源码走读] - sentinel 哨兵 - 选举投票

Redis Sentinel 选举机制详解

原创

于 2024-06-01 08:01:43 发布 · 1k 阅读

14 ·

CC 4.0 BY-SA版权

文章标签：

#redis #sentinel

作者简介：大家好，我是smart哥，前中兴通讯、美团架构师，现某互联网公司CTO

联系qq：184480602，加我进群，大家一起学习，一起进步，一起对抗互联网寒冬

学习必须往深处挖，挖的越深，基础越扎实！

阶段1、深入多线程

 阶段2、深入多线程设计模式

 阶段3、深入juc源码解析

阶段4、深入jdk其余源码解析

阶段5、深入jvm源码解析

码哥源码部分

码哥讲源码-原理源码篇【2024年最新大厂关于线程池使用的场景题】

码哥讲源码【炸雷啦！炸雷啦！黄光头他终于跑路啦！】

码哥讲源码-【jvm课程前置知识及c/c++调试环境搭建】

码哥讲源码-原理源码篇【揭秘join方法的唤醒本质上决定于jvm的底层析构函数】

码哥源码-原理源码篇【Doug Lea为什么要将成员变量赋值给局部变量后再操作？】

码哥讲源码【你水不是你的错,但是你胡说八道就是你不对了！】

码哥讲源码【谁再说Spring不支持多线程事务，你给我抽他！】

终结B站没人能讲清楚红黑树的历史，不服等你来踢馆！

打脸系列【020-3小时讲解MESI协议和volatile之间的关系，那些将x86下的验证结果当作最终结果的水货们请闭嘴】

投票原理：”先到先得”，每个 sentinel 机会是对等的，都有投票权利。

当前 sentienl 节点，确认某个 master 客观下线后，它会主动开启故障转移的选举环节，进行拉票（选自己）和投票（选别人）。

经过票数统计，在最新一轮的选举过程中，超过法定数量（一般过半数）的 sentinel 投票给某个 sentinel 节点时，那么它就当选 leader，选举结束后，由它去执行其它剩余的故障转移步骤。

1. 选举整体流程

下面是伪代码的执行流程。

 
    # 只有检查到 master 客观掉线了才会去询问，在确认客观下线了，马上进行多轮选举，直到选出 leader。
    |-- main
        # 定时检测处理故障。
        |-- sentinelTimer
            |-- server.hz = CONFIG_DEFAULT_HZ + rand() % CONFIG_DEFAULT_HZ;
            |-- sentinelHandleDictOfRedisInstances(sentinel.masters);
                |-- sentinelHandleRedisInstance(ri);
                    # 通过 PING/INFO/PUBLISH 协议定时给集群其它节点发送数据，使得集群紧密联系起来。
                    |-- sentinelSendPeriodicCommands(ri);
                        # 往 __sentinel__:hello 频道发布数据。
                        |-- sentinelSendHello(ri)
                            # 定时更新 master 的选举纪元 current_epoch，使得整个集群保持选举纪元数据一致。
                            |-- <ip>,<port>,<runid>,<current_epoch>,<master_name>,<master_ip>,<master_port>,<master_config_epoch>
                    # 检查节点是否已经主观下线（所有类型的节点 sentinel/master/slave）。
                    |-- sentinelCheckSubjectivelyDown(ri);
                    # 检测 master 节点是否客观下线。
                    |-- sentinelCheckObjectivelyDown(ri);
                        |-- if (master->flags & SRI_S_DOWN)
                            # 统计已检测到该 master 节点下线的 sentinel 节点个数，如果总数大于法定人数，就确认某个 master 节点客观下线。
                            |-- if (quorum >= master->quorum) odown = 1;
                            # 确认客观下线后，设置标识。
                            |-- odown ? master->flags |= SRI_O_DOWN : master->flags &= ~SRI_O_DOWN;
                    # 如果检测到 master 节点是客观下线，马上开启进入故障转移的选举投票环节。
                    |-- if (sentinelStartFailoverIfNeeded(ri))
                            # 满足选举投票条件，进入新一轮的投票环节。
                            |-- if ((master->flags & SRI_O_DOWN) && !(master->flags & SRI_FAILOVER_IN_PROGRESS))
                                    |-- sentinelStartFailover(master);
                                        # 进入投票环节。
                                        |-- master->failover_state = SENTINEL_FAILOVER_STATE_WAIT_START;