两阶段提交与三阶段提交的区别

没有任何事情是完美的。特别是在分布式的情况下。事实上，分布式在某个程度上其实是人类社会发展的一个极佳写真。因为人类社会中个体的可靠性显然比分布式系统节点的可靠性要低很多。

三阶段提交也不完美。但是它比两阶段好。

两阶段的问题可以这样分解：

1，协调者出错，参与者也出错；

2，协调者出错，参与者不出错；

3，协调者不出错，参与者出错；

4，协调者不出错，参与者也不出错。

显然第4种不是问题。所以实际上只有3个问题。而问题2可以通过简单地NEW一个新的协调者来解决。问题3的错则显然正是两阶段提交协议的解决目标，所以也没有问题。有问题的只有协调者出错，参与者也出错的问题1。

这种情况可以被进一步分为参与者有没有收到提交的消息。如果参与者没有收到提交的消息，那么显然将不会（或没有---从系统恢复的角度）发生任何真正的提交行为；而如果有任何参与者收到了提交的消息，那么就很可能发生或已经发生了真正的提交行为。这个“可能”，为系统引入了不确定因素。系统没有办法解决这样的问题，唯一的办法便是引入超时机制。否则除了事务没有办法终结以外，部分参与者节点还有可能永不释放其所持有的全部数据锁。

超时机制的引入意味着将两阶段的第二阶段再度分开成两个阶段：不确定阶段与确定阶段。超时以前是不确定操作阶段，超时以后是确定操作阶段。因为在超时发生以前，系统处于不确定阶段，但是超时发生以后，系统则转入确定阶段。超时事件本身，则是系统进行状态转换的信号。但是因为真正引起超时的错只会在协调者与参与者同时出错（对于不出错但超时的情况，视为出错。即超时本身就是一种错---如果超时不“是”错，那么超时机制在这里就不可能工作---这其实就是超时机制的逻辑根本所在。超时是一种错，所以超时可以被用来表示错。如果用一种不是错的信号来表示错，那要区分真正的错就会很困难了）的情况下才会发生，在其它所有的情况下并不会发生，所以必须对这些情况进行相同的状态划分：准备好与提交状态。这些名词并不是很合乎它要表示的语义，但两个状态足够表达所有的情况才是最重要的事情。至于语义，则可以在人的大脑中得到正确的转化。

转载：http://my.oschina.net/digerl/blog/34139