系统内核
Linux CFS 完全公平调度器:从红黑树到 vruntime 的深度解析
深度解析Linux CFS完全公平调度器的核心原理,包括vruntime计算机制、红黑树数据结构、组调度、NUMA感知、实战调优指南,以及与EEVDF调度器的演进关系。
编译器中间表示(IR)设计思想:从SSA到MLIR,重新理解程序优化的架构哲学
系统梳理编译器IR的核心设计范式,从SSA静态单赋值到Sea of Nodes统一图结构,再到MLIR多层Dialect架构,探讨IR设计如何塑造现代编程工具生态,并提炼对软件工程中间层抽象的启示。
Linux io_uring 异步IO机制深度实战:从内核队列到高性能存储引擎
从内核源码级别剖析io_uring核心数据结构、生命周期管理、高级特性,构建基于io_uring的KV存储引擎原型,涵盖SQPOLL/固定缓冲区/链接操作/内存屏障等实战要点
Linux CPU调度器:CFS、EEVDF与实时调度深度实战
深入解析Linux CPU调度器的核心机制,从CFS完全公平调度器的红黑树与虚拟运行时间,到EEVDF最新演进的截止时间调度,再到SCHED_FIFO/RR/DEADLINE实时策略与cgroup带宽控制的全栈实战
商过滤器(Quotient Filter)深度实战:从商-余数划分、聚簇管理到空间高效合并与可删除近似成员查询的工程全解
近似成员查询(Approximate Membership Query,AMQ)结构是后端系统的"第一道闸门":缓存击穿防护、磁盘/SSD 索引跳查、流式去重、爬虫 URL 判重、垃圾邮件指纹、向量检索前置过滤,几乎都离不开它。提到 AMQ,绝大多数工程师第一反应是 **Bloom 过滤器**——它把 n 个元素的成员信息压缩进 m 个比特的位数组,用 k 个独立哈希定位。Bloom 足够好,但它…
Linux内核网络栈深度实战:epoll、io_uring与零拷贝技术全解析
Linux内核网络栈深度实战:从epoll事件驱动到io_uring异步IO,从sendfile零拷贝到MSG_ZEROCOPY全解析,包含完整代码示例与性能对比数据
CXL 内存技术深度实战:从 PCIe 物理层到操作系统内存池化的完整架构
从 PCIe 物理层到操作系统内存池化的完整 CXL 技术架构解析,涵盖协议栈、硬件拓扑、Linux 内核支持、NUMA 调度策略与性能调优实战。
Rust 异步编程深度实战:从 Future trait 到 Tokio 运行时全链路剖析
深入剖析 Rust 异步编程的核心机制:Future trait 轮询模型、状态机生成、Pin 自引用、Tokio 多线程调度器、I/O 驱动与定时器、异步原语实战、性能调优与陷阱规避。
Linux 内核 Livepatch 深度工程实战:从 ftrace 到零停机热补丁
深度剖析 Linux Livepatch 的实现机制:基于 ftrace 的函数级劫持、patch 模块的 klp 一致性模型、stack trace 验证的安全切换策略,以及完整的 kpatch-build 工程流程和安全部署最佳实践。
Linux eBPF 深度工程实战:从内核探针到可观测性革命
深入解析 eBPF 技术架构、虚拟机指令集、Verifier 安全验证、Map 通信机制、XDP 高性能网络、CO-RE 跨版本兼容,以及在服务网格、可观测性、安全防护领域的工程实战与性能优化。
Raft共识算法:从理论到工程实践
深度解析Raft共识算法的设计思想与工程实现,涵盖Leader选举、日志复制、安全性保证、etcd工程实践及与Paxos的系统对比。
Linux io_uring:革命性的异步IO框架深度解析
从传统异步IO困境到io_uring的共享内存环形队列设计,全面剖析Linux革命性异步IO架构的核心原理、内核实现、编程接口与工程实践
