ZooKeeper 核心知识全解析：架构、角色、节点与应用

1.ZooKeeper 分布式锁怎么实现的

ZooKeeper 是一个高效的分布式协调服务，它提供了简单的原语集来构建更复杂的同步原语和协调数据结构。利用 ZooKeeper 实现分布式锁主要依赖于它的顺序节点（Sequential Node）特性以及临时节点（Ephemeral Node）机制。

以下是使用 ZooKeeper 实现分布式锁的基本步骤：

创建锁节点：
- 所有想要获取锁的客户端都会在同一个预先约定的父节点下创建自己的临时顺序节点。
- 例如，所有客户端都试图在 /lock 路径下创建子节点，如 /lock/lock-0000000001。
检查前驱节点：
- 创建完节点后，每个客户端会获取当前 /lock 路径下的所有子节点列表，并根据节点名称中的序列号排序。
- 如果发现自己创建的节点是排序后的第一个节点，则认为自己获得了锁。
- 否则，监听比自己创建的节点序列号小的第一个节点的删除事件，等待前驱节点被删除。
持有锁：
- 当某个客户端获得锁之后，可以在执行相应的临界区代码的同时保持与 ZooKeeper 的会话连接，以确保其临时节点不会因为长时间没有心跳而被自动删除。
释放锁：
- 完成临界区的操作后，客户端主动删除自己创建的临时顺序节点，这将释放锁，允许下一个等待的客户端获取锁。
- 如果持有锁的客户端意外断开连接或崩溃，由于它是临时节点，ZooKeeper 会在会话超时后自动删除该节点，从而释放锁。
处理异常情况：
- 如果在等待过程中前驱节点突然消失（即前驱客户端崩溃），那么当前客户端应该重新获取最新的子节点列表并再次判断是否获得了锁。

这种实现方式可以保证在任何时刻最多只有一个客户端持有锁，即使在网络分区、客户端故障等情况下也能正确工作。此外，ZooKeeper 的 Watcher 机制使得等待锁的客户端能够及时响应锁状态的变化，提高了系统的响应速度。

2.了解Zookeeper的系统架构吗？

ZooKeeper 是一个分布式应用程序协调服务，它的设计目标是简化和可靠地实现分布式系统中的常见任务。ZooKeeper 的架构主要由以下几个组件构成：

客户端（Client）：
- 客户端通过网络与 ZooKeeper 服务器进行通信。每个客户端可以连接到集群中的任意一台服务器，并且可以在服务器之间自动切换以保持连接的高可用性。
服务器（Server）：
- ZooKeeper 集群通常由奇数个服务器组成（如3、5或7），以确保在投票过程中能够达成多数同意。每个服务器都保存了一份数据副本，这保证了系统的高可用性和容错性。
领导者（Leader）：
- 在 ZooKeeper 集群中，选举出一个领导节点来处理所有的写请求。领导者负责将更新广播给其他跟随者（Follower），并确保所有服务器的数据状态一致。
跟随者（Follower）：
- 非领导者的其他服务器被称为跟随者。它们接受来自领导者的消息并应用这些消息到自己的状态机上。跟随者还参与领导者选举过程，在必要时投票选出新的领导者。
观察者（Observer）：
- 观察者是一种特殊的跟随者，它不参与选举也不参与写操作的投票。观察者的存在是为了增加读取性能，因为它们可以响应只读请求而不影响写入路径的一致性协议。
ZAB 协议（ZooKeeper Atomic Broadcast）：
- 这是 ZooKeeper 使用的原子消息广播协议，用于在服务器之间同步状态。ZAB 确保所有事务按全局顺序执行，并且只有当大多数服务器同意后才会提交更改。
内存数据库（In-Memory Database）：
- ZooKeeper 将所有数据存储在内存中，以提供快速的读写访问。同时，它也会定期将快照和日志持久化到磁盘上，以便恢复。
Watcher 机制：
- Watcher 是 ZooKeeper 提供的一种回调机制，允许客户端订阅特定事件（例如节点变化）。一旦触发条件满足，ZooKeeper 会通知相应的客户端。
ACLs（Access Control Lists）：
- ACLs 用来控制哪些客户端可以对特定的 znode 执行什么样的操作，提供了安全性和权限管理的功能。

ZooKeeper 的架构设计使其成为一个高性能、高可靠的分布式协调服务，适用于构建分布式应用程序中的各种协调任务，比如配置管理、命名服务、分布式锁等。

3.Zookeeper为什么要这么设计？

ZooKeeper 的设计初衷是为了简化分布式系统的协调任务，同时确保这些任务能够以一种可靠、高效且易于使用的方式执行。以下是 ZooKeeper 设计背后的一些关键考虑因素：

简单性：
- ZooKeeper 提供了一个简单的文件系统风格的数据模型，其中每个节点（znode）都可以存储少量数据，并可以拥有子节点。这种结构使得开发者更容易理解和实现复杂的分布式协调算法，如选举、锁和屏障等。
高可用性和容错性：
- ZooKeeper 通过复制来提高系统的可用性。集群中的每个服务器都保存了一份完整的数据副本。如果一台服务器失败，其他服务器仍然可以继续服务请求。此外，ZooKeeper 使用 ZAB 协议来保证所有服务器在事务处理上的一致性，即使在网络分区或某些服务器故障的情况下也能正常工作。
顺序一致性：
- 所有更新操作都是全局有序的，这意味着对于所有的客户端来说，它们看到的操作顺序是一样的。这对于维护分布式系统的状态一致非常重要。
原子性：
- 更新要么完全成功，要么完全失败，不存在部分成功的状态。这保证了系统的可靠性。
快速读取：
- ZooKeeper 将所有数据存储在内存中，使得读取操作非常快，这对于许多需要频繁查询的应用程序来说至关重要。
持久性和临时节点：
- 支持创建持久节点和临时节点。持久节点在创建后会一直存在直到被显式删除；而临时节点在创建它的客户端断开连接时自动删除。这样的机制有助于实现各种协调原语，比如领导者选举和分布式锁。
事件通知（Watchers）：
- 客户端可以设置监听器（Watcher），当指定的数据发生变化时会触发相应的回调函数。这种方式可以让应用程序及时响应配置变更或其他重要事件。
轻量级通信：
- ZooKeeper 的 API 和协议设计得尽可能简单，以减少网络传输的负担并提高效率。
线性扩展性：
- 虽然 ZooKeeper 不是为大规模水平扩展设计的（因为随着集群大小的增长，性能可能会下降），但在大多数情况下，一个小型的 ZooKeeper 集群（通常由3到7个节点组成）已经足够满足需求，并能提供良好的性能和可靠性。

综上所述，ZooKeeper 的设计目的是为了在分布式环境中提供一个健壮、高效的服务，用于管理和协调多个组件之间的交互，同时保持操作的一致性和正确性。它特别适用于那些需要强一致性而非高吞吐量的场景。

4.你知道Zookeeper中有哪些角色？

在 ZooKeeper 中，主要存在三种角色：Leader（领导者）、Follower（跟随者）和 Observer（观察者）。这些角色在集群中扮演不同的职责，以确保系统的高可用性和性能。

Leader (领导者)
- 领导者是负责处理所有写请求的服务器。当客户端发起创建、删除节点或更新数据等操作时，这些请求会被转发给领导者。领导者会按照全局顺序为每个事务分配一个唯一的编号（Zxid），然后将该事务广播给所有的跟随者和观察者。
- 领导者还负责协调选举过程，在当前领导者失效时，集群中的其他成员会启动新的领导者选举来选出一个新的领导者。
Follower (跟随者)
- 跟随者接收来自领导者的提案，并参与投票以确认提案。对于写请求，跟随者会应用从领导者接收到的更新，并在本地执行相同的变更。
- 在读请求方面，跟随者可以直接响应客户端的查询，因为它们的数据状态与领导者保持同步。
- 跟随者也参与到领导者选举过程中，通过投票帮助确定下一个领导者。
Observer (观察者)
- 观察者是一种特殊的跟随者，它不参与任何投票活动，包括领导者选举和写操作的提交确认。这意味着观察者不会影响到集群达成一致的速度。
- 它的主要作用是分担读负载，因为它也可以像跟随者那样直接回应读请求。由于不需要参与投票，理论上可以添加更多的观察者来增加系统的读取吞吐量而不降低写入性能。

除了上述三种角色外，还有两种概念性的角色：

Client (客户端)
- 客户端是指连接到 ZooKeeper 集群的应用程序或用户。它们向 ZooKeeper 发送请求（如读写操作）并接收响应。客户端通常与集群中的任意一台服务器建立连接，并可以在服务器故障时自动切换到另一台健康的服务器上。
Elector (选举器)
- 选举器并不是一个独立的角色，而是指集群中用于进行领导者选举的逻辑组件。每个服务器都包含了这个功能，以便在需要时能够共同决定谁应该成为新的领导者。

总结来说，ZooKeeper 的设计使得领导者负责写操作的一致性管理，而跟随者和观察者则共同承担了读请求的服务工作，从而实现了高效且可靠的分布式协调服务。

5.你熟悉Zookeeper节点ZNode和相关属性吗？

是的，ZooKeeper 的核心概念之一是 ZNode（ZooKeeper Node），它是 ZooKeeper 数据模型的基本单元。每个 ZNode 都可以存储少量的数据，并且可以有子节点。ZooKeeper 的命名空间类似于文件系统，但它的结构和行为与传统文件系统有所不同。以下是关于 ZNode 和其相关属性的一些重要信息：

ZNode 类型

持久节点 (PERSISTENT)
- 一旦创建，这些节点将一直存在，直到它们被显式删除。
临时节点 (EPHEMERAL)
- 这些节点与创建它们的会话绑定。如果会话结束（例如客户端断开连接），那么这个节点就会自动删除。临时节点不能有子节点。
顺序节点 (SEQUENTIAL)
- 创建时，ZooKeeper 会在节点路径的末尾附加一个递增的序列号。这可以用于实现分布式队列等特性。顺序节点可以是持久的也可以是临时的。
临时顺序节点 (EPHEMERAL_SEQUENTIAL)
- 结合了临时节点和顺序节点的特点，即具有临时性并且创建时带有递增序列号。