3. 着色（Coloring）机制：着色原理、如何利用着色减少 Cache Line 冲突、着色参数配置

着色（Coloring）是 Slab 分配器中一项精妙的优化技术，旨在解决现代多核处理器中因 Cache Line 冲突导致的性能瓶颈。当多个频繁访问的内存对象恰好映射到 CPU Cache 的同一组（Set）时，会引发 Cache Line 的频繁换入换出，即 Cache Thrashing。着色机制通过为不同 Slab 对象分配不同的起始偏移量，使它们分散到不同的 Cache Line 中，从而显著降低冲突概率。

3.1 着色原理

着色原理基于 Cache 的组相联（Set-Associative）映射方式。物理内存地址通过取模运算映射到固定的 Cache Set。如果两个对象的地址在 Cache Set 索引位上相同，它们就会竞争同一个 Cache Set。着色通过在 Slab 开头预留一个可变的偏移量（Color），改变对象相对于页框起始的偏移，从而改变其物理地址的低位，最终映射到不同的 Cache Set。

下图展示了着色如何改变对象在 Slab 中的起始位置，从而影响 Cache 映射：

着色偏移量（Color）的计算公式如下：

color_off = (slab_num * color) % (color_max * cache_line_size)
obj_addr = slab_base + color_off + obj_index * obj_size

其中 slab_num 是 Slab 的序号，color 是当前 Slab 使用的颜色值，color_max 是最大颜色数，cache_line_size 是 Cache Line 大小（通常为 64 字节）。

3.2 如何利用着色减少 Cache Line 冲突

着色机制通过以下方式减少 Cache Line 冲突：

• 分散热点对象： 将频繁访问的同一类对象（如 task_struct、inode）分散到不同的 Cache Set，避免多个核心同时访问时相互驱逐。
• 利用 Cache Line 对齐： 着色偏移量通常是 Cache Line 大小的整数倍，确保对象起始地址与 Cache Line 边界对齐，减少跨 Line 访问。
• 动态负载均衡： 每个新分配的 Slab 使用递增的颜色值，自动实现不同 Slab 间的 Cache Set 分布。

下表对比了着色开启与关闭时的性能差异：

下图展示了着色在多核系统中的实际效果：

3.3 着色参数配置

Linux 内核通过 /proc/slabinfo 和 /sys/kernel/slab/<cache_name>/ 接口暴露着色相关参数。以下是关键参数及其含义：

着色参数的计算逻辑如下：

// 内核源码 mm/slab.c 中的着色计算
static int calculate_color_max(struct kmem_cache *cachep)
{
    int color_max;
    int slab_size = cachep->num * cachep->size + cachep->gfporder * PAGE_SIZE;

    // 可用着色空间 = Slab 总大小 - 对象占用空间 - 管理结构开销
    int color_space = slab_size - cachep->num * cachep->size - sizeof(struct slab);

    // 最大颜色数 = 可用空间 / Cache Line 大小
    color_max = color_space / cache_line_size();

    return color_max;
}

查看当前系统 Slab 着色状态的命令：

# 查看所有 Slab 缓存的着色信息
cat /proc/slabinfo | head -20

# 查看特定缓存的着色参数
cat /sys/kernel/slab/:A-0000008/color
cat /sys/kernel/slab/:A-0000008/color_max
cat /sys/kernel/slab/:A-0000008/color_off

# 使用 slabtop 查看实时着色状态
slabtop -o | grep -E "NAME|color"

着色参数配置的决策流程如下：