系统内核
Linux 内核内存管理与 OOM Killer 深度实战
从内核源码级别拆解 Linux 内存管理的核心机制,深入剖析 OOM Killer 的 badness score 评分算法,结合大量生产案例提供完整的调优策略与监控体系建设方案
Linux io_uring 异步IO全栈实战:从系统调用到高性能网络编程
深度解析Linux io_uring的核心架构——SQ/CQ双环机制、SQE/CQE描述符、内核线程池与缓冲区注册,提供实战案例和性能对比。从IO模型进化脉络出发,覆盖SQPOLL零系统调用、Fixed Buffers消除内存映射开销、链式Linked SQE原子操作、IOPOLL轮询模式等高阶特性,并给出生产部署建议与三大真实案例。
Raft 共识算法深度解析:从理论到工程实践
深入解析 Raft 共识算法的设计思想、领导者选举、日志复制、安全性保证及工程实践,涵盖从理论到生产环境落地的完整知识体系。
深入理解Raft共识算法:分布式系统一致性的工程实践
深入解析Raft共识算法的三大核心阶段:Leader选举、日志复制与安全性约束,探讨日志压缩、成员变更等工程实践问题,并与Paxos、ZAB进行对比分析。
Linux io_uring 异步 I/O 深度实战:核心机制、内核实现与生产实践
从阻塞 I/O 到 io_uring,Linux 异步 I/O 的演进之路。深入剖析 io_uring 的核心数据结构、内存模型、内核实现,并通过实战案例展示如何构建高性能异步 I/O 应用。
Linux内核内存压缩与页面迁移实战:CMA、KSM与compaction
深入解析Linux内核三大内存管理机制:CMA连续内存分配器、KSM同页合并与Memory Compaction碎片整理,涵盖CMA预留-迁移策略、KSM稳定树/不稳定树数据结构、Compaction触发路径与kcompactd内核线程,含性能基准数据与生产环境调优建议。
单调栈(Monotonic Stack)深度实战:从「下一个更大元素」的第一性原理、严格与非严格单调,到直方图最大矩形、接雨水、股票价格跨度与流式单调对齐(MoChA)的工程全解
单调栈是一种在遍历序列时**让栈内元素始终保持单调(递增或递减)顺序**的栈变体。它表面上只是一个「压栈前先弹出破坏顺序的元素」的小技巧,本质上却是对「每个元素左右第一个不满足某顺序约束的邻居」这一反复出现的查询做 O(n) amortized 常数化复用的经典手法。本文从第一性原理出发,推导它的不变量与正确性,给出四个基础查询(下一个/上一个更大/更小元素)的统一实现,拆解直方图最大矩形、接雨…
Linux 内核进程调度器深度剖析:从 CFS 到 EEVDF 的演进之路
深度解析 Linux 内核调度器从 O(1) 到 CFS 再到 EEVDF 的设计哲学、核心数据结构与算法实现,并探讨生产环境中的调优实践
Linux 内核 eBPF 深度实战:从内核探测到性能分析全链路指南
eBPF(Extended Berkeley Packet Filter)深度实战指南。从核心架构(Verifier/Maps/JIT)到关键技术(Kprobes/Tracepoint/XDP/uprobe),再到从零构建性能追踪工具的完整实战。涵盖BCC、bpftrace、libbpf CO-RE、Tail Calls 等生态工具链,以及生产级部署架构与安全边界分析。
eBPF深度实战:从内核可观测革命到生产级性能与安全架构
深入解析eBPF核心架构与三大程序类型(XDP/TC/Kprobe),涵盖TCP全链路追踪、Cilium容器网络、Falco运行时安全、LLM推理基础设施优化等实战场景,附生产级部署要点与2025-2026技术趋势。
io_uring 高性能磁盘 IO 引擎深度实战:从系统调用到零拷贝存储服务
本文深入探讨基于 io_uring 构建高性能磁盘 IO 引擎的完整方案,涵盖 Fixed Buffers、Fixed Files、SQPOLL 轮询、O_DIRECT 直接 IO、IO 优先级调度、多级缓冲策略,以及如何将这些技术整合为生产级存储服务。
Linux I/O 多路复用深度实战:epoll 内核实现与百万并发架构
从内核源码逐行解析 epoll 的高性能本质,构建能够承载百万并发连接的 TCP 服务器。涵盖 epoll_create/epoll_ctl/epoll_wait、LT与ET触发模式、多线程 Reactor 架构、性能调优内核参数、EPOLLONESHOT与EPOLLEXCLUSIVE惊群解决、signalfd/eventfd/timerfd集成、epoll 与 io_uring 混合架构等深度内容。
