2022
Mar
05
CAP 定理是指一個分散式系統 storage ,三個功能 Consistency / Availability / Partition Tolerance 只能滿足其中的兩項,不可能同時滿足全部。
這個定理只存在分散式系統,也就是你的機器數必須大於 1 ,且組成一個機器群,這一群機器之間會互相通訊,並同步資料。
- 第二個人也成功購買,但因為網路問題 Node B 的庫存量還是 5, 5 - 1 剩餘 4
- 第三個人也成功購買,Node A 的庫存量 4 - 1 剩餘 3
這個情況下 Node A 庫存量是 3 , Node B 庫存量是 4 ,數據是不一致, 而且總共賣出了 3 件(超賣一件),為了避免發生超賣的問題,購物系統 Storage 最好要選擇 CP 。
- CP: Redis / MongoDB
- AP: Dynamodb / Cassandra / Vespa-engine
- MySQL: master CA , slave AP
這個定理只存在分散式系統,也就是你的機器數必須大於 1 ,且組成一個機器群,這一群機器之間會互相通訊,並同步資料。
下面文章將使用 Node 代稱機器。
C: Consistency , 所有的 Nodes 資料必須一致
A: Availability ,Always Success
所有的 Request 都能得到成功且正確的 Response ,不能 Timeout 或是 Error
P: Partition Tolerance,容錯
,當 Nodes 之間的網路發生問題,所有 Nodes 仍然可以運作。
這個定理告訴我們只能滿足 CP
or AP
or CA
三取二,無法同時滿足網路有問題的情況下保證資料一致且得到成功的 Response, 而 CA
沒有 P 代表非分散式系統,不是 CAP 討論的範圍, CA 只有一個 Node ,討論 CA 也沒什麼意義。
滿足 CP 的情況
CP 是指網路有問題的情況下,維持資料一致性,但不保證成功得到 Response ,也就是 User 可能會拿到一個 Error,從圖中可以看出來 Node A 的資料已從 10 更新為 20
,但因為網路斷掉無法將這個 update 傳送給 Node B,Node B 在不知道資料已更新的情況下,這時可以回傳 10 或 Error
,如果回傳 10 就代表資料不一致,不滿足 Consistency 這個條件,最終 Node B 只能回傳 Error。
滿足 AP 的情況
AP 是指網路有問題的情況下,可以成功得到 Response ,但不保證資料是最新的,也就是 User 可能會拿到一個過期的資料,從圖中可以看出來 Node A 的資料已從 10 更新為 20
,但因為網路斷掉無法將這個 update 傳送給 Node B,Node B 在不知道資料已更新的情況下,還是回傳舊的數值 10。
什麼時候要選用 CP 呢
如果你要開發一個購物系統,有商品資料庫及它的庫存量,若是庫存量的 Storage 選用 AP 會發生什麼事呢? 假設我的商品庫存量是 5 ,有 3 個人同時購買了這個商品,又剛好購買的當下 Node 間的網路出現狀況。
- 第一個人成功購買,Node A 庫存量 5 - 1 剩餘 4- 第二個人也成功購買,但因為網路問題 Node B 的庫存量還是 5, 5 - 1 剩餘 4
- 第三個人也成功購買,Node A 的庫存量 4 - 1 剩餘 3
這個情況下 Node A 庫存量是 3 , Node B 庫存量是 4 ,數據是不一致, 而且總共賣出了 3 件(超賣一件),為了避免發生超賣的問題,購物系統 Storage 最好要選擇 CP 。
各種 Storage CAP
- CA: Memcached- CP: Redis / MongoDB
- AP: Dynamodb / Cassandra / Vespa-engine
- MySQL: master CA , slave AP