3. Slab分配器：Slab/Slub/Slob原理、对象缓存、kmalloc与vmalloc区别
Slab分配器是Linux内核中用于管理小块内存（通常小于一个页面）的核心机制。它直接服务于内核对象（如task_struct、inode、dentry）的频繁分配与释放，是内存回收与性能调优中不可忽视的一环。本章将深入剖析三种Slab变体（Slab、Slub、Slob）的设计哲学、对象缓存原理，并清晰区分kmalloc与vmalloc的适用场景。
3.1 Slab分配器概述与设计目标
内核中大量使用小对象（几十到几百字节），若直接使用伙伴系统（以页为单位）进行分配，会产生严重的内部碎片和性能开销。Slab分配器通过以下设计解决此问题：
- 对象缓存：为每种内核对象维护一个专属缓存池，对象创建时从缓存获取，销毁时归还，避免频繁的页分配。
- 着色（Coloring）：通过调整对象在Slab中的起始偏移，使不同Slab中的对象错开缓存行，减少CPU缓存行颠簸。
- 硬件缓存对齐：确保对象在L1/L2缓存中高效对齐，提升访问速度。
性能关键点： Slab分配器是内核中除伙伴系统外最活跃的内存分配路径。在容器场景下，大量文件系统操作（dentry/inode）和网络连接（socket对象）会直接冲击Slab缓存，导致内存回收压力上升。
3.2 三种Slab变体：Slab / Slub / Slob
Linux内核根据系统规模和硬件能力，提供了三种不同的Slab实现。当前主流发行版默认使用Slub，但理解三者差异有助于在嵌入式或大型NUMA系统中做出正确选择。
| 特性 | Slab（传统） | Slub（默认） | Slob（嵌入式） |
|---|---|---|---|
| 设计目标 | 通用、功能完整 | 简化、减少元数据开销 | 极小内存占用 |
| 元数据管理 | 每个Slab头部有复杂描述符 | 将元数据放在页尾或页外 | 使用简单链表 |
| CPU/NUMA感知 | 支持（per-CPU缓存） | 支持（per-CPU partial列表） | 不支持 |
| 内存开销 | 较高（元数据占用大） | 较低（元数据精简） | 极低（适合小内存） |
| 适用场景 | 大型NUMA系统 | 通用服务器/桌面 | 嵌入式/物联网 |
| 调试能力 | 强（Red Zoning、Poisoning） | 中等 | 弱 |
调优建议： 在容器宿主机上，建议保持默认的Slub分配器。若遇到Slab缓存膨胀导致的内存回收问题，可通过
/proc/slabinfo监控特定缓存（如dentry、filp）的使用量，并考虑调整vm.vfs_cache_pressure参数。
3.3 对象缓存机制与Slab内部结构
Slab分配器的核心是“对象缓存”概念。每个缓存（kmem_cache）管理一种特定大小的对象。缓存内部由多个Slab组成，每个Slab占用一个或多个连续物理页。
3.4 kmalloc与vmalloc：核心区别与选择
kmalloc和vmalloc是内核中最常用的两个内存分配接口，但它们在物理连续性、分配大小、性能和使用场景上存在本质差异。
| 对比维度 | kmalloc | vmalloc |
|---|---|---|
| 物理连续性 | 保证物理地址连续 | 仅虚拟地址连续，物理页可能不连续 |
| 分配大小 | 通常 < 4KB（单页），最大可达 4MB（通过Slab或伙伴系统） | 可分配大块内存（数MB到数百MB） |
| 性能 | 快速（直接映射区，TLB命中率高） | 较慢（需要建立页表映射，TLB压力大） |
| 底层实现 | 基于Slab分配器或伙伴系统 | 基于伙伴系统 + 页表映射 |
| 适用场景 | 驱动程序小数据结构、内核对象、DMA缓冲区 | 大块内存、模块加载、视频帧缓冲区 |
| 内存回收影响 | 直接参与Slab回收（shrinkers） | 通过页面回收（swap/回收）间接影响 |
常见误区： 在容器环境中，不要盲目使用
vmalloc分配大块内存。虽然它避免了物理连续性的限制，但频繁的vmalloc/vfree操作会导致严重的TLB抖动和页表锁竞争，直接影响容器内应用的延迟。对于小于一个页面的分配，始终优先使用kmalloc。
3.5 容器场景下的Slab调优实践
在容器宿主机上，Slab内存可能成为内存回收的瓶颈。以下是一些关键调优方向：
- 监控Slab使用量：通过
/proc/slabinfo或slabtop命令，识别占用内存最多的缓存（如dentry、inode_cache、buffer_head）。 - 调整vfs_cache_pressure：该参数控制内核回收dentry和inode缓存的倾向性。默认值100表示平衡；增大到200可加速回收，减少Slab占用；减小到50则更倾向于保留缓存。
- 使用slab_nomerge：内核启动参数，禁用Slab缓存合并。虽然会增加少量内存开销，但能防止不同对象类型之间的相互干扰，便于问题定位。
- 针对特定缓存设置limit：通过
/sys/kernel/slab/<cache_name>/limit调整每个CPU缓存的最大对象数，控制内存预取量。
实战案例： 某容器平台发现宿主机内存回收频繁，
kswapd CPU占用高。通过slabtop发现dentry缓存占用超过2GB。将vm.vfs_cache_pressure从100调整为150后，Slab内存下降30%，kswapd唤醒频率降低50%，容器应用延迟显著改善。