Linux

eBPF 实战:Linux 内核可观测性从入门到精通——从 BCC 到 bpftool 的完整技术图谱

深度解析 Linux eBPF 技术原理与实践:从 BPF 历史演进、核心架构(Map、Helper、Verifier)到工具链全景(BCC/bpftrace/libbpf/bpftool),涵盖 XDP/TC/Kprobe/Tracepoint/Uprobe/Cgroup/LSM 七大 Hook 点详解,4个生产级实战案例(TCP失败溯源、CPU争抢量化、TCP重传风暴检测、文件系统延迟分析)及性能优化最佳实践。

eBPF Verifier 深度实战:内核代码安全验证机制剖析

深度拆解 Linux eBPF Verifier 核心机制:CFG 可达性分析、tnum 抽象解释、精确标记剪枝、路径敏感的状态追踪、内存访问安全验证、BTF 类型系统与权限策略,展示 Verifier 如何在毫秒级证明 eBPF 字节码的内核级安全性。