CAP定理
维基百科，自由的百科全书
在 理論計算機科學中, CAP定理（CAP theorem）, 又被稱作 布魯爾定理（Brewer's theorem）, 它指出對於一個 分布式计算系統 來說，不可能同時滿足以下三點:[1][2]
- 一致性(Consistency) (所有節點在同一時間具有相同的數據)
- 可用性(Availability) (保證每個請求不管成功或者失敗都有響應)
- 分隔容忍(Partition tolerance) (系統中任意信息的丟失或失敗不會影響系統的繼續運作)
根據定理，分佈式系統只能滿足三項中的兩項而不可能滿足全部三項[3]。
目录 |
歷史[编辑]
這個定理起源於柏克萊加州大學(University of California, Berkeley)的計算機科學家埃里克·布鲁尔(Eric Brewer)在2000年的分佈式計算原則研討會(Symposium on Principles of Distributed Computing (PODC))上提出的一個猜想。[4] 在2002年，麻省理工学院(MIT)的赛斯·吉尔伯特(Seth Gilbert)和南希·林奇(Nancy Lynch)發表了布魯爾猜想的證明，使之成爲一個定理。[1]
吉尔伯特和林奇证明的CAP定理比布鲁尔设想的某种程度上更加狭义。定理讨论了在两个互相矛盾的请求到达彼此连接不通的两个不同的分布式节点的时候的处理方案。
参考文献[编辑]
- ^ 1.0 1.1 Nancy Lynch and Seth Gilbert, “Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services”, ACM SIGACT News, Volume 33 Issue 2 (2002), pg. 51-59.
- ^ "Brewer's CAP Theorem", julianbrowne.com, Retrieved 02-Mar-2010
- ^ "Brewers CAP theorem on distributed systems", royans.net
- ^ Eric Brewer, "Towards Robust Distributed Systems"
外部鏈接[编辑]
- "Problems with CAP, and Yahoo's little known NoSQL system" by Daniel Abadi
- "CAP equivalent for analytics"
- "Consistency Models in Non-Relational Databases" by Guy Harrison : A good explanation of CAP Theorem, Eventual consistency and how consistency problems can be handled in distributed environments.
- "A Simple introduction to CAP theorem"
參見[编辑]
|
|||||||||||||||||||||||||
