惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

爱范儿
爱范儿
P
Palo Alto Networks Blog
月光博客
月光博客
H
Hackread – Cybersecurity News, Data Breaches, AI and More
I
InfoQ
aimingoo的专栏
aimingoo的专栏
腾讯CDC
T
Threatpost
D
DataBreaches.Net
Vercel News
Vercel News
F
Fortinet All Blogs
Engineering at Meta
Engineering at Meta
C
Cybersecurity and Infrastructure Security Agency CISA
Forbes - Security
Forbes - Security
U
Unit 42
C
Check Point Blog
Blog — PlanetScale
Blog — PlanetScale
O
OpenAI News
量子位
TaoSecurity Blog
TaoSecurity Blog
Microsoft Azure Blog
Microsoft Azure Blog
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
V
Visual Studio Blog
Recorded Future
Recorded Future
云风的 BLOG
云风的 BLOG
Security Archives - TechRepublic
Security Archives - TechRepublic
The Last Watchdog
The Last Watchdog
S
Security Affairs
Attack and Defense Labs
Attack and Defense Labs
罗磊的独立博客
Stack Overflow Blog
Stack Overflow Blog
Microsoft Security Blog
Microsoft Security Blog
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
V
V2EX
小众软件
小众软件
S
SegmentFault 最新的问题
www.infosecurity-magazine.com
www.infosecurity-magazine.com
W
WeLiveSecurity
AI
AI
Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
博客园 - 聂微东
I
Intezer
Know Your Adversary
Know Your Adversary
Exploit-DB.com RSS Feed
Exploit-DB.com RSS Feed
P
Proofpoint News Feed
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
The Cloudflare Blog
博客园_首页
NISL@THU
NISL@THU
K
KPMG report finds enterprise disconnect between AI and its ROI | CIO

博客园_首页

Plist 二进制格式 Milvus 和 PGVector,哪个更好? OpenClaw 已过时?在 VS Code 中运行 Hermes Agent! 第30篇文章:一个大三计科生的自白 Manim如何在数学公式中完美显示中文? Docker 部署 RocketMQ 5 并发编程核心概念辨析 C#事务处理最佳实践:别再让“主表存了、明细丢了”的破事发生 CLI 是什么?为什么大厂突然集体卷命令行? 【从0到1构建一个ClaudeAgent】协作-自主Agent UIImageView 设置图片不生效的原因排查 最小二乘问题详解20:无先验约束下的增量式SFM自由网平差 痞子衡嵌入式:大话双核i.MXRT1180之XIP应用里借助MU实现可靠Flash IAP的方法 AI Chat 封装, SemanticKerne.AiProvider.Unified 已发布 Windows下右键编辑js文件无法打开记事本——在注册表中使用环境变量 在后台服务中使用 Scoped 服务,为什么总是报错? H200 安装驱动并使用sglang启动模型 wireshark 抓包Trap上报告警内容 我用 AI 辅助开发了一系列小工具(2):图片压缩工具 [A Primer On MC and CC] 2.1 Memory Consistency 1 - 指令重排序和 SC 模型 Oracle数据库SCN推进技术详解与实践指南 玩转控件:封装个带图片的Label控件 Claude Code 4.7 真正该升级的不是模型,而是你的工作流 前端小白一句话,AI 帮我做了个颜值拉满的桌面媒体播放器。当代码不再是门槛,一句话编程就是现实。 5. WorkBuddy: 小龙虾的灵魂三件套,让你的小龙虾不只是工具 SQLite 分片方案实战:三种分片策略的深度对比 告别简陋 UI!一款基于 Fluent Design 和基于 WinUI 的开源免费、现代化的 Avalonia UI 控件库 关于二进制排列组合枚举的总结 AI开发-python-LangGraph框架(3-27-LangGraph从零实现大模型智能决策工作流) ElasticSearch主分片和副本分片概念详解 【002】HTTPS 粗解:证书、TLS 握手与对后端配置的影响 Hermes Agent 一周暴涨五万 Star,但我劝你别急着追 明明连接的是Redis的DB0,为什么能查到DB3的数据? 【从0到1构建一个ClaudeAgent】协作-Agent团队 熟悉电子元器件之后,电子小白下一步该怎么走? MAF快速入门(23)通过C#类定义Skills .NET 高级开发 | 手写一个对象映射框架 FastAPI数据库ORM怎么选?我肝了三个Demo后,终于不再纠结了 mysqldump 参数拾遗:在遗忘与铭记之间 C# .NET 周刊|2026年3月5期 Claude code入门 - 陈彦斌 一文学习入门 ThingsBoard 开源物联网平台 GitHub 热门项目 | 2026年04月16日 如何为GIT设置全局勾子,为每次提交追加信息 Number.isFinite和isFinite与isNaN()和Number.isNaN的区别 PortSwigger SQL注入LAB2 推荐一个测试人必备的Skills,从功能到性能全搞定(附详细实操和安装下载方式) 筑基期:掌握Odoo基础核心知识点02(Odoo XML 开发方式详解) GLM模型这么火,咱们用vllm也咧一个呗! 深入理解 AbortController:从底层原理到跨语言设计哲学 字符串学习笔记 多租户系统框架的基础模块设计和分析设计 Apache SeaTunnel Zeta 为什么能做到“又快又稳”? AI开发-python-LangGraph框架(3-26-LangGraph基本概念及第一个简单样例) Vue 3 组件通信,别只会用 Props 和 Emits 了,这几个狠活儿你得看看 ElasticSearch7.X版本配置密码 用Manim实现动态交点计算--从一个动点问题说起 团结引擎+Addressable+Instant Game打包抖音小游戏 function call 实战:让 LLM 自动判断 pod 异常、调用日志工具并完成故障分析 bubseek —— 让 Agent 的足迹,变成团队的洞察 通过 C# 读取并导出 PDF 书签 如何用 GitHub Actions 实现 Steam 自动化发布 【从0到1构建一个ClaudeAgent】并发-后台任务 .NET 高级开发 | 定制 ASP.NET Core 框架 电子小白:什么是运算放大器(运放) zero2Agent:面向大厂面试的 Agent 工程教程,从概念到生产的完整学习路线 堆上的ORW HC32F460 USB CDC通信异常:非对齐访问异常排查 20260413-Hyperbridge 攻击事件:发生在默克尔山上的验证绕过 那些喊着AI 要淘汰你的人,正在靠你的焦虑赚大钱! 深度学习进阶(八)Swin Transformer 最小二乘问题详解19:带先验约束的增量式SFM优化与实现 SnapTranslate 3.0 正式发布:全局划词翻译 + 完整英语学习闭环,一站式搞定查词、记词、复习 工作的意义、工作的困难认知再思考 .NET + AI 进阶实战:基于类的技能开发 - 打造可治理的 Agent 能力模块 【从0到1构建一个ClaudeAgent】规划与协调-技能 上周热点回顾(4.6-4.12) 电子小白的工具三件套:面包板、杜邦线、万能板 单表五亿数据的查询优化 | Mysql、StarRocks 2. WorkBuddy:从“我是谁”到“帮我干活” C# 如何减少代码运行时间:7 个实战技巧 基于HelixToolkit.SharpDX 渲染3D模型 - 笺上知微 从零开始的双臂具身VLA起源及现阶段发展综述 - SkyXZ 记对 xonsh shell 的使用, 脚本编写, 迁移及调优 - pluvium27 受够了Vibe Coding的失控?换个起点,让AI事半功倍 从开始配置漏洞环境到漏洞复现流程 - 難しい 关于10年工作经验的程序员对OpenClaw的实战经验分享以及看法 - 虚无境 Any metadata 的内存布局 C# .NET 周刊|2026年3月2期 - InCerry 我帮你测过了,测试圈排名第二的 Skill 依然很牛逼 Skill Discovery | 无监督技能发现的经典工作总结 - MoonOut 上下文工程是什么?过时了么?一文讲明白! - 一枫说码 开了 TUN 模式还是直连?90% 的人都踩过这个坑 AScript扩展多种脚本语言 - rockey627 AI 学习笔记:Agent 的记忆机制 你能被装进一个文件里吗?——7 万人把同事"蒸馏"成了 AI - 我没有三颗心脏 Claude Code 通关手册(七):给 AI 装上技能包——Skills 完全指南 - 暮色之狐 在浏览器中快速编辑代码:VSCode Web 集成实践 - Newbe36524 蒸馏自己 skill?基于 Deepseek 的蒸馏器,丐版蒸馏方式,简单便捷 - To_Carpe_Diem Spring AI Aliababa和AgentScope,哪个更好? - 苏三说技术
Redis--哨兵机制与CAP定理
NE_STOP · 2026-05-08 · via 博客园_首页

哨兵机制

对于master的宕机之后的冷处理是无法实现高可用的。Redis2.6开始提供高可用的解决方案--Sentinel 哨兵机制。

在Redis集群中增加一个节点,充当Sentinel哨兵,用来监视master运行状态,在master宕机后,自动指定一个slave充当新的master,整个过程无需人工参与,由哨兵自动完成。

但是,如果这个Sentinel哨兵发生故障,整个集群就会瘫痪,这要怎么解决?

为Sentinel 创建一个集群,一个哨兵宕机,不会影响整个Redis集群的运行。

那这些Sentinel 哨兵是如何工作的呢?

每个Sentinel 都会定时向master发送心跳,如果master在有效时间内回应了,说明master运行正常。

如果Sentinel集群中有quorum 个哨兵没有收到回应,就认为master宕机了,然后会有一个Sentinel做Failover 故障转移。也就是将某个slave晋升为新的master。

Sentinel集群搭建

无标题

复制sentinel.conf

将Redis安装目录中的sentinel.conf复制到cluster目录中。

该文件用于存放sentinel集群的公共配置。

修改sentinel.conf

  • sentinel monitor

无标2题

指定sentinel要监控的master是谁【ip port】,并为master起名。该名称会在后面的配置中使用。

同时指定sentinel集群中决定master 宕机判断的 quorum 数量。

quorum的另一个作用是:在sentinel的Leader选举时,至少要有max(quorum,sentinelNum/2 + 1)个sentinel参与,选举才能进行。

这里需要注释掉这个配置,因为要在后面的其他配置文件中设置。

  • sentinel auth-pass

如果master主机设置了访问密码,该属性指定master的主机名与访问密码。

无标3题

  • 新建sentinel26380.conf、sentinel26381.conf、sentinel26382.conf

在cluster目录下新建这三个文件作为Sentinel的配置文件

无标4题

Redis高可用集群启动

  1. 先启动三个Redis,并设置主从关系(可以在slave的配置文件里设置replicaof 192.168.1.100 6379 来设置为他的slave,避免每次启动后都要输入命令,这种方式不用输入命令就直接设置好主从关系了。)

  2. 启动Sentinel集群。

    首先,redis-server 和redis-sentinel 命令本质上是同一个命令。

    之所以可以启动不同的进程,是因为启动时所加载的配置文件不同。所以在启动Sentinel时,要指定sentinel.conf文件。

  3. 两种启动方式:redis-sentinel sentinel26380.conf 或者 redis-server sentinel26380.conf --sentinel

  4. 启动三台sentinel后,可以通过info sentinel 查看基本信息。

无标5题

  1. 启动之后,sentinel的配置文件会自动增加很多信息。

无标6题

Sentinel优化配置

在公共的sentinel.conf文件中,可以设置一些属性值对sentinel进行优化。

  • sentinel down-after-milliseoncds

每个sentinel会定期发送ping命令来判断master、slave及其他sentinel 是否存活。

如果在指定时间内没收到响应,sentinel就会主观认为该主机宕机。这个时间默认30秒。

无7标题

  • sentinel parallel-syncs

该属性用于指定在故障转移期间(原master宕机,新master晋升后),允许多少个slave同时从新master进行数据同步。默认1表示所有slave逐个从新master进行数据同步

无8标题

  • sentinel failover-timeout

指定故障转移超时时间,默认3分钟。该超时时间的用途有:

  1. 当第一次故障转移失败,在同一个master上进行第二次故障转移尝试的时间为该时间的2倍。
  2. 新master晋升完毕,slave从老master强制转到新master进行数据同步的时间阈值。
  3. 取小正在进行的故障转移所需时间的阈值。
  4. 新master晋升完毕,所有replicas 的配置文件更新为新master的时间阈值。

无9标题

  • sentinel deny-scripts-reconfig

指定是否可以通过命令sentinel set 动态修改notification-script 和client-reconfig-script 两个脚本。

默认禁止,如果允许动态修改,可能会引发安全问题。

  • 动态修改配置

当redis-cli 连接上sentinel 后,通过sentinel set 命令 可同台修改配置信息,比如执行:

sentinel set mymaster quorum 2

sentinel set命令支持的参数有:

无标10题

哨兵机制原理

三个定时任务

sentinel 维护了三个定时任务以检测Redis节点和其他sentinel节点的状态

  • info任务

    每个sentinel 每10秒向Redis集群中的每个节点发送info命令,以获取最新的Redis拓扑结构。

  • 心跳任务

    每个sentinel 每1秒向所有Redis节点及其他sentinel节点(这里好像sentinel不知道其他sentinel地址)发送一条ping命令,检测这些节点是否存活。

  • 发布/订阅任务

    每个Sentinel节点在启动时会向所有Redis节点订阅__sentinel__:hello主题的信息,当Redis节点中该主题的信息发生变化,就会立即通知到所有订阅者(这时就能获取到其他sentinel的信息)。

    当sentinel节点收到主题信息后,会读取并解析这些信息,然后完成以下工作:

    1. 如果发现有新的Sentinel节点加入,就记录新加入节点的信息,并与其建立连接。
    2. 如果发现有Sentinel Leader 选举的选票信息,则执行Leader选举过程。
    3. 汇总其他Sentinel节点对当前Redis节点在线状态的判断结果,作为Redis节点客观下线的判断依据。

    Redis节点下线判断

    主观下线

    每个sentinel 每秒向Redis节点发送心跳检测,如果Sentinel在down-after-milliseconds 时间内没收到回复,则Sentinel节点对该Redis节点做出“下线”判断。这个判断只是当前Sentinel节点认为的。所以称为主观下线

    客观下线

    当sentinel 主观下线的节点是master时,该sentinel节点会向其他sentinel节点询问对master节点的判断。

    其他sentinel 节点会响应0(在线)或1(下线)。

    当sentinel 收到超过quorum 个下线判断后,就会对master做出客观下线判断。

Sentinel Leader 选举

当Sentinel 做出客观下线判断后,由Sentinel Leader 来完成后续的故障转移。

Leader 选举是通过Raft算法实现。

Raft算法大致思路如下:

每个选举参与者都有当选Leader的资格。
当完成“客观下线”判断后,会立即“毛遂自荐”推选自己当选Leader,将自己的提案给所有参与者。
其他参与者收到提案后,只要手中的选票投出去。就会通过该提案并将同意结果反馈给提案者。
后续再过来的提案会由于参与者没有选票而被拒绝。
当提案者收到同意数量大于max(quorum,sentinelNum/2 +1)时,就当选Leader

注意:

  • 网络正常情况下,基本谁先做出“客观下线”判断,谁就会发起选举,谁就会当选Leader
  • 选举会在故障转移之前进行。
  • 故障转移结束后,Leader不再存在。

master选择算法

  1. 过滤主观下线的,没有心跳的,replica-priority=0的Redis节点
  2. 在剩余Redis节点中选出replica-priority最小的节点列表,如果只有一个,直接返回。
  3. 从优先级相同的节点列表中选出复制偏移量最大的节点,如果只有一个,直接返回。
  4. 从复制偏移量相同的节点列表中选择动态ID最小的节点返回。

故障转移过程

sentinel Leader 复制故障转移,步骤如下:

  1. sentinel Leader根据master选择算法,选出一个slave作为新的master
  2. sentinel Leader向新master发出slaveof 指令,使其晋升为master
  3. sentinel Leader向新master 发送 info replication 指令,获取master的动态ID
  4. sentinel Leader向其余Redis节点发送消息,告知他们新master 的动态ID
  5. sentinel Leader向其余Redis节点发送 slaveof <masterIP> <masterport> 指令,使他们称为新master的slave
  6. sentinel Leader从所有slave 中每次选择parallel-syncs个slave 进行数据同步,直到所有slave全部同步完毕。
  7. 故障转移完毕。

节点上线

不同类型的节点上线方式不同

  • 原Redis节点上线

    无论是master还是slave,只要是Redis集群的节点上线,只要启动Redis即可。

    Sentinel会定时查看这些节点是否恢复,如果已恢复,就会从当前的master进行数据同步。

    如果是原master上线,新master晋升后,sentinel Leader 会立即将原master 更新为slave,然后才定期查看其是否恢复。

  • 新Redis节点上线

    在Redis集群内新增一个节点,上线需要手动完成。

    添加之前必须知道当前的master,在启动后运行slaveof 命令加入集群。

  • Sentinel节点上线

    添加之前必须知道当前master,在配置文件内修改sentinel monitor 属性,指定当前master,然后启动sentinel。

CAP定理

CAP定理指在一个分布式系统中,一致性 Consistency、可用性 Available、分区容错性 Partition tolerance,三者不可兼得。

  • 一致性C:分布式系统中多个主机之间是否保持数据一致的特性,即当数据发生更新操作后,每个主机的数据仍然处于一致。
  • 可用性A:系统提供的服务必须一直处于可用的状态,当请求到来,能在有效时间内做出响应。
  • 分区容错性P:分布式系统在遇到网络分区故障时,仍能够对外提供服务。

由于分布式系统的网络环境不可控,因此系统必须具备分区容错性,但系统不能同时保证一致性和可用性。

即,要么CP,要么AP。

BASE理论

BASE 是Basically Available(基本可以)、Soft state(软状态)、Eventually consistent(最终一致性) 三个短语的简写。

BASE 是对CAP中一致性和可用性权衡的结果,是基于CAP逐步演化而来。

BASE 的思想是:即使无法做到强一致性,但可以根据自身业务特点,采用适当方式达到最终一致性。

基本可用

基本可用指分布式系统在出现不可预知故障时,允许损失部分可用性。

软状态

软状态指数据存在的中间状态,认为该中间状态不会影响系统的整体可用性。即允许主机间进行数据同步的过程存在延迟。

软状态就是一种灰度状态、过度状态。

最终一致性

最终一致性强调系统中的所有数据副本,在经过一段时间的同步后,最终达到一致的状态。

最终一致性的本质是保证最终数据达到一致,不需要实时一致。

CAP的应用

  • Zookeeper : CP 模式,保证一致性,牺牲可用性。
  • Consul:CP模式,保证一致性,牺牲可用性。
  • Redis:AP模式,保证可用性,牺牲一致性。
  • Nacos:当作注册中心时,默认AP。也支持CP模式。