Quorum一致性协议

一、Quorum基本定义

分布式系统中的Quorum一致性协议是一种通过数学投票模型在一致性和可用性之间权衡的算法，其核心思想基于鸽巢原理（即读写操作必须存在交集）。以下是其核心要点：
Quorum一致性协议的数学模型中有三个重要的参数：N、W、R。N是指数据副本的总数，W是指写操作成功所需的最小副本数，R是指读操作需查询的最小副本数。
Quorum一致性协议要求满足两个约束条件：
<ul>强一致性保证：要求W+R>N，即保证一个数据不会被同时读写，当一个写操作请求进入分布式系统时，必须有W个冗余的拷贝，而剩下的数量N-W