slab源码分析--setup_cpu_cache函数.doc

slab源码分析--setup_cpu_cache函数 之前剖析过了 slab 的初始化，以及 kmem_cache_create() 函数，留下了一个 setup_cpu_cache() 函数没有处理，今天来分析一下。 说明：本文缓存器指 kmem_cache 结构，slab 三链即 kmem_list3。 setup_cpu_cache() 函数和 slab 分配器的初始化状态是息息相关的。我们知道，slab 分配器初始化会经历以下状态： 首先提一下 arraycache_init 结构体，之前都没说过。 /* * bootstrap: The caches do not work without cpuarrays anymore, but the * cpuarrays are allocated from the generic caches... */ #define BOOT_CPUCACHE_ENTRIES 1 struct arraycache_init { struct array_cache cache; void *entries[BOOT_CPUCACHE_ENTRIES]; }; 就是上面那样的，由于 array_cache 结构体末尾是一个柔性数组，我们需要把该柔性数组和 array_cache 包装起来，因为它们组合而成了本地缓存。否则单独的 array_cache 结构体是不会包含 entries 数组的，这是柔性数组的特性，它只是一个占位符。所以，本地缓存的缓存器真正要缓存的对象是 arrarcache_init 结构体。该结构体在初始化前期，采用静态初始化，如 BOOT_CPUACHE_ENTRIES。 下面来主要谈一下初始化过程的步骤，这是在 kmem_cache_init() 函数之中进行的： (1) 构建好了kmem_cache实例cache_cache(静态分配)，且构建好了kmem_cache的slab分配器,并由initkmem_list3[0]组织, 相应的array为initarray_cache； (2) 构建好了kmem_cache实例（管理arraycache_init），且构建好了arraycache_init的slab分配器,并由initkmem_list3[1]组织,相应的array为initarray_generic； (3) 构建好了kmem_cache实例（管理kmem_list3）,此时还未构建好kmem_list3的slab分配器，但是一旦申请sizeof(kmem_list3)空间，将构建kmem_list3分配器,并由initkmem_list[2]组织,其array将通过kmalloc进行申请； (4) 为malloc_sizes的相应数组元素构建kmem_cache实例，并分配kmem_list3,用于组织slab链表，分配arraycache_init用于组织每CPU的同一个kmem_cache下的slab分配; (5) 替换kmem_cache、malloc_sizes[INDEX_AC].cs_cachep下的arraycache_init实例； (6) 替换kmem_cache、malloc_sizes[INDEX_AC].cs_cachep、malloc_sizes[INDEX_L3].cs_cachep下的kmem_list3实例; (7) g_cpucachep_up = EARLY; 问题： 为什么需要 initarray_cache 和 initarray_generic 两个静态 arraycache_init？它们静态初始化的内容不是一样的吗？ 因为 initarray_cache 是为 cache_cache 缓存器准备的本地缓存，而 initarray_generic 是为 arraycache_init 缓存器准备的本地缓存。虽然静态初始化一样，它们最终要被 kmalloc 申请的新内容替换掉，分别作为不同缓存器的本地缓存。显然是不能共用的。 ? 下面对 kmem_cache_init() 函数中执行 kmem_cache_create() 函数逐步分析（因为 setup_cpu_cache() 函数就是在后者中调用的）。 先声明： #define INDEX_AC index_of(sizeof(struct arraycache_init)) #define INDEX_L3 index_of(sizeof(struct kmem_list3)) INDEX_AC 和 INDEX_L3 分别是 arraycache_init 和三链的大小，用于在 malloc_sizes[