Raft 共识协议：状态机、日志复制与工程实现

本文讨论 Raft 的协议机制与实现约束。系统模型假设：节点可能崩溃并恢复，网络可能分区、丢包、重复、乱序，但不考虑拜占庭故障。目标是让一组状态机副本在同一日志序列上达成一致，并在多数节点可用时继续提供服务。