Paxos共识算法形式化证明与拜占庭容错演化：从TLA+规约到HotStuff线性PBFT的工程实践
从形式化规约视角解析Paxos共识算法：Prepare/Accept两阶段流程、多数派交集保证安全性、TLA+验证、工程优化（Multi-Paxos Leader选举），以及拜占庭容错的PBFT与线性消息复杂度HotStuff的设计演化。
分布式系统
Mooncake 与分离式 LLM 推理：KV Cache 传输、缓存与 Prefill-Decode 解耦深度工程实战
深度解析分离式LLM推理架构的设计哲学与工程实现，聚焦KV Cache传输协议、分布式缓存管理、RDMA高效传输、生产部署实践，以Mooncake/Prefill-Decode解耦为例
Kafka 深度实战：从 Broker 架构到分区策略、消费者组再均衡、Exactly-Once 语义与生产调优的完全工程指南
从 Kafka 架构设计到生产部署完整解析
AI Agent 容错与灾难恢复工程实战：从 Checkpoint 到分布式快照的全链路设计
深入剖析 AI Agent 容错架构设计：从状态建模、增量 Checkpoint 实现、分布式快照协议，到生产部署的六条铁律，附 Rust 代码实战
一致性哈希工程深度实战：从经典环到 Jump/Maglev 全算法拆解
剖析四种核心一致性哈希算法（Classic Ring/Jump Hash/Maglev/Rendezvous），含完整Rust实现、性能对比与工程选型指南。理解分布式系统中哈希路由的 trade-off。
深入理解分布式系统共识算法：Raft协议详解
深入解析Raft共识算法：从Leader选举、日志复制到安全性保证，涵盖任期机制、选举限制、Joint Consensus成员变更、快照机制、Pre-Vote优化，以及etcd/TiKV工业级实现经验。
Apache RocketMQ 存储引擎深度工程实战：从 CommitLog 顺序写、ConsumeQueue 定长索引到事务消息与 DLedger 高可用的全链路解析
沿真实工程链路拆解 RocketMQ 存储层：所有 Topic 共享单一 CommitLog 如何用顺序写把分区数从写性能公式中剔除；ConsumeQueue 20 字节定长索引为何只存 tag 哈希并强制客户端二次过滤；IndexFile 开链哈希；延迟消息与重试如何复用「改 Topic 重投」原语；事务消息用 half/op 双队列做差集表达未决状态；DLedger 为何只需 Raft 化 CommitLog 而索引层零改动，并给出生产调参与排障路径。
Elasticsearch 深度实战：从倒排索引原理到分布式搜索集群生产级部署与性能优化的完全工程指南
深入解析 Apache Lucene 倒排索引原理（FST 词典、跳表加速、BM25）、三段式文本分析与中文分词优化、分布式一致性 Raft 协议、写入路径（Refresh/Translog/Flush）工程、Query-Then-Fetch 查询协议、分片策略与再平衡、Hot-Warm-Cold 分层存储、HSNW 向量搜索、快照恢复全流程、生产环境容量规划与故障排查方法论
深入理解事件驱动架构（EDA）：从理论到生产级实战
全面解析事件驱动架构（EDA）的核心概念、拓扑结构、生产级实战设计要点，涵盖幂等性、死信队列、事件溯源、Saga模式、事件版本化等关键技术，附带 Kafka/RabbitMQ/Redis Streams/NATS 选型对比表
分布式锁的工程实践深度剖析 — 从 Redlock 争议到 Fencing Token 的生产级安全
深入剖析分布式锁的工程实践：从 Redis SETNX 到 Redlock 争议，再到基于 fencing token 的生产级安全方案，附带 Rust etcd 的完整实现代码。
