Quorum机制简介

本博客比较啰嗦, 想要看简明的可直接看俺参考的链接

简介

Quorum 机制，是一种分布式系统中常用的，用来保证数据冗余和最终一致性的投票算法，其主要数学思想来源于鸽巢原理

BTW:
鸽巢定理: 若有n个笼子和n+1只鸽子，所有的鸽子都被关在鸽笼里，那么至少有一个笼子有至少2只鸽子

算法

分布式系统中的每一份数据拷贝对象都被赋予一票
系统共有$V$票 (即有$V$份数据冗余)

• 每一个读操作获得的票数必须大于最小读票数 $V_r$, 如果票数不够 $V_r$ 就不能读

• 每一个写操作获得的票数必须大于最小写票数 $V_w$, 如果票数不够 $V_w$ 就不能写

  $V_r$ 和 $V_w$ 满足有以下限制:

  1. $V_r+V_w>V$
  2. $V_w>V/2$

算法的解释

咱假设 $V=10$, $V_r=5$, $V_w=6$ 好了, 刚好满足两个限制条件. 有具体的数字会比较容易理解, 现在来看这两个限制为什么这样设定

• 限制1: 假如有一个写请求过来了, 并且它获得了 $6$ 个冗余拷贝的允许, 那这个写请求可以被执行, 此时如果又来了个读请求, 由于总共是 $10$ 个冗余拷贝, 那这个读请求最多只能获得 $10-6=4$ 张投票, 不够 $V_r$ 张, 读请求不能被执行. 同理, 如果读请求已经被允许了, 那写请求就无法获得足够的许可了, 这样就保证了一份数据的冗余拷贝不会被同时读写
• 限制2: 假如有一个写请求过来了, 并且它获得了 $6$ 个冗余拷贝的允许, 那这个写请求可以被执行, 此时如果又来了一个写请求, 那么它无论如何也拿不到 $5$ 张以上的写投票, 因为票大部分投给了第一个写请求了, 这样就保证了一份数据的冗余拷贝不会同时被两个写请求修改, 即数据的串行化修改

那些允许写操作执行的冗余拷贝, 也都必须完成同样的写更新, 最后写操作才结束返回, 这么说的话 限制2 同时也保证了半数以上的结点上的数据是新的, 剩下的由系统内部缓慢同步完成

那鸽巢定理呢, 用哪了?

假设一下 $V_w=8$, 现在更新了 $8$ 份冗余拷贝, 总共 $10$ 份冗余拷贝, 那此时至少需要读多少次才能读到最新的数据呢? $10-8=2$, 根据鸽巢定理, 至少得读 $3$ 份, 这 $3$ 份中至少至少就有一份是新的数据, 此时再看看 限制1, 是不是觉得很合理!

算法的好处

• Quorum 的读写最小票数可以用来作为系统在读, 写性能方面的一个可调节参数
  • 写票数 $V_w$越大, $V_r$就可以越小, 此时写的开销大, 读的开销小
  • 读票数 $V_r$越大, $V_w$就可以越小, 此时读的开销大, 写的开销小

有说得不清楚的或者说错的欢迎在评论区指出来, 大家一起加油 !

---

Reference

• 鸽巢定理
• Quorum (distributed_computing)