-     CAP的前世今生     -

1.1 起源

CAP理論，被戲稱為“帽子理論”，CAP是Eric Brewer在2000年ACM研討會(huì)上出了一個(gè)想法：“一致性、可用性和分區(qū)容錯(cuò)性三者無法在分布式系統(tǒng)中被同時(shí)滿足，并且最多只能滿足其中兩個(gè)！”

2002年，Seth Gilbert和Nancy Lynch采用反正法證明了猜想：“如果三者可同時(shí)滿足，則因?yàn)樵试SP的存在，一定存在Server之間的丟包，如此則不能保證C?！?在該證明中，對(duì)CAP的定義進(jìn)行了更明確的聲明。

C：一致性被稱為原子對(duì)象，任何的讀寫都應(yīng)該看起來是“原子”，或串行的。寫后面的讀一定能讀到前面寫的內(nèi)容，所有的讀寫請(qǐng)求都好像被全局排序。

A：對(duì)任何非失敗節(jié)點(diǎn)都應(yīng)該在有限時(shí)間內(nèi)給出請(qǐng)求的回應(yīng)。（請(qǐng)求的可終止性）

P：允許節(jié)點(diǎn)之間丟失任意多的消息，當(dāng)網(wǎng)絡(luò)分區(qū)發(fā)生時(shí)，節(jié)點(diǎn)之間的消息可能會(huì)完全丟失。

但是只證明了CAP三者不可能同時(shí)滿足，并沒有證明任意二者都可滿足的問題；所以該證明被認(rèn)為是一個(gè)收窄的結(jié)果，在之后10年里受到各種質(zhì)疑。

1.2 重新詮釋

2012年，Brewer和Lynch針對(duì)所有的質(zhì)疑進(jìn)行了回應(yīng)，重新詮釋CAP。“3個(gè)中的2個(gè)”表述是不準(zhǔn)確的，在某些分區(qū)極少發(fā)生的情況下，三者也能順暢地配合。CAP不僅僅是發(fā)生在整個(gè)系統(tǒng)中，可能是發(fā)生在某個(gè)子系統(tǒng)或系統(tǒng)的某個(gè)階段。把CAP理論的證明局限在原子讀寫的場(chǎng)景，并申明不支持?jǐn)?shù)據(jù)庫事務(wù)之類的場(chǎng)景。一致性場(chǎng)景不會(huì)引入用戶agent，只是發(fā)生在后臺(tái)集群之內(nèi)。把分區(qū)容錯(cuò)歸結(jié)為一個(gè)對(duì)網(wǎng)絡(luò)環(huán)境的陳述，而非之前一個(gè)獨(dú)立條件。引入了活(liveness)和安全屬性(safety)，在一個(gè)更抽象的概念下研究分布式系統(tǒng)，并認(rèn)為CAP是活性與安全屬性之間權(quán)衡的一個(gè)特例。其中的一致性屬于liveness，可用性屬safety。

網(wǎng)絡(luò)存在同步、部分同步；一致性性的結(jié)果也從僅存在一個(gè)到存在N個(gè)（部分一致）；引入了通信周期round，保證N個(gè)一致性結(jié)果。

總結(jié)：縮小CAP適用的定義，消除質(zhì)疑的場(chǎng)景；展示了CAP在非單一一致性結(jié)果下的廣闊的研究結(jié)果。

-     CAP的分析     -

2.1 組成

Consistency：一致性

Availability：可用性

Partition tolerance：分區(qū)容忍性

2.2 Consistency

從論文上看：操作之后的讀操作，必須返回該值。

從百科上看：在分布式系統(tǒng)中的所有數(shù)據(jù)備份，在同一時(shí)刻是否同樣的值。

總結(jié)：在分布式系統(tǒng)中，C代表任何人在任何地點(diǎn)、任何時(shí)間，訪問任何數(shù)據(jù) 結(jié)果都是一致的。

2.3 Availability

從論文上看：只要收到用戶的請(qǐng)求，服務(wù)器就必須給出回應(yīng)。

從百科上看：在集群中一部分節(jié)點(diǎn)故障后，集群整體是否還能響應(yīng)客戶端的讀寫請(qǐng)求。

總結(jié)：在分布式系統(tǒng)中，A代表服務(wù)在任何時(shí)候都要是可用的、可訪問。

2.4 Partition tolerance

從論文上看：直譯叫“分區(qū)容錯(cuò)”，意思是區(qū)間通信可能失敗。

從百科上看：分區(qū)相當(dāng)于對(duì)通信的時(shí)限要求。

總結(jié)：分區(qū)容錯(cuò)=分區(qū)+容錯(cuò)。分布式系統(tǒng)因?yàn)槎鄬?shí)例部署，面臨多個(gè)子網(wǎng)絡(luò)，多個(gè)子網(wǎng)絡(luò)存在網(wǎng)絡(luò)通訊的需求；因?yàn)榫W(wǎng)絡(luò)通訊的不可靠性造成分區(qū)的存在。而分區(qū)的存在，不可避免出現(xiàn)數(shù)據(jù)和可用性問題，需要有容錯(cuò)機(jī)制來處理。

-     實(shí)踐分析     -

3.1 A與P的差異

從上述的描述中，因?yàn)閮烧叨加腥蒎e(cuò)可用的描述，我們很容易將A 跟 P 混淆在一起。接下去，咱們從各個(gè)維度去分析C 與P的差異。

1、從關(guān)注點(diǎn)來說，A關(guān)注的是用戶對(duì)分布式系統(tǒng)的可用要求；P關(guān)注的是分布式系統(tǒng)實(shí)例間的網(wǎng)絡(luò)連通性。

2、從要求上來看，A從外部的視角，要求分布式系統(tǒng)在正常響應(yīng)時(shí)間內(nèi)一直可用；P從實(shí)例節(jié)點(diǎn)的視角出發(fā)，在遇到某節(jié)點(diǎn)或節(jié)點(diǎn)間通信故障的時(shí)候，要求分布式系統(tǒng)整體對(duì)節(jié)點(diǎn)的容錯(cuò)及恢復(fù)性。

3、從受眾上分析，A針對(duì)的是用戶，P針對(duì)的是服務(wù)實(shí)例。

3.2 CP與AP

三者的組合，產(chǎn)生了AC、AP、CP三個(gè)組合。但在分布式環(huán)境中，多實(shí)例部署是基本條件，因?yàn)榫W(wǎng)絡(luò)的不可靠性，造成了P成了硬性條件。所以結(jié)果就轉(zhuǎn)化成了CP、AP兩個(gè)分支。

CP、AP分支代表的是硬性條件，在這個(gè)基礎(chǔ)上去追求利益化才是這個(gè)分支的本質(zhì)問題。如果是粗暴的對(duì)另外一個(gè)選項(xiàng)直接放棄，那這個(gè)世界就太simple、easy了，而且也不符合咱們對(duì)系統(tǒng)的期望和基本使用。這就是2012年重新詮釋后CAP的最終狀態(tài)意義，“三選二”是一個(gè)偽命題。

基于這個(gè)2012年CAP的最終意義，咱們發(fā)現(xiàn)CP不是簡(jiǎn)單的放棄A，而是保障CP的硬性條件去追求A。所以產(chǎn)生了過半寫入這樣非常經(jīng)典的使用方式:過半寫入后，分布式節(jié)點(diǎn)可以根據(jù)少數(shù)服從多數(shù)完成數(shù)據(jù)的一致性要求。因此產(chǎn)生了最大的效益

1、分布式實(shí)例的更高可用性，對(duì)所有實(shí)例不在全部寫入成功才認(rèn)為是成功。

2、分布式實(shí)例的更快響應(yīng)性，使用廣播快速獲取過半結(jié)果后直接認(rèn)定結(jié)果。依靠補(bǔ)充手段實(shí)現(xiàn)數(shù)據(jù)的一致性。

說完CP的改變，再說說AP的對(duì)應(yīng)調(diào)整升級(jí)。咱們?yōu)榱烁呖捎梅艞墧?shù)據(jù)的一致性，其實(shí)這個(gè)說法是不嚴(yán)謹(jǐn)，也是錯(cuò)誤的。數(shù)據(jù)一致性是系統(tǒng)的基本要求。那么要怎么理解AP，應(yīng)該從臟讀、幻讀來說，場(chǎng)景允許數(shù)據(jù)的短暫不一致，接受數(shù)據(jù)的最終一致性。

1、數(shù)據(jù)的嚴(yán)謹(jǐn)性是系統(tǒng)的一個(gè)要求，但允許數(shù)據(jù)的一定延遲是AP存在的意義。

2、系統(tǒng)的高可用可以滿足更多的群體，從這個(gè)的目標(biāo)上，所以AP是比較友好的

因?yàn)榉植际较到y(tǒng)，系統(tǒng)是多層面的組合型存在，所以我們并不會(huì)說一個(gè)系統(tǒng)是AP還是CP。我們是根據(jù)系統(tǒng)的業(yè)務(wù)場(chǎng)景去選擇CP和AP，但是高可用是互聯(lián)網(wǎng)分布式應(yīng)用的特性，所以我們絕大部分情況是追求AP，盡量讓系統(tǒng)滿足更多的用戶。然后基于某些場(chǎng)景數(shù)據(jù)的強(qiáng)一致性必要性去選擇CP。

總結(jié)

在分布式環(huán)境下，對(duì)cap的要求。不管cp 還是ap，并不是完全丟棄另一個(gè)，而是優(yōu)先級(jí)問題；在滿足C或者A的基礎(chǔ)上去追求另外一個(gè)，結(jié)論如下：

1、CP--在強(qiáng)一致性的底線上追求可用性 (案例-過半寫入)。

2、AP—在高可用的基礎(chǔ)上追求數(shù)據(jù)的一致性(案例-最終一致性)。

3、系統(tǒng)以AP為基調(diào)，在一些數(shù)據(jù)高即時(shí)、一致性場(chǎng)景使用CP進(jìn)行補(bǔ)充。

特別推薦一個(gè)分享架構(gòu)+算法的優(yōu)質(zhì)內(nèi)容，還沒關(guān)注的小伙伴，可以長(zhǎng)按關(guān)注一下：

長(zhǎng)按訂閱更多精彩▼
如有收獲，點(diǎn)個(gè)在看，誠(chéng)摯感謝