什么是分布式事务以及有哪些解决方案？

1、什么是分布式事务？

答：指一次大的操作由不同的小操作组成的，这些小的操作分布在不同的服务器上，分布式事务需要保证这些小操作要么全部成功，要么全部失败。从本质上来说，分布式事务就是为了保证不同数据库的数据一致性。

2、分布式事务产生的原因？

2.1 数据库分库分表

   当数据库单表数据达到千万级别，就要考虑分库分表，那么就会从原来的一个数据库变成多个数据库。例如如果一个操作即操作了01库，又操作了02库，而且又要保证数据的一致性，那么就要用到分布式事务。

2.2 应用soa化

   所谓的soa化，就是业务的服务化。例如电商平台下单操作就会产生调用库存服务扣减库存和订单服务更新订单数据，那么就会设计到订单数据库和库存数据库，为了保证数据的一致性，就需要用到分布式事务。

总结：其实上面两种场景，归根到底是要操作多数据库，并且要保证数据的一致性，而产生的分布式事务的。

3、分布式事务解决方案

3.1 两阶段提交（2pc）

   xa是一个分布式事务协议，由tuxedo提出。xa中大致分为两部分：事务管理器和本地资源管理器。其中本地资源管理器往往由数据库实现，比如oracle、mysql等数据库都实现了xa接口，而事务管理器作为全局的调度者，负责各个本地资源的提交回滚。

xa实现分布式事务的原理如下：

总结

  二阶段提交看起来确实能够提供原子性的操作，但是它存在几个缺点：

1、同步阻塞问题：执行过程中，所有参与节点都是事务阻塞型的。当参与者占有公共资源时，其他第三方节点访问公共资源不得不处于阻塞状态。

2、单点故障：由于（事务管理器）协调者的重要性，一旦协调者发生故障。（本地资源管理器）参与者会一直阻塞下去。尤其在第二阶段，协调者发生故障，那么所有的参与者还都处于锁定事务资源的状态中，而无法继续完成事务操作。（如果是协调者挂掉，可以重新选举一个协调者，但是无法解决因为协调者宕机导致的参与者处于阻塞状态的问题）

3、数据不一致：在二阶段提交的阶段二中，当协调者向参与者发送commit请求之后，发生了局部网络异常或者在发送commit请求过程中协调者发生了故障，这会导致只有一部分参与者接收到了commit请求。而在这部分参与者接到commit请求之后就会执行commit操作。但是其他部分未接到commit请求的机器无法执行事务提交。于是整个分布式系统便出现了数据不一致的现象。

4、二阶段无法解决的问题：参与者在发出commit消息之后宕机，而唯一接收到这条消息的协调者同时也宕机了。那么即使协调者通过选举协议产生了新的协调者，这条事务的状态也是不确定的，没人知道事务是否被已经提交了。

3.2 三阶段提交（3pc）

  3pc其实在2pc的基础上增加了cancommit阶段，是2pc的变种，并引入了超时机制。一旦事务参与者迟迟没有收到协调者的commit请求，就会自动进行本地commit，这样相对有效的解决了协调者单点故障的问题。但是，性能和数据一致性问题没有根本解决。

3pc分为三个阶段：cancommit、precommit、docommit

3.2.1 cancommit阶段

  它跟2pc的 准备阶段很像，协调者向参与者发送commit请求，参与者如果可以提交就返回yes响应，否则返回no响应。

• 事务询问：协调者向参与者发送cancommit请求。询问是否可以执行事务提交操作。然后开始等待参与者的响应
• 响应反馈：参与者接到cancommit请求之后，正常情况下，如果其自身认为可以顺利执行事务，则返回yes响应，并进入预备状态。否则返回no

3.2.2 precommit阶段

  协调者根据参与者的响应情况来决定是否可以进行事务的precommit操作。根据响应情况，有以下两种可能：

• 假如协调者从所有的参与者获得的反馈都是yes，那么就会执行事务的与执行。
  • 发送预提交请求：协调者向参与者发送precommit请求，并进入prepared阶段。
  • 事务预提交：参与者接收到precommit请求后，会执行事务操作，并将undo和redo信息记录到事务日志中。
  • 响应反馈：如果参与者成功的执行了事务操作，则返回ack响应，同时开始等待最终指令。
• 假如有任何一个参与者向协调者发送了no响应，或者等待超时，或者协调者都没有接到参与者的响应，那么就执行事务的中断。
  • 发送中断请求：协调者向所有参与者发送abort请求。
  • 中断事务：参与者收到来自协调者的abort请求之后（或超时之后，仍未收到协调者的请求），执行事务的中断。

3.2.3 docommit阶段

  该阶段进行真正的事务提交，也可以分为以下两种情况：

• 执行提交
  • 发送提交请求：协调接收到参与者发送的ack响应，那么将从预提交状态进入到提交状态。并向所有参与者发送docommit请求。
  • 事务提交：参与者接收到docommit请求之后，执行正式的事务提交，并在完成事务提交之后释放所有事务资源。
  • 响应反馈：事务提交完之后，向协调者发送ack响应。
  • 完成事务：协调者接收到所有参与者的ack响应之后，完成事务。
• 中断事务
  • 协调者没有接收到参与者发送的ack响应（可能是接受者发送的不是ack响应，也可能响应超时），那么就会执行中断事务。
    • 发送中断请求：协调者向所有参与者发送abort请求
    • 事务回滚：参与者接收到abort请求之后，利用其在阶段二记录的undo信息来执行事务的回滚操作，并在完成回滚之后释放所有的事务资源。
    • 反馈结果：参与者完成事务回滚之后，像协调者发送ack消息。
    • 中断事务：协调者接收到参与者反馈的ack消息之后，执行事务的中断。

原理图如下：

总结

  相对于2pc而言，3pc对于协调者和参与者都设置了超时时间，而2pc只有协调者才拥有超时时间机制。这个优化解决了，参与者在长时间无法与协调者节点通讯的情况下，无法释放资源的问题，因为参与者自身拥有超时机制会在超时后，自动进行本地commit从而进行释放资源。而这种机制也侧面降低了整个事务的阻塞时间和范围。但是仍然没有解决数据一致性问题，即在参与者收到precommit请求后等待最终指令，如果此时协调者无法与参与者正常通信，会导致参与者继续提交事务，造成数据不一致。

3.3 补偿事务（tcc）

  tcc（try-confirm-cancel）又称补偿事务。它实际上与2pc、3pc一样，都是分布式事务的一种实现方案而已。它分为三个操作：

• try阶段：主要是对业务系统做检测及资源预留。
• confirm阶段：确认执行业务操作。
• cancel阶段：取消执行业务操作。

  tcc事务的处理流程与2pc两阶段提交类似，不过2pc通常都是在db层面，而tcc本质上就是应用层面的2pc，需要通过业务逻辑来实现。它的优势在于，可以让应用自己定义数据库操作的粒度，使得降低锁冲突、提交吞吐量。

  不过对应用的侵入性非常强，业务逻辑的每个分支都需要实现try、confirm、cancel三个操作。

tcc原理图如下：

3.4 消息事务+最终一致性

  所谓的消息事务就是基于消息中间件的两阶段提交，本质上是中间件的一种特殊利用，他是将本地事务和发消息放在一个分布式事务里，保证要么本地操作成功并且对外发消息成功，要么两者都失败，开源的rocketmq就支持这一特性，具体原理如下：

步骤如下：

1、：服务a向消息中间件发送一条预备消息。

2、消息中间件保存预备消息并返回成功。

3、服务a执行本地事务。

4、服务a发送提交消息给消息中间件，服务b接收到消息之后执行本地事务。

  基于消息中间件的两阶段提交往往用在高并发场景下，将一个分布式事务拆成一个消息事务（服务a的本地操作+发消息）+服务b的本地操作，其中服务b的操作由消息驱动，只要消息事务成功，那么服务a一定成功，消息也一定发出来了，这时候服务b会收到消息去执行本地操作，如果本地操作失败，消息会重投，直到服务b操作成功，这样就变相地实现了a与b的分布式事务。

以上几个步骤可能存在异常情况，现在对其进行分析：

• 步骤一出错：则整个事务失败，不会执行服务a的本地操作。

• 步骤二出错：则整个事务失败，不会执行服务a的本地操作。

• 步骤三出错：需要做回滚预备消息，由服务a实现一个消息中间件的回调接口，消息中间件会不断执行回调接口，检查服务a事务执行是否执行成功，如果失败则回滚预备消息。

• 步骤四出错：这个时候服务a的本地事务是成功的，但是消息中间件不需要回滚，其实通过回调接口，消息中间件能够检查到服务a执行成功了，这个时候其实不需要服务发提交消息了，消息中间件可以自己对消息进行提交，从而完成整个消息事务。

参考文章：

1、

2、

3、