Linux内核内存管理深度实战：页分配器、SLAB与虚拟内存子系统解析

引言：内存管理的核心地位

操作系统内核的核心职责之一是对物理内存进行高效、安全、公平地分配与管理。Linux内核经过三十余年的演进，构建了一套多层次、高度优化的内存管理体系——从底层的页分配器（Buddy System）到上层的SLAB/SLUB分配器，再到用户空间的虚拟内存映射机制，每一层都蕴含着深刻的系统设计智慧。

一、物理内存组织模型

1.1 NUMA架构与内存节点

现代多路服务器普遍采用NUMA（Non-Uniform Memory Access）架构，不同CPU访问不同内存区域的延迟不同。Linux内核通过pg_data_t数据结构抽象每个内存节点，维护独立的页分配器和内存区域（Zone）划分。

1.2 内存区域（Zone）分类

二、Buddy System页分配器

Buddy System是Linux物理页分配的基础设施，解决外部碎片问题的核心算法。它将可用内存组织为2^n大小的伙伴块链表，分配时分裂大块，释放时合并伙伴块。

关键API链：alloc_pages() → __alloc_pages() → get_page_from_freelist() → rmqueue()

分配流程中还包含快速路径（fast path）和慢速路径（slow path）两级设计：快速路径直接从per-CPU缓存和无水线标识的空闲列表获取内存；若失败则进入慢速路径，执行内存回收（reclaim）、压缩（compact）和OOM Killer。

三、SLAB/SLUB分配器

3.1 SLAB设计思想

• 对象缓存：为高频分配的内核对象（如task_struct、inode）创建专用缓存
• 每CPU缓存：消除多核并发分配时的锁竞争
• 着色（Coloring）：利用缓存行对齐偏移减少缓存冲突（Cache Line Aliasing）

3.2 SLUB：现代默认分配器

SLUB（Unqueued SLAB Allocator）是SLAB的精简版本，移除每节点队列简化元数据结构。它将Slab管理信息内嵌到struct page，减少内存开销。在高并发场景下，SLUB的表现全面优于传统SLAB，这得益于其更简洁的锁管理策略和对NUMA的优化支持。

四、虚拟内存与页表管理

4.1 多级页表结构

x86_64架构采用四级页表：PGD（Page Global Directory）→ PUD（Page Upper Directory）→ PMD（Page Middle Directory）→ PTE（Page Table Entry）。ARMv8.3 支持五级页表（加入PGD之上的P4D层），将虚拟地址空间扩展至57位。

4.2 反向映射与COW

Copy-On-Write机制在fork()时共享父子进程的物理页，仅在写入时执行实际拷贝。反向映射（Reverse Mapping）系统（基于anon_vma和page_rmapping）使得内核能高效找到所有映射到同一物理页的PTE项，这对页面回收和KSM（Kernel Same-page Merging）至关重要。

五、KSM与内存去重

KSM（Kernel Same-page Merging）通过定期扫描进程内存空间，识别内容相同的物理页并合并为只读共享页，合并后的页面设置写保护，写时触发COW分裂。在KVM虚拟化环境中，KSM可显著降低多虚拟机重复内存的成本，去重率通常可达30%-70%。

六、性能监控与调优实战

• vm.min_free_kbytes：调整最小保留空闲内存，影响内存回收触发阈值
• vm.swappiness：控制换出倾向（0-200），数据库场景建议设为1-10
• Transparent Huge Pages（THP）：透明大页减少TLB miss，但可能引入延迟抖动
• perf c2c：检测缓存行伪共享导致的一致性流量
• vm.zone_reclaim_mode：NUMA本地回收策略开关

七、新一代特性展望

Linux 6.x内核持续增强内存管理子系统：MGLRU（Multi-Gen LRU）算法显著提升页面回收效率，PTE页表压缩减少内存开销，Folio机制统一复合页管理。CXL（Compute Express Link）内存池化技术正在重新定义物理内存的边界。