角石（Cornerstone）：轻量级的C++ Raft一致性实现

角石（Cornerstone）是一个由Andy Chen原创并由社区维护的轻量级C++ Raft共识算法实现。这个开源项目专注于提供核心的算法，并以最小化依赖的原则设计，使其易于集成到各种系统中。

项目介绍

该项目的目标是提供一个符合TLA+规范的Raft核心算法实现，包括配置变更、日志压缩等关键功能。此外，它还支持紧急提交特性，允许领导者在提高提交索引时请求所有其他节点快速提交日志。值得注意的是，尽管它包含了基于文件流的日志存储和基于asio的定时器与RPC服务器和客户端实现，但并不提供状态机或特定的存储服务，而是鼓励开发者根据自己的需求进行定制。

技术分析

• 核心算法：基于TLA+规格说明书，实现了一套完整的Raft共识机制，包含核心逻辑。
• 配置管理：允许动态添加或移除服务器，无需限制。
• 日志处理：提供日志压缩功能，优化存储效率。
• 紧急提交：增强性能，减少等待时间，提高集群响应速度。
• 异步IO：通过asio库实现，支持Windows、Linux和BSD系统，既可处理定时任务，也可处理网络通信。

应用场景

角石适用于任何需要强一致性的分布式系统，如分布式数据库、分布式锁服务、状态机复制等。其轻量且简洁的设计使其易于集成到现有的项目中，特别是那些已经构建了自己的状态机和服务层的项目。

项目特点

• 精简：仅包含与Raft共识直接相关的代码，没有额外的状态机或存储服务。
• 低依赖：只依赖STL和asio库，降低了集成难度。
• 可扩展：提供了测试用例作为参考，方便开发者理解如何自定义log store、timer以及RPC服务。
• 跨平台：基于asio的实现确保了在多种操作系统上的兼容性。
• 易于理解和维护：代码结构清晰，便于阅读和调试。

要开始探索角石，请参照项目中的示例代码test_everything_together.cxx，了解如何利用该项目搭建你的Raft集群。

获取与运行

git submodule update --init --recursive
mkdir build && cd build
cmake ..
cmake --build .
./testr

如有任何问题，欢迎联系Andy Chen。

角石为你的分布式系统提供了一个强大而灵活的一致性解决方案，是时候将其纳入你的项目中，体验高效稳定的Raft共识了吧！