raft

hashicorp/raft 是一个实现 Raft 共识算法的 Go 库，为在分布式系统中构建复制状态机提供了基础。该库管理复制日志，并与有限状态机（FSM）抽象集成，以在多个节点之间维护一致的状态。 主要能力包括： - **领导者选举**：节点在跟随者、候选者和领导者状态之间转换。如果在一段超时时间内未收到条目，跟随者会自行提升为候选者，然后向对等节点请求投票。获得法定数量投票的候选者成为领导者。 - **日志复制**：领导者将新的日志条目（不透明的二进制数据块）追加到持久存储，并将其复制到法定数量的跟随者。一旦提交，条目就会被应用到 FSM。 - **自动快照**：为了防止日志无限增长，Raft 会自动对当前 FSM 状态进行快照并压缩日志，移除已经应用的条目。 - **动态对等节点管理**：只要法定数量可用，该库就支持向集群添加节点以及从集群移除节点。 - **存储后端**：主要后端 MDBStore 位于单独的仓库（raft-mdb）中，同时还有一个使用 BoltDB 的纯 Go 后端（raft-boltdb）。两者都可以作为 LogStore 和 StableStore 实现。 - **指标发出**：支持通过 armon/go-metrics（默认）或 hashicorp/go-metrics（通过构建标签）发出指标，并提供从已弃用的 armon 库迁移的路径。 该库要求 Go 1.16+，并采用 MPL 2.0 许可。它基于 Raft 论文《In Search of an Understandable Consensus Algorithm》，性能与 Paxos 相当，日志提交延迟受磁盘 I/O 和到半个集群的网络往返限制。 推荐的集群大小为 3 或 5 个节点，分别可容忍 1 个或 2 个节点故障，同时最大化可用性。该库被 HashiCorp 产品（如 Consul 和 Nomad）用于分布式协调。