分佈式事務解決方案(3) 什麼是分佈式CAP定理

CAP定理

CAP 定理又被稱作布魯爾定理,是加州大學伯克利分校的計算機科學家埃裏克·布魯爾在 2000 年的 ACM PODC 上提出的一個猜想。2002 年,麻省理工學院的賽斯·吉爾伯特(Seth Gilbert)和南希·林奇(Nancy Lynch)發表了布魯爾猜想的證明,使之成爲分佈式計算領域公認的一個定理。對於設計分佈式系統的架構師來說,CAP 是必須掌握的理論。布魯爾在提出 CAP 猜想的時候,並沒有詳細定義 Consistency、Availability、Partition Tolerance 三個單詞的明確定義,因此如果初學者去查詢 CAP 定義的時候會感到比較困惑,因爲不同的資料對 CAP 的詳細定義有一些細微的差別,所以我個人也選了幾篇比較有名的CAP定理定義的說明,希望對各位有幫助。

IBM Cloud: https://cloud.ibm.com/docs/services/Cloudant/guides?topic=cloudant-cap-theorem#cap-
它定義的CAP:

這三個屬性是指 C(一致性)、A(可用性)和 P(分區容錯性)。此定理指出,分佈式計算機系統(如 IBM
Cloudant)無法同時保證這三個屬性:
一致性 - 所有節點在同一時間看到相同的數據。
可用性 -保證每個請求都收到有關成功還是失敗的響應。
分區容錯性 - 即便系統的任一部分丟失或發生故障,系統也能繼續運行。

維基百科: https://en.wikipedia.org/wiki/CAP_theorem#cite_note-Brewer2012-6

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章