明确问题

从一个场景入手， 假设一个人要从 A 银行向 B 银行进行跨行转账 100 元。

此时我们需要对 A 银行数据库中该用户的账户，做金额扣减操作（ - 100）， 同时对 B 银行数据库中该用户的账户做金额增加操作 （ +100）

这两个操作( -100 和 + 100） 我们希望它们是一个事务， 要么同时成功， 要么同时失败 。

此时我们的目标是希望有一个

• 原子性的提交协议 （Atomic Commit Protocol）

草稿方案

• 场景难点一：
  • A --> B : 你提交我就提交
  • B 不理 A
  • 然后 ？
  • A 和 B 都没有办法继续
    

先提出一种拍脑门方案， 设置一个事务协调者（ Transaction Coordinator）。

由该协调者分别向 A 银行 ， B银行发送指令， 发送完毕后直接予以返回成功

显然， 上述方案会出现很多问题：

• 问题一： A 银行余额不足
  • A 未提交事务， B 却成功提交
• 问题二： B 银行账户不存在
  • A 提交事务， B 未提交
• 问题三： TC 到 B 中间的网络发生中断
  • A 提交， B 没提交
• 问题四： TC 在给 B 发送指令前宕机
  • A 提交， B 没提交

原子提交协议希望实现的2个特性

由上面的场景， 我们可以总结出所有原子提交协议希望实现的2个特性

• 安全性（Safety）
  • 如果任意一方 commit， 所有人必须都 commit
  • 如果任意一方中断，则没有任何一个人进行 commit
• 存活性（Liveness）
  • 没有宕机或失败发生时， A 和 B 都能提交， 则提交
  • 如果发生失败时，最终能达成一个一致性结果（成功/失败）， 予以响应， 不能一直等待

正确的二段提交协议（Two-Phase Commit）