Linux 内核缺页中断路径深度工程实战：从 CPU 异常到页表同步的完整链路
深度分析 Linux 内核缺页中断处理路径 —— 从 CPU 硬件异常触发、硬件页表遍历、按需分页、CoW fork、userfaultfd 到 NUMA 平衡的完整链路架构，附大量带注释代码分析与生产调优建议。
系统编程
Rust 异步运行时内核原理：从 async/await 状态机到 io_uring 全局异步架构
从 Future trait 的 poll 模型到生产级运行时（tokio/async-std/smol）的设计决策，再到 Linux io_uring 与异步生态的融合，深入解析 Rust 异步系统的底层原理与最佳实践。涵盖 async/await 状态机编译原理、Executor/Reactor 架构、Work-Stealing 调度、定时器层级轮、io_uring 内核机制及 monoio 实现。
Linux 系统性能调优深度实战：从 perf 工具链到全栈瓶颈定位与优化方法论
深度解析 Linux 性能调优方法论与工具链：从 perf stat/top/record 基础工具到火焰图可视化、off-CPU 分析、eBPF 动态追踪；涵盖 CPU 调度器调参、NUMA 感知、THP 配置、I/O 调度器选择、内核网络参数优化、cgroups v2 资源限制、锁竞争检测、上下文切换优化。附带真实生产案例与调优 Checklist。
ZNS SSD 的 io_uring uring_cmd 直通实战：AI 训练日志零拷贝存储引擎
深入解析 NVMe ZNS 顺序写入模型，使用 io_uring uring_cmd 接口在用户态直接管理 Zone 存储。涵盖 NVMe uring_cmd SQE 封装、registered buffers 零拷贝、Zone 生命周期回收，以及与 SPDK/f2fs 的性能对比实测。附 Rust 实现的 ZNS 日志存储引擎完整代码。
从零构建 BPF L4 负载均衡器：XDP + sockmap + 连接跟踪的工程实践
基于 eBPF XDP 和 sockmap 从零构建生产级 L4 负载均衡器，覆盖连接跟踪、一致性哈希、零拷贝路由、健康检查和可观测性的完整工程实践。
Linux内核信号处理机制深度实战：从中断上下文到实时信号队列
深度解析Linux内核信号处理完整机制：信号生成/投递/挂起生命周期、signal_struct/sighand_struct内核数据结构、kill/tkill/tgkill投递路径差异、多线程信号竞争陷阱、siginfo_t完整信息载体、实时信号队列溢出处理、signalfd+epoll集成模式、sigsetjmp非局部跳转、独立信号栈SA_ONSTACK。涵盖内核源码分析与生产级最佳实践。
Rust 异步 Cancel Safety 与优雅停机工程实战：从跨 .await 灾难到生产级优雅关闭
深入剖析 async Rust 中 Cancel Safety 的语义陷阱与优雅停机工程实践，涵盖 tokio CancellationToken 协作式取消、三阶段停机协议、五个生产暗坑，附完整可运行的生产模板代码。
Rust 形式化验证工程实战——从 Kani 模型检查器到 Verus 定理证明
深入探讨Rust形式化验证的两大工业级工具链：Kani有界模型检查器与Verus定理证明系统，包含实战代码示例、CI/CD集成策略与团队实践指南，涵盖并发不变量、溢出检测等关键场景。
Linux内核BPF CO-RE深度实战：从BTF类型信息到跨内核版本可移植eBPF程序的生产级开发全流程
深度解析Linux内核BPF CO-RE框架的技术原理与开发实践，从BTF类型信息的编码机制、libbpf重定位框架、bpftool gen skeleton自动化，到跨内核版本兼容策略，涵盖完整的生产级eBPF CO-RE开发全流程。
Nim 内存管理深度工程实战：从 ARC/ORC 所有权模型、Move 语义与 Cursor 推断到生产级确定性析构
沿 Nim 内存管理栈逐层拆解：四种 GC 后端的取舍、ARC 如何把引用计数下沉为编译期代码改写、owned/lent/sink/cursor 所有权词汇表、cursor 推断消除 incref 抖动、ORC 基于 Bacon-Rajan trial deletion 的增量环回收，以及 seq/string 容器实现、自定义类型 hook 五件套与生产调优清单。
