eBPF Verifier 深度剖析——安全沙箱的验证之路
深入剖析 eBPF Verifier 的核心验证机制——控制流图分析、指令模拟执行、内存安全检查、尾调用验证、循环与复杂度限制，基于 Linux 6.8+ 内核源码详解
系统编程
eBPF技术深度探索：从内核沙箱到可编程基础设施的范式转移
深度探索eBPF技术从内核沙箱到可编程基础设施的范式转移，涵盖原理、工具链、四大应用领域及未来展望
Linux epoll 高性能 I/O 深度实战：从 select 演进到百万并发架构
深入剖析 Linux epoll 内核实现原理，详解 select/poll/epoll 演进之路、LT 与 ET 两种触发模式、红黑树与就绪链表数据结构、生产级 C 代码实战（含完整 ET 模式 Echo Server），以及惊群、死连接、fd 泄漏等常见陷阱调优，附 io_uring 对比与性能基准数据。
Rust内存安全与并发模型深入实战——从所有权到Fearless Concurrency的工程实践全景
从所有权、借用、生命周期三大支柱到Send/Sync类型系统保证，深入解析Rust内存安全模型与无惧并发架构设计
Linux 命名空间与 Cgroups 深度实战：容器技术的两大基石
深入解析 Linux 容器底层机制：Namespace 隔离视图与 Cgroups 资源管控的源码级剖析与生产实践。
Linux io_uring：重新定义高性能 I/O 的异步革命
深度解析 Linux io_uring ——双环形缓冲区架构、liburing 编程模型、零系统调用优化、性能分析、实战代码示例、内核路线图。覆盖 SQE/CQE 原理、链接操作、固定缓冲区、SQPOLL、Multi-shot、FUSE 集成、安全边界、tokio-uring 生态。
Linux sched_ext：eBPF 可扩展 CPU 调度器革命——从内核调度策略到用户定义调度
Linux 6.12 sched_ext 深度实战：通过 eBPF 程序定义 CPU 调度策略，无需重编译内核即可热插拔自定义调度器，覆盖架构设计、Run-To-Idle模型、多核扩展、负载均衡、生产陷阱与性能基准。
Linux ELF 动态链接与二进制加载工程深度实战
深入解析Linux ELF二进制格式、动态链接与加载全过程，涵盖PLT/GOT延迟绑定、ASLR地址空间随机化、RELRO完整加固、符号版本控制、显式动态加载dlopen、链接时优化LTO及生产环境常见陷阱与调试技巧。
Rust系统编程深度实战：从内存安全到零成本抽象
深入剖析Rust核心机制——所有权、生命周期、借用检查器，展示如何利用这些特性构建高性能、高可靠的系统软件。涵盖io_uring异步IO、Unsafe边界艺术、实战生产环境模式等内容。
