Zookeeper（分布式协调服务）与协调服务
知识图谱编号：
2.4
当前状态：已完成。2.4.0—2.4.8已形成唯一责任分册，并完成内容审计、链接检查和图形真实渲染。 本文件是长期稳定导航入口，不承载机制长正文；协议、数据演绎、事故证据和面试答案以00—08分册为唯一权威来源。
1. 简历关联与学习主线
本模块连接注册发现、配置管理、分布式锁、主节点选举、任务协调和集群排障，也直接服务于 WMS（仓储管理系统）库存任务、跨境物流实例治理、支付补查、异步导出、Runner（执行器）调度与 IoT（物联网）报警分片。
学习时不要从“会用临时节点”直接跳到“业务一定正确”，而要沿以下因果链推进：
- 数据与会话：先解释 znode（数据节点）、版本、条件更新、会话、临时节点与 ACL（访问控制列表）。
- 复制与恢复：再解释 ZAB（原子广播协议）、zxid（ZooKeeper 事务标识）、事务日志、快照、法定提交和崩溃恢复。
- 选举与分区：说明 Leader（领导者）如何产生、何时可提交，以及 Quorum（法定人数）如何限制网络分区中的推进能力。
- 通知与缓存：把 Watcher（监听器）理解成变化提示，客户端必须回源、比较版本并重建本地快照。
- 协调配方：在会话、分区和通知语义之上推导锁、注册、配置与选主，而不是把配方当成原子魔法。
- 业务正确性：最终用数据库条件更新、幂等、状态机、Fencing Token（栅栏令牌）、补偿和对账裁决外部副作用。
- 事故闭环：从业务异常反向检查令牌、会话、提交历史、日志快照、节点状态和客户端观察，完成止血、恢复与验证。
flowchart LR
A["00<br/>路线、版本与零迁移基线"] --> B["01<br/>数据模型、会话与 ACL（访问控制列表）"]
B --> C["02<br/>ZAB（原子广播协议）、日志、快照与恢复"]
C --> D["03<br/>Leader（领导者）选举、纪元与 Quorum（法定人数）"]
B --> E["04<br/>Watcher（监听器）与缓存收敛"]
C --> E
D --> F["05<br/>临时顺序节点、锁与选型"]
E --> F
F --> G["06<br/>注册、配置与主节点选举"]
C --> H["07<br/>集群运维、脑裂与排障"]
D --> H
E --> H
G --> H
H --> I["08<br/>项目案例与综合面试题库"]2. 00—08 分册导航
| 编号 | 权威分册 | 核心问题 | 实际交付 |
|---|---|---|---|
00 | 知识图谱、迁移路线与版本边界 | 零迁移基线、学习依赖、五层事实、版本门禁与验收标准 | 6 个知识小节、18 道章节题、8 道综合题、5 张 Mermaid（图表语法）图、9 张表、3 组数据演绎 |
01 | 数据模型、会话与 ACL（访问控制列表） | 节点类型、版本、条件更新、会话迁移、过期、权限与加密边界 | 9 个知识小节、27 道章节题、18 道综合题、11 张图、9 张表、9 组数据演绎 |
02 | ZAB（原子广播协议）、事务日志、快照与恢复 | 提议、确认、法定提交、日志补齐与截断、模糊快照和磁盘恢复 | 10 个知识小节、30 道章节题、22 道综合题、12 张图、9 张表、8 组数据演绎 |
03 | Leader（领导者）选举、纪元、法定人数与网络分区 | 投票收敛、日志新旧、激活条件、分区、动态重配置和旧持有者 | 10 个知识小节、30 道章节题、22 道综合题、12 张图、10 张表、10 组数据演绎 |
04 | Watcher（监听器）通知与缓存一致性 | 一次性通知、断连缺口、全量回源、代际替换、羊群效应与缓存漂移 | 9 个知识小节、27 道章节题、20 道综合题、9 张图、8 张表、8 组数据演绎 |
05 | 临时顺序节点、分布式锁与选型 | 公平排队、前驱监听、创建结果未知、会话过期、栅栏与三类锁选型 | 11 个知识小节、33 道章节题、25 道综合题、12 张图、11 张表、9 组数据演绎 |
06 | 注册发现、配置管理与主节点选举 | 陈旧实例、优雅下线、配置版本、灰度回滚、失租即停与平台选型 | 9 个知识小节、27 道章节题、20 道综合题、10 张图、10 张表、7 组数据演绎 |
07 | 集群运维、脑裂与线上排障 | 故障域、容量、监控、频繁选举、磁盘损坏、升级、灾备与安全取证 | 10 个知识小节、30 道章节题、25 道综合题、11 张图、10 张表、10 组数据演绎 |
08 | 项目案例与综合面试题库 | 库存、物流、支付、异步任务、调度、报警分片与跨章节追问 | 10 个知识小节、30 道章节题、40 道综合题、10 张图、10 张表、8 组数据演绎 |
模块总计为 84 个知识小节、252 道六字段章节题、200 道综合口述题、88 张 Mermaid（图表语法）图、4 张 PlantUML（开源建模工具）图、86 张表和 72 组数据演绎。
3. 版本与事实边界
详细口径见版本矩阵与事实核对门禁。根入口只保留长期边界：
| 范围 | 可稳定复述的结论 | 必须按项目核对的内容 |
|---|---|---|
| Zookeeper（分布式协调服务）3.8.x | 可用于学习数据、会话、复制、选举、监听和运维主线 | 实际小版本、Java（编程语言）运行时、配置默认值、加密、命令白名单和重配置行为 |
| Zookeeper（分布式协调服务）3.9.x | 与 3.8.x 共享核心协议主线，但维护能力和默认配置可能不同 | 发布说明、兼容矩阵、指标、客户端行为与最小故障实验 |
| Apache Curator（Apache 协调客户端框架） | 成熟配方能减少实现错误 | 客户端与服务端兼容、连接状态语义、重试边界和配方版本 |
| Kafka（分布式日志消息系统）4.x | 新部署使用 KRaft（Kafka Raft 元数据模式） | 不再把 Zookeeper（分布式协调服务）当作新 Kafka（分布式日志消息系统）集群的元数据设计前提 |
4. 五层事实与业务正确性
| 事实层 | 保存的状态 | 能证明什么 | 不能替代什么 |
|---|---|---|---|
| 客户端可见层 | 连接状态、本地缓存、请求结果 | 某客户端当时观察到什么 | 服务端提交历史与业务最终状态 |
| 服务端运行层 | 内存数据树、会话表、通知注册 | 当前进程保存的协调状态 | 崩溃后恢复结果 |
| 复制持久层 | 事务日志、快照、已提交事务 | 哪些事务可恢复、已提交或待应用 | 数据库与第三方副作用 |
| 协调配方层 | 锁、注册、配置、选主 | 当前谁满足协调资格 | 恰好一次和业务不变量 |
| 业务权威层 | 数据库状态机、唯一约束、流水、对账 | 库存、资金、订单和任务是否正确 | 协调服务内部复制细节 |
flowchart TD
A["请求、通知或任务触发"] --> B["读取协调状态与本地代际"]
B --> C{"会话、版本与所有权仍有效?"}
C -->|"否"| D["失租即停、回源重建或重新选举"]
C -->|"是"| E["携带幂等键与 Fencing Token（栅栏令牌）执行"]
E --> F{"业务结果是否确定?"}
F -->|"是"| G["数据库状态机、唯一约束与流水确认"]
F -->|"否"| H["查单、补偿、对账或人工复核"]
D --> I["保存会话、选举、日志与客户端证据"]
H --> I
G --> I
I --> J["小流量恢复并验证业务不变量"]5. 项目与面试入口
| 项目线 | 直接入口 | 回答时必须守住的底线 |
|---|---|---|
| WMS（仓储管理系统）库存与波次 | 库存扣减与三类锁选型 | 高频扣减以数据库条件更新守不变量，协调锁只做低频控制面 |
| 跨境物流注册发现 | 陈旧列表、未知结果与有损降级 | 临时节点只证明会话存活，健康、超时和承运商未知结果另行治理 |
| 支付资金一致性 | 支付任务配置治理 | 锁与选主不能替代验签、渠道幂等号、资金流水、状态机和对账 |
| 异步导出与补查 | 检查点、重复执行与可恢复所有权 | 任务表和对象存储保存事实，协调服务只决定扫描或分片资格 |
| Runner（执行器）调度 | 失租即停、令牌拒绝与恢复放量 | 主节点只生成计划，唯一触发键和令牌条件拒绝重复与旧节点 |
| IoT（物联网）报警分片 | 风暴隔离、重平衡与旧持有者 | 协调服务维护成员与分片，消息削峰、去重、限流和审计由业务链承担 |
6. 题库与图形索引
- 章节题：每个知识小节都配有基础题、原理题和失败或项目题，共
252道；先读图、表和数据演绎，再按“结论、机制、失败窗口、项目证据、验证”复述。 - 综合题：200 道综合口述题入口覆盖机制下钻、方案选型、线上事故和简历项目串讲。
- 协议与恢复图：集中在事务日志、快照与恢复和选举、纪元与网络分区。
- 协调配方图：集中在通知与缓存一致性、分布式锁与选型和注册、配置与选主。
- 事故图：集中在集群运维与线上排障和项目案例与综合题库。
根入口只保留上述两张导航 Mermaid（图表语法）图；其余 86 张 Mermaid（图表语法）机制图和 4 张 PlantUML（开源建模工具）时序图由对应分册维护，完整计数见资产与验收账本。
7. 零迁移说明
创建本模块前，文件系统、Git（版本控制系统）跟踪对象和历史提交中均不存在旧 23 根文档或同名分册。因此稳定基线保持 legacy-23-zookeeper=missing，旧资产恒等式始终为 0 = 已迁移 0 + 待迁移 0 + 遗失 0。当前 00—08 的全部内容都是新建资产，不能反向包装成旧正文迁移成果；证据见真实零迁移基线。
8. 快速复习路线
- 两小时原理线：
00 -> 01 -> 02 -> 03，讲清状态、复制、恢复、选举与法定人数。 - 协调配方线：
01 -> 04 -> 05 -> 06，讲清通知缺口、锁、注册、配置和主节点选举。 - 线上排障线：
02 -> 03 -> 04 -> 07，从提交历史、网络分区和缓存收敛追到磁盘、会话与恢复放量。 - 项目串讲线：
05 -> 06 -> 07 -> 08，把库存、物流、支付、任务、Runner（执行器）和 IoT（物联网）案例串成一条证据链。 - 临场冲刺线：
00 -> 08，先练综合题；遇到机制追问时沿题目中的真实链接返回唯一责任分册。
完成复习的标准不是背出命令，而是能区分服务端安全与业务安全，能解释断连、会话过期、网络分区、未知结果和旧持有者，并能用权威数据、观测证据和恢复验证证明方案正确。