分布式一致性协议在MongoDB选举中的应用

最新推荐文章于 2024-09-10 11:23:07 发布

uncle_Y

最新推荐文章于 2024-09-10 11:23:07 发布

阅读量2.6k

点赞数

分类专栏：分布式系统文章标签： mongodb 分布式算法

本文链接：https://blog.csdn.net/wentyoon/article/details/79043031

版权

本文简要介绍了分布式系统的一致性概念，重点探讨了Bully算法和Raft算法在MongoDB选举中的应用。MongoDB r3.2.0以前使用Bully算法，新版本则采用Raft算法。Bully算法基于节点ID竞选，而Raft算法通过心跳和任期保证一致性。文章对比了两者在选举过程中的差异，包括MongoDB对这两种算法的特定实现和优化。

摘要由CSDN通过智能技术生成

前言

之前在学习MongoDB复制集时发现网上的很多相关的分享都是针对r3.2.0以前的版本，新版本对选举机制做了较大的更改，但是在网上大多都是一笔带过。于是写过一篇《MongoDB选举机制》。当时主要结合了官网最新的文档和部分源码。由于官网介绍比较泛泛，源码阅读的时候又受限于个人能力与时间，最终只整理了选举相关的核心逻辑，对应复杂的条件检查和数据结构没有深入的了解。最近了解了一些分布式一致性算法之后，打算换一个角度从协议层面重新整理一下MongoDB的选举。本文简要介绍分布式系统一致性相关的概念，重点介绍Bully算法和Raft算法在MongoDB选举中的应用。

分布式系统简介

分布式系统是一个硬件或软件组件分布在不同的网络计算机上，彼此之间仅仅通过消息传递进行通信和协调的系统。分布式系统具有分布性、对等性、并发性、缺乏全局时钟、故障总会发生的特点，由于这些特点导致了分布式系统中的一致性难题。

CAP理论

分布式系统的CAP理论：

CAP理论告诉我们，一个分布式系统不可能同时满足一致性(C)，可用性(A)，分区容错性(P)这三个基本需求，最多只能同时满足其中两项。

分布式环境中的一致性是指数据在多个副本之间是否能够保持一致的特性。
可用性是指系统必须一致处于可用的状态，对用用户的请求能够在有限时间内返回结果。其中，“有限时间”是相对的，是用户可接受的合理响应时间；“返回结果”是期望的结果，可以是成功或失败，不能是用户不能接受的结果。
分布式系统在遇到网络分区故障时，仍能够对外提供满足一致性和可用性的服务，除非整个网络发生故障。

由于分区容错性是分布式系统首先要保证的，所以只能在一致性和可用性之间找平衡。