面试题答案
一键面试理论基础
在分布式系统中,事务一致性旨在确保跨多个节点或数据分区的操作要么全部成功提交,要么全部回滚,如同在单个节点上执行一样。其核心挑战在于网络延迟、节点故障等不确定性因素,可能导致部分操作成功而部分失败,破坏数据一致性。
常用算法
- 两阶段提交(2PC)
- 阶段一:投票阶段
- 协调者向所有参与者发送事务请求,询问是否可以执行事务操作。
- 参与者检查自身资源状态,若可以执行,则回复同意(Yes),否则回复拒绝(No)。
- 阶段二:提交阶段
- 如果所有参与者都回复同意,协调者向所有参与者发送提交(Commit)指令,参与者执行事务提交操作。
- 如果有任何一个参与者回复拒绝,协调者向所有参与者发送回滚(Rollback)指令,参与者执行事务回滚操作。
- 阶段一:投票阶段
- 三阶段提交(3PC)
- 阶段一:询问阶段
- 协调者向所有参与者发送事务询问,参与者检查自身资源状态,若可以执行,则回复准备(Ready),否则回复拒绝(No)。
- 阶段二:预提交阶段
- 如果所有参与者都回复准备,协调者向所有参与者发送预提交(Pre - Commit)指令,参与者进入预提交状态。
- 如果有任何一个参与者回复拒绝,协调者向所有参与者发送中断(Abort)指令,参与者执行事务回滚操作。
- 阶段三:提交阶段
- 协调者等待一段时间(超时机制)后,若未收到任何参与者的中断消息,向所有参与者发送提交(Commit)指令,参与者执行事务提交操作。
- 如果协调者在等待期间收到中断消息,向所有参与者发送回滚(Rollback)指令,参与者执行事务回滚操作。
- 阶段一:询问阶段
应用中可能遇到的问题及解决方案
- 两阶段提交问题及解决方案
- 单点故障
- 问题:协调者一旦故障,整个事务无法继续推进,参与者可能会一直处于阻塞状态。
- 解决方案:可以采用选举机制,当检测到协调者故障时,从参与者中选举出新的协调者继续推进事务。
- 阻塞问题
- 问题:在第二阶段,若协调者发送的指令因网络问题未到达部分参与者,这些参与者会一直阻塞等待。
- 解决方案:引入超时机制,参与者等待一定时间后若未收到指令,自动进行回滚操作。
- 单点故障
- 三阶段提交问题及解决方案
- 同步阻塞
- 问题:虽然 3PC 相比 2PC 减少了阻塞时间,但在预提交阶段依然存在一定程度的同步阻塞,影响系统性能。
- 解决方案:可以优化网络拓扑,减少网络延迟,同时合理设置超时时间,在保证一致性的前提下尽量减少阻塞时间。
- 不一致问题(理论上极小概率)
- 问题:在阶段三,协调者发送提交指令后,部分参与者可能因网络故障未收到,而协调者认为事务已成功提交,导致数据不一致。
- 解决方案:引入恢复机制,当系统恢复后,未收到提交指令的参与者可以主动向协调者或其他参与者询问事务最终状态,进行相应的提交或回滚操作。
- 同步阻塞
在实际项目中,如构建分布式订单处理系统,跨多个数据中心处理订单数据的事务时,2PC 算法在简单场景下能较好保证一致性,但需重点关注协调者的稳定性。3PC 虽然复杂些,但能在一定程度上减少阻塞和不一致风险,不过要权衡其带来的性能开销。