鸿蒙最全分布式事务——三阶段提交，关于数据库索引的面试题

深知大多数程序员，想要提升技能，往往是自己摸索成长，但自己不成体系的自学效果低效又漫长，而且极易碰到天花板技术停滞不前！

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上鸿蒙开发知识点，真正体系化！

由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新

需要这份系统化的资料的朋友，可以戳这里获取

顾名思义，三阶段提交分为以下三个阶段：

• CanCommit
• PreCommit
• DoCommit

在三阶段提交协议中，系统一般包含两类角色：

• 协调者（Coordinator），通常一个系统中只有一个；
• 参与者（Participant），一般包含多个，在数据存储系统中可以理解为数据副本的个数。

CanCommit

在CanCommit阶段，协调者协议流程如下：

• 写本地日志“BEGIN_COMMIT”，并进入WAIT状态；
• 向所有参与者发送“VOTE_REQUEST”消息；
• 等待并接收参与者发送的对“VOTE_REQUEST”的响应。参与者响应“VOTE_ABORT”或“VOTE_COMMIT”消息给协调者。

该流程与两阶段提交协议类似。

PreCommit

在PreCommit阶段，，协调者将通知事务参与者准备提交或取消事务，写本地的redo和undo日志，但不提交。

协调者协议流程如下：

• 若收到任何一个参与者发送的“VOTE_ABORT”消息；

• 写本地“GLOBAL_ABORT”日志，进入ABORT状态；
• 向所有的参与者发送“GLOBAL_ABORT”消息；

• 若收到所有参与者发送的“VOTE_COMMIT”消息；

• 写本地“PREPARE_COMMIT”日志，进入PRECOMMIT状态；
• 向所有的参与者发送“PREPARE _COMMIT”消息；

• 等待并接收参与者发送的对“GLOBAL_ABORT”消息或“PREPARE_COMMIT”消息的确认响应消息。一旦收到所有参与者的“GLOBAL_ABORT”确认消息或者超时没有收到，写本地“END_TRANSACTION”日志流程结束，则不再进入DoCommit阶段。如果收到所有参与者的“PREPARE_COMMIT”确认消息，则进入DoCommit阶段。

该流程与两阶段提交协议相比，多了一个PRECOMMIT状态。

DoCommit

在该阶段，

协调者协议流程如下：

• 向所有参与者发送的“GLOBAL _COMMIT”消息；
• 等待并接收参与者发送的对 “GLOBAL_COMMIT”消息的确认响应消息，一旦收到所有参与者的确认消息，写本地“END_TRANSACTION”日志流程结束。

在DoCommit阶段，如果参与者无法及时接收到来自协调者的GLOBAL_COMMIT请求时，会在等待超时之后，会继续进行事务的提交。

三阶段提交状态机

下图为三阶段提交协议中的协调者及参与者的状态机。左侧a为协调者状态机；右侧b为参与者状态机。

三阶段提交的缺陷

相对于2PC，3PC主要解决的单点故障问题，并减少阻塞，因为一旦参与者无法及时收到来自协调者的信息之后，他会默认执行commit。而不会一直持有事务资源并处于阻塞状态。但是这种机制也会导致数据一致性问题，因为，由于网络原因，协调者发送的abort响应没有及时被参与者接收到，那么参与者在等待超时之后执行了commit操作。这样就和其他接到abort命令并执行回滚的参与者之间存在数据不一致的情况。

网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。

需要这份系统化的资料的朋友，可以戳这里获取

一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！

一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！