eBPF入门
eBPF Verifier 深度实战:内核代码安全验证机制剖析
深度拆解 Linux eBPF Verifier 核心机制:CFG 可达性分析、tnum 抽象解释、精确标记剪枝、路径敏感的状态追踪、内存访问安全验证、BTF 类型系统与权限策略,展示 Verifier 如何在毫秒级证明 eBPF 字节码的内核级安全性。
eBPF 可观测性革命:从零构建内核级监控体系
eBPF(Extended Berkeley Packet Filter)彻底改变了 Linux 可观测性格局。本文从核心原理出发,深入剖析架构设计,并给出完整实战案例,帮你构建生产级内核监控体系。
eBPF技术深度实战:从内核可观测性到网络加速与安全
eBPF技术深度解析:涵盖验证器、JIT编译、Map类型、挂载点、开发工具链(BCC/libbpf/aya)、可观测性平台(Pixie/Parca/Falco)、网络加速(XDP/AF_XDP/Cilium)、安全应用(Tetragon/LSM)及生产环境最佳实践。
eBPF技术深度探索:从内核沙箱到可编程基础设施的范式转移
深度探索eBPF技术从内核沙箱到可编程基础设施的范式转移,涵盖原理、工具链、四大应用领域及未来展望
eBPF Verifier 深度剖析——安全沙箱的验证之路
深入剖析 eBPF Verifier 的核心验证机制——控制流图分析、指令模拟执行、内存安全检查、尾调用验证、循环与复杂度限制,基于 Linux 6.8+ 内核源码详解
eBPF 深度实战:重塑 Linux 内核的可观测性与网络
深入解析 eBPF 核心架构:从虚拟机指令集到 Verifier 安全校验,从 Map 数据结构到 XDP 高速数据路径,覆盖 CO-RE 一次编译到处运行、尾调用、Ring Buffer 等关键机制,辅以真实工程案例与踩坑经验。
深入理解 eBPF:从内核可观测性到网络加速实战
eBPF深度实战:完整讲解eBPF核心架构、编程模型、BPF Maps机制、kprobe/tracepoint可观测性追踪、XDP高性能网络加速、LSM安全策略、BPF CO-RE可移植方案,附大量生产级代码示例
eBPF io_uring 协同架构:构建硬件感知的自适应资源调度系统
深入探讨 eBPF 与 io_uring 协同构建硬件感知自适应资源调度系统的架构设计,涵盖 BPF ring buffer 感知、io_uring 批量执行、策略引擎决策闭环,以及在 96 核异构系统上的实测性能数据
Linux BPF 验证器深度实战:eBPF 安全沙箱与静态分析引擎
深入剖析Linux BPF验证器的内部机制:寄存器类型系统、路径探索与状态剪枝、有界循环验证、内存安全检查、BPF-to-BPF调用与尾调用约束,以及验证失败调试与生产最佳实践
eBPF 技术重塑容器网络安全:深度实战与架构解析
eBPF技术正在彻底改变容器网络安全格局。本文深入剖析eBPF核心架构、Cilium高性能数据面、Tetragon运行时威胁检测、Hubble全栈可观测性,并附有大量生产级实战代码
