浅谈分布式事务

1. 为什么有分布式事务

分布式系统经常出现的异常

机器宕机、网络异常、消息丢失、消息乱序、数据错误、不可靠的TCP、存储数据丢失…
分布式事务是企业集成中的一个难点，也是每一个分布式系统架构中都会涉及到的一个东西，特别是在微服务架构中，几乎可以说是无法避免。

2. CAP理论和BASE理论

CAP定理

CAP定理指的是在一个分布式系统中：

• 一致性（Consistency): 在分布式系统中所有数据备份，在同一时刻是否是同样的值。（等同于所有节点访问同一份最新的数据副本）
• 可用性(Availablity): 在集群中一部分节点故障后集群整体是否还能响应客户端的读写请求。（对数据更新具有高可用性）
• 分区容错性(Partition tolerance): 大多数分布式系统都分布在多个子网络。每个子网络就叫一个区（partition）。分区容错的意思是，区间通信可能失败。
  CAP原则指的是，这三个要素最多只能同时实现两点，不可能三者兼顾。
  
  一般来说，分区容错无法避免，因此可以认为 CAP 的 P 总是成立。CAP 定理告诉我们，剩下的 C 和 A 无法同时做到。

面临的问题

对于多数大型互联网应用的场景，主机众多、部署分散，而且现在的集群规模越来越大，所以节点故障、网络故障是常态，而且要保证服务的可用性达到99.9999%，既保证P 和 A，舍弃 C。

BASE理论

是对CAP理论的延伸，思想是即使无法做到强一致性（CAP的一致性就是强一致性）但可以采取适当的措施来达到弱一致性，即最终一致性。
BASE是指：

• 基本可用（Basically Available）:
  • 基本可用是指分布式系统在出现故障的时候，允许损失部分可用性（例如响应时间、功能上的可用性）。需要注意的是，基本可用绝对不等于系统不可用。
  • 响应时间上的损失：比如正常情况下需要0.5秒之内返回给用户相应的查询结果，但由于查询故障，查询结果的响应时间增加到了1-2秒。
  • 功能上的损失：购物网站在购物高峰时，为了保护系统的稳定性，部分消费者可能会被引导到一个降级界面。
• 软状态（Soft State）：
  • 软状态是指允许系统存在中间状态，而该中间状态不会影响到系统整体可用性。分布式存储中一般一份数据会有多个副本，允许不同副本同步的延时就是软状态的体现。
• 最终一致性（Eventual Consistency）：
  • 最终一致性是指系统中的所有数据副本经过一段时间后，最终能够达到一致的状态。弱一致性和强一致性相反，最终一致性是弱一致性的一种特殊体现。

强一致性、弱一致性、最终一致性

从客户端角度，多进程并发访问时，更新过的数据在不同进程如何获取的不同策略，决定了不同的一致性。对于关系型数据库，要求更新过的数据能被后续的访问都能看到，这是强一致性。如果能容忍后续的部分或者全部访问不到，则是弱一致性。如果经过一段时间后要求能访问到更新后的数据，则是最终一致性。

3. 分布式事务的几种解决方案

1. 2PC模式

数据库支持的 2PC【2 phase commit 二阶提交】，又叫做 XA Transactions。MySQL 从 5.5 版本开始支持，SQL Server 2005 开始支持，Oracle 7 开始支持。其中，XA 是一个两阶段提交协议，该协议分为以下两个阶段：
第一阶段： 事务协调器要求每个涉及到事物的数据库预提交此操作，并反应是否可以提交；
第二阶段： 事务协调器要求每个事务提交数据。其中若果有任何一个数据库否决此次提交，那么所有数据库都会被要求回滚他们在此事务中的那部分信息。
缺点：XA性能不理想，特别是在交易下单链路，往往并发量很高，XA无法满足高并发场景。二是XA在商业数据库支持的比较理想，在Mysql数据库中支持的不太理想。

2.柔性事务-TCC事务补偿型方案

刚性事务：遵循 ACID 原则，强一致性。
柔性事务：遵循 BASE 理论，最终一致性；
与刚性事务不同，柔性事务允许一定时间内，不同节点的数据不一致，但要求最终一致。

一阶段 prepare 行为：调用 自定义 的 prepare 逻辑。
二阶段 commit 行为：调用 自定义 的 commit 逻辑。
二阶段 rollback 行为：调用 自定义 的 rollback 逻辑。
所谓 TCC 模式，是指支持把 自定义 的分支事务纳入到全局事务的管理中。

3. 柔性事务-最大努力通知型方案

按规律进行通知，不保证数据一定能通知成功，但会提供可查询操作接口进行核对。这种方案主要用在与第三方系统通讯时，比如：调用微信或支付宝支付后的支付结果通知。这种方案也是结合 MQ 进行实现，例如：通过 MQ 发送 http 请求，设置最大通知次数。达到通知次数后即不再通知。
案例：银行通知、商户通知等（各大交易业务平台间的商户通知：多次通知、查询校对、对账文件），支付宝的支付成功异步回调

4. 柔性事务-可靠消息+最终一致性方案（异步确保型）

实现：业务处理服务在业务事务提交之前，向实时消息服务请求发送消息，实时消息服务只记录消息数据，而不是真正的发送。业务处理服务在业务事务提交之后，向实时消息服务确认发送。只有在得到确认发送指令后，实时消息服务才会真正发送。