Linux

Linux内核 kexec 快速重启与 kdump 崩溃分析深度实战

深度解析Linux内核kexec快速重启机制与kdump崩溃转储系统:kexec_load三阶段加载、镜像段结构、控制代码页跳转、crash_kexec触发路径、/proc/vmcore ELF格式解析、vmcoreinfo调试坐标系统、makedumpfile过滤压缩、生产环境kdump调优、kexec_file_load安全API、Secure Boot限制。

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

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