ZooKeeper 可靠性 - 三个与五个节点

Question

来自ZooKeeper FAQ：

Reliability:

A single ZooKeeper server (standalone) is essentially a coordinator with
no reliability (a single serving node failure brings down the ZK service).

A 3 server ensemble (you need to jump to 3 and not 2 because ZK works
based on simple majority voting) allows for a single server to fail and
the service will still be available.

So if you want reliability go with at least 3. We typically recommend
having 5 servers in "online" production serving environments. This allows
you to take 1 server out of service (say planned maintenance) and still
be able to sustain an unexpected outage of one of the remaining servers
w/o interruption of the service.

对于 3 台服务器的集合，如果一台服务器停止轮换并且一台服务器发生意外中断，那么还有一台剩余的服务器应确保服务不会中断。那么为什么需要5台服务器呢？还是正在考虑的不仅仅是中断服务？

更新：

感谢@sbridges 指出它与维持法定人数有关。 ZK 定义 quorum 的方式是 ceil(N/2)，其中 N 是集合中的原始数字（而不仅仅是当前可用的集合）。

现在，谷歌搜索 ZK quorum 在 HBase 书籍 chapter on ZK 中找到了这个：

在 ZooKeeper 中，支持偶数个对等点，但通常是 没有使用，因为一个均匀大小的合奏需要，按比例，更多 同龄人组成的法定人数超过了奇数规模的合奏所需的人数。为了 例如，一个有 4 个对等点的 ensemble 需要 3 个来形成一个仲裁，而 一个 5 人的合奏也需要 3 人才能形成一个法定人数。于是，一个合奏 5 允许 2 个对等方失败并仍然保持仲裁，因此更多 比 4 的 ensemble 容错，它只允许 1 个 down peer。

还有 Edward J. Yoon 的 blog 中对 Wikipedia 的解释：

通常情况下，大多数人预计会在那里， 尽管许多团体的法定人数可能较低或较高。

Answer 1

基本上，与失败的 Zookeeper 相比，只要 Active Zookeeper 占多数，Zookeeper 就可以正常工作。 此外，在偶数仲裁大小的情况下，即 2、4、6 等。失败 = 活动，因此不推荐。

3 和 4 都只能处理 1 个故障，那么为什么我们要使用 4 个 Zookeeper 而不是 3 个。

Answer 2

Zookeeper 要求您有一个法定人数的服务器，其中法定人数是ceil(N/2)。对于 3 个服务器的 ensemble，这意味着 2 个服务器必须随时启动，对于 5 个服务器的 ensemble，3 个服务器需要随时启动。