Slub（Slab）

Truman楚门

已于 2025-08-12 13:51:32 修改

阅读量784

点赞数 8

CC 4.0 BY-SA版权

分类专栏： Linux 内存管理文章标签： linux 内存管理驱动开发

于 2025-08-11 16:28:58 首次发布

本文链接：https://blog.csdn.net/qq_24993025/article/details/150218843

Linux 同时被 2 个专栏收录

8 篇文章

订阅专栏

内存管理

8 篇文章

订阅专栏

定义

用于分配小于一页（4K）的内存，减少内部碎片。Linux 6.x目前slub最大可以分配8K（也就是2页）的内存。

slab、slub、slob

slub：是对slab分配器的改进，目前Linux里使用的主流。
slob：是一种轻量级的内存分配器，通常用于嵌入式设备。

由于slub分配器使用最为广泛，重点讨论slub分配器。

slub最小分配单元：字节（object：通常大于8字节）

slub从buddy system批发进货，然后再拆分零售给消费者（使用kmalloc的用户）

数据结构

主要由：kmem_cache，kmem_cache_cpu，kmem_cache_node，slab，object 组成。

slab_caches

所有被Slub的管理的内存叫slab caches。
一个slub caches下分为N个slab cache。
slab cache包含N个slab。
每个slab又被划分成N个object。object就是内存分配的对象，也是最小管理单元。

Slab的链表分三种：

full：slabs_full，完全分配的slab
partial：slabs_partial，部分分配的slab
slab：slabs_empty，空slab,或者没有对象被分配。

PS: 在slub的实现中，只剩下了partial

slab caches通过一个叫slab_caches的变量表示，是一个链表，挂载着所有的slab cache。

定义在mm/slab_common.c中：

1. kmem_cache结构体

用于描述一个slub cache，包括slab cache的名称、每个element的size、slab cache的size、etc。

定义于mm/slab.h中：

name：每个kmem_cache都有自己的名字，可以通过/proc/slabinfo查看。name通过kmem_cache_create函数创建kmem_cache指定。

list：通过list于其他的kmem_cache连接起来，list head就是slab_caches。
cpu_slab: 为每个CPU core分配独立的kmem_cache_cpu结构, 每个core通过自己的kmem_cache_cpu直接从本地缓存分配内存对象。
min_partial ：二级回收链表(node[x]->partial)上page数量超过min_partial时，将会把二级回收链表超过的部分，释放回伙伴系统
object_size：object是slub内存的最小单元，也是管理的基本对象。
node：是为每个NUMA node保存slab信息struct kmem_cache_node。相当于拥有一个全局的slabs列表，尚未绑定到任何CPU，但是也仍然属于cache，也会包含已经分配的objects。
cpu_partial: 一级回收链表(cpu_slab->partial)上object超过cpu_partial时,将会把一级回收链表上所有page移动到二级回收链表上

PS:

一级回收链表：s->cpu_slab->partial

二级(回收链表：s->node[x]->partial

2. kmem_cache_cpu结构体

void **freelist:指向当前cpu slab的空闲object。
tid：记录最后一个分配/释放对象的CPU id，用于判断是否需要填充空闲对象链表。
slab：指向正在分配的 slab 页。
partial：指向所有分配了一部分对象但未完全分配的 slab。

3. kmem_cache_node结构体

是numa node内存节点空闲slab链表。

nr_partial：当前 NUMA node中 partial slab 链表中 slab 的数量。
partial：部分已分配的 slab ，包含所有分配了一部分对象但未完全分配的 slab。

4. struct slab

一个slab被一个struct slab结构体所描述，其实就是一个struct page。

在Linux内核5.17版本中，struct slab被引入，目的是将slab相关的字段从struct page中分离出来。在struct slab作为struct page的一个overlay，共享同一块内存，但隐藏了struct page的细节，这样slab分配器只需要处理自己的结构。

一个slab cache可以理解为多个slab的集合，在实现上一个slab有一个或多个连续的物理页组成（通常只有一页），将slab根据size大小划分成一个个object，object就是内存分配的对象。

slab_cache：指向这个slab属于的slab cache。
freelist：指向slab中第一个空闲object。
inuse：slab中已经分配的object数量。
objects：slab中可以容纳的object数量。

5. object

slub分配器的最小单元。一个object由red left pad，object内存区域，red zone，freepinter，track，padding等部分组成。

object_size: 真正的object内存区域。
freelist：指向第一个空闲的object。
freepointer：指向下一个空闲的object。
red zone: Linux内核SLAB/SLUB内存中的一种调试和保护机制，用于检测内存越界访问。在object内存区域前后插入red zone，前：red left pad, 后：red zone。如果写入或读取了red zone，内核会触发警告。内核（5.x+）通常通过 CONFIG_SLUB_DEBUG 统一控制红区功能。