定理解釋

• C,Consistency,一致性。每次讀取要么獲取最近寫入的數(shù)據(jù)，要么獲得一個錯誤。
• A,Availability,可用性。每次請求都能獲得一個（非錯誤）響應(yīng)，但不保證返回的是最新寫入的數(shù)據(jù)。
• P,Partition tolerance,分區(qū)容忍。盡管任意數(shù)量的消息被節(jié)點間的網(wǎng)絡(luò)丟失(或延遲)，系統(tǒng)仍能運行。

容易混淆的點
CAP定理指出分布式數(shù)據(jù)存儲在網(wǎng)絡(luò)發(fā)生故障的情況下，系統(tǒng)不可能同時滿足CAP三個條件，強調(diào)的是網(wǎng)絡(luò)故障時。而在無故障正常運行時，系統(tǒng)是可以同時滿足CAP的。分區(qū)指的就是分布式系統(tǒng)中的故障，可能是網(wǎng)絡(luò)出現(xiàn)問題，也可能是某臺機器出現(xiàn)了問題。

各種組合模型

• CA模型，一旦出現(xiàn)分區(qū)故障，系統(tǒng)就無法對外提供服務(wù)，但是正常運行情況下，可以保持?jǐn)?shù)據(jù)的強一致性，如二階段提交。
• CP模型，出現(xiàn)分區(qū)故障時，能保證大多數(shù)結(jié)點的數(shù)據(jù)一致，未達(dá)到一致狀態(tài)的少數(shù)結(jié)點會變?yōu)椴豢捎脿顟B(tài)，如Pxaos算法。
• AP模型，這樣的系統(tǒng)不保證數(shù)據(jù)的一致性，因此可以通過數(shù)據(jù)版本由調(diào)用方自己去處理這種不一致情況，如Dynamo或gossip協(xié)議。

八條分布式系統(tǒng)常見錯誤假設(shè)