分布式事务的几种解决方案
基于数据库XA/JTA协议的方式（需要数据库厂商支持；JAVA组件有atomikos等）；
异步校对数据的方式（支付宝、微信支付主动查询支付状态、对账单的形式）；
基于可靠消息（MQ）的解决方案（异步场景；通用性较强；拓展性较高）；
TCC编程式解决方案（严选、阿里自己封装的DTX）；
CAP定理
CAP定理（CAP theorem），又被称作布鲁尔定理（Eric Brewer），1998年第一次提出，是指分布式数据存储不可能同时提供以下三种保证中的两种以上：
１）、一致性（Consistency）：每次读取收到的信息是最新的；
２）、可用性（Availability）：每个请求都会收到（非错误）呼应；
３）、分区容错（Partition tolerance）：尽管节点之间的网络不通导致分区，系统仍继续运行；
事实上，不仅仅是分布式数据存储应用，所有分布式系统都必须在CAP这三点之间进行权衡。
BASE理论
分布式事务处理的理论基础
BASE是Basically Available（基本可用）、Soft status（软状态）和Eventual consistency（最终一致性）三个短语的缩写。
基本可用：可能是部分功能不可用或者是响应时间延长；
软状态：不通系统/节点之间，数据存在过渡状态；
最终一致性：经过系统内部协调机制，最终所有节点保持一致（分布式系统中的一致并不一定指数据保持一样）