Linux内核

Linux eBPF验证器深度剖析:从BPF程序加载到安全执行的完整验证链路

eBPF验证器是内核中最复杂的安全组件(25000+行代码),负责在加载阶段证明BPF程序的绝对安全。本文从CFG DAG构建、路径抽象解释、寄存器类型层次、内存边界检查、未初始化数据防护、BTF类型验证四大支柱逐层展开,并通过真实验证失败案例和历史CVE分析,帮助读者系统掌握eBPF验证器的设计哲学与工作机制。适合eBPF开发者和内核安全工程师。

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

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