微服务架构实战：基于gRPC的服务间通信与负载均衡设计
深入解析基于gRPC的微服务间通信架构：从ProtoBuf接口定义、Consul服务发现与注册、四种负载均衡模式对比、流式RPC与双向通信实践，到mTLS安全配置与OpenTelemetry分布式追踪，全面覆盖生产级gRPC通信层的设计原则与工程实践。
分布式系统
深入理解分布式系统共识算法：Raft协议详解
深入解析Raft共识算法：从Leader选举、日志复制到安全性保证，涵盖任期机制、选举限制、Joint Consensus成员变更、快照机制、Pre-Vote优化，以及etcd/TiKV工业级实现经验。
分布式锁的工程实践深度剖析 — 从 Redlock 争议到 Fencing Token 的生产级安全
深入剖析分布式锁的工程实践：从 Redis SETNX 到 Redlock 争议，再到基于 fencing token 的生产级安全方案，附带 Rust etcd 的完整实现代码。
Apache RocketMQ 存储引擎深度工程实战：从 CommitLog 顺序写、ConsumeQueue 定长索引到事务消息与 DLedger 高可用的全链路解析
沿真实工程链路拆解 RocketMQ 存储层：所有 Topic 共享单一 CommitLog 如何用顺序写把分区数从写性能公式中剔除；ConsumeQueue 20 字节定长索引为何只存 tag 哈希并强制客户端二次过滤；IndexFile 开链哈希；延迟消息与重试如何复用「改 Topic 重投」原语；事务消息用 half/op 双队列做差集表达未决状态；DLedger 为何只需 Raft 化 CommitLog 而索引层零改动，并给出生产调参与排障路径。
AI Agent 容错与灾难恢复工程实战：从 Checkpoint 到分布式快照的全链路设计
深入剖析 AI Agent 容错架构设计：从状态建模、增量 Checkpoint 实现、分布式快照协议，到生产部署的六条铁律，附 Rust 代码实战
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解耦为例
一致性哈希工程深度实战：从经典环到 Jump/Maglev 全算法拆解
剖析四种核心一致性哈希算法（Classic Ring/Jump Hash/Maglev/Rendezvous），含完整Rust实现、性能对比与工程选型指南。理解分布式系统中哈希路由的 trade-off。
事件溯源架构实战：用 Rust + io_uring + 无锁数据结构构建百万级 TPS 事件存储
事件溯源（Event Sourcing）是近年来在分布式系统领域逐渐成熟的一种架构模式。与传统的仅存储当前状态的 CRUD 架构不同，事件溯源将系统的每一次状态变更都记录为一个不可变的事件，系统当前状态是所有事件的折叠结果。这种"重放而非快照"的哲学，为审计追踪、时间旅行调试、复杂事件处理等场景带来了根本性的优势。
Kafka 深度实战：从 Broker 架构到分区策略、消费者组再均衡、Exactly-Once 语义与生产调优的完全工程指南
从 Kafka 架构设计到生产部署完整解析
