eBPF

eBPF struct_ops:可编程内核 TCP 拥塞控制的工程实践

深入剖析 eBPF struct_ops 机制的内部原理,通过一个完整的自定义 TCP 拥塞控制 BBR-Lite 案例,展示从 eBPF 程序编写到生产部署的全链路工程实践,包括 BPF trampoline 动态重定向、CO-RE 跨内核兼容、灰度发布策略和性能基准测试。

io_uring 与 eBPF 融合:可编程内核数据路径的工程实践

深入剖析 Linux 6.x 内核中 io_uring 与 eBPF 融合的新机制(IORING_REGISTER_BPF_FILTER),从源码级别讲解如何在内核态可编程过滤和转换 I/O 请求,实现零系统调用的可编程数据路径。包含 BPF 程序编写、io_uring 提交队列注入、XDP 协同实战,以及生产环境部署的五大坑点。

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

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