網(wǎng)絡分區(qū)
為了滿足分區(qū)容錯，我們的系統(tǒng)必須在任何網(wǎng)絡分區(qū)下都能正常工作 。
CAP定理的證明
現(xiàn)在我們已經(jīng)理解了一致性、可用性和分區(qū)容錯的概念，我們可以證明一個系統(tǒng)不能同時滿足這三個屬性 。
假設有一個系統(tǒng)同時滿足這三個屬性，我們首先要做的就是把這個系統(tǒng)劃分成網(wǎng)絡，如下圖所示:
網(wǎng)絡分區(qū)
客戶端向G1發(fā)送寫請求，將V的值更新為v1 。由于系統(tǒng)可用，G1必須響應客戶端的請求，但是由于網(wǎng)絡被分區(qū)，G1無法將其數(shù)據(jù)復制到G2 。
由于網(wǎng)絡分區(qū)造成的不一致
然后，客戶端向G2發(fā)送讀取V的請求，再次因為系統(tǒng)可用，G2必須響應客戶端的請求，又因為網(wǎng)絡被分區(qū)，G2無法從G1更新V的值，所以G2向客戶端返回舊值v0 。
由于網(wǎng)絡分區(qū)造成的不一致
客戶端發(fā)起寫請求將G1上的V值改為v1后，從G2讀取的值仍然是v0，違背了一致性 。
總結我們假設存在一個滿足一致性、可用性和分區(qū)容錯的分布式系統(tǒng)，但是我們證明在某些情況下，系統(tǒng)表現(xiàn)出不一致的行為，所以證明不存在這樣的系統(tǒng) 。
【一篇文章搞清楚什么是分布式系統(tǒng) 分布式cap工作原理】對于分布式系統(tǒng)，P是基本要求 。三個cap中，C和A只能根據(jù)系統(tǒng)要求來權衡，要盡一切努力提高p 。
,
推薦閱讀
- 海鮮辣椒醬味道好嗎
- 月圓之夜怎么得卡
- 詳細介紹一下西財天府學院
- 如何設置產(chǎn)品關鍵詞
- word表格中的斜線怎么弄
- 怎么對泥鰍敵害防治
- 高絲寶面料和縐料一樣嗎
- 想做大學美術老師需要些什么
- 童話里玫瑰花精吃什么呢
- 如何設置超頻