ZooKeeper：分布式协调服务的核心原理与应用实践

本文链接：https://blog.csdn.net/lingding_cn/article/details/147188817

Zookeeper：分布式协调服务的核心原理与应用实践

1. Zookeeper基本介绍

ZooKeeper是一个分布式的，开放源码的分布式应用程序协调服务，是Google的Chubby一个开源的实现。它提供了一种简单而健壮的方式来实现分布式系统中的各种协调需求，如配置维护、域名服务、分布式同步、组服务等。

// 创建Zookeeper客户端连接示例
ZooKeeper zk = new ZooKeeper("localhost:2181", 3000, new Watcher() {
    public void process(WatchedEvent event) {
        System.out.println("Event: " + event.getType());
    }
});

2. Zookeeper是Apache项目

ZooKeeper作为Apache软件基金会的顶级项目，采用Apache License 2.0开源协议发布。其开源性质意味着：

源代码完全开放，可自由获取和修改
社区驱动开发，全球开发者共同贡献
企业级应用无需支付授权费用
活跃的社区支持和持续更新

3. Zookeeper架构概述

3.1 Zookeeper的集群架构

ZooKeeper采用"一个领导者(Leader)多个跟随者(Follower)"的集群架构：

graph TB
    Leader[Leader节点]
    Follower1[Follower节点1]
    Follower2[Follower节点2]
    Follower3[Follower节点3]
    
    Leader -->|心跳检测| Follower1
    Leader -->|心跳检测| Follower2
    Leader -->|心跳检测| Follower3

3.2 半数以上节点存活即可服务

ZooKeeper集群遵循过半原则，只要集群中超过半数的节点存活，集群就能继续提供服务。这使得ZooKeeper具有很高的可用性。

3.3 基于观察者模式设计

ZooKeeper采用观察者模式来存储和管理客户端关心的数据。每个数据节点(znode)都可以被监控，当数据发生变化时，会触发相应的事件通知。

3.4 通知机制如何工作

// 注册watcher示例
zk.exists("/myPath", new Watcher() {
    public void process(WatchedEvent event) {
        if (event.getType() == Event.EventType.NodeCreated) {
            System.out.println("Node created!");
        }
    }
});

3.5 Zookeeper特点与优势

顺序一致性：客户端更新将按发送顺序执行
原子性：更新操作要么成功要么失败
单一系统映像：客户端看到相同服务视图
可靠性：一旦更新生效，将一直保持
及时性：客户端视图在一定时间范围内是最新的

3.6 全局数据一致

ZooKeeper通过ZAB协议(ZooKeeper Atomic Broadcast)保证所有节点的数据一致性：

领导者选举
原子广播
崩溃恢复

3.7 适用于奇数台服务器

由于过半原则，ZooKeeper集群通常部署奇数台服务器：

| 服务器数量 | 可容忍故障数 |

|------------|--------------|

| 1 | 0 |

| 3 | 1 |

| 5 | 2 |

| 7 | 3 |

3.8 Zookeeper应用场景

发布/订阅系统

// 发布配置示例
zk.setData("/config", "new config".getBytes(), -1);

负载均衡实现

// 服务注册示例
zk.create("/services/service1", "192.168.1.1:8080".getBytes(), 
    ZooDefs.Ids.OPEN_ACL_UNSAFE, CreateMode.EPHEMERAL);

分布式锁应用

// 分布式锁实现示例
public boolean tryLock() {
    try {
        zk.create("/locks/resource1", new byte[0], 
            ZooDefs.Ids.OPEN_ACL_UNSAFE, CreateMode.EPHEMERAL_SEQUENTIAL);
        return true;
    } catch (KeeperException.NodeExistsException e) {
        return false;
    }
}

4. 与Nacos的区别是什么？

| 特性 | ZooKeeper | Nacos |

|-------------|-------------------------|-------------------------|

| 主要功能 | 分布式协调 | 服务发现与配置管理 |

| 数据模型 | 树形结构 | Key-Value存储 |

| 一致性协议 | ZAB协议 | Raft协议 |

| 配置管理 | 需要自行实现 | 内置完善功能 |

| 服务发现 | 需要自行实现 | 内置完善功能 |

| 健康检查 | 会话机制 | 多种健康检查方式 |

5. Kafka与ZooKeeper的关系

Kafka早期版本重度依赖ZooKeeper：

元数据存储：Broker、Topic、Partition信息
控制器选举：选举Kafka集群的控制器
分区Leader选举
消费者Offset存储(旧版本)

# Kafka ZooKeeper路径示例
ls /brokers/ids
[1, 2, 3]

Kafka 2.8+版本开始逐步移除对ZooKeeper的依赖，引入KRaft模式。

总结

ZooKeeper作为分布式系统的基石，提供了可靠的协调服务。其简洁的设计和强大的功能使其成为构建分布式系统的首选工具之一。理解ZooKeeper的核心原理和适用场景，能够帮助开发者更好地设计和实现分布式应用。