ZooKeeper 的文件系统结构（Data Model）是怎样的？

知识点图片

ZooKeeper 的数据模型（Data Model）设计得非常简洁，其核心思想可以概括为：一个类似标准 Unix/Linux 文件系统的树形层次结构，但运行在内存中，且专门用于存储少量协调数据。

以下是关于 ZooKeeper 数据模型的详细解析：

1. 树形结构 (Hierarchical Namespace)

ZooKeeper 的命名空间（Namespace）是由节点（ZNode）组成的树状结构。

根节点：/
路径：每个节点都由斜杠 / 分隔的绝对路径唯一标识（例如 /app/config/db_url）。
无相对路径：ZooKeeper API 中不使用相对路径（没有 cd 命令的概念），所有操作都必须使用绝对路径。

结构示意图：

plaintext

/  (Root)
├── zookeeper (系统保留节点)
│   └── quota
├── apps
│   ├── app-1
│   │   └── config
│   └── app-2
└── locks
    ├── lock-001
    └── lock-002

2. 核心组件：ZNode (ZooKeeper Node)

在 ZooKeeper 中，树中的每一个节点被称为 ZNode。ZNode 兼具“文件”和“目录”的特性：

像文件：它可以存储数据（二进制字节数组）。
像目录：它可以拥有子节点（Children）。

ZNode 的组成部分：

一个 ZNode 包含以下内容：

Data（数据）：存储在该节点的信息（如配置信息、IP地址等）。
Children（子节点）：该节点下的子节点列表。
Stat（状态信息/元数据）：描述该节点的属性，包括版本号、权限、时间戳等。

3. ZNode 的类型 (Node Types)

这是 ZooKeeper 数据模型中最关键的设计，决定了其能实现什么功能（如分布式锁、服务发现）。在创建节点时，必须指定类型：

A. 持久节点 (Persistent)

特性：一旦创建，除非客户端主动删除，否则一直存在。
用途：存储配置信息、数据库连接地址等静态数据。

B. 临时节点 (Ephemeral)

特性：生命周期与客户端的 Session（会话） 绑定。如果客户端断开连接（Session 结束或超时），该节点会被 ZooKeeper 自动删除。
限制：临时节点不能拥有子节点。
用途：服务注册与发现（服务挂了节点自动消失）、分布式锁（持有锁的客户端挂了自动释放锁）。

C. 顺序节点 (Sequential)

特性：创建节点时，ZooKeeper 会自动在节点名后面追加一个单调递增的 10 位数字（例如 lock-0000000001）。
用途：实现分布式队列、公平锁（根据序号大小排队）。

D. 组合类型

持久顺序节点 (Persistent Sequential)：既持久又有序。
临时顺序节点 (Ephemeral Sequential)：既临时又有序（实现分布式锁最常用的类型）。

(注：ZooKeeper 3.5+ 还引入了 Container Node 和 TTL Node，但在基础理解中以上四种最为重要)

4. ZNode 的元数据 (Stat Structure)

每个 ZNode 都维护着一个 Stat 对象，记录了元数据。这对于 ZooKeeper 的并发控制至关重要。主要字段包括：

czxid (Created ZXID)：创建该节点的事务 ID。
mzxid (Modified ZXID)：最后一次修改该节点的事务 ID。
version：数据版本号。每次修改数据，版本号 +1。（用于实现乐观锁/CAS操作）。
cversion：子节点变更版本号。
aversion：ACL（权限）变更版本号。
ephemeralOwner：如果是临时节点，这里存储创建者的 Session ID；如果是持久节点，值为 0。
dataLength：数据内容的长度。

5. 数据模型的特性与限制

为了保证高性能（高吞吐、低延迟），ZooKeeper 对数据模型有一些硬性限制：

内存存储：ZooKeeper 将整个树形结构加载在内存中，以保证极快的读取速度。
数据量小：
- 每个 ZNode 存储的数据量限制在 1MB 以内（默认）。
- 最佳实践：通常只存几 KB 的配置或元数据。不要把 ZooKeeper 当作数据库或对象存储（不要存图片、视频或大段文本）。
读多写少：这种结构非常适合读操作远多于写操作的场景。

6. Watcher 机制 (与数据模型的交互)

虽然 Watcher 不是数据模型本身的一部分，但它是基于 ZNode 运作的。
客户端可以在 ZNode 上注册 Watcher（监听器）。当该 ZNode 发生变化（数据改变、被删除、子节点增加）时，ZooKeeper 会通知客户端。

一次性触发：Watcher 触发一次后就会失效，如果需要持续监听，需要再次注册。

总结

ZooKeeper 的文件系统结构是为了分布式协调而生的：

树形结构 $\rightarrow$ 方便组织和归类资源。
临时节点 $\rightarrow$ 解决机器宕机后的状态感知（服务发现）。
顺序节点 $\rightarrow$ 解决分布式环境下的全局排序（分布式锁/队列）。
版本号(Stat) $\rightarrow$ 解决并发修改的一致性问题。

右滑查看面试常问

播面