2. 核心数据结构：kmem_cache、slab、object 的关系与关键字段解析

Slab 分配器的核心在于三层数据结构的协同：kmem_cache（缓存描述符）、slab（ slabs 链表节点）和 object（内存对象）。理解这三者的关系以及关键字段，是调优 Slab 分配器的基础。

2.1 三层结构总览

下图展示了 kmem_cache、slab 和 object 之间的层次关系与核心指针流向。

2.2 kmem_cache：缓存描述符

kmem_cache 是 Slab 分配器的顶层结构，每个 kmem_cache 对应一种特定大小的对象类型。它负责管理所有属于该类型的 slab 实例。

2.3 slab：物理页框容器

slab 结构体描述了一段连续的物理内存（由 gfporder 决定页数），它被划分为多个等长的 object。slab 可以处于三种状态之一：全满、部分满、全空。

2.4 object：最小分配单元

object 是 Slab 分配器返回给调用者的内存块。每个 object 的大小由 kmem_cache 的 object_size 字段决定，并且会进行硬件缓存行对齐（如果设置了 SLAB_HWCACHE_ALIGN 标志）。

object 的分配与释放通过 空闲链表 实现，这是一个隐式链表，利用 object 自身的前几个字节存储下一个空闲 object 的索引。

// 分配 object 的核心逻辑（简化版）
void *slab_alloc(struct kmem_cache *cachep) {
    struct slab *slabp;
    void *object;

    // 1. 优先从 slabs_partial 链表获取 slab
    slabp = list_first_entry(&cachep->slabs_partial, struct slab, list);
    if (!slabp) {
        // 2. 如果 slabs_partial 为空，从 slabs_free 获取
        slabp = list_first_entry(&cachep->slabs_free, struct slab, list);
        if (!slabp) {
            // 3. 如果都为空，分配新的 slab
            slabp = kmem_cache_grow(cachep);
        }
    }

    // 4. 从 slab 的空闲链表中取出 object
    object = slabp->s_mem + slabp->free * cachep->object_size;
    slabp->free = *(unsigned int *)object;  // 更新空闲链表头
    slabp->inuse++;

    // 5. 如果 slab 已满，移入 slabs_full 链表
    if (slabp->inuse == cachep->num) {
        list_move(&slabp->list, &cachep->slabs_full);
    }

    return object;
}

2.5 三层结构的协同工作流程

1. 初始化： 调用 kmem_cache_create() 创建 kmem_cache，指定 object_size、gfporder 等参数。
2. 分配： 调用 kmem_cache_alloc()，从 kmem_cache 的 slabs_partial 或 slabs_free 链表中找到合适的 slab，然后从该 slab 的空闲链表中取出一个 object。
3. 释放： 调用 kmem_cache_free()，将 object 归还到所属 slab 的空闲链表，并更新 inuse 计数。
4. 回收： 当 slab 的所有 object 都释放后（inuse == 0），该 slab 被移入 slabs_free 链表，并可能被回收给页分配器。

2.6 关键字段对性能的影响

2.7 数据结构关系总结

下图以流程图形式展示了分配一个 object 时，三层数据结构之间的交互路径。