Linux内核
Linux Rseq 深度实战:用户态可重启序列的零开销同步魔法与现实工程
深入解析 Linux Rseq (Restartable Sequences) 核心架构与实战应用:glibc 自动注册机制、可重启临界区工作原理、per-CPU计数器/内存分配器/用户态 RCUC三大生产场景实战代码、abort handler 信号安全规范、sys_membarrier 宽限期协同。附有 AMD EPYC 7763 性能基准(rseq per-CPU递增仅5 cycles,较pthread快17倍),以及生产环境陷阱规避(longjmp、信号、fork、seccomp)。覆盖 rseq 在 Facebook Folly、Microsoft Mesh Allocator 等系统中的真实应用案例,并展望 io_uring rseq_uring_cmd 协同与 KVM 虚拟化未来演进。
Linux 内核 DMAEngine 深度实战:从 DMA 物理地址映射到异步分散/聚集传输的全链路工程艺术
从硬件总线主控与IOMMU地址翻译出发,完整拆解Linux内核DMA子系统核心架构:DMA Mapping API(流式映射与一致性映射)、CMA连续内存分配器、DMAEngine框架通道管理与四类事务(Slave SG/MemCpy/Cyclic/Interleave)、Virt-DMA软件描述符队列、io_uring Fixed Buffers与SPDK用户态DMA、生产级性能调优矩阵与故障排查工具链。
eBPF Verifier 深度剖析——安全沙箱的验证之路
深入剖析 eBPF Verifier 的核心验证机制——控制流图分析、指令模拟执行、内存安全检查、尾调用验证、循环与复杂度限制,基于 Linux 6.8+ 内核源码详解
Linux 内核同步原语深度实战:从 atomic 到 Lockdep 死锁检测
深入剖析 Linux 内核同步原语完整知识体系,从 atomic 硬件实现到 spinlock、mutex、rw_semaphore、seqlock 的底层机制,以及 Lockdep 运行时死锁检测器的原理与实战,附 NVMe 驱动 AB-BA 死锁案例和性能基准数据。
io_uring 发送零拷贝 send_zero_copy:从 MSG_ZEROCOPY 到生产级高性能网络栈
从内核实现机制深入分析 io_uring send_zc 与 MSG_ZEROCOPY 的区别、固定缓冲区的生命周期管理、完成通知语义,提供经过生产验证的 C 语言实现骨架和性能调优要点。
eBPF 深度实战:零开销可观测性——从内核虚拟机到云原生基础设施的架构演进
从 BPF 虚拟机架构、程序类型、Maps 机制到生产实战,全方位拆解 eBPF 作为 Linux 内核可编程引擎的技术原理与应用实践。覆盖 bpftrace 一行命令、XDP DDoS 防护、容器逃逸检测等生产级场景。
Linux RAPL、Uncore 频率与热节流:毫秒级调度如何制造 AI 训练长尾延迟
深入分析RAPL PL1/PL2/Tau机制、Uncore频率切换、TCC热节流如何制造AI训练长尾延迟,给出AI训练节点功耗管理完整配置方案
多代LRU(MGLRU)深度实战:Linux内核内存回收机制革新
Linux 6.1引入的多代LRU(MGLRU)通过引入代的概念重新设计页面回收策略,大幅降低扫描开销,提升内存紧张时的系统响应能力。本文深入剖析MGLRU的设计原理、核心数据结构、扫描算法和生产调优实践。
Rust for Linux:用 Rust 编写生产级内核模块的工程实战
深入剖析 Rust for Linux 的工程实战路径:从环境搭建、字符设备驱动实现,到 C FFI 交互、并发原语选型和错误处理,提供完整的生产级内核模块开发指南。
