分布式理论——quorum原理

编者按：本篇文章是网上一些文章的合集，并不是原创，谢谢各位的分享。

一、基于Quorum投票的冗余控制算法

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

在有冗余数据的分布式存储系统当中，冗余数据对象会在不同的机器之间存放多份拷贝。但是同一时刻一个数据对象的多份拷贝只能用于读或者用于写。

该算法可以保证同一份数据对象的多份拷贝不会被超过两个访问对象读写。

算法来源于[Gifford, 1979][3]^[1]。 分布式系统中的每一份数据拷贝对象都被赋予一票。每一个操作必须要获得最小的读票数（V_r）或者最小的写票数(V_w）才能读或者写。如果一个系统有V票（意味着一个数据对象有V份冗余拷贝），那么这最小读写票必须满足：

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

第一条规则保证了一个数据不会被同时读写。当一个写操作请求过来的时候，它必须要获得V_w个冗余拷贝的许可。而剩下的数量是V-V_w 不够V_r，因此不能再有读请求过来了。同理，当读请求已经获得了V_r个冗余拷贝的许可时，写请求就无法获得许可了。

第二条规则保证了数据的串行化修改。一份数据的冗余拷贝不可能同时被两个写请求修改。

二、算法的应用——用于读写

在分布式系统中，冗余数据是保证可靠性的手段，因此冗余数据的一致性维护就非常重要。一般而言，一个写操作必须要对所有的冗余数据都更新完成了，才能称为成功结束。比如一份数据在5台设备上有冗余，因为不知道读数据会落在哪一台设备上，那么一次写操作，必须5台设备都更新完成，写操作才能返回。这就是WARO机制（Write All Read one）。

这个机制最大化简化了对读的操作，但对于写操作比较频繁的系统，这个操作的瓶颈非常大。Quorum就是更新服务和读服务之间进行一个折衷。Quorum算法可以让写操作只要写完3台就返回。剩下的由系统内部缓慢同步完成。而读操作，则需要也至少读3台，才能保证至少可以读到一个最新的数据。

Quorum的读写最小票数可以用来做为系统在读、写性能方面的一个可调节参数。写票数V_w越大，则读票数V_r越小，这时候系统写的开销就大。反之则写的开销就小。

三、算法的应用——用于选主

      在主从控制中，如果主节点失效，需要从其余的从节点中选一个主。

      quorum机制的选主分三步：

      第一，读R个节点，取其中的最高版本号的数据，这个数据一定时序上大于等于最新成功提交的数据（要么是最新提交成功，要么是最新提交尚未成功）；

      第二，将数据同步至W份，使系统满足写W份的要求，确保数据成为最新提交数据；

      第三，作为新主节点。

参考文档

https://www.cnblogs.com/netfocus/p/3622184.html

https://www.cnblogs.com/hapjin/p/5626889.html

http://blog.csdn.net/hemin1003/article/details/72828275

http://blog.csdn.net/xxgwo/article/details/69574850

http://blog.csdn.net/turkeyzhou/article/details/9307551

https://www.cnblogs.com/qqmomery/p/5355170.html