1. 内存管理概述：物理内存与虚拟内存、伙伴系统的局限性、引入slab分配器的动机

1.1 物理内存与虚拟内存：内核视角的地址空间

在Linux系统中，内存管理单元（MMU）将CPU发出的虚拟地址转换为物理地址。内核必须同时管理这两种地址空间：物理内存是有限的硬件资源，而虚拟内存为每个进程提供独立的、连续的地址空间。

内核直接管理物理内存，其虚拟地址空间与物理内存之间存在线性映射（如直接映射区，即低端内存）。对于高端内存（超过896MB的物理内存），内核需要通过临时映射来访问。

1.2 伙伴系统（Buddy System）：物理页框分配器

Linux内核使用伙伴系统作为物理页框分配的核心算法。它将空闲页框按2的幂次方（order）组织成链表，用于分配和释放连续的物理内存块。

1.3 伙伴系统的局限性

尽管伙伴系统在管理物理页框方面非常高效，但它并不适合内核中频繁发生的小对象分配与释放场景。其局限性主要体现在以下几个方面：

• 内部碎片严重： 分配的最小单位是单个页框（4KB）。如果内核需要分配一个仅几十字节的对象（如 task_struct、inode），伙伴系统会浪费大量内存。
• 分配速度慢： 对于小对象，每次分配都需要经过伙伴系统的分裂/合并操作，时间开销大，无法满足高频分配场景。
• 缺乏对象缓存： 伙伴系统不感知对象类型，每次分配/释放都需要重新初始化对象，无法复用已构造的对象状态。
• CPU缓存不友好： 频繁分配和释放相同大小的对象时，对象可能分散在不同的页框中，导致CPU缓存命中率下降。

1.4 引入slab分配器的动机

为了解决伙伴系统的上述局限性，Sun Microsystems在Solaris 2.4中首次引入了slab分配器，随后被Linux内核采用。引入slab分配器的核心动机包括：

1. 消除内部碎片： slab分配器将页框划分为多个相同大小的对象槽，精确匹配内核对象的大小，将碎片降至最低。
2. 提高分配/释放速度： 通过维护每个CPU的本地缓存（per-CPU cache）和部分空闲链表，slab分配器可以在常数时间内完成分配和释放，避免伙伴系统的分裂合并开销。
3. 对象缓存与复用： slab分配器支持对象构造函数和析构函数，分配时直接返回已构造好的对象，释放时仅标记为空闲，大幅减少初始化开销。
4. 硬件缓存友好： slab分配器尽量将同一类型的对象集中存放在连续的页框中，提高CPU缓存的局部性。
5. 统计与调试支持： slab分配器提供丰富的统计信息（如对象使用率、缓存命中率），便于内核开发者进行性能分析和内存泄漏检测。