分布式系统Quorum机制

最新推荐文章于 2025-03-28 09:42:19 发布

manongxiaomei

最新推荐文章于 2025-03-28 09:42:19 发布

阅读量718

点赞数

分类专栏：分布式架构文章标签：分布式

本文链接：https://blog.youkuaiyun.com/manongxiaomei/article/details/86081700

版权

分布式系统中的Quorum机制确保数据一致性。WARO规则要求所有副本更新成功才算成功，牺牲更新可用性保证读取高可用。Quorum定义了更新和读取副本的最小数量，通过版本号管理和读取策略实现一致性。Zookeeper利用Paxos协议和Quorum机制，确保在primary节点故障时仍能保持数据一致性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

Write-all-read-one

Write-all-read-one（简称 WARO）是一种最简单的副本控制规则，顾名思义即在更新时写所有的副本，只有在所有的副本上更新成功，才认为更新成功，从而保证所有的副本一致，这样在读取数据时可以读任一副本上的数据。
缺点：读服务的可用性较高，但更新服务的可用性不高

Quorum 定义

Quorum 机制只需成功更新 N 个副本中的 W 个，在读取 R 个副本时，一定可以读到最新的成功提交的数据。R>N-W
注：仅仅依赖 quorum 机制是无法保证强一致性的。因为仅有 quorum 机制时无法确定最新已成功提交的版本号，除非将最新已提交的版本号作为元数据由特定的元数据服务器或元数据集群管理，否则很难确定最新成功提交的版本号。

如何读取最新成功提交的数据

1. 限制提交的更新操作必须严格递增，即只有在前一个更新操作成功提交后才可以提交后一个更新操作，从而成功提交的数据版本号必须是连续增加的。

2. 读取 R 个副本，对于 R 个副本中版本号最高的数据，若已存在 W 个，则该数据为最新的成功提交的数据；若存在个数据少于 W 个，则继续读取其他副本，直若成功读取到 W 个该版本的副本，则该数据为最新的成功提交的数据；如果在所有副本中该数据的个数肯定不满足 W 个，则 R 中版本号第二大的为最新的成功提交的副本。

注：在单纯使用 Quorum 机制时，若要确定最新的成功提