深入理解分布式系统共识算法：Raft协议详解
深入解析Raft共识算法：从Leader选举、日志复制到安全性保证，涵盖任期机制、选举限制、Joint Consensus成员变更、快照机制、Pre-Vote优化，以及etcd/TiKV工业级实现经验。
系统内核
Linux 内核 Virtio 虚拟化 I/O 框架深度实战：从 virtqueue 到 vhost-user
深入剖析 Linux 内核 Virtio 虚拟化 I/O 框架：virtqueue 数据结构、split/packed ring 演进、virtio-net/virtio-blk 驱动实现、vhost 内核加速、vhost-user 用户态卸载、DPDK PMD 高性能网络、VFIO-mdev、virtio-fs DAX，以及生产级性能基准测试与调优方案。
MVCC 多版本并发控制深度工程实践：从 InnoDB 到 TiDB 的事务隔离实现
MVCC 现代数据库实现高并发读写的基石技术。深入剖析 MySQL InnoDB 与 PostgreSQL 的 MVCC 内部实现机制，解读 undo log、xmin/xmax、快照隔离的本质差异，并延伸到分布式数据库 TiDB 与 CockroachDB 的 MVCC 工程演进。
Linux 内核虚拟文件系统（VFS）深度实战：从 dentry 缓存到 io_uring 集成
深入剖析 Linux 内核 VFS 子系统核心架构：六大核心数据结构关系、路径查找算法（Ref-walk/RCU-walk）、系统调用执行路径、内存映射文件机制、extent tree 与 ext4 交互、性能优化策略及 io_uring 集成分析，附完整 C 代码示例与性能测试数据。
Linux 内核 CFS 调度器深度实战：从 vruntime 到负载均衡的完整剖析
全面剖析 Linux 内核 CFS 调度器的设计与实现，涵盖 vruntime 计算、红黑树可运行队列、多核负载均衡、实时调度策略、SCHED_DEADLINE、cgroup CPU 控制组、性能调优实战等核心内容。
AI集群的光互连革命：硅光子学共封装光学（CPO）架构深度工程实践
深度解析硅光子学共封装光学（CPO）在AI超算集群中的工程实现。从物理层架构、微环谐振器WDM设计、SerDes重构、2.5D封装挑战、可靠性冗余方案到OIO未来愿景，全面拆解光互连革命的技术细节与部署现实。
LLM 推理确定性工程深度实战：从浮点非结合性、Batch 不变性到可复现 Kernel 的全链路解法
拆解 LLM 推理不确定性的三个根因——浮点加法非结合性、split-k 与浮点 atomicAdd 的非确定累积、Continuous Batching 导致的 batch invariance 破缺；给出 PyTorch 复现脚本、Triton batch-invariant kernel、CUB 确定性归约与 CUBLAS_WORKSPACE_CONFIG 配置要点，分析 RL 后训练 on-policy 偏差与合规审计场景，量化 15%-30% 的性能代价并给出生产落地检查清单。
FUSE 文件系统深度实战：从内核协议到写时合并云存储引擎
深入FUSE内核协议机制，从请求响应模型到inode映射、多路合并目录、写时复制策略的完整实现，含Rust代码实战与性能优化数据
深入剖析 Linux io_uring：异步IO革命与高性能用户态文件操作实战
在计算机较早的文件操作模型中，用户进程调用 read/write 等系统调用时，线程会被阻塞直到内核完成数据传输。这种 阻塞式 IO (Blocking IO) 模型在低延迟场景下表现必要，但对于快速设备（如 NVMe SSD）和高并发服务器而言，它是限制性的。
用 Zig 从零实现 RISC-V 操作系统内核：从 Boot 到进程调度
从零用 Zig 实现 RISC-V 操作系统内核，覆盖 OpenSBI 启动、Sv39 页表、中断委托、SBI 定时器调用和 Round-Robin 调度器，附完整代码与 QEMU 验证步骤。
Linux内核进程调度器深度实战：从CFS完全公平调度到实时策略与NUMA感知，彻底理解CPU时间片分配机制
从内核源码层面深入剖析Linux调度器完整架构——CFS的vruntime机制与红黑树设计、实时策略(FIFO/RR/EDF)、NUMA感知调度、cgroup CPU控制、SMP负载均衡及生产环境调优实践
Linux 内核上下文切换与系统调用开销深度优化实战
深入剖析上下文切换开销模型、Spectre Meltdown 缓解代价、vDSO加速、io_uring批量化等生产级方案
io_uring 异步取消机制深度实战：从请求终止到资源生命周期管理的零泄漏工程
io_uring 异步取消机制深度实战，涵盖四种取消模式、取消竞态、资源生命周期管理、生产级连接关闭流程和调试方法
Paxos共识算法形式化证明与拜占庭容错演化：从TLA+规约到HotStuff线性PBFT的工程实践
从形式化规约视角解析Paxos共识算法：Prepare/Accept两阶段流程、多数派交集保证安全性、TLA+验证、工程优化（Multi-Paxos Leader选举），以及拜占庭容错的PBFT与线性消息复杂度HotStuff的设计演化。
Linux 内核 MGLRU 内存回收深度实战：从多代 LRU 到生产级页面回收优化
深入解析 Linux 内核 Multi-Gen LRU (MGLRU) 内存回收机制：从代际扫描算法、页面老化策略、folio 数据结构，到与经典四指针 LRU 的对比优势，以及生产环境中的内存回收调优与故障诊断实践。
