Linux内核内存管理深度实战：页表、SLAB分配器与OOM治理

引言

Linux内核的内存管理是操作系统最复杂也最核心的子系统之一。从虚拟地址到物理地址的映射，到内核对象的高效分配，再到内存耗尽时的优雅降级，每一个机制都经过了数十年的演化与优化。本文将深入剖析Linux内存管理的三大核心领域：页表机制、SLAB分配器以及OOM治理策略。

多级页表与地址转换

现代x86_64架构采用四级（或五级）页表结构。虚拟地址被分割为多个索引字段，逐级索引最终定位到物理页帧。Linux内核通过pgd→p4d→pud→pmd→pte的层级结构实现了高效的地址翻译。

页表项标志位

每个页表项（PTE）不仅包含物理地址，还携带重要的状态标志：Present位标识页面是否在内存中，RW位控制读写权限，User/Supervisor位限制访问特权级，Accessed/Dirty位支撑页面回收决策。

SLAB分配器原理

SLAB分配器解决了内核中频繁的小对象分配问题。每个SLAB由一组连续物理页组成，被划分为等大小的slot。kmem_cache维护着三种链表：full（全满）、partial（部分空闲）、empty（全空）。分配器优先从partial链表获取空闲对象，最大化CPU缓存命中率。

OOM Killer与内存压力治理

当系统内存耗尽且回收失败时，OOM Killer通过计算每个进程的oom_score选择牺牲者。调整oom_score_adj可以保护关键服务。cgroup v2的memory控制器提供了更细粒度的内存限制与压力通知机制。

生产环境调优实践

关键参数包括swappiness（控制swap倾向）、dirty_ratio（脏页写回阈值）、overcommit_memory（内存分配策略）。合理配置这些参数可以显著提升系统稳定性和响应速度。

总结

Linux内存管理是一个精密的工程设计。理解页表、SLAB和OOM机制，是诊断性能问题、优化服务质量的必备基础。建议结合/proc/meminfo、vmstat和bpftrace进行日常观测与分析。