eBPF

Linux内核中断处理深度实战:从硬件IRQ到eBPF/XDP

深入解析Linux内核中断处理子系统的完整架构:从硬件中断触发、IDT、上半部/下半部分离,到Tasklet、Workqueue、Threaded-IRQ的演进,NAPI混合中断轮询,以及eBPF/XDP新一代可编程数据面。包含IRQ亲和性调优、软中断分析工具、生产环境优化建议。

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

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