Linux内核SLAB分配器深度实战：从伙伴系统到内存碎片治理

引言

Linux内核内存管理系统是操作系统工程中最精密的子系统之一。在物理内存的微观世界中，伙伴系统（Buddy System）负责粗粒度的页框分配，而SLAB家族分配器则在微观层面为内核对象提供高效的内存服务。本文将系统地梳理这一双层架构的设计哲学、实现细节和性能调优实践。

第一部分：伙伴系统的页框级管理

1.1 伙伴系统的数据结构

伙伴系统以free_area数组为核心数据结构，每个数组元素包含一个空闲页块链表。对于N阶空闲块，其大小为2^N个连续页框。当请求2^N个页框时：

• 若order-N链表非空，直接取出一个块返回
• 若为空，递归向上寻找更高阶空闲块，逐层分裂
• 剩余的半块加入对应阶的链表

1.2 伙伴（Buddy）的含义

两个2^N大小的连续页框被称为"伙伴"，当它们都空闲时自动合并为2^(N+1)的更大块。伙伴关系由物理地址决定：2^N大小块的伙伴地址 = 当前块地址 XOR (2^N * PAGE_SIZE)。

1.3 外部碎片与PER-CPU热冷页

伙伴系统按内存节点的zone（DMA、DMA32、Normal、Movable）隔离，有效减少外部碎片。Linux 2.6引入的PER-CPU热冷页框缓存（pageset）进一步优化了单页分配性能，每个CPU维护一批本地热页，避免频繁操作zone全局锁。

第二部分：SLAB分配器的诞生与设计哲学

2.1 SLAB解决什么问题

内核频繁创建销毁固定大小的对象（如task_struct、inode、dere）。直接使用伙伴系统分配4KB页框来存储几十字节的对象意味着巨大的内部碎片。SLAB通过对象复用和缓存着色解决了这个问题：

• 对象缓存：预先从伙伴系统获取页框，切分为对象槽，避免重复初始化
• 缓存着色：偏移 slab 起始地址，使不同 slab 的对象落到不同的 cache line，减少缓存冲突未命中

2.2 SLAB的完整数据结构

SLAB分配器由三级结构组成：

• kmem_cache：对象类型的缓存描述符，包含大小、对齐、构造函数、着色范围等
• slab：一个或多个连续页框，被切成固定大小的对象槽，维护空闲对象栈
• kmem_cache_chain：所有缓存的全局链表

2.3 slab的三种状态：Full、Partial、Empty

SLAB维护三组slab链表以平衡内存利用和分配速度：

• Partial：既有已用对象又有空闲对象 — 分配首选
• Full：所有对象已分配 — 不再参与分配
• Empty：全部空闲 — 内存紧张时释放回伙伴系统

第三部分：SLUB -- SLAB的演进版

3.1 为什么需要SLUB

Contiguous Memory Allocator (CMA) 和大规模NUMA系统的出现暴露了SLAB的局限性：每个NUMA节点为每个缓存维护三组链表，元数据开销巨大（大型服务器上可达数十MB），且锁竞争严重。SLUB通过简化设计解决了这些问题。

3.2 SLUB的核心简化

SLUB的关键设计变化：

• 移除per-NUMA节点的独立partial链表，使用CPU partial列表替代
• 每个CPU维护自己的partial slab列表，减少NUMA节点间的跨节点访问
• 元数据嵌入：不使用独立的kmem_bufctl数组，next空闲指针直接存储在对象内存中
• 移除复杂的着色机制（现代CPU更智能的缓存替换策略使其收益递减）

3.3 SLUB调试功能

SLUB提供强大的调试能力（通过slub_debug参数启用）：

• Red zoning：在对象边界放置已知模式（0x11和0x13），检测溢出
• Poisoning：释放时填充0x5a模式，使用已释放对象将触发页错误
• Tracking：记录每个对象的分配/释放调用栈，定位内存泄漏

第四部分：SLOB -- 极致精简的嵌入式方案

4.1 设计定位

SLOB（Simple List Of Blocks）为嵌入式系统设计，仅用几KB代码实现基本的内核内存分配。它采用first-fit算法扫描全局空闲块链表，适合内存极有限（几MB）的场景。

4.2 三alloc器的选择逻辑

• SLAB：默认分配器（CONFIG_SLAB=y时）
• SLUB：现代默认（CONFIG_SLUB=y，自2.6.23起成为默认）
• SLOB：tiny.config专用

第五部分：内存碎片治理的工程实践

5.1 fragmentation index

/proc/buddyinfo显示了每个zone下各阶空闲块数量。健康的系统应该在低阶（order 0-2）仍有少量剩余，高阶（order 9-10）间歇性有值。

5.2 碎片整理技术

• 内存规整（Memory Compaction）：迁移可移动页框，碎片化大页分配。由/proc/sys/vm/compact_memory触发或kcompactd自动运行。
• 反碎片（Anti-fragmentation）：按可移动性分组页框（不可移动/可移动/可回收），防止不可移动页打散可移动区域。
• Transparent Huge Pages (THP)：使用2MB大页减少TLB miss和页表开销，配合khugepaged后台整理。

5.3 生产系统调优案例

一个分布式数据库系统的内存优化策略：

1. 配置vm.min_free_kbytes确保紧急情况有足够reserve
2. 关闭THP避免khugepaged导致延迟尖刺
3. 设置slab_reclaim调整OOM前的回收力度
4. 利用cgroup memory.limit限制每个实例的内存使用，避免noisy neighbor效应

第六部分：eBPF驱动的内存分析新范式

现代Linux利用eBPF工具（如Memleak、slabratetop）可以实时追踪：

• kmem_cache_alloc/free的调用频率和调用栈
• 检测长时间持有的slab对象（内存泄漏）
• 分析各缓存的对象活跃率和空闲率
• source-based tracing定位碎片源头

结语

从伙伴系统的粗粒度页框管理，到SLAB/SLUB的细粒度对象分配，再到SLOB的极致精简，Linux内核的内存分配架构体现了操作系统设计中工程性压倒理论性的哲学。理解这些机制，是进行高性能系统开发和问题诊断的必修课。