安全

eBPF 深度实战:从内核可编程到云原生可观测性

深入解析 eBPF(Extended Berkeley Packet Filter)技术原理与实践,涵盖 BPF 虚拟机架构、Verifier 安全机制、JIT 编译、Map 数据结构、BCC/bpftrace 工具链、Cilium 网络方案、Falco 安全监控,以及云原生场景下的真实落地案例。

Linux eBPF验证器深度剖析:从BPF程序加载到安全执行的完整验证链路

eBPF验证器是内核中最复杂的安全组件(25000+行代码),负责在加载阶段证明BPF程序的绝对安全。本文从CFG DAG构建、路径抽象解释、寄存器类型层次、内存边界检查、未初始化数据防护、BTF类型验证四大支柱逐层展开,并通过真实验证失败案例和历史CVE分析,帮助读者系统掌握eBPF验证器的设计哲学与工作机制。适合eBPF开发者和内核安全工程师。

Linux eBPF技术深度实战:从内核虚拟机到可编程观测、网络与安全的架构全指南

Linux eBPF 技术深度实战全指南,涵盖BPF虚拟机架构、验证器、JIT编译器、BPF Maps、程序类型(XDP/kprobe/tracepoint/fentry/LSM/cgroup BPF)、辅助函数、CO-RE跨内核兼容性、系统调用追踪实战案例、性能特征与限制、生产部署最佳实践,以及Cilium/Falco/Tetragon等生态工具链