顾名思义，两阶段提交协定的每一次事务提交分为两个阶段：
- 在第一阶段，调和者询问所有的介入者是否可以提交事务(请介入者投票)，所有介入者向调和者投票。
- 在第二阶段，调和者根据所有介入者的投票结不雅做出是否事务可以全局提交的决定，并通知所有的介入者履行该决定。在一个两阶段提交换程中，介入者不克不及改变本身的投票结不雅。两阶段提交协定的可以全局提交的前提是所有的介入者都赞成提交事务，只要有一个介入者投票选择放弃(abort)事务，则事务必须被放弃。
wiki上给出了扼要流程：
当然，TCC须要较的高开辟成本，每个子营业都须要有响应的comfirm、Cancel操作，即实现响应的补偿逻辑。
留意，上图中洗下面一行也注解，两阶段提交协定也依附与日记，只要存储介质不出问题，两阶段协定就能最终达到一致的状况(成功或者回滚)
而下图(来自slideshare)具体描述了全部流程：
在刘杰的《分布式道理介绍中》，有异常具体的流程介绍，可以合营上图一路看，别的还介绍了在各类异常情况下(比如Coordinator、Participant宕机，收集瓜分导致的超时)两阶段协定的工作情况。在这里只评论辩论2PC的优缺点：
- 长处：强一致性，只要节点或者收集最终恢复正常，协定就能包管顺利停止;部分关系型数据库(Oracle)、框架直接支撑
- 缺点：两阶段提交协定的容错才能较差，比如在节点宕机或者超时的情况下，无法肯定流程的状况，只能赓续重试;两阶段提交协定的机能较差， 消息交互多，且受最慢节点影响
这篇文┞仿描述了为什么两阶段提交协定在分布式体系中不实用：
体系“程度”伸缩的逝世敌。基于两阶段提交的分布式事务在提交事务时须要在多个节点之间进行调和,最大年夜限度地推后了提交事务的时光点，客不雅上延长了事务的履行时光，这会导致事务在拜访共享资本时产生冲突和逝世锁的概率增高，跟着数据库节点的增多，这种趋势会越来越严重，大年夜而成为体系在数据库层面上程度伸缩的”枷锁”， 这是很多Sharding体系不采取分布式事务的重要原因。
所言甚是!
3PC
三阶段提交协定(3pc Three-phase_commit_protocol)主如果为懂得决两阶段提交协定的壅塞问题，大年夜本来的两个阶段扩大为三个阶段，并且增长了超机会制。
TCC
TCC是Try、Commit、Cancel的缩写，在国内因为付出宝的布道而广为人知，TCC在包管强一致性的同时，最大年夜限度进步体系的可伸缩性与可用性。
我们假设一个完全的为营业包含一组子营业，Try操作完成所有的子营业检查，预留须要的营业资本，实现与其他事务的隔离;Confirm应用Try阶段预留的营业资本真正履行营业，并且Confirm操作知足幂等性，以遍支稳重试;Cancel操作释放Try阶段预留的营业资本，同样也知足幂等性。“一次完全的交易由一系列微交易的Try 操作构成，如不雅所有的Try 操作都成功，最终由微交易框架来同一Confirm，不然同一Cancel，大年夜而实现了类似经典两阶段提交协定(2PC)的强一致性。”
与2PC协定比较 ，TCC拥有以下特点：
- 位于营业办事层而非资本层 ，由营业层包管原子性
- 没有零丁的预备(Prepare)阶段，降低了提交协定的成本
- Try操作 兼备资本操作与预备才能
- Try操作可以灵活选择营业资本的锁定粒度，而不是锁住全部资本，进步了并发度
很多场景，比如电商、收集购票，起重要包管的是高可用，不大年夜可能采取强一致性，是以我们也会看到‘正在处理中…‘这种中心状况，后台很可能是异步处理的，在12306买过票的话都知道，下单成功到最后是否能出票由很长一段时光。
基于消息的分布式事务
这类事务机制将分布式事务分成多个本地事务，这里称之为主事务与大年夜事务。起首主事务本地先行提交，然后经由过程消息通知大年夜事务，大年夜事务大年夜消息中获守信息进行本地提交。可以看出这是一种异尘事务机制、只能包管最终一致性;但可用性异常高，不会因为故障而产生壅塞。别的，主事务已经先行提交，如不雅因为大年夜事务无法提交，要回滚主事务照样比较麻烦，所以这种模式只实用于理论上大年夜概率等成功的营业情况，即大年夜事务的提交掉败可能是因为故障，而不大年夜可能是逻辑缺点。
基于异步消息的事务机制重要有两种方法：本地消息表与事务消息。二者的差别在于：怎么包管主事务的提交与消息发送这两个操作的原子性。
如不雅用异步消息实现转账的例子，那么操作分为四部：用户A扣钱，发消息，用户B收消息，用户B扣钱。前两步兵须包管原子性，如不雅A扣钱成功然则没有发出消息，那么竽暌姑户A损掉了;如不雅发消息成功，然则没有扣钱，那么竽暌姑户B就多得了一笔钱，银行肯定不干。
本地消息表
基于本地消息表的筹划是指将消息写入本地数据库，经由过程本地事务包管主事务与消息写入的原子性。例如银行转账的例子，伪码如下：
推荐阅读
沙龙晃荡 | 去哪儿、陌陌、ThoughtWorks在主动化运维中的实践！10.28不见不散！ 这篇文┞仿只须要你10分钟的时光。什么是Zookeeper?固然zookeeper的实现比较复杂，然则它供给的模型抽象倒是>>>详细阅读
本文标题：从银行转账失败到分布式事务：总结与思考
地址：http://www.17bianji.com/lsqh/38129.html
1/2 1
网友点评
精彩导读
科技快报
品牌展示