Quorum机制是一种分布式系统中常用的,用来保证数据冗余和最终一致性的投票算法 其主要数学思想来源于鸽巢原理1。
Quorum机制定义
我们普遍使用副本(Replication)技术来保证一致的性能和高可用性2,Quorum是一种简单有效的管理副本的机制,我们先建立如下定以([2]中也有描述):
N = 存储数据副本的节点的数量
W = 更新成功所需的副本更新成功的数量
R = 一次数据对象读取要访问的副本的数量
更新时,只有至少W副本更新成功时才算更新操作成功;读取时,至少要读取R个副本的数据。这样当 W+R>N 时,对于同一个数据对象,更新集合与读取集合一定有重叠,保证了读取的数据中一定有最近更新的值。
WARO (Write All Read One)
WARO是Quorum机制的特例(GFS使用WARO),也就是更新时必须所有的副本都更新成功,而读取 时只需要读取一个副本的数据就可以。
Quorum机制与一致性
Quorum本身无法保证强一致性,除非有一个获取最新成功提交的版本号的metadata服务;假设 N=5,W=3,R=3 ,数据V2提交成功但是只在三个副本真正更新了,副本中数据分布是[V2, V2, V2, V1, V1],那么客户端可能读到[V2, V2, V1],也可能读到[V2, V1, V1];注意这里的版本V1,V2是数据本身的版本号不是最新成功提交的版本号,所以无法确认是V1还是V2;如果要保证强一致性必须继续读取副本,来确定最新至少写入的W个副本也就是提交成功的数据。