Linux内核

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

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

Linux Kernel Watchdog 硬锁死与软锁死检测深度实战

深入解析 Linux 内核 Watchdog 子系统的软锁死与硬锁死检测机制。从 hrtimer 定时器、NMI 不可屏蔽中断到 APIC 硬件定时器,完整呈现内核锁死检测的三重防线:Hung Task、Soft Lockup、Hard Lockup。包含内核源码分析、生产环境配置策略、QEMU 调试实战与 ftrace 追踪方法。