在分布式系统中,多数派 (Quorum) 是保证数据一致性的核心机制。它通过要求操作必须获得超过半数节点的同意,来确保系统在分区或故障时仍能达成统一决策。

核心定义

对于一个拥有 个节点的集群,多数派是指任何包含至少 个节点的集合。

关键特性

  1. 重叠性:任意两个多数派集合之间,至少存在一个公共节点确保任何新决策的多数派中,至少有一个成员保留了旧决策的信息,从而实现信息的一致性传递。
  2. 唯一性:在同一时间内,集群中不可能同时存在两个互不相交的多数派。确保在任何网络分区或故障情况下,全集群最多只能产生一个合法的决策中心,从而从根本上杜绝脑裂。

为什么需要多数派?

1. 解决脑裂 (Split Brain)

要求决策必须获得多数派同意,可以确保在发生网络分区时,最多只有一个分区能够继续提供服务(因为只有一个分区可能拥有超过半数的节点)。

2. 容错性

系统允许部分节点故障。只要存活节点数满足多数派要求,系统即可正常运行:

  • :允许 1 个节点故障。
  • :允许 2 个节点故障。

总结

多数派机制通过“少数服从多数”的原则,将复杂的分布式共识问题简化为数学上的集合交集问题,是 Paxos 和 Raft 等算法的基石。