Linux内核内存管理实战：Buddy分配器与Slab机制深度剖析

一、引言：为什么需要了解内核内存管理

作为一个系统编程开发者，理解操作系统内核如何管理内存是进阶的必经之路。无论是性能调优、驱动开发，亦或是排查OOM（Out of Memory）问题，对内核内存管理机制的深入理解都将提供坚实的理论基础。

本文将从Linux内核的 Buddy System（伙伴系统）与 Slab Allocator（slab分配器）两个核心组件入手，深入剖析其设计原理、数据结构以及实际应用场景，帮助读者建立完整的内核内存管理知识体系。

二、物理内存模型与分区

在深入分配器之前，我们需要了解Linux如何组织物理内存。现代计算机根据硬件架构的不同，存在两种主要的内存模型：

2.1 UMA（Uniform Memory Access）

在UMA架构下，所有CPU访问内存的延迟是相同的。传统的SMP（对称多处理器）系统就是这个模型。内存被统一管理，每个处理器访问任何内存地址的耗时一致。

2.2 NUMA（Non-Uniform Memory Access）

NUMA架构将内存划分为多个节点（Node），每个CPU节点优先访问本地内存节点。跨节点访问延迟显著更高。Linux使用 pg_data_t 结构来描述每个NUMA节点的内存信息。

2.3 内存区域（Zone）

在每个NUMA节点内部，内存又被划分为多个区域（Zone），每个区域有不同的用途：ZONE_DMA用于早期ISA设备的DMA操作，ZONE_NORMAL直接映射到内核虚拟地址空间，ZONE_HIGHMEM为32位系统的高端内存。

三、Buddy分配器：页面级内存管理

3.1 核心思想

Buddy分配器是Linux内核中最底层的物理页面分配机制，负责以页（通常4KB）为单位管理物理内存。其核心思想是将内存组织为不同大小的连续块（order），当需要分配时找到最合适的块，若没有则分裂大块；释放时检查相邻的"伙伴"块是否空闲，若空闲则合并成大块。

3.2 核心数据结构

每个Zone中都维护了11个空闲区域数组（free_area），分别对应0到10阶（order）的连续空闲页面块。其中MAX_ORDER通常为11，0阶表示1个页面（4KB），10阶表示1024个页面（4MB）。

3.3 分配流程

分配页面的核心入口是 __alloc_pages()，先尝试从空闲列表分配，若失败则进入慢路径：唤醒页面回收线程、直接回收内存、内存碎片整理等。

3.4 伙伴（Buddy）判定规则

两个内存块能成为"伙伴"必须满足三个条件：大小相同（相同order）、物理地址连续、两个块的起始地址必须能被 2^(order+1) * PAGE_SIZE 整除。伙伴算法的精妙之处在于：给定一个块的地址，其伙伴地址可以通过简单的位运算计算得到。

四、Slab分配器：对象级内存管理

4.1 为什么需要Slab

Buddy分配器以页为单位分配，但内核中大量对象远小于4KB（如 task_struct、dentry、inode 等）。若直接通过Buddy分配整页会造成严重的内部碎片。Slab分配器正是为了解决这个问题而诞生：它在页面内部进一步切分为小对象，实现精细化的对象级内存复用。

4.2 三代演进

Linux内核经历了三代Slab分配器实现：SLAB（1994最早期的方案）、SLUB（2007目前默认分配器，简化元数据结构）、SLOB（为嵌入式系统设计的极简方案）。

4.3 SLUB分配器架构

SLUB将每个Slab页面的管理信息存储在页面自身的 struct page 扩展字段中，包含per-CPU快速缓存、NUMA节点缓存、对象大小、对齐要求等。

4.4 对象分配流程

分配内核对象 kmem_cache_alloc() 的路径：首先尝试从per-CPU空闲链表获取（O(1)速度），若为空检查当前页面是否有可用空间，若满了从per-CPU partial链表取新页面，若partial也为空从Node的partial链表申请，最终回退到Buddy分配器获取全新页面。

五、内存分配实战调优

5.1 监视内存碎片

通过 /proc/buddyinfo 可以观察各级空闲页面的分布，碎片化严重时高阶（order较大）空闲块将稀缺。

5.2 调整vm.min_free_kbytes

该参数控制预留的最小空闲内存。过小会导致系统进入直接回收的延迟飙升，过大则浪费内存。生产环境中一般设置为物理内存的1%~3%。

5.3 使用hugepage减少TLB压力

对于大内存数据库或科学计算应用，使用2MB或1GB的大页（Hugepages）可以显著减少TLB缺失率。

5.4 监控Slab对象使用率

通过 slabtop 和 /proc/slabinfo 可以查看每个缓存的活跃/总计对象数，及时发现内存泄漏。

六、总结

Linux内核的内存管理系统通过 Buddy分配器 和 SLUB分配器 的层层协作，实现了从页面级到对象级的精细化管理。Buddy分配器管理物理页面，解决外部碎片问题；SLUB分配器管理内核对象，解决内部碎片问题，实现per-CPU快速分配。深入理解这些机制不仅有助于编写高性能的内核模块，也为解决复杂的内存问题提供了系统性的方法论。