Alibaba Seata 学习日记(CAP原则)
CAP原则
CAP原则又叫CAP定理,同时又被称作布鲁尔定理(Brewer’s theorem),指的是在一个分布式系统中,不可能同时满足以下三点。
注意: Partition Tolerance (分区容忍) 再分布式系统中必须要保证的。如果不保证Partition Tolerance (分区容忍) 那就不能称之为分布式架构。
- 一致性(Consistency): 指强一致性,在写操作完成后开始的任何读操作都必须返回该值,或者后续写操作的结果。
- 可用性(Availability):可用性是指,每次向未崩溃的节点发送请求,总能保证收到响应数据(允许不是最新数据)
- 区容忍性(Partition tolerance):分布式系统在遇到任何网络分区故障的时候,仍然能够对外提供满足一致性和可用性的服务
为什么只能在A和C之间做出取舍?
说白了Availability(可用性) 与 Consistency(一致性) 其实是一对挺矛盾的特性。因为如果保证Consistency强一致性那么必然要求再每次写请求后进行同步,且同步期间无法提供服务。影响Availability可用性。
所以,最多只能满足两个条件
组合 | 分析结果 |
---|---|
CA | 满足原子和可用,放弃分区容错。说白了,就是一个整体的应用。 |
CP | 满足原子和分区容错,也就是说,要放弃可用。当系统被分区,为了保证原子性,必须放弃可用性,让服务停用。 |
AP | 满足可用性和分区容错,当出现分区,同时为了保证可用性,必须让节点继续对外服务,这样必然导致失去原子性。 |
如何权衡 C 还是 A?
-
舍弃P(选择C/A):单点的传统关系型数据库 DBMS(MySQL/Oracle),但如果采用集群就必须考虑P了;
-
舍弃A(选择C/P):是分布式系统要保证P,而且保证一致性,如 ZooKeeper / Redis / MongoDB / HBase;
-
舍弃C(选择A/P):是分布式系统要保证P,而且保证可用性,如 CoachDB / Cassandra / DynamoDB。
对于一个分布式系统来说,CAP三者中,
- P是基本要求,只能通过基础设施提升,无法通过降低 C/A 来提
- 然后在 C/A 两者之间权衡
一个还不错的策略是:保证可用性和分区容错,舍弃强一致性,但保证最终一致性,比如一些高并发的站点(秒杀、淘宝、12306)。最终近似于兼顾了三个特性。
reference
https://www.bilibili.com/video/BV1uJ411h7px?from=search&seid=17886022887642019485
https://www.it235.com/%E9%AB%98%E7%BA%A7%E6%A1%86%E6%9E%B6/SpringCloudAlibaba/seata.html#%E4%BA%8B%E5%8A%A1