法定人数（Quorum）

法定人数（Quorum)是分布式副本系统中用于协调一致性与可用性的核心概念,指一项读或写操作必须获得的最少副本参与数量。只要读写所要求的副本集合彼此保证有交集,系统就能避免读到过期数据。

概述

当数据被复制到多个节点上时,若允许任意单个副本独立响应读写,不同节点的数据可能出现分歧。法定人数机制规定:写操作要成功,必须被至少一定数量的副本确认;读操作也必须从至少一定数量的副本获取。通过精心设置这两个数量,使任意一次读涉及的副本与任意一次写涉及的副本必有重叠,读取时就一定能碰到含有最新写入的副本。

核心原理

• 读写重叠:设副本总数为 N,写要求 W 个确认,读要求 R 个响应,只要 W 加 R 大于 N,读写集合就必然相交。
• 写写重叠:令 W 大于 N 的一半,可保证任意两次写不会同时在互不相交的副本上进行,避免并发写分裂。
• 可调权衡:增大 W 提升写一致性但降低写可用性,增大 R 类似,系统可按业务需要在读多写少或写多读少间调节。
• 版本裁决:读到多个副本的不同版本时,借助版本号或时间戳选出最新值,并可顺带修复落后副本。

应用场景

法定人数被广泛用于分布式数据库与键值存储,例如 Dynamo 风格系统允许用户为每次请求指定读写的法定人数,以在一致性与延迟之间灵活取舍;它也是许多共识协议判定提案是否被多数派接受的基础。

常见问题

问:一定要用严格多数吗?答:不一定。只要满足读写集合相交的条件即可,但取严格多数是最常用且对称的选择,能同时保证读写重叠与写写重叠。

问:它能完全避免读到旧数据吗?答:在同步的严格法定人数下能保证读到最新写入;但若采用宽松变体或写尚未在足够副本落地,仍可能读到旧值,需要配合版本裁决与副本修复。