Paxos
分布式共识算法深度实战：Raft、Paxos 与 Viewstamped Replication 的工程抉择
深入解析三种主流分布式共识算法（Raft / Paxos / VR）的设计哲学、实现细节以及在实际工程场景中的适用性与权衡取舍
分布式共识算法深度对比：从 Paxos 到 Raft、ZAB 的工程实践
深入解析三大经典分布式共识算法——Paxos、Raft 和 ZAB 的设计哲学、实现差异与工程落地考量，帮助开发者在实际系统中做出正确的技术选型。
大规模分布式系统的一致性模型与共识算法实战：从 CAP 到 Raft 的全栈工程指南
深入解析大规模分布式系统核心难题——数据一致性与共识达成。从 CAP 定理的严格证明到 BASE 工程实践，从 Paxos 的数学优雅到 Raft 的工程可读性，全面覆盖线性一致性、顺序一致性、因果一致性等核心模型，以及 Multi-Paxos、Raft、ZAB 等工业级共识算法的架构设计与生产级优化策略。
分布式系统一致性：从CAP理论到共识算法实战
从CAP/PACELC理论基础出发，深入剖析2PC、Paxos、Raft、ZAB等共识算法，解析etcd、TiKV、Kafka KRaft、Spanner的实战架构，给出分布式系统选型决策框架
分布式系统共识算法深度解析：从Paxos到Raft的设计哲学与实践
深入解析分布式系统共识算法的核心原理，从Paxos的理论基石的工程挑战，到Raft为可理解性而生的设计哲学，探讨FLP不可能定理、多数派机制、Leader选举、日志复制等关键概念
分布式共识算法深度实战：从 Paxos 到 Raft 再到 EPaxos 的全链路剖析
以工程实战视角完整拆解三大主流共识协议——Paxos、Raft、EPaxos——的设计思想与实现细节，深入Leader选举、日志复制、成员变更、快照压缩等核心机制，建立对分布式共识的系统性认知。
分布式共识算法深度实战：从 Paxos 直觉到 Raft 工程实现
从经典 Paxos 的形式化复杂度出发，深入解析 Raft 如何通过强 Leader 设计、日志连续性约束和随机化选举将共识问题工程化落地，并完整呈现任意切换、安全性证明、日志压缩与性能优化策略。
Paxos 共识算法深度工程解析：从理论证明到分布式系统实战
深入剖析 Paxos 共识算法的完整机制：两阶段协议、形式化正确性证明、Multi-Paxos 工程优化路径，以及 Chubby、Spanner、ZooKeeper 等关键系统的实践经验，附带 Paxos vs Raft 的工程权衡对比。
共识算法工程实战：从Paxos到Raft的分布式一致性深度解析
深度解析分布式共识算法的工程实现：从Paxos的理论困境到Raft的可理解性设计，涵盖Multi-Paxos优化、Raft领导选举、日志复制、成员变更、线性一致性保证，以及与两阶段提交的对比分析。附带etcd工程实践案例和性能调优策略。
