Linux内核密钥保留服务深度实战：Key Retention Service架构、子系统与生产安全工程
深入解析 Linux Key Retention Service 子系统设计，从 struct key 对象模型到 keyring 层级查找、内置类型体系，实战 dm-crypt/fscrypt/模块签名/TPM 密封存储，涵盖 LSM 权限集成、内存回收策略与生产环境常见问题。
系统内核
Linux 内核网络栈深度实战：从网卡中断到 epoll 高性能架构
从网卡收到第一个数据包开始，沿 NAPI 轮询、内核协议栈处理、Socket 缓冲区管理、epoll 事件通知路径，逐层剖析 Linux 内核网络栈实现机制，并给出生产环境性能调优参数与实战案例。
Nomad 调度器深度实战：从两阶段调度、Bin Packing 打分到 Plan Applier 与抢占驱逐的工程全解
拆解 HashiCorp Nomad 调度器内核：Evaluation 到 Plan 的流水线、Plan Applier 乐观并发、Feasibility 过滤与 Bin Packing 打分的两阶段调度、优先级抢占、Drain 迁移状态机，并给出生产调优清单。
Linux 内核内存压缩与 OOM Killer 深度实战：碎片整理、内存回收与生产调优全指南
深入剖析Linux内核内存压缩（Memory Compaction）机制和OOM Killer工作原理，涵盖碎片检测、压缩算法、/proc接口调优、生产环境OOM防护策略与实战案例
Linux内核Device Mapper加密与完整性保护工程深度实战
深入剖析Linux内核Device Mapper框架下的dm-crypt透明加密和dm-integrity数据完整性保护子系统，涵盖LUKS集成、IV生成策略、Journal机制、认证加密、性能优化与生产实践。
Linux 内核 Slab 分配器深度实战：三层架构、性能优化与生产调优全指南
Linux 内核 Slab 分配器深度实战：三层架构、per-CPU freelist、kmem_cache、SLUB_DEBUG 调试、着色机制、生产调优全指南
Linux内核qspinlock：MCS队列自旋锁深度工程实战
深入剖析Linux内核qspinlock的设计哲学与MCS算法实现，涵盖数据结构编码、投机者机制、ARM64原子操作、PV-spinlock虚拟化、lockdep运行时验证及NUMA优化实战。
Linux内核中的dm-verity完整性验证深度实战：从哈希树构建到链式可信计算
深入剖析Linux内核dm-verity设备映射器子系统，涵盖Merkle哈希树数据结构、内核验证机制、用户空间工具链、C语言实战代码，以及在容器镜像完整性验证中的应用
Linux 内核 Workqueue 机制深度实战：CMWq 架构、并发管理与生产调优
全面解析 Linux 内核 Workqueue 机制，涵盖从 TaskQueue 到 CMWq 的演进历史、线程池自管理架构、并发控制模型、各类 API 使用指南、调试方法（ftrace/sysfs/proc）、生产环境陷阱规避，以及与其他异步机制（Softirq/Tasklet/Timer/Threaded IRQ）的对比分析。附网络设备驱动真实案例和内核使用统计。
Zig 语言系统编程深度实战：从内存分配器到内核模块
深入拆解 Zig 在系统编程中的核心武器——自定义分配器、错误集、编译期接口、与 C 的无缝互操作——并通过构建类型安全的网络连接状态机和 MiniOMM 内存管理器实战，展示 Zig 如何在不妥协性能的前提下提升工程可靠性。
深入理解 Rust 生命周期与借用检查器——从编译原理到实战精进
全面解析 Rust 生命周期和借用检查器的底层原理，涵盖所有权回顾、生命周期省略规则、非词法生命周期、自引用结构体、多线程借用、HRTB 等高阶主题，附大量实战代码示例与常见错误速查表。
Rust 实现 LLM 推理引擎深度工程实战：从 Flash Attention 内核到 Continuous Batching
深入拆解如何用 Rust 从零构建 LLM 推理引擎：Flash Attention V2 内核的 SIMD 与 Online Softmax 分块优化、PagedKVCache 的 Copy-on-Write 内存管理、连续批处理调度器的迭代级调度策略。
缓存一致性协议深度实战：MESI、MOESI 与 Directory 协议的工程全景
从MESI状态机内核出发，完整拆解现代多核系统中缓存一致性的工程实现，涵盖MOESI协议、Directory协议、False Sharing实战案例和性能优化checklist。
io_uring 深度实战：Linux 异步 I/O 革命从原理到高性能网络编程
io_uring 深度实战：从架构内核到生产级高性能网络代码，涵盖三种模式对比、SQE/CQE 数据结构、epoll差异、高级特性、生产踩坑与性能数据
TLA 形式化验证分布式系统：从规约到生产环境的工程实践
深入介绍 TLA 形式化验证方法及其在分布式系统中的应用，涵盖核心概念、Raft规约编写实战、AWS生产案例、规约到代码的精化方法，以及形式化验证工程实践中的常见陷阱与最佳实践。
