[CAP定理](https://zh.wikipedia.org/wiki/CAP%E5%AE%9A%E7%90%86) 在理論計算機科學中，CAP定理（CAP theorem），又被稱作布魯爾定理（Brewer's theorem），它指出對于一個分布式計算系統來說，不可能同時滿足以下三點：[1][2] 1. 一致性（Consistence) （等同于所有節點訪問同一份最新的數據副本） 2. 可用性（Availability）（每次請求都能獲取到非錯的響應——但是不保證獲取的數據為最新數據） 3. 分區容錯性（Network partitioning）（以實際效果而言，分區相當于對通信的時限要求。系統如果不能在時限內達成數據一致性，就意味著發生了分區的情況，必須就當前操作在C和A之間做出選擇[3]。） 根據定理，分布式系統只能滿足三項中的兩項而不可能滿足全部三項[4]。理解CAP理論的最簡單方式是想象兩個節點分處分區兩側。允許至少一個節點更新狀態會導致數據不一致，即喪失了C性質。如果為了保證數據一致性，將分區一側的節點設置為不可用，那么又喪失了A性質。除非兩個節點可以互相通信，才能既保證C又保證A，這又會導致喪失P性質。 這個定理起源于柏克萊加州大學（University of California, Berkeley）的計算機科學家埃里克·布魯爾在2000年的分布式計算原則研討會（Symposium on Principles of Distributed Computing（PODC））上提出的一個猜想。[5] 在2002年，麻省理工學院（MIT）的賽斯·吉爾伯特和南希·林奇發表了布魯爾猜想的證明，使之成為一個定理。[1] 吉爾伯特和林奇證明的CAP定理比布魯爾設想的某種程度上更加狹義。定理討論了在兩個互相矛盾的請求到達彼此連接不通的兩個不同的分布式節點的時候的處理方案。