Linux 内核 BPF 验证器深度工程实战：从静态分析引擎到推测执行漏洞防御
从源码级深入剖析BPF Verifier核心机制：控制流图验证、寄存器状态追踪与taint分析、边界检查与溢出检测、循环处理与有界循环、以及针对推测执行侧信道攻击（Spectre）的防护实现。结合Linux 6.6 LTS内核源码和真实eBPF编程案例，全面解析eBPF安全加载器的设计哲学与工程实践。
eBPF
eBPF可编程网络观测深度实战：从XDP内核hook到分布式追踪系统设计
从eBPF核心架构出发，深入剖析XDP、tc、kprobes等hook点的工作原理，通过多个实战案例展示如何构建生产级网络观测系统。覆盖BCC/libbpf/Aya开发框架、HTTP延迟追踪、连接拓扑图、DDoS防护、TCP重传分析，以及Cilium/Falco/Beyla等主流平台解析。
Linux内核内存管理深度实战：从物理分配到虚拟内存全解
深入解析Linux内核内存管理全栈技术：物理内存管理(Buddy System/Slub分配器)、虚拟内存与页表机制、内存回收算法(LRU)、OOM Killer原理与防御、NUMA架构优化、HugePages配置、eBPF内存监控实战及生产环境调优指南
io_uring 与 eBPF 融合：可编程内核数据路径的工程实践
深入剖析 Linux 6.x 内核中 io_uring 与 eBPF 融合的新机制（IORING_REGISTER_BPF_FILTER），从源码级别讲解如何在内核态可编程过滤和转换 I/O 请求，实现零系统调用的可编程数据路径。包含 BPF 程序编写、io_uring 提交队列注入、XDP 协同实战，以及生产环境部署的五大坑点。
eBPF struct_ops：可编程内核 TCP 拥塞控制的工程实践
深入剖析 eBPF struct_ops 机制的内部原理，通过一个完整的自定义 TCP 拥塞控制 BBR-Lite 案例，展示从 eBPF 程序编写到生产部署的全链路工程实践，包括 BPF trampoline 动态重定向、CO-RE 跨内核兼容、灰度发布策略和性能基准测试。
Linux eBPF 深度剖析：从内核虚拟机到可观测性革命的完整实战指南
深入解析 Linux eBPF 架构原理、BPF Verifier 安全机制、BPF Maps 数据结构，以及 XDP 防火墙、kprobe 跟踪等实战场景，全面覆盖 eBPF 生态工具与最佳实践。
深入理解 Linux 内核 eBPF：从内核观测到网络加速的深度实战
深入剖析 eBPF 核心架构（Map体系、Helper函数、验证器）、程序类型与 Hook 体系（kprobe、XDP、TC、LSM）、可观测性实战（execsnoop、offcputime、CO-RE）、网络加速实战（XDP DDoS 防护、Katran LB、Cilium CNI）、安全模型与权限分层，以及生产环境最佳实践与性能调优策略。
eBPF 深度实战：Linux 内核可观测性革命从入门到生产
eBPF深度实战：从经典BPF演进到现代eBPF架构，全面解析验证器、Map、Helper函数、JIT编译器五大核心组件，提供10+生产级实战案例覆盖进程追踪、CPU分析、XDP网络防护、bcc/bpftrace工具链及CO-RE开发标准，适合中高级Linux系统工程师和平台开发者。
BPF Arena: Atomic Shared Memory Between Kernel and Userspace for Next-Generation Observability
BPF Arena是Linux 6.9引入的原子共享内存机制，实现BPF程序与用户态之间的零拷贝数据交换。本文深入剖析其内部架构、与Ring Buffer的性能对比、生产环境统计聚合器实现，以及完整的Rust+aya异步运行时集成方案。
