Linux DAMON 深度实战 — 数据访问监控、页级热力图、主动回收与 CXL 内存分层
全面解析 Linux DAMON 数据访问监控系统：采样驱动的区域追踪架构、DAMON_OPS_FO/PMT/EBFP 三大检测后端、自适应元数据约束、damo 用户态工具与四种报表、DAMON_LRU_SORT 精确 LRU 排序、DAMON_RECLAIM 主动节流、与 CXL 内存分层的协同优化、性能基准与生产级案例。
系统内核
Linux DMA Engine 深度实战 — 内存到内存传输的硬件加速、Scatter-Gather 链式编程与异步零拷贝引擎
深度解析 Linux DMA Engine 子系统：从 DMA 控制器硬件原理、dmaengine 核心 API、Scatter-Gather 链式编程模型，到 cyclic DMA 环形传输、用户态 ioctl 控制、async_tx 异步引擎、DMA 池化与中断合并优化、PCIe Multi-Queue DMA 实战。涵盖 PL330/EDMA/ste_dma 主流控制器驱动分析、DMA 同步/异步 API 对比、缓存一致性维护（dma_map_sg/dma_sync_sg）、性能瓶颈定位与调优策略。
Linux 内核 io_uring 高级特性深度实战——Multishot Accept/Recv、SQ Poll IO_Uring 与 Provided Buffers 零拷贝网络革命
深入剖析io_uring高级特性：Multishot Accept单次提交持续接收连接、Provided Buffers零拷贝缓冲区管理、Fixed Files预注册描述符表、Linked Request Chains原子多阶段操作、Kernel-side SQ Poll零系统调用提交，附带完整C语言Echo Server实战和性能基准数据
Linux 内核 CXL 内存分层架构深度实战——从 CXL.io/cache/mem 协议栈到 Dynamic Capacity Device 与 Fabric 网络的内存解聚革命
深入剖析 CXL (Compute Express Link) 协议栈全景：从 CXL.io/cache/mem 三大子协议协同、Type 1/2/3/Switch 设备矩阵，到 Linux 内核 cxl_pci/cxl_mem/cxl_region 子系统架构、分层 NUMA 策略与 Soft Reserved 机制、DCD 动态容量热添加/移除、CXL 3.0 Fabric 网络与 Port Based Routing (PBR)。包含CXL 2.0 vs DDR5延迟带宽基准数据、AI训练内存扩展部署实践、MHD多Host共享内存场景，以及 ndctl/cxl-cli 完整工具链运维指南。
AI系统的运行时验证：从时序逻辑规约到生产环境实时违规检测
构建AI系统的运行时验证框架——使用时序逻辑(LTL)形式化Agent行为规范，通过异步流处理引擎在生产环境实时检测时序违规，覆盖规约语言设计、流处理监控器架构、滑动窗口优化、与OpenTelemetry的集成、以及MCP协议服务器的实战案例。
Linux 内核 cgroup v2 资源隔离深度实战——从权重分配到 memory.high 软限制与 IO 限速的生产级调优
深入剖析Linux cgroup v2统一层级树的架构设计、CPU/内存/IO三大控制器核心机制、内核数据结构、生产级调优策略与PSI监控体系
用 Rust 编写经过形式化验证的分布式共识协议：从 TLA+ Spec 到可编译代码
探索如何用 Rust 生态的形式化验证工具（Session Types、Prusti、Kani）弥合 TLA+ 规约与实际代码之间的鸿沟，实现编译期可证明正确的分布式共识协议。
Linux 内核 IOMMU 与 VFIO 设备直通深度实战——从 DMA 重映射到 vIOMMU 嵌套虚拟化与中断隔离的完整虚拟化 IO 栈
深度解析 Linux 内核 IOMMU 子系统与 VFIO 设备直通框架：从 Intel VT-d/AMD-Vi 硬件架构、DMA 重映射保护、VFIO Container/Group/Device 三层层抽象模型，到 vIOMMU 嵌套虚拟化 DMA 隔离、中断重映射与 IRQ 亲和性配置、ATS/PRI 性能优化、Thunderclap DMA 攻击防护案例，以及 DMAR AER 高级错误报告机制。附带完整的 QEMU/KVM VFIO 配置实战与性能基准测试。
AI 推理服务生产化实战：从 Jupyter Notebook 到高可用推理集群
从 Jupyter Notebook 到生产级推理平台的完整工程路线图：覆盖多模型共享推理引擎、Continuous Batching 调优、基于排队论的自适应扩缩容、GPU 显存碎片整理与 KV Cache 管理、模型热更新与灰度发布、三级缓存架构与成本优化策略。
GNU IFUNC 在 AI 推理库中的 CPU 分派机制：从 ELF 链接器到 AMX/SVE 内核选择
深入解析 GNU IFUNC（Indirect Functions）在 AI 推理库 CPU 指令集分派中的核心机制。从 ELF 符号类型 STT_GNU_IFUNC 到底层 PLT/GOT 延迟绑定，再到 ARM SVE VLA 编码与 AMX-BF16 分派策略，包含完整的 GEMM resolver 实现与性能对比数据。
io_uring 注册缓冲池生产级管理：NUMA 感知分层架构与自适应回收
深入解析 io_uring 注册缓冲区生产级管理策略，提出 NUMA-aware 四级分层架构与自适应水位回收机制，实测双路 EPYC 平台 512K IOPS / 41μs P99 延迟。
io_uring: Linux异步I/O新范式深度实战—从零实现零拷贝高性能服务器
从内核双环形缓冲区架构到liburing实战代码，全面解析io_uring的零拷贝提交/完成机制、SQPOLL内核轮询模式、链接操作原子性、Multishot网络多发射、Direct Descriptors零分配I/O，附Ceph/RocksDB/Envoy落地数据与性能调优决策树。
Linux Kernel page_pool: 网络栈页面回收与零拷贝 AI 流量工程
深入解析Linux内核page_pool机制，探讨其在AI推理服务中的零拷贝优化、与XDP/io_uring的协同设计、三代回收策略演进，以及生产部署中的性能调优与监控策略。
从零编写 GPU 驱动：Asahi Linux AGX 架构与 Apple M 系列图形栈逆向工程
Asahi Linux从零开始为Apple M系列芯片编写GPU驱动的工程实践，涵盖逆向工程方法论、Rust驱动架构、统一地址空间管理、命令缓冲区调度等深度内容
io_uring 与 io_uring_cmd：Linux 异步 IO 新范式 NVMe 直通与存储性能极限优化
深度解析 Linux io_uring 异步 IO 框架及其 io_uring_cmd 扩展如何实现 NVMe 命令用户空间直通。涵盖 io_uring SQE/CQE 机制、固定缓冲区与多线程模型、io_uring_cmd 的 NVMe Passthrough 实现、与 SPDM 的性能对比分析、生产环境部署最佳实践以及内核块设备层演进方向。
