关于ZooKeeper分层法定仲裁（Legal Hierarchical Quorums）的合规性疑问

你的判断完全正确——ZooKeeper的分层法定仲裁不要求总权重超过全局多数，而是遵循「组级多数+组内多数」的双重判定逻辑，这和常规的全局多数仲裁机制差异明显。

核心判定规则 #

• 首先，达成内部共识的组数量必须超过总组数的半数。比如系统分为3个组时，至少需要2个组参与共识才算有效。
• 其次，每个参与共识的组内部，同意投票的服务器数量/权重必须达到该组内的多数标准。比如某组有3台服务器，就需要至少2台同意才算该组达成内部多数。

针对你提到的官方示例 #

假设示例为3个组、每组3台服务器（总计9台），那么只要任意2个组中各有2台服务器同意，就满足分层仲裁的合法条件——哪怕总同意票数仅为4，远低于全局多数要求的5票。这种设计的核心目标是兼顾分区容错与局部自治，允许在部分组不可用的场景下，只要足够多的组能各自达成内部共识，即可形成合法仲裁。

源码逻辑验证（QuorumHierarchical.java 352-371行） #

这段代码的逻辑确实是先统计达成内部多数的组的数量，判断是否超过总组数的半数；同时对每个组单独检查内部同意票数是否达标。全程未涉及全局总权重是否过半的计算，直接印证了分层仲裁的核心规则。

内容的提问来源于stack exchange，提问作者dengzeyuan