Zookeeper分布式协调

一、总览图

1、定义
ZooKeeper = 集群协调器
它是一个分布式协调服务，专门为分布式应用提供一致性、可靠性的协调功能，解决分布式环境下的数据同步、配置管理、状态监控等问题。
2、部署

3、数据模型
Znode树结构：
采用层级化的命名空间，类似Linux文件系统的树形目录结构
每个节点称为Znode，既能存储数据，又能挂载子节点
支持创建、删除、读取、更新、监听等基本操作
4、工作原理（三大核心流程）

5、术语详解
5.1 四种角色

5.2 Znode（数据节点）

5.3 状态
工作状态：集群正常运行，Leader稳定，数据同步正常
选举状态：Leader缺失，正在进行新Leader选举
5.4 事务
原子性：所有数据更新操作要么全成功，要么全失败
全局唯一数据视图：任何客户端看到的数据都是一致的，保证强一致性
5.5 原子广播（核心协议）

6、四大应用场景

二、ZooKeeper概述

Apache ZooKeeper 是一款开源的分布式协调服务，专为分布式系统设计，核心作用是解决多节点间的一致性、同步、配置管理等协同问题，是分布式系统的 “协调中枢”Apache ZooKeeper。

核心定位

• 官方定义：集中式服务，提供配置维护、命名服务、分布式同步、组服务等能力，降低分布式应用自研协调服务的成本与风险Apache ZooKeeper。
• 核心价值：避免分布式系统中常见的竞态条件、死锁等问题，为上层系统（如 Hadoop、Kafka、Dubbo）提供稳定的底层协调原语。

核心概念

数据模型：ZNode 树形结构

• 采用层级命名空间，类似文件系统，根节点为/，每个节点称为ZNode，路径唯一（如/app/config）Apache ZooKeeper。
• ZNode 可存储少量数据（默认 1MB 内），同时包含版本号、时间戳等元数据，支持乐观锁机制。
• 节点类型分 4 种：
  • 持久节点：客户端断开后不删除，需手动删除（存配置、服务注册）。
  • 临时节点：客户端会话结束后自动删除（存心跳、临时状态）。
  • 持久顺序节点：持久节点 + 子节点顺序编号（分布式锁、队列）Apache ZooKeeper。
  • 临时顺序节点：临时节点 + 子节点顺序编号（分布式锁、选举）Apache ZooKeeper。

核心机制

1. Watcher（事件监听）客户端可监听 ZNode 变化（创建、删除、数据修改、子节点变动），变更时主动推送通知，无需轮询，适合服务发现、配置动态更新。
2. 会话（Session）客户端与服务端建立长连接，会话有超时时间；超时未续约会触发会话过期，临时节点被自动删除。
3. ACL 权限控制支持细粒度权限管理（如读、写、删除），保障数据安全Apache ZooKeeper。

集群架构

ZooKeeper 以集群部署，保证高可用与可靠性，节点角色分为 3 种：

核心协议：ZAB

ZooKeeper 基于ZAB（ZooKeeper Atomic Broadcast）协议实现数据一致性，包含两个核心阶段：

1. 消息广播：Leader 接收写请求，生成带全局唯一 ID（zxid）的提案，广播给所有 Follower；收到超过半数确认后提交，保证原子性与一致性。
2. 崩溃恢复：Leader 故障时，集群进入恢复模式，通过选举机制选出新 Leader（优先 zxid 最大的节点），同步数据后恢复服务。

核心特性

• 强一致性：数据同步遵循 “过半原则”，客户端看到一致数据。
• 高可用：集群无单点故障，Leader 故障可快速切换（秒级）。
• 高性能：数据存内存，读写吞吐量高，延迟低。
• 有序性：所有请求按全局顺序执行，保证业务逻辑正确性。

典型应用场景

1. 分布式配置管理：统一存储配置，动态推送更新，避免多节点配置不一致Apache ZooKeeper。
2. 服务注册与发现：服务实例注册为临时节点，消费者监听节点变化，实时感知上下线。
3. 分布式锁：利用临时顺序节点特性，实现公平锁 / 排他锁，解决并发竞争。
4. 集群选举：如 Master 选举，保证集群只有一个主节点，避免脑裂。
5. 分布式队列 / 屏障：基于 ZNode 顺序性，实现任务队列、同步屏障等协同逻辑Apache ZooKeeper。

技术对比