Rapid:分布式成员服务的新标杆
项目介绍
在现代数据中心环境中,故障不仅仅是简单的崩溃,还可能涉及防火墙配置错误、单向连接丢失、可达性波动以及部分数据包丢失等问题。现有的成员服务解决方案在这些常见故障场景下表现不佳,难以快速或根本无法收敛到稳定状态。为了应对这一挑战,我们推出了 Rapid,一个可扩展的分布式成员服务系统。Rapid 能够在面对多样化的故障场景时保持稳定,并为参与的进程提供强一致的系统成员视图。
项目技术分析
Rapid 通过以下三个核心构建块实现了其目标:
-
基于扩展器的监控边覆盖:Rapid 将一组进程(配置)组织成一个稳定的故障检测拓扑,其中观察者监控并传播其通信边的报告给被观察者。监控关系形成了一个具有强连通性的有向扩展图,确保健康进程能够高概率地检测到故障。
-
多进程割检测:为了稳定性,Rapid 中的进程只有在从多个观察者收到关于某个进程的警报时才会怀疑该进程,并延迟对不同进程的警报采取行动,直到变化稳定,从而收敛到检测到一个全局的多节点割,以添加或移除成员。
-
实用共识:为了实现一致性,Rapid 展示了在大规模环境中将几乎无处不在的共识转换为完全共识的实用性。Rapid 的共识协议通过低开销的无领导者协议驱动配置变化,通常情况下,每个进程只需通过计数相同割检测的数量来验证共识。
项目及技术应用场景
Rapid 适用于需要高可靠性和强一致性的分布式系统,特别是在数据中心环境中。它可以应用于以下场景:
- 分布式数据库:确保数据库节点之间的成员关系一致性,避免数据不一致。
- 微服务架构:在微服务集群中,确保服务节点的健康状态和成员关系的一致性。
- 云计算平台:在云环境中,确保虚拟机或容器集群的成员关系和故障检测的准确性。
项目特点
- 可插拔的故障检测器:Rapid 允许用户使用自定义的故障检测器,通过实现简单的接口来通知观察者如何宣布其监控边为故障。
- 可插拔的消息传递:Rapid 允许用户插入自己的消息传递实现,通过实现
IMessagingClient和IMessagingServer接口,无缝集成到更大的系统中。 - 强一致性和高稳定性:Rapid 在面对多样化故障场景时,能够提供强一致的成员视图,并保持系统的稳定性。
如何使用 Rapid
-
安装 Rapid:
$: mvn install -
在你的项目中添加依赖:
<dependency> <groupId>com.github.lalithsuresh</groupId> <artifactId>rapid</artifactId> <version>0.8.0</version> </dependency> -
运行示例项目:
$: java -jar examples/target/standalone-agent.jar \ --listenAddress 127.0.0.1:1234 \ --seedAddress 127.0.0.1:1234
通过以上步骤,你可以轻松地将 Rapid 集成到你的分布式系统中,享受其带来的高可靠性和强一致性。
了解更多
你可以从我们的 USENIX ATC 2018 论文 开始了解更多关于 Rapid 的技术细节。论文和相关技术报告均可在 docs 文件夹中找到。
Rapid 不仅是一个技术解决方案,更是一个推动分布式系统向前发展的创新工具。立即尝试 Rapid,体验其在复杂故障场景下的卓越表现!
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C081
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python056
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0135
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00