Quorum,英文字面意思是“法定人數”。指選舉時通常要求參與人數必須達到額定的數量,才能成爲一個法定有效的選舉。這個額定的人數就是Quorum。
計算機世界裏,分佈式系統的設計中會涉及到許多的協議、機制用來解決可靠性問題、數據一致性問題等,Quorum 機制就是其中的一種。
Quorom 機制,是一種分佈式系統中常用的,用來保證數據冗餘和最終一致性的投票算法,其主要數學思想來源於鴿巢原理。
什麼是鴿巢原理?
其中一種簡單的表述法爲:
若有n個籠子和n+1只鴿子,所有的鴿子都被關在鴿籠裏,那麼至少有一個籠子有至少2只鴿子。
另一種爲:
若有n個籠子和kn+1只鴿子,所有的鴿子都被關在鴿籠裏,那麼至少有一個籠子有至少k+1只鴿子。