本文為英文版的機器翻譯版本，如內容有任何歧義或不一致之處，概以英文版為準。

# 帽定理
<a name="cap-theorem"></a>

 我們可能會考慮可用性的另一種方式是與 CAP 定理有關。該定理指出，分佈式系統，一個由存儲數據的多個節點組成，不能同時提供以下三個保證中的兩個以上：
+  **C** 唯一性：無法保證一致性時，每個讀取請求都會收到最新的寫入或錯誤。
+  **有**效性：即使節點關閉或無法使用，每個請求都會收到非錯誤響應。
+  **P** 關節容差：即使節點之間遺失任意數量的訊息，系統仍會繼續運作。

（有關更多詳細信息，請參閱塞斯·吉爾伯特和南希·林奇，[http://dl.acm.org/citation.cfm?id=564601&CFID=609557487&CFTOKEN=15997970](http://dl.acm.org/citation.cfm?id=564601&CFID=609557487&CFTOKEN=15997970)*ACM SIGACT 新聞*，第 33 卷第 2 期（2002），第 51-59 頁。） 

 大多數分散式系統都必須容忍網路故障，因此必須允許網路磁碟分割。這表示當網路磁碟分割發生時，這些工作負載必須在一致性和可用性之間做出選擇。如果工作負載選擇可用性，則一律會傳回回應，但資料可能不一致。如果選擇一致性，那麼在網絡分區期間，它將返回一個錯誤，因為工作負載無法確定數據的一致性。

 對於其目標是提供更高層級的可用性的工作負載，他們可能會選擇可用性和分割區容許度 (AP)，以防止在網路磁碟分割期間傳回錯誤 (無法使用)。這導致需要更寬鬆的[一致性模型](https://en.wikipedia.org/wiki/Consistency_model)，例如最終一致性或單調一致性。