BPF

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

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

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

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

Linux Sched-Ext:BPF 可编程调度器框架深度实战

Linux 6.12 引入的 sched_ext 框架允许通过 BPF 程序动态定义 CPU 调度策略,无需修改内核代码。本文深入剖析 SCX_OPS 生命周期、DSQ 机制、watchdog 限制,并通过完整的生产级 BPF 调度器源码演示从零搭建,附 Meta/Google 部署数据。

eBPF 深度实战:内核可观测性革命与性能分析的全栈指南

深度讲解 Linux eBPF 的全栈指南:从 BPF 虚拟机架构、验证器安全机制、Map 数据结构体系,到四类探针(tracepoint/kprobe/uprobe/XDP)实战用法。涵盖 Off-CPU 分析、系统调用延迟直方图、内存分配追踪、调度延迟分析等性能优化场景,以及 bpftrace/BCC 工具链、生产案例诊断、CO-RE 跨内核兼容、安全边界与生态系统。

Linux BPF Iterator 深度实战:可观测性革命的内核级数据导出技术

深入解析 Linux 5.8 引入的 BPF Iterator 机制——一种可编程的内核级数据导出框架。从内核源码层面剖析 bpf_iter 注册模型、seq_file 回调链、批处理迭代语义,到用户态 perf_event 与 ring buffer 的高效数据搬运。涵盖 task_iter/task_file_iter/mmap_iter/vmap_iter/mem_iter/tcp_iter/udp_iter 等十余种标准 iterator 的实现原理与性能特征,并给出生产实践中用 BCC/bpftrace 构建自定义 iterator 的完整范例(进程网络画像、容器级 PID 命名空间遍历、脏页追踪)。