eBPF入门

eBPF:重塑 Linux 可观测性的底层革命

深入解析 eBPF(Extended Berkeley Packet Filter)技术如何从根本上改变 Linux 系统观测方式。从虚拟机架构、验证器原理、BPF Map 机制,到实战案例(TCP 生命周期追踪、HTTP 延迟分析、I/O 直方图)、工具生态、性能开销模型,以及 CO-RE、Aya、Cilium 等前沿发展方向,全方位掌握这项云原生时代的核心基础设施技术。

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

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

eBPF技术深度实战:从内核可编程到云原生基础设施的工程实践

全面解析eBPF技术的核心架构、开发工具链、工程实战案例与未来演进方向。涵盖验证器原理、Map机制、XDP/BCC/libBPF三大技术栈、DDoS防护与安全策略、延迟观测、内核性能分析,以及Cilium、Tetragon等生态项目实践,是系统工程师深入掌握eBPF的一站式指南。

Linux内核缓存一致性与内存屏障深度实战:从MESI协议到RCU与eBPF的无锁工程艺术

深入剖析Linux内核缓存一致性与内存屏障:从MESI缓存一致性协议到store buffer/invalidate queue的硬件原理,解析四种SMP屏障语义与release/acquire模型,实战精讲RCU链表操作、eBPF Ring Buffer无锁队列、网卡DMA描述符、crypto引擎等子系统的屏障使用,附常见错误模式与KCSAN检测案例。