eBPF Map 生产级工程实战：从 PerCPU Hash 到 Queue/Stack 的深度优化
eBPF map 是 BPF 程序与用户空间共享数据的核心机制。本文系统拆解 12 种核心 map 类型的性能特征、适用场景与工程陷阱，给出生产级选型决策框架与优化模式。
Linux内核
Linux 内核 BPF 验证器深度工程实战：从静态分析引擎到推测执行漏洞防御
从源码级深入剖析BPF Verifier核心机制：控制流图验证、寄存器状态追踪与taint分析、边界检查与溢出检测、循环处理与有界循环、以及针对推测执行侧信道攻击（Spectre）的防护实现。结合Linux 6.6 LTS内核源码和真实eBPF编程案例，全面解析eBPF安全加载器的设计哲学与工程实践。
eBPF可编程网络观测深度实战：从XDP内核hook到分布式追踪系统设计
从eBPF核心架构出发，深入剖析XDP、tc、kprobes等hook点的工作原理，通过多个实战案例展示如何构建生产级网络观测系统。覆盖BCC/libbpf/Aya开发框架、HTTP延迟追踪、连接拓扑图、DDoS防护、TCP重传分析，以及Cilium/Falco/Beyla等主流平台解析。
Linux 内核鲁棒互斥锁 (Robust Futex)：崩溃安全同步的深度工程实战
深入解析 Linux futex 子系统中的 Robust Mutex 机制：从内核 inode 级别的锁跟踪、rt_mutex 优先级继承、OWNER_DEAD 检测、到完整的崩溃恢复代码实战，以及生产环境分层恢复架构设计。
eBPF struct_ops：可编程内核 TCP 拥塞控制的工程实践
深入剖析 eBPF struct_ops 机制的内部原理，通过一个完整的自定义 TCP 拥塞控制 BBR-Lite 案例，展示从 eBPF 程序编写到生产部署的全链路工程实践，包括 BPF trampoline 动态重定向、CO-RE 跨内核兼容、灰度发布策略和性能基准测试。
WireGuard：现代 VPN 协议的极简主义工程深度剖析
深入剖析 WireGuard 的极简工程哲学——从 Noise Protocol Framework 握手模型，到 Linux 内核无锁队列路由机制，再到 MTU 黑洞与 NAT 穿越的实战调优。4000 行代码如何实现前 IPsec/OpenVPN 难以企及的安全边界。
io_uring + splice/tee：Linux 零拷贝数据传输的终极工程实战
深入剖析 Linux 内核 splice/tee/vmsplice 零拷贝原语的实现机制，以及 io_uring 框架下的异步集成方案。涵盖 page stealing、pipe buffer 管理、IOSQE_IO_LINK 链式提交，以及零拷贝代理、日志分流、数据库 WAL 等实战场景。
Linux 内核页面回收与交换子系统深度工程实战
从LRU链表到kswapd，从swap到zswap，从碎片整理到OOM——全方位解析Linux内核如何管理内存不够用的问题。涵盖页面生命周期、回收触发机制、Swap子系统、压缩交换技术、内存规整与前沿演进。
Linux 内核内存安全检测工具链深度实战：KASAN、UBSAN 与 KFENCE 全链路工程
深度解析 Linux 内核三大内存安全检测工具 KASAN、UBSAN、KFENCE 的设计原理与工程实战，涵盖 Shadow Memory、Guard Page、采样检测机制、CI 集成以及生产部署策略，附完整代码示例与典型错误解读。
Linux Kernel Live Patching 深度工程实战：让内核补丁无需重启
深入拆解 Linux Kernel Live Patching（kpatch/kgraft）的实现机制，涵盖 ftrace 底层重定向、一致栈检查、Shadow Variable 状态迁移、生产部署策略与实战血泪教训
