分布式系统的CAP理论，显示一个猜想，后面有人证明了这个猜想

C：分布式系统数据一致性

A：分布式系统可用性

P：分区容忍性，比如系统网络不通

CAP理论，一个分布式系统不能同时满足CAP。不过可以降级满足，比如最终一致性等

如一个电商系统，订单系统、库存系统

业务逻辑，先下单，在扣减库存

CP：下单成功A，扣减库存失败C，系统不可用，一直不断重试等，用户体验不好，金融领域使用多，保证数据一致性。下单和库存微服务使用的不同的数据库，用户只关心是否下单成功，扣减库存是否成功，用户不关心

AP：下单成功A，扣减库存失败C。只要下单成功就返回，系统可用，用户体验好。在互联网应用比较多，可以后面想办法补偿，比如不断重试，人工处理等

P分区容错性是必须要满足的，网络不好，应该提供服务

好像还有优化的BASE理论，

base理论，CAP理论的妥协，trade-off，比如数据最终一致性等，不满足数据强一致性等，降级等。