Awesome GitHub RepositoriesQuorum-Based Consistency

FoundationDB is an ACID-compliant distributed transactional key-value store. It functions as a scalable database engine that ensures strict serializability and data consistency across a cluster of servers using a shared-nothing architecture. The system is distinguished by its multi-region replication capabilities, allowing data to be synchronized across different datacenters for high availability and disaster recovery. It utilizes optimistic concurrency control to manage distributed transactions and employs a majority-based coordination system to maintain cluster state. The platform provides

Algodeck is an open-source collection of flash cards designed for reviewing algorithms, data structures, and system design concepts, specifically curated for technical interview preparation. The project organizes knowledge into atomic question-and-answer pairs and incorporates spaced repetition scheduling to optimize long-term memory retention. The flash card catalog covers a broad range of computer science topics, including classic sorting algorithms like quicksort and mergesort, data structure operations for arrays, trees, heaps, tries, and graphs, as well as bit manipulation techniques for

Dragonboat 是一个 Go 语言实现的 Raft 一致性协议，旨在维护分布式节点集群间的一致状态。它提供了一个用于构建分布式状态机的库，确保系统故障期间的数据完整性和容错能力。 该项目通过多组 Raft 实现脱颖而出，它将数据分区到独立的共识组中，以分配工作负载并提高整体系统处理能力。它还结合了双向 TLS 来加密节点间通信并验证集群成员的身份。 该系统包括支持内存和磁盘持久化的高性能状态机功能。它具有读路径优化以确保一致性而不生成新的日志条目，用于自定义日志后端的插件式存储接口，以及用于在节点多数永久丢失后恢复可用性的仲裁恢复管理工具。 通过导出集群健康指标来支持操作稳定性。

GlusterFS 是一个软件定义的分布式文件系统和横向扩展存储集群，将来自多个服务器的磁盘资源聚合到一个单一的全局命名空间中。它作为一个统一的存储平台，允许通过文件、块和对象存储接口暴露相同的基础数据。 该系统通过去中心化架构脱颖而出，该架构使用一致性哈希在网络节点之间分发文件，而无需中央元数据服务器。它通过自愈复制、基于仲裁的一致性来防止脑裂场景，以及用于跨地理位置灾难恢复的异步地理复制，确保了数据完整性和可用性。 该平台通过 NFS、Samba 和 iSCSI 提供广泛的多协议存储导出功能，以及全面的卷管理功能，包括时间点快照、存储配额和弹性容量扩展。安全性通过传输中的 TLS 加密、身份管理集成和细粒度的 POSIX 访问控制来处理。 该软件可通过社区仓库以二进制包的形式提供，适用于各种 Linux 发行版。

m3 是一个分布式时间序列数据库，专为高分辨率指标和高基数数据管理而设计。它作为一个可扩展的存储系统和多集群查询引擎，提供了一个分布式指标聚合器，能够在数据提交到存储之前进行降采样和汇总。 该项目以其使用 etcd 进行节点成员管理和分片放置的协调集群模型而脱颖而出。它支持多种摄取协议，包括 Prometheus 远程写入协议、InfluxDB 行协议和 Graphite Carbon 纯文本协议，并提供与 PromQL 和 Graphite 兼容的查询接口。 该系统涵盖了广泛的功能领域，包括列式时间序列存储、同步数据复制和分布式查询扇出。它集成了数据生命周期自动化、基于法定人数 (Quorum) 的一致性调整，以及基于标签的序列索引，以在隔离的命名空间中保持数据完整性和检索速度。 集群编排和组件放置通过自动化工具和 Operator 进行管理，以确保高可用性和均衡的数据分布。

Blitzar 是一个可验证的 SQL 证明引擎和加密库，专为可验证的 SQL 计算而设计。它支持在链下执行数据库查询，同时生成零知识证明，以证明结果的正确性，从而实现链上验证。 该项目以其 GPU 加速的证明加速器脱颖而出，该加速器将繁重的加密工作负载卸载到图形处理器，减少了简洁证明生成所需的时间。它为 C++ 和 Rust 应用提供了高性能加密原语，专注于椭圆曲线运算和多标量乘法。 该系统涵盖了广泛的数据管理和安全面，包括将区块链索引与链下数据集结合到防篡改关系表中的无信任数据集成。它利用 BFT 共识和阈值签名来维护状态完整性，以及用于基于法定人数的数据同步和通过智能合约回调进行验证结果交付的机制。 该代码库提供了 C++ 和 Rust 的原生绑定，以公开其加密工具集和证明计算库。

Redsync 是一个分布式锁管理器和 Go Redis 客户端扩展，旨在确保对共享资源的独占访问。它通过使用 Redis 后端来协调同步并防止分布式环境中的竞态条件，从而在多个进程间实现互斥。 该库通过基于法定人数（quorum）的共识机制维持锁的有效性，要求成功写入大多数独立的 Redis 节点。它利用 Lua 脚本原子操作进行获取和释放，同时采用基于值的归属权验证和生存时间（TTL）过期机制来防止死锁。 该项目提供了分布式协调和应用程序同步功能，利用客户端重试轮询来管理资源获取超时。

Riak 是一个去中心化的 NoSQL 键值存储，专为高可用性和容错性而设计。它是一个 Dynamo 风格的分布式数据库，利用一致性哈希和最终一致性在节点集群中扩展数据。 该系统作为地理复制数据存储运行，在多个物理位置同步数据，以提供灾难恢复并在区域性中断期间保持可用性。它采用多主复制模型，允许向集群中的任何节点进行写入。 该平台涵盖了广泛的功能领域，包括去中心化集群协调、高可用性数据管理和大规模数据过期。它通过基于法定人数的一致性和写入验证来管理数据持久性，同时利用专门的数据结构自动合并并发更新。

Olric is a distributed data grid and in-memory key-value store that partitions and replicates data across a cluster of servers. It serves as a shared memory system for managing distributed maps, performing atomic operations, and acting as an in-memory data cache. The system provides a distributed locking mechanism for concurrency control and a pub-sub messaging system that broadcasts and routes messages over named channels across the cluster. The platform covers wide-ranging capabilities including cluster management and orchestration, data replication with configurable quorums, and automated

Garage is a distributed object storage system that provides an S3-compatible API gateway. It is designed to synchronize metadata across distributed nodes using conflict-free replicated data types and Merkle-tree state alignment to maintain cluster-wide consistency. The system ensures data resilience through zone-aware replication, distributing data copies across multiple physical locations. It employs quorum-based request routing and versioned layout management to validate and commit cluster configuration changes. The project covers a broad range of operational capabilities, including automa