Linux内核内存管理机制深度解析：从Buddy System到SLAB分配器

引言

Linux内核的内存管理系统是整个操作系统中最复杂、最核心的子系统之一。它不仅需要高效地管理物理内存，还要为上层应用提供灵活、安全的虚拟内存抽象。本文将深入剖析Linux内核内存管理的核心机制，从底层的Buddy System到上层的SLAB/SLUB分配器，再到虚拟内存的页表管理，带你理解这一精密系统的运作原理。

1. Buddy System：物理内存的基石

Buddy System（伙伴系统）是Linux内核管理物理内存页帧的基础算法。它的核心思想是将内存划分为不同大小的块组（order），每个块组包含2^n个连续页帧，通过分裂与合并实现高效的内存分配与回收。

1.1 分配与回收机制

当内核请求内存时，Buddy System从最小的满足需求的order中取出一个块。若该order没有空闲块，则向上递归查找更大的order，找到后递归分裂成两个buddy块，直到得到所需大小的块。释放时，如果对应的buddy块也是空闲的，则合并成更大的块，向上递归。

1.2 碎片问题与解决方案

长期运行后，Buddy System会产生外部碎片——空闲页帧分散在不连续的块中。Linux通过迁移类型（migrate types）和可回收页（reclaimable pages）来缓解碎片问题，配合kswapd后台线程与直接回收（direct reclaim）机制，确保系统内存紧张时仍能获得连续内存。

2. SLAB/SLUB分配器：内核对象的专用分配

Buddy System以页（通常4KB）为单位分配，对于内核中大量的小对象分配（如task_struct、inode、dentry等）来说效率极低。SLAB分配器应运而生，它基于Buddy System，专为高频小对象分配优化。

2.1 SLAB核心概念

SLAB分配器预分配连续的页帧，划分为多个等大小的slab，每个slab存储同一类型内核对象。对象在slab中复用，避免了频繁的初始化与构造开销。每个CPU维护本地缓存（cpu cache），实现无锁快速分配。

2.2 SLUB：默认分配器的演进

SLUB（Unqueued SLAB）是Linux当前的默认分配器，相比原始SLAB简化了队列管理，减少了元数据开销，在多核场景下扩展性更好。SLUB去除了per-CPU的full/partial队列锁竞争，采用更简洁的partial slab管理策略。

3. 虚拟内存与页表管理

Linux采用多级页表（x86_64下为4级：PGD→PUD→PMD→PTE）映射虚拟地址到物理地址。每个进程拥有独立的页表空间，通过上下文切换（CR3寄存器重装载）实现地址空间隔离。

3.1 大页（Huge Pages）支持

标准4KB页会导致TLB（Translation Lookaside Buffer）命中率下降。Linux支持2MB/1GB的大页（Huge Pages / Transparent Huge Pages），减少页表级数，提升TLB覆盖率，对数据库、DPDK等内存密集型应用性能提升显著。

4. 内存压缩与交换

当物理内存不足时，Linux内核通过页面回收（page reclaim）和交换（swap）机制释放内存。页面回收包括： inactive file pages直接丢弃、active pages通过LRU算法轮换回收、匿名页写入swap分区。zswap和zRAM提供了内存内压缩交换，减少IO开销。

结论

Linux内存管理是一个从物理页帧到虚拟地址空间的完整体系，Buddy System提供页级分配，SLAB/SLUB提供对象级优化，页表管理实现虚拟到物理的映射，页面回收确保内存压力下的稳定运行。理解这些机制，是成为内核开发者的必经之路。