Skip to content

增加zookeeper选举的过半机制防止脑裂的描述 #1278

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Snailclimb merged 2 commits into from
Jul 20, 2021
Merged

增加zookeeper选举的过半机制防止脑裂的描述 #1278

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
bfd6faa
增加zookeeper选举的过半机制防止脑裂的描述
VinterHe Jul 15, 2021
edecf8f
修改ZooKeeper 选举的过半机制防止脑裂
VinterHe Jul 18, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 9 additions & 1 deletion docs/system-design/distributed-system/zookeeper/zookeeper-intro.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -265,6 +265,14 @@ ZooKeeper 集群在宕掉几个 ZooKeeper 服务器之后，如果剩下的 ZooK

综上，何必增加那一个不必要的 ZooKeeper 呢？

### 4.4. ZooKeeper 选举的过半机制防止脑裂

集群脑裂：对于一个集群，通常多台机器会部署在不同机房，来提高这个集群的可用性。保证可用性的同时，会发生一种机房间网络线路故障，导致机房间网络不通，而集群被割裂成几个小集群。这时候子集群各自选主导致“脑裂”的情况。

举例说明：比如现在有一个由6台服务器所组成的一个集群，部署在了两个机房，每个机房三台。正常情况下只有一个leader，但是当两个机房中间网络断开的时候，每个机房的三台服务器都会认为另一个机房的三台服务器下线，而选出自己的leader并对外提供服务。若没有过半机制，当网络恢复的时候会发现有两个leader。仿佛是一个大脑（leader）分散成了两个大脑，这就发生了脑裂现象。因为脑裂期间两个大脑都可能对外提供了服务，这将会带来数据一致性等问题。

过半机制防止脑裂：ZooKeeper的过半机制导致不可能产生两个leader，因为少于等于一半是不可能产生leader的，这就使得不论机房的机器如何分配都不可能发生脑裂。

## 5. ZAB 协议和Paxos 算法

Paxos 算法应该可以说是 ZooKeeper 的灵魂了。但是，ZooKeeper 并没有完全采用 Paxos算法 ，而是使用 ZAB 协议作为其保证数据一致性的核心算法。另外，在ZooKeeper的官方文档中也指出，ZAB协议并不像 Paxos 算法那样，是一种通用的分布式一致性算法，它是一种特别为Zookeeper设计的崩溃可恢复的原子消息广播算法。
Expand Down Expand Up @@ -296,4 +304,4 @@ ZAB 协议包括两种基本的模式，分别是

## 7. 参考

1. 《从 Paxos 到 ZooKeeper 分布式一致性原理与实践》
1. 《从 Paxos 到 ZooKeeper 分布式一致性原理与实践》