Linux内核eBPF虚拟机深度实战：从指令集到全链路内核挂钩解析
深入剖析eBPF虚拟机架构与实现原理，涵盖指令集编码、验证器算法、JIT编译、BPF Maps体系、Helper函数、XDP/Fentry/LSM挂载点、CO-RE可移植方案及生产环境实战案例。
Verifier
Linux 内核 BPF 验证器深度工程实战：从静态分析引擎到推测执行漏洞防御
从源码级深入剖析BPF Verifier核心机制：控制流图验证、寄存器状态追踪与taint分析、边界检查与溢出检测、循环处理与有界循环、以及针对推测执行侧信道攻击（Spectre）的防护实现。结合Linux 6.6 LTS内核源码和真实eBPF编程案例，全面解析eBPF安全加载器的设计哲学与工程实践。
eBPF 验证器深度剖析：从抽象解释到安全边界与复杂程序可验证性工程实战
深入剖析eBPF验证器的内部工作机制，包括抽象解释框架、状态寄存器类型格、模拟执行引擎、六大常见验证失败模式及工程解法，以及BTF增强验证能力等前沿演进。
Linux eBPF验证器深度实战：从指令分析到安全沙箱构建
深入解析Linux内核eBPF验证器Verifier完整工作原理，涵盖BPF指令集语义分析、寄存器状态追踪、ALU sanitization、map fd验证与尾调用约束
深入 eBPF Verifier：内核安全沙箱的静态分析引擎
深度解析 eBPF Verifier 的内部实现原理，涵盖寄存器状态模型、控制流路径探索、内存访问校验、循环处理策略以及生产环境调试技巧，帮助你理解内核如何安全执行用户态提交的代码。
Linux eBPF 深度工程实战：从内核可编程到生产级观测与网络加速的完整方案
深入解析Linux内核eBPF技术的工程实现：架构执行模型三阶段详解、全类型Map数据结构对比、Verifier静态分析安全原理、XDP高速包处理生产实战、TC流量控制层挂载、kprobe动态插桩与fentry低开销追踪、BPF CO-RE一次编译跨平台方案、性能基准测试与选型决策矩阵
eBPF 深度工程实战：从内核可编程革命到云原生可观测性平台构建
深入解析Linux内核eBPF技术的工程实现：架构执行模型三阶段详解、全类型Map数据结构对比、Verifier静态分析安全原理、XDP高速包处理生产实战、TC流量控制层挂载、kprobe动态插桩与fentry低开销追踪、BPF CO-RE一次编译跨平台方案、性能基准测试与选型决策矩阵
Linux内核eBPF运行时深度实战：从字节码JIT到生产级XDP应用
深度解析Linux内核eBPF运行时：从字节码JIT架构、Verifier安全验证机制、Map数据结构全类型、XDP高速网络处理与AF_XDP零拷贝路径，到生产级性能调优与排障三板斧（bpftool/Verifier日志/尾调用），含BPF_TOKEN/Cilium/硬件卸载前沿演进路径
