Raft 共识算法深度实战：从 Leader 选举到分布式一致性工程落地
深入剖析 Raft 共识算法的核心机制：Leader 选举、日志复制、成员变更安全保证、快照压缩、线性一致性读策略，并详解 etcd、TiKV 等系统的工程实践与最佳调优参数。
分布式系统
从 TrueTime 到混合逻辑时钟：分布式系统时序与因果一致性的工程实践
从物理时钟的局限性出发，深入剖析 Google TrueTime、向量时钟、混合逻辑时钟（HLC）的设计哲学与工程落地，揭示因果一致性如何在现代数据库与消息系统中实现。涵盖 Spanner、CockroachDB、TiDB、MongoDB、YugabyteDB 的实战架构分析。
分布式锁的工程实践深度剖析 — 从 Redlock 争议到 Fencing Token 的生产级安全
深入剖析分布式锁的工程实践：从 Redis SETNX 到 Redlock 争议，再到基于 fencing token 的生产级安全方案，附带 Rust etcd 的完整实现代码。
CRDT 无冲突复制数据类型深度实战：从 G-Counter 到 OR-Set 与协作编辑引擎
深入剖析 CRDT 的数学基础与两大家族（CvRDT/CmRDT），用 Rust 从零实现 G-Counter、PN-Counter、OR-Set、LWW-Register，对比 Riak/Redis CRDB/Yjs/Automerge/AntidoteDB 等生产级实现，并给出收敛性验证与选型落地指南。
Paxos共识算法形式化证明与拜占庭容错演化：从TLA+规约到HotStuff线性PBFT的工程实践
从形式化规约视角解析Paxos共识算法：Prepare/Accept两阶段流程、多数派交集保证安全性、TLA+验证、工程优化（Multi-Paxos Leader选举），以及拜占庭容错的PBFT与线性消息复杂度HotStuff的设计演化。
事件驱动架构在微服务中的工程实践：从事件风暴到生产落地的2026年完整指南
2026年事件驱动架构在微服务中的完整工程实践指南，涵盖事件风暴建模、Transactional Outbox模式、幂等性处理、死信队列、可观测性体系
Redis Cluster 分布式一致性深度实战：从 Gossip 协议到故障转移全链路解析
深入解析 Redis Cluster 的核心机制：Gossip 协议的故障检测、16384 哈希槽的分配与迁移、Raft 倾向的故障转移流程，以及网络分区下的行为边界，并附生产环境调优清单。
Apache RocketMQ 存储引擎深度工程实战：从 CommitLog 顺序写、ConsumeQueue 定长索引到事务消息与 DLedger 高可用的全链路解析
沿真实工程链路拆解 RocketMQ 存储层：所有 Topic 共享单一 CommitLog 如何用顺序写把分区数从写性能公式中剔除；ConsumeQueue 20 字节定长索引为何只存 tag 哈希并强制客户端二次过滤；IndexFile 开链哈希；延迟消息与重试如何复用「改 Topic 重投」原语；事务消息用 half/op 双队列做差集表达未决状态；DLedger 为何只需 Raft 化 CommitLog 而索引层零改动，并给出生产调参与排障路径。
Apache Dubbo 深度工程实战：从 SPI 自适应扩展、Invoker 抽象到 Triple 协议与服务治理全链路
沿 Dubbo 3 的真实工程链路拆解 RPC 内核：URL 总线如何统一配置、ExtensionLoader 的 @Adaptive 运行时委派、Invoker/Directory/Router/LoadBalance 调用链抽象、接口级到应用级服务发现的写放大治理、Triple 协议在 HTTP/2 上的流式与背压，以及重试雪崩、线程池隔离、序列化白名单与优雅停机的生产落地清单。
AI Agent 容错与灾难恢复工程实战：从 Checkpoint 到分布式快照的全链路设计
深入剖析 AI Agent 容错架构设计：从状态建模、增量 Checkpoint 实现、分布式快照协议，到生产部署的六条铁律，附 Rust 代码实战
