use*_*220 19 2phase-commit distributed-transactions
我试图了解三阶段提交如何避免阻塞
请考虑以下两种故障情况:
场景1:在阶段2中,协调器向所有群组发送预提交消息,并且从群组A以外的所有群组获得确认.网络问题阻止群组A接收协调器的预提交消息.群组A超时等待预提交消息并选择中止.然后协调员和队列A都崩溃了.
场景2:协议到达阶段3.协调器向队列A发送doCommit消息.但在它发送更多的doCommit消息之前,协调器崩溃.群组A提交其部分事务然后崩溃.
据我所知,剩下的同类群体在场景1和场景2结束时具有完全相同的状态.因此,当恢复协调员介入时,如何从剩余队列中找出我们是否在场景1中并且中止或我们在方案2和提交,从而避免阻止？
eh9*_*eh9 10
三阶段提交并不神奇; 它比两阶段提交更有弹性.特别是,3PC可以抵御单点故障,但不是所有类型的多点故障.问题中的两个场景都提出了两点失误.换句话说,问题的前提是错误的; 它要求更多的3PC而不是它的能力.
为了进一步阅读,这里有一篇关于主题的文章摘要,Muhammad Atif 的两阶段提交和三阶段提交协议的分析和验证,以激发你的胃口:
我们还将我们的方法应用于其"修正"变体,即三阶段提交协议(3PC),并证明它对于同时发生的站点故障是错误的
我发现这篇论文为文献提供了立足点.如果你想深入研究,这个问题上的数量不小.
帮助我理解非阻塞属性的是，我意识到在第一轮消息之后，两个协议基本上处于相同的状态；所有参与者都同意他们可以做出承诺，并正在等待确认。
现在，考虑一下参与者在第一轮回答“可以提交”后知道了什么。
继续，在 3PC 中的第二轮消息和确认之后，我们保证所有参与者都知道集体决策是提交的。
这意味着在 3PC 中，永远不会有一个参与者执行另一个参与者未预料到的提交操作的情况。
在两阶段提交中,协调器向所有参与者(节点)发送准备消息并等待他们的答案.协调员然后将他们的答案发送到所有其他站点.在提交或中止交易之前,每个参与者都会等待协调员的这些答案.
两阶段提交协议也有局限性,因为它是一个blocking protocol.例如,参与者将在等待来自协调器的消息时阻止资源进程.如果由于任何原因失败,参与者将继续等待并且可能永远不会解决其交易.因此可以无限期地阻止资源.另一方面,协调员也会在等待参与者的回复时阻止资源.在这种情况下,如果没有从参与者收到确认,协调员也可以明确地阻止.
然而,三阶段协议引入了第三阶段称为pre-commit.这样做的目的是"消除已经承诺并正在等待来自协调员的全局中止或提交消息的参与者的不确定时期.
When receiving a pre-commit message, participants know that all others have voted to commit.
If a pre-commit message has not been received the participant will abort and release any blocked resources.
小智 5
在方案1中:
恢复期间:除A外的所有队列都将处于PRECOMMIT状态.这告诉恢复节点所有同类群组都已投票进行提交并向前移动.所以A和协调员应该处于PRECOMMIT状态.由于这是非最终状态,因此中止事务.
在方案2中:
恢复期间:除A外的所有队列都将处于PRECOMMIT状态.这告诉恢复节点所有同类群组已投票支持提交并向前移动.但是由于A收到了doCommit消息,因此它处于COMMITTED状态.如果没有发生崩溃,恢复将要求所有同类群组提交,因为至少有一个群组已经提交.由于发生崩溃(A崩溃),恢复节点看不到具有提交状态的实时队列,因此它推断出没有队列获得了doCommit消息.因此,交易将被中止,并且将要求所有群组释放资源.
当A从崩溃中返回并开始恢复时,它将发现所有其他同类群集中止了该事务,它也将中止该事务.
州图http://regal.csep.umflint.edu/~swturner/Classes/csc577/Online/Chapter07/Images/07-21.jpg
