本文介绍了在微服务环境中，2PC/3PC事务不适合的原因，并详细探讨了CAP理论和BASE理论。接着，文章深入解析了TCC（Try-Confirm-Cancel）事务模式，包括Try阶段、Confirm阶段和Cancel阶段的工作原理，以及幂等性的需求。此外，还阐述了SAGA事务模型，其将长事务拆分为多个子事务和对应的补偿操作，分析了执行顺序和恢复策略，指出SAGA模式下无法保证隔离性的问题。
一.概述
之前提到了一致性协议中的2PC/3PC，可以在一定程度上解决分布式事务的问题，但是在微服务架构中依然不合适，原因如下：
- 由于微服务间无法直接进行数据访问，微服务间互相调用通常通过RPC（dubbo）或Http API（SpringCloud）进行，所以已经无法使用TM统一管理微服务的RM。
- 不同的微服务使用的数据源类型可能完全不同，如果微服务使用了NoSQL之类不支持事务的数据库，则事务根本无从谈起。
- 即使微服务使用的数据源都支持事务，那么如果使用一个大事务将许多微服务的事务管理起来，这个大事务维持的时间，将比本地事务长几个数量级。如此长时间的事务及跨服务的事务，将为产生很多锁及数据不可用，严重影响系统性能。
二.CAP理论和BASE理论
1.CAP
1998年，加州大学的计算机科学家 Eric Brewer 提出，分布式系统有三个指标。
- Consistency
- Availability
- Partition tolerance
它们的第一个字母分别是 C、A、P。Eric Brewer 说，这三个指标不可能同时做到。这个结论就叫做 CAP 定理。
2.BASE
BASE理论由eBay的架构师Dan Pritchett提出，BASE理论是对CAP理论的延伸，核心思想是即使无法做到强一致性，应用应该可以采用合适的方式达到最终一致性。BASE是指：
- Basically Availab
最低0.47元/天 解锁文章
扫一扫
2242
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
