eBPF struct_ops：可编程内核 TCP 拥塞控制的工程实践
深入剖析 eBPF struct_ops 机制的内部原理，通过一个完整的自定义 TCP 拥塞控制 BBR-Lite 案例，展示从 eBPF 程序编写到生产部署的全链路工程实践，包括 BPF trampoline 动态重定向、CO-RE 跨内核兼容、灰度发布策略和性能基准测试。
Linux内核
Linux内核io_uring革命：高性能异步IO架构与深度实战全指南
io_uring是Linux 5.1引入的全新异步IO框架，从根本上解决了传统AIO的设计缺陷。本文深入剖析双环形队列架构、SQPOLL/IOPOLL工作模式、Fixed Buffers与Fixed Files优化，以及liburing编程实战，并给出网络服务器和存储引擎的生产级实现方案。
Linux 内核 I/O 革命：io_uring 异步框架深度解析与实战全指南
深入解析 Linux 内核 io_uring 异步 I/O 框架的核心架构与编程实战，涵盖 SQ/CQ 队列模型、批量提交、链接操作、IOPOLL 轮询模式、SQPOLL 内核线程、固定缓冲区、性能基准及在 Redis/RocksDB/QEMU 等生产环境的应用案例。
ARM64 Pointer Authentication (PAC) 与 Branch Target Identification (BTI) 深度内核工程实战
深度解析ARM64架构的Pointer Authentication (PAC)与Branch Target Identification (BTI)硬件安全扩展，涵盖硬件机制、编译器协作、Linux内核实现、性能benchmark与生产实践部署。
Linux 内核鲁棒互斥锁 (Robust Futex)：崩溃安全同步的深度工程实战
深入解析 Linux futex 子系统中的 Robust Mutex 机制：从内核 inode 级别的锁跟踪、rt_mutex 优先级继承、OWNER_DEAD 检测、到完整的崩溃恢复代码实战，以及生产环境分层恢复架构设计。
io_uring异步I/O革命深度实战：从内核接口到零系统调用高性能系统设计
io_uring是Linux 5.1引入的异步I/O框架，通过共享内存环形队列实现零系统调用IO。本文完整解析io_uring的SQ/CQ架构、liburing高级API、SQPOLL/多拍操作/链路IO等高级特性，并给出生产级echo服务器实战案例和性能基准测试对比。
eBPF可编程网络观测深度实战：从XDP内核hook到分布式追踪系统设计
从eBPF核心架构出发，深入剖析XDP、tc、kprobes等hook点的工作原理，通过多个实战案例展示如何构建生产级网络观测系统。覆盖BCC/libbpf/Aya开发框架、HTTP延迟追踪、连接拓扑图、DDoS防护、TCP重传分析，以及Cilium/Falco/Beyla等主流平台解析。
Linux 内核 BPF 验证器深度工程实战：从静态分析引擎到推测执行漏洞防御
从源码级深入剖析BPF Verifier核心机制：控制流图验证、寄存器状态追踪与taint分析、边界检查与溢出检测、循环处理与有界循环、以及针对推测执行侧信道攻击（Spectre）的防护实现。结合Linux 6.6 LTS内核源码和真实eBPF编程案例，全面解析eBPF安全加载器的设计哲学与工程实践。
TPM 2.0 可信计算：硬件信任根与远程证明深度工程实战
深入剖析 TPM 2.0 的架构设计与生产级应用，从 PCR 扩展机制、密钥层次模型到远程证明协议全流程，包含 C/Go 代码实战、Kubernetes Keylime 部署、以及未来可信计算趋势展望。
Linux Secure Computing：seccomp-BPF 内核级沙箱与容器安全深度实战
深入解析 Linux seccomp-BPF 机制，从架构原理到实战编程，覆盖容器沙箱、多线程安全、USER_NOTIF 用户态 Supervisor、与 eBPF 联合防御等核心主题。
