Linux内核

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

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

MPTCP 多路径传输协议深度实战:从内核实现到生产部署

深入解析 MPTCP 多路径传输协议——从协议架构、数据序列映射、Linux 内核路径管理器与调度器实现,到生产部署实战与 eBPF 监控。涵盖 MPTCP v1 (RFC 8684)、Apple Siri 生产案例、MPTCP vs MP-QUIC 对比、以及多链路聚合在 5G/边缘计算中的应用。