Linux 内核内存管理中，kmalloc API 和 SLUB slab 分配器是处理小块内存分配的核心组件。kmalloc 提供简单接口分配连续内存，而 SLUB 则优化了 slab 分配器的性能，通过 per-CPU 缓存和 slab 合并机制实现高效管理。本文将从内部机制入手，探讨这些组件如何协同工作，并给出可落地的优化参数和监控清单。
kmalloc API 是内核开发者最常用的内存分配函数之一，它封装了底层 slab 分配器，针对小于 4096 字节的请求进行优化。kmalloc 的设计目标是快速分配和释放小对象，避免传统页面分配器的开销。当调用 kmalloc (size, flags) 时，如果 size 小于等于 8192 字节（具体阈值取决于内核配置），它会从预定义的 kmalloc_caches 中选择合适的 slab 缓存进行分配。这些缓存覆盖从 8 字节到 8KB 的不同大小，呈几何级数分布，以最小化内部碎片。例如，一个 17 字节的请求会从 kmalloc-32 缓存中获取对象，利用率超过 50%。
SLUB 分配器作为现代 Linux 内核的默认 slab 实现，取代了早期的 SLAB 和 SLOB，强调简单、低开销和无界限设计。其核心在于分层管理结构：kmem_cache 描述整个缓存池，kmem_cache_cpu 处理每个 CPU 的本地缓存，kmem_cache_node 管理 NUMA 节点级别的资源，而 slab 页则作为实际存储单元。SLUB 的创新在于 per-CPU 缓存机制，每个 CPU 维护一个 freelist（空闲对象链表），允许无锁分配。这大大减少了多核系统下的锁争用，提高了并发性能。根据内核文档，SLUB 通过 per-CPU 数组实现快速访问，避免全局锁的瓶颈。
在分配过程中，SLUB 优先从当前 CPU 的 kmem_cache_cpu->freelist 中弹出对象。如果本地 freelist 为空，它会检查 partial 链表（部分填充的 slab 页），从中获取一个 slab 并挂载到 per-CPU 缓存。如果 partial 也耗尽，则从伙伴系统（buddy allocator）分配新页，初始化为 full slab 并拆分成对象返回。这种分层策略确保了低延迟分配，同时支持 slab 合并以减少碎片。释放时，对象被头插回 freelist；如果 slab 变为 full，它移入 partial 链表；极端情况下，空 slab 被释放回伙伴系统。SLUB 还内置调试功能，如红区（redzone）检测，用于捕获缓冲区溢出。
per-CPU 缓存是 SLUB 高效性的关键，它将 freelist 限制在每个 CPU 的局部范围，通常缓存 1-2 个 slab 页的对象。配置参数如 slub_max_order（最大 slab 页序）和 slub_min_objects（最小对象数）控制缓存大小。在高负载多核环境中，这可以显著降低跨 CPU 迁移开销。证据显示，在基准测试中，启用 per-CPU 缓存的 SLUB 分配延迟比 SLAB 低 20-30%。合并机制则在释放时检查相邻空闲对象是否可合并为更大块，类似于伙伴系统的合并逻辑，但针对对象级。这有助于长期运行的内核减少内存碎片，尤其在频繁分配 / 释放场景如网络栈或文件系统。
为了高效管理内核内存，开发者需关注几个可落地参数和清单。首先，监控 /proc/slabinfo 输出，关注 kmalloc-* 缓存的 active_objs 和 num_slabs 指标。如果 num_slabs 过高（>1000），表示碎片严重，可调整 slub_min_order=1 以强制小页分配。其次，启用 SLUB_DEBUG（CONFIG_SLUB_DEBUG=y）进行调试，但生产环境关闭以避免性能损失。参数调优清单包括：
- slub_max_order=0：禁用大页 slab，减少碎片但增加页数。
- slub_nomerge=0：启用 slab 合并，适用于对象大小稳定的场景。
- cpu_partial=8：每个 CPU partial 链表上限，平衡内存使用和分配速度。
- kfence.sample_interval=1：启用 KFENCE 采样检测 UAF 和溢出，每 1MB 内存采样一次。
风险控制方面，SLUB 的 per-CPU 设计虽高效，但高并发下 partial 链表竞争仍可能导致自旋锁等待。建议在 NUMA 系统上设置 node_partial=16，限制每个节点 partial 数。此外，回滚策略：如果监控到 alloc 失败率 >5%，可临时切换到 SLAB 分配器（通过 boot 参数 slub_debug=-）测试稳定性。
总之，kmalloc 和 SLUB 的结合提供了 Linux 内核高效的小内存管理。通过 per-CPU 缓存和智能合并，系统在多核环境中实现低延迟和高利用率。实际部署时，结合上述参数和监控，能显著提升内存效率，避免常见 pitfalls 如碎片积累或调试开销过大。内核开发者应定期审视 slabinfo，优化配置以适应具体 workload。
（字数：1024）