eBPF

Linux eBPF 全栈实战:从内核钩子到可观测性帝国的构建

从零深入 eBPF 内核机制的完整实战指南:虚拟机指令集、验证器逻辑、Map 数据结构、程序类型体系、CO-RE 可移植方案、生产级可观测性系统构建,涵盖 XDP 网络加速、Tracepoint/Kprobe 追踪、Ring Buffer 事件流、Falco/Cilium/Tetragon 安全平台深度解析。

Linux 内核 BPF 验证器深度工程实战:从静态分析引擎到推测执行漏洞防御

从源码级深入剖析BPF Verifier核心机制:控制流图验证、寄存器状态追踪与taint分析、边界检查与溢出检测、循环处理与有界循环、以及针对推测执行侧信道攻击(Spectre)的防护实现。结合Linux 6.6 LTS内核源码和真实eBPF编程案例,全面解析eBPF安全加载器的设计哲学与工程实践。