CAP定理

维基百科,自由的百科全书
跳转至: 导航搜索

理論計算機科學中,CAP定理(CAP theorem),又被稱作布魯爾定理(Brewer's theorem),它指出對於一個分布式计算系統來說,不可能同時滿足以下三點:[1][2]

根據定理,分佈式系統只能滿足三項中的兩項而不可能滿足全部三項[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. ^ 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.
  2. ^ "Brewer's CAP Theorem", julianbrowne.com, Retrieved 02-Mar-2010
  3. ^ "Brewers CAP theorem on distributed systems", royans.net
  4. ^ Eric Brewer, "Towards Robust Distributed Systems"

外部鏈接[编辑]

參見[编辑]