Linux 内核 Lockdep 深度实战：从死锁检测到生产级并发缺陷狩猎
深入解析Linux内核Lockdep死锁检测机制的核心原理，包括类继承图构建算法、状态机模型、前向与反向搜索策略，结合生产环境实战案例详解AB-BA死锁的完整分析与修复方案。
并发编程
Linux 内核并发原语与内存排序深度工程 — 从原子操作、内存屏障到无锁数据结构在 AI 推理中的生产实践
深入剖析Linux内核并发原语与内存排序机制，从原子操作、编译器屏障、硬件内存屏障到RCU、Seqlock等高级同步原语，结合AI推理服务中的无锁环形缓冲区、KV Cache管理、模型热加载等实战案例，系统讲解如何在生产环境中构建高性能无锁并发系统。
缓存一致性协议深度工程实战：MESI/MOESI 硬件实现、内存屏障原语与零成本抽象的生产实践
从硬件缓存一致性协议（MESI/MOESI/MESIF）的状态机转换入手，深入剖析 x86-TSO 与 ARM 弱内存模型的差异，结合 Linux 内核、Rust 原子操作与 CXL 互联协议，揭示内存屏障在生产环境中的工程实践与性能优化技巧。
Linux内核Lock-Free编程深度剖析：内存屏障、Cache-Line对齐与无锁数据结构实战
深度解析Linux内核Lock-Free编程技术，涵盖内存屏障硬件原理、Store Buffer/Invalidate Queue、CAS无锁栈、ptr_ring环形缓冲区、io_uring提交队列、Hazard Pointers安全内存回收，以及生产级无锁缓冲区实战代码。
Linux内核缓存一致性与内存屏障深度实战：从MESI协议到RCU与eBPF的无锁工程艺术
深入剖析Linux内核缓存一致性与内存屏障：从MESI缓存一致性协议到store buffer/invalidate queue的硬件原理，解析四种SMP屏障语义与release/acquire模型，实战精讲RCU链表操作、eBPF Ring Buffer无锁队列、网卡DMA描述符、crypto引擎等子系统的屏障使用，附常见错误模式与KCSAN检测案例。
Linux Kernel Lockdep 静态锁验证子系统深度剖析与生产级死锁防控工程实践
深入剖析Linux内核Lockdep静态锁验证子系统的内部机制，从依赖图构建到环检测算法，详解六种核心错误类型的检测原理，并给出生产环境部署策略与真实死锁案例分析。
Linux内核RCU深度实战：从宽限期原理到无锁读端性能巅峰
深入剖析Linux内核RCU同步机制：宽限期核心概念、读端/写者API全景解析、Tree RCU底层状态机实现、VFS dentry/路由表/PID等生产级实战场景、SRCU与RCU Tasks变种、宽限期延迟陷阱与调优策略。
eBPF 内存模型与并发原语深度工程实战：从弱内存排序到 AI 推理系统无锁数据结构
深入剖析 eBPF 程序的执行环境、弱内存模型、spinlock 实现机制、atomic 指令语义以及 per-CPU map 与 ring buffer 等并发策略，结合 AI 推理系统中的实战案例，展示如何构建高性能的无锁数据路径。
C++ 内存模型与无锁编程：从原语到生产级无锁队列的完全实战
深入解析C++11内存模型的六种顺序语义，从硬件乱序原理到生产级MPMC无锁队列实战实现，包含ABA问题解决方案和10条工程戒律。
Linux内核RCU同步机制深度实战：从Read-Copy-Update核心原理到Tree RCU架构与生产级无锁读取
深入剖析Linux内核RCU(read-copy-update)同步机制的核心原理、Tree RCU架构实现、Core API使用模式与生产级实战技巧,覆盖宽限期机制、CPU Stall检测、性能调优等关键技术点
