系统内核
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
P4 可编程数据面深度工程实战：从 Parser 状态机、Match-Action 流水线到 Tofino 与 P4Runtime 全链路
沿真实编译与部署链路拆解 P4：Parser 状态机综合、Match-Action 流水线的表依赖图与 stage 映射、Tofino 的 PHV/TCAM/Stateful ALU 资源配额、有状态内存的非原子语义、P4Runtime gRPC 控制面与流水线热切换，以及与 eBPF/DPDK 的边界对比和六条生产踩坑清单。
Linux 内核下半部机制深度工程：Softirq、Tasklet、Workqueue 全链路解析与生产调优
深入解析 Linux 内核下半部三大机制 Softirq、Tasklet、Workqueue 的底层实现，结合生产环境中的性能陷阱与调优实战，帮助内核开发者和系统工程师掌握中断处理与系统性能优化的核心技能。
Linux内核 kexec 快速重启与 kdump 崩溃分析深度实战
深度解析Linux内核kexec快速重启机制与kdump崩溃转储系统：kexec_load三阶段加载、镜像段结构、控制代码页跳转、crash_kexec触发路径、/proc/vmcore ELF格式解析、vmcoreinfo调试坐标系统、makedumpfile过滤压缩、生产环境kdump调优、kexec_file_load安全API、Secure Boot限制。
Linux 进程虚拟地址空间深度实战：从 VMA 到 OOM Killer 的完整内存管理指南
深入剖析 Linux 内核进程虚拟地址空间实现机制，涵盖 VMA 红黑树、mmap 映射、缺页中断处理、写时复制（COW）、内存过量提交策略及 OOM Killer 调优方法
Linux 内核实时补丁：零停机热修复的架构与深度实战
深入解析 Linux 内核实时补丁技术（livepatch/kpatch）的架构原理，涵盖基于 ftrace 的函数替换机制、栈一致性模型、CVE 紧急修复全流程、Kubernetes 自动化部署，以及生产环境最佳实践。
Linux kernel io_uring 自适应轮询与 Deadline 调度 — 从 EXT_ARG 到 AI 推理延迟 SLO 工程实践
深入探讨 Linux kernel io_uring 的自适应轮询和延迟 SLO 执行机制。从 IORING_ENTER_EXT_ARG 的绝对时间戳语义到 IORING_TIMEOUT_MULTISHOT 的周期性治理，再到 SQPOLL+SQAFFINITY 的 NUMA 拓扑感知绑定，构建完整的 AI 推理延迟 SLO 工程体系，辅以 eBPF 运行时监控和 PI 控制器动态调优。
Rust与Linux内核模块开发深度实战：从字符设备到并发安全驱动架构
深入解析Rust在Linux内核驱动开发中的核心机制与安全抽象，涵盖字符设备、DMA缓冲区、中断处理、NVMe队列管理、async驱动等实战内容
Linux 内核 io_uring 时间轮与异步超时机制深度工程：构建百万级定时器的高性能 AI 推理请求调度
深入解析 Linux 内核 io_uring 内置时间轮机制，从内核 hrtimer 到多级时间轮数据结构，构建零系统调用的百万级并发异步超时调度引擎，专为 AI 推理网关的请求生命周期管理设计。涵盖链接超时、MULTISHOT 重试、NUMA 亲和性优化及生产级部署 checklist。
深入理解 Linux 内核页表管理与虚拟内存
深入剖析 Linux 内核页表管理的底层原理、关键数据结构、页表层级演变、TLB 管理机制以及实际调优案例。
大模型分布式训练并行与显存工程实战：从 ZeRO 分片、FSDP 扁平参数到激活重计算与通信重叠全链路
沿真实工程决策链拆解大模型分布式训练：先算清混合精度 AdamW 的 16 字节/参数显存账本，再区分 DP/TP/PP 三种并行各自解决的维度，深入 ZeRO 三级分片与 FSDP FlatParameter 编排（含 70B 在 64 卡上的单卡显存实测表），给出选择性激活重计算的算力-显存兑换率与 use_reentrant 陷阱，最后落到 prefetch、bucket 与梯度累积 no_sync 的通信-计算重叠实战。
Linux内核进程调度器深度实战：CFS完全公平调度算法与实时调度策略实现原理
深入剖析Linux内核进程调度器：CFS完全公平调度算法的红黑树实现、vruntime计算机制、实时调度策略SCHED_FIFO/SCHED_RR/SCHED_DEADLINE、NUMA感知调度优化，以及sched_setscheduler、sched_setaffinity等核心API实战。
Linux文件系统与VFS虚拟文件系统深度实战：从系统调用到ext4磁盘布局全链路剖析
从VFS四大对象（superblock、inode、dentry、file）出发，完整剖析read()系统调用从用户态到底块设备的全链路路径，深入讲解ext4磁盘布局、extent树结构、多块分配器、JBD2日志机制，并涵盖文件描述符管理、O_DIRECT/O_SYNC语义、splice/sendfile零拷贝、page cache命中率分析以及FUSE用户态文件系统实现原理。
