Linux 内核 Netlink 协议深度工程实战：从 Generic Netlink 到多播组的内核态全链路解析
深入剖析 Linux Netlink 协议族核心实现：从套接字创建、消息封装、属性 TLV 编码，到 Generic Netlink 家族注册、多播组订阅机制，最终落地到自定义内核模块开发与 NETLINK_DIAG socket 诊断
系统编程
Linux Kernel pidfd timerfd：AI Agent 子进程看门狗工程 —— 无竞态超时与生命周期管理
深入分析 Linux 5.x pidfd 和 timerfd 如何重构 AI Agent 子进程生命周期管理系统，实现毫秒级精度的无竞态超时控制，彻底解决传统 SIGCHLD 模型的竞态与泄漏问题。
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集成策略与团队实践指南，涵盖并发不变量、溢出检测等关键场景。
