下面讨论一个典型的提交协议，即两阶段提交（two-phase commit，2PC）协议。
按照Wikipedia（http：//en.wikipedia.org/wiki/Two-phase_commit_protocol）的说法：
Incomputer networking and databases，the two-phase commit protocol（2PC）is a distributed algorithm that lets all nodes in a distributed system agree to commit a transaction.The protocol results in either all nodes committing the transaction or aborting，even in the case of network failures or node failures.However，the protocol will not handle more than one random site failure at a time.The two phases of the algorithm are the commit-request phase，in which the coordinator attempts to prepare all the cohorts，and the commit phase，in which the coordinator completes the transactions.
为了直观分析2PC协议，我们可以借用现实中的例子，即西方影视中在教堂里请神父主持婚礼的场景，在这种场景里，神父起着协调的作用，神父对婚姻的确认是分两个阶段实施的。首先，准备结婚的新人就绪后来到教堂，请神父确认婚姻。神父并非立即宣称婚姻成立，而是先询问女方是否愿意嫁给男方，询问男方是否愿意娶女方为妻。如果其中任何一方对婚姻有异议，神父就宣布婚姻无效，否则就宣布婚姻成立。在神父询问阶段，男女当事人都有自主权，可以自由地按其意愿表态是否结婚。一旦他们表态后，进入第二个阶段，这个自主权就无效了，主动权落到神户手里。由神父来决定和宣布婚姻是否成立。这种模式用到分布式事务管理就是两阶段提交协议。
2PC协议很简单，也很有用，这样一个协议可以保证分布式事务的原子提交。2PC协议扩展了本地原子提交动作到分布式事务，其途径是让所有涉及执行的分布式事务遵循一条规则：在使分布式事务永久化前先提交事务。
在分布式事务中，有一个很重要的原则是“单边夭折”，即参与者发现无法（或不打算）把事务执行（或提交）下去就可以自主决定夭折，从而使得整个事务夭折。
2PC协议可以简述如下：协调者把″begin-commit″记录写入日志，把prepare消息发送给所有参与节点，然后进入WAIT状态。参与方接收到prepare消息后，就会检查自己能否提交。若能，则将″ready″记录写入日志，发送vote-commit消息给协调者，进入READY状态；否则，参与方把″abort″记录写入日志，发送vote-abort消息给协调者。如果节点的决策是abort，则它可以忘记这个事务，因为无论这个事务的最后结局是否选择夭折（单边夭折）。协调者收到所有参与者的答复后，决定是提交该事务还是夭折该事务。只要有一个参与方否决，协调者就决定全局夭折事务。这样，协调者在日志中写入″abort″记录，发送global-abort消息给所有参与方，然后进入ABORT状态。否则，协调者写入″commit″记录，发送global-commit消息给所有参与方，然后进入COMMIT状态。参与方按照协调者的指令提交或夭折，然后把答复发送回去。此时，协调者把″end-of-transaction″记录写入日志，结束事务。
算法如下。
●只要有一个参与者选择了abort事务，协调者必须决定全局abort。
●只有所有参与者选择commit，协调者才能决定全局commit。
2PC协议下，协调者和参与者的状态转换如图10.13所示。
图10.13 2PC协议时协调者和参与者的状态转换图
由图10.13可知：第一，2PC协议允许参与者单边夭折一个事务，直到它决定加入肯定选择前，它都是自由的。第二，一旦参与者选择提交或夭折一个事务，它就无法再改变自己的决定。第三，在参与者进入READY状态时，取决来自协调者的消息，协调者可以夭折事务，也可以提交事务。第四，协调者按照全局终止规则做出全局终止决策。第五，协调者和参与者进程进入一定状态必须互相等待对方的消息。为了保证能够从进入的状态退出，使用了计时器。每个进程进入一个状态就设置计时器，确定的计时超过就属于超时，就按照超时处理协议。
(www.chuimin.cn)
图10.14 集中式2PC协议的通信结构
实现时，2PC协议可以使用许多种不同的通信方式。前面所述的是一种集中式2PC协议，因为通信只发生在协调者和参与者之间，参与者之间互不通信，如图10.14所示。
线形（或嵌套）2PC协议的通信结构图10.15所示。为了通信，系统节点之间应有一个序。假设参与者执行事务时的节点间有一个序1，…，N，协调者排在这个序的第一位。2PC协议按照从1到N序进行通信。第一阶段完成后，倒过来从N开始与协调者通信，完成第二阶段。其工作过程可以演示如下。
图10.15 线形2PC协议的通信结构
协调者发送″prepare″消息给参与者2。如果参与者2不准备提交该事务，则它发送″voteabort″（VA）消息给参与者3，事务在这一点夭折。反之，参与者2同意提交该事务，它发送″vote-commit″（VC）消息给参与者3，进入READY状态。这个过程持续下去，直到″vote-commit″消息到达参与者N。第一阶段结束。在参与者N决定提交时，它发送回″global-commit″（GC）消息给N-1；否则发送″global-abort″（GA）消息。接着，参与者逐个进入相应状态（COMMIT或ABORT），把消息传送回协调者。
还有一种可以实现2PC协议的通用的通信结构，在第一阶段就涉及所有参与者的通信，这个方案称为分布式2PC（distributed 2PC）。由于参与者一次就获得了消息，所以省去了第二阶段。其工作如下：协调者向所有参与者发送″prepare″消息，然后每个参与者将其决策发送给所有其他参与者和协调者，并发送一条″vote-commit″或″vote-abort″消息。每个参与者等待所有其他参与者的消息，按照全局提交规则做出终止决策。显然，无须等待协议的第二阶段，在第一阶段结束时每个参与者已经独立达到了它的决策。分布式2PC协议的通信结构如图10.16所示。
下面是采用集中式通信结构的2PC协议的算法例子。这里，我们分别讨论协调者和参与者的反应。
算法10.1 2PC（协调者）。
图10.16 分布式2PC协议的通信结构
有关分布式数据库技术的文章
三阶段提交协议是为无阻塞协议而设计的。因此有必要对2PC协议进行修改。因为从INITIAL状态到COMMIT状态间有三个状态转换，所以我们称为三阶段提交协议。图10.173PC协议的状态转换图1.终止协议下面分析3PC协议每个状态在超时时的情况。协调者单边决定夭折该事务。因此它将abort记录写入日志，并发送″global-abort″消息给所有已经选择提交事务的参与者。3PC协议如图10.18所示。参与者可能处于INITIAL、READY、ABORT、PRECOMMIT状态。因此协调者将全局提交该事务，发送″global-commit″消息。......
2023-10-28
ROWA协议是强加单副本一致性的协议，它把一个逻辑读变成对任意一个副本的读操作，把一个逻辑写变成对所有副本的写操作，从而让所有副本有同一个值。ROWA协议简单优雅，但有一个致命缺陷：只要有一个副本不能用，更新事务就不能终止。实际上已经提出了这个协议的不少变种，有一个协议称为可用副本协议。因此，协调者在提交前需进行验证。ROWA-A协议比简单ROWA协议更能抗故障，包括网络分割。另一类严格副本控制协议是基于选举的。......
2023-10-28
如果启动中的节点还不是网络的一部分，则会计算一个尚未指定给其他节点的随机ID编号。最高层的子树由整棵树不包含自己的树的另一半组成；下一层子树由剩下部分不包含自己的一半组成；依此类推，直到分割完整棵树。Kademlia协议确保每个节点知道其各子树的至少一个节点，只要这些子树非空。Kademlia为节点和键使用160比特的ID。例如，令x=010101，y=110001，则这两个节点的距离为100100（二进制），即十进制为32+4=36。......
2023-10-28
基于法定人数选举法可以作为一个副本控制方法，也可作为提交方法在网络分割时保证事务的原子性。事务提交前，必须获得提交法定选举人数Vc的通过。后两条规则说明选举的两条规则。在协调者从PRECOMMIT状态移到COMMIT状态和发送″global-commit″命令时，协调者必须获得提交选举人数参与者的同意，这是为了满足规则。图10.193PC协议在选举人方案中的状态转换基于选举人提交算法，有两点是很重要的。......
2023-10-28
分布式数据库系统的可靠性技术主要由协议构成，包括提交、终止和恢复协议。终止协议是分布式数据库系统中独有的。如果故障是网络分割，终止协议则会采取必要的措施去终止其他分割片上执行的仍然在活跃的事务。我们也希望分布式恢复协议是独立的。这样协议的存在可以大大减少恢复期间的消息交换。......
2023-10-28
懒副本协议也是一种变异，它并不试图在更新数据项的事务上下文中涉及的数据项的所有副本上实施写操作，而是将更新实施在一个或几个副本上，随后将改变传递给其他副本。拥有关系参数用于定义更新副本拷贝的许可。基于这四个参数，可以将懒副本协议分为两类。第一类由懒副本协议方法构成，所有副本都是可更新的。这种情况下，副本上存在群组关系。为这种模式实现的公共传播策略是延迟立即。刷新期间所有接收到的刷新事务都要执行。......
2023-10-28
大家熟知的航海记录和飞机的黑匣子记录等都是日志。这里，日志记录应当包含以下几方面。当然，事务在启动、提交或夭折时，需要往日志里写入begin-transaction、commit或abort记录。数据库更新的写操作和相应的日志写操作是两个不同的操作，因此，有可能会在这两个操作执行期间发生故障。为了避免出现这种现象，我们要求先写日志记录再更新数据库，称为log write-ahead协议。该协议有两个基本规则。......
2023-10-28
首批CANopen设备子协议是在1996年发布的，由于设备功能日新月异，这些设备子协议也随之不断地修改完善。它还包含部分CANopen通信子协议，因此其规模可能更加庞大。蓄电池的信息通过标准化CANopen接口进行传输。蓄电池设备子协议定义了有关蓄电池的CANopen接口，充电器设备子协议则描述相应的CANopen接口。......
2023-11-22
相关推荐