分布式事务个人理解

场景

假设有一笔交易操作涉及两步，

第一步：A系统对应账户扣除5块

第二步：B系统对应账户增加5块

AB也可以简单抽象为两个不同的数据库

实现一（不加任何分布式事务）

UML图如下：

会出现问题的情况如下

最大缺点：

B失败却无法回滚A的操作；

如何解决呢？

需要满足的要求：

. B失败后可以通知到A

. A的事务还没有提交才可以做到回滚操作

比较容易想到的思路：

AB事务开始时彼此知道处于同一个事务中，

实现二（二段式提交）

UML图如下

会出现问题的情况如下

优点：

相比于不加事务，显然正常的事务执行失败已经可以让其他事务感知到

实现简单

缺点：

同步阻塞： 各参与者在等待其他参与者响应过程中无法进行其他操作；没有完善的容错机制

锁定不得释放：会出现内容锁定不得释放

数据不一致：出现脑裂时，会出现部分提交/回滚成功部分提交/回滚失败的情况

如何解决呢？

同步阻塞 - 可以考虑加上定时，如果超时就自动处理

锁定不得释放 - 超时自动处理也可以解决

数据不一致 - 3pc同样没有解决

 

实现三（三段式提交）

阶段二和阶段三

UML图

出现问题的情况：

阶段三时网络分区：系统A成功接受信息，系统B由于通讯阻塞没有接受到，同样会出现数据不一致

优点：

降低了阻塞，避免了2pc中事务的不得释放

缺点：

仍然会有数据不一致的情况，而且这是无法通过步骤的扩展来解决的，无论是2pc/3pc甚至4pc/5pc等等，在这种思路下都是无法解决这个问题的

需要解决什么问题呢？

AB操作要么一起成功，要么一起失败

 

实现四（Paxos算法）