分布式共识算法深度实战：从 Paxos 直觉到 Raft 工程实现
从经典 Paxos 的形式化复杂度出发，深入解析 Raft 如何通过强 Leader 设计、日志连续性约束和随机化选举将共识问题工程化落地，并完整呈现任意切换、安全性证明、日志压缩与性能优化策略。
Etcd
分布式系统共识算法深度解析：从Paxos到Raft的设计哲学与实践
深入解析分布式系统共识算法的核心原理，从Paxos的理论基石的工程挑战，到Raft为可理解性而生的设计哲学，探讨FLP不可能定理、多数派机制、Leader选举、日志复制等关键概念
分布式系统一致性：从CAP理论到共识算法实战
从CAP/PACELC理论基础出发，深入剖析2PC、Paxos、Raft、ZAB等共识算法，解析etcd、TiKV、Kafka KRaft、Spanner的实战架构，给出分布式系统选型决策框架
分布式共识算法深度对比：从 Paxos 到 Raft、ZAB 的工程实践
深入解析三大经典分布式共识算法——Paxos、Raft 和 ZAB 的设计哲学、实现差异与工程落地考量，帮助开发者在实际系统中做出正确的技术选型。
Raft共识算法与分布式事务一致性：从理论到工程落地的深度实战
本文系统性地阐述了分布式一致性理论与工程实践，从CAP定理和FLP不可能原理出发，深入解析Raft共识算法的Leader选举、日志复制与安全性保证机制，对比Paxos的复杂性差异；并详细探讨2PC/3PC/TCC/Saga四种分布式事务方案的实现原理、故障模式与适用场景。结合etcd、TiKV等工业级系统，总结Raft工程落地的日志压缩、成员变更、线性一致性读等关键实践要点。
分布式共识算法深度实战：Raft、Paxos 与 Viewstamped Replication 的工程抉择
深入解析三种主流分布式共识算法（Raft / Paxos / VR）的设计哲学、实现细节以及在实际工程场景中的适用性与权衡取舍
