需要额外元数据的调试标志、对象数的位域编码以及内部标志位定义的宏。一、需要额外元数据的调试标志/* * Debugging flags that require metadata to be stored in the slab. These get * disabled when slab_debugO is used and a caches min order increases with * metadata. */ #define DEBUG_METADATA_FLAGS (SLAB_RED_ZONE | SLAB_POISON | SLAB_STORE_USER)什么是“需要元数据”这三个标志都会让每个对象额外占用空间来存调试信息标志额外元数据SLAB_RED_ZONE对象左右的红区red_left_pad 右红区本身占字节SLAB_POISON通常不额外占空间但会把对象内容填成 poison 字节配合红区时可能影响布局SLAB_STORE_USER每个对象关联的struct track记录分配/释放调用栈显著增加每对象开销这些元数据会让单个对象变大于是一个 slab 页能放的对象数变少或者为了放够对象SLUB 不得不增大 slab 的 order用更多连续页。slab_debugO的含义启动参数里slab_debugO是优化模式开关规则大致是如果开启某个调试标志会导致缓存的min order 增大即需要更多连续页才能容纳对象元数据就自动禁用该标志。这解决了一个实际问题在内存碎片化或CONFIG_SLUB_DEBUG_ON默认全开时SLAB_STORE_USER这类元数据可能把本该 order-0 的缓存推到 order-1、order-2导致启动早期内存紧张时分配失败内存碎片加剧性能下降所以DEBUG_METADATA_FLAGS就是“可能撑大 slab 的调试标志集合”slab_debugO时只对这些标志做 order 检查不含SLAB_CONSISTENCY_CHECKS、SLAB_TRACE这类不增加每对象元数据的标志。相关逻辑后续代码里会有类似if (slub_debug_optimize (flags DEBUG_METADATA_FLAGS) calculate_order(...) cachep-min_order_orig) flags ~DEBUG_METADATA_FLAGS; // 禁用会撑大 order 的调试标志二、对象数的位域编码#define OO_SHIFT 16 #define OO_MASK ((1 OO_SHIFT) - 1) #define MAX_OBJS_PER_PAGE 32767 /* since slab.objects is u15 */OO_SHIFT/OO_MASKSLUB 用order 和 objects 打包进一个整数的方式存储 slab 信息低 16 位objects一个 slab 页里的对象数高 16 位orderslab 占 2^order 个连续页31 16 15 0 -------------------------------- | order | objects | --------------------------------OO_SHIFT 16order 左移 16 位。OO_MASK (1 16) - 1 0xFFFF取低 16 位即 objects。相关操作通常是#define oo_objects(x) ((x) OO_MASK) #define oo_order(x) ((x) OO_SHIFT) #define oo_make(order, objects) (((order) OO_SHIFT) | (objects))这样在struct kmem_cache里只需一个unsigned int字段就能同时存 order 和 objects节省空间也便于在calculate_sizes()里做“候选大小 vs order”的比较。MAX_OBJS_PER_PAGE 32767注释说明因为slab.objects是u1515 位无符号最大是2^15 - 1 32767。虽然OO_MASK是 16 位最大 65535但实际字段类型u15只有 15 位所以真实上限是 32767。这个限制反过来约束了对象最小大小和slab 最大 order对象再小、页再多一个 slab 也不能超过 32767 个对象。达到这个上限时calculate_sizes()会限制对象大小或 order避免溢出。三、内部 SLUB 标志位/* Internal SLUB flags */ /* Poison object */ #define __OBJECT_POISON __SLAB_FLAG_BIT(_SLAB_OBJECT_POISON) /* Use cmpxchg_double */ #ifdef system_has_freelist_aba #define __CMPXCHG_DOUBLE __SLAB_FLAG_BIT(_SLAB_CMPXCHG_DOUBLE) #else #define __CMPXCHG_DOUBLE __SLAB_FLAG_UNUSED #endif__SLAB_FLAG_BIT/__SLAB_FLAG_UNUSEDSLUB 有一组内部标志和用户可见的SLAB_*如SLAB_RED_ZONE分开存放。它们用一套宏来管理__SLAB_FLAG_BIT(name)把内部标志name映射到某个具体的位。__SLAB_FLAG_UNUSED在对应特性不可用时占位但不生效让该位保持“未使用”状态。这样做的目的是用一套位域同时容纳“用户可见调试标志”和“内部运行时标志”并根据编译配置裁剪。__SLAB_FLAG_UNUSED的存在是为了在特性未编译时结构体布局和标志编号保持一致避免条件编译导致的偏移错乱。__OBJECT_POISON#define __OBJECT_POISON __SLAB_FLAG_BIT(_SLAB_OBJECT_POISON)这是一个内部标志表示“该缓存的对象需要 poison”。与用户可见的SLAB_POISON不同SLAB_POISON是创建缓存时请求的标志而__OBJECT_POISON是 SLUB 在运行时根据实际配置决定是否真正启用 poison 的内部状态。用于分配/释放时判断要不要往对象里填 poison 字节。__CMPXCHG_DOUBLE#ifdef system_has_freelist_aba #define __CMPXCHG_DOUBLE __SLAB_FLAG_BIT(_SLAB_CMPXCHG_DOUBLE) #else #define __CMPXCHG_DOUBLE __SLAB_FLAG_UNUSED #endifsystem_has_freelist_aba表示当前架构是否支持cmpxchg_double双字比较并交换aba atomic byte access / double-word atomic具体指一条指令原子地比较并交换两个相邻机器字。支持__CMPXCHG_DOUBLE是一个有效内部标志允许 SLUB 用cmpxchg_double一次性原子更新 freelist 指针和计数器实现更高效的无锁释放。不支持定义为__SLAB_FLAG_UNUSED表示这个位不使用相关优化路径被编译掉。cmpxchg_double的价值在释放对象时SLUB 需要同时更新“freelist 头指针”和“空闲对象计数”等两个相邻字段。用cmpxchg_double可以一条指令原子完成避免分别 cmpxchg 带来的 ABA 和竞态比单字 cmpxchg 更安全高效。四、这几段的共同主题宏主题DEBUG_METADATA_FLAGS调试元数据 vs slab order 的权衡slab_debugO据此禁用OO_SHIFT/OO_MASK/MAX_OBJS_PER_PAGEorder objects 打包编码及 u15 上限__OBJECT_POISON/__CMPXCHG_DOUBLE内部标志位按架构能力裁剪无锁优化整体还是 SLUB 的核心设计哲学把运行时状态压进位域、按编译配置裁剪、在调试/架构限制下自动退化到保守路径。五、一句话总结DEBUG_METADATA_FLAGS会撑大每对象元数据、可能抬高 slab order 的调试标志slab_debugO时若抬高 order 就自动禁用它们。OO_SHIFT/OO_MASKorder 与 objects 打包进一个整数高 16 位 order、低 16 位 objectsMAX_OBJS_PER_PAGE32767源于objects是 u15。__OBJECT_POISON内部 poison 标志__CMPXCHG_DOUBLE架构支持cmpxchg_double时启用用于更高效的无锁 freelist 更新否则占位不用。
需要额外元数据的调试标志、对象数的位域编码以及内部标志位定义的宏。一、需要额外元数据的调试标志/* * Debugging flags that require metadata to be stored in the slab. These get * disabled when slab_debugO is used and a caches min order increases with * metadata. */ #define DEBUG_METADATA_FLAGS (SLAB_RED_ZONE | SLAB_POISON | SLAB_STORE_USER)什么是“需要元数据”这三个标志都会让每个对象额外占用空间来存调试信息标志额外元数据SLAB_RED_ZONE对象左右的红区red_left_pad 右红区本身占字节SLAB_POISON通常不额外占空间但会把对象内容填成 poison 字节配合红区时可能影响布局SLAB_STORE_USER每个对象关联的struct track记录分配/释放调用栈显著增加每对象开销这些元数据会让单个对象变大于是一个 slab 页能放的对象数变少或者为了放够对象SLUB 不得不增大 slab 的 order用更多连续页。slab_debugO的含义启动参数里slab_debugO是优化模式开关规则大致是如果开启某个调试标志会导致缓存的min order 增大即需要更多连续页才能容纳对象元数据就自动禁用该标志。这解决了一个实际问题在内存碎片化或CONFIG_SLUB_DEBUG_ON默认全开时SLAB_STORE_USER这类元数据可能把本该 order-0 的缓存推到 order-1、order-2导致启动早期内存紧张时分配失败内存碎片加剧性能下降所以DEBUG_METADATA_FLAGS就是“可能撑大 slab 的调试标志集合”slab_debugO时只对这些标志做 order 检查不含SLAB_CONSISTENCY_CHECKS、SLAB_TRACE这类不增加每对象元数据的标志。相关逻辑后续代码里会有类似if (slub_debug_optimize (flags DEBUG_METADATA_FLAGS) calculate_order(...) cachep-min_order_orig) flags ~DEBUG_METADATA_FLAGS; // 禁用会撑大 order 的调试标志二、对象数的位域编码#define OO_SHIFT 16 #define OO_MASK ((1 OO_SHIFT) - 1) #define MAX_OBJS_PER_PAGE 32767 /* since slab.objects is u15 */OO_SHIFT/OO_MASKSLUB 用order 和 objects 打包进一个整数的方式存储 slab 信息低 16 位objects一个 slab 页里的对象数高 16 位orderslab 占 2^order 个连续页31 16 15 0 -------------------------------- | order | objects | --------------------------------OO_SHIFT 16order 左移 16 位。OO_MASK (1 16) - 1 0xFFFF取低 16 位即 objects。相关操作通常是#define oo_objects(x) ((x) OO_MASK) #define oo_order(x) ((x) OO_SHIFT) #define oo_make(order, objects) (((order) OO_SHIFT) | (objects))这样在struct kmem_cache里只需一个unsigned int字段就能同时存 order 和 objects节省空间也便于在calculate_sizes()里做“候选大小 vs order”的比较。MAX_OBJS_PER_PAGE 32767注释说明因为slab.objects是u1515 位无符号最大是2^15 - 1 32767。虽然OO_MASK是 16 位最大 65535但实际字段类型u15只有 15 位所以真实上限是 32767。这个限制反过来约束了对象最小大小和slab 最大 order对象再小、页再多一个 slab 也不能超过 32767 个对象。达到这个上限时calculate_sizes()会限制对象大小或 order避免溢出。三、内部 SLUB 标志位/* Internal SLUB flags */ /* Poison object */ #define __OBJECT_POISON __SLAB_FLAG_BIT(_SLAB_OBJECT_POISON) /* Use cmpxchg_double */ #ifdef system_has_freelist_aba #define __CMPXCHG_DOUBLE __SLAB_FLAG_BIT(_SLAB_CMPXCHG_DOUBLE) #else #define __CMPXCHG_DOUBLE __SLAB_FLAG_UNUSED #endif__SLAB_FLAG_BIT/__SLAB_FLAG_UNUSEDSLUB 有一组内部标志和用户可见的SLAB_*如SLAB_RED_ZONE分开存放。它们用一套宏来管理__SLAB_FLAG_BIT(name)把内部标志name映射到某个具体的位。__SLAB_FLAG_UNUSED在对应特性不可用时占位但不生效让该位保持“未使用”状态。这样做的目的是用一套位域同时容纳“用户可见调试标志”和“内部运行时标志”并根据编译配置裁剪。__SLAB_FLAG_UNUSED的存在是为了在特性未编译时结构体布局和标志编号保持一致避免条件编译导致的偏移错乱。__OBJECT_POISON#define __OBJECT_POISON __SLAB_FLAG_BIT(_SLAB_OBJECT_POISON)这是一个内部标志表示“该缓存的对象需要 poison”。与用户可见的SLAB_POISON不同SLAB_POISON是创建缓存时请求的标志而__OBJECT_POISON是 SLUB 在运行时根据实际配置决定是否真正启用 poison 的内部状态。用于分配/释放时判断要不要往对象里填 poison 字节。__CMPXCHG_DOUBLE#ifdef system_has_freelist_aba #define __CMPXCHG_DOUBLE __SLAB_FLAG_BIT(_SLAB_CMPXCHG_DOUBLE) #else #define __CMPXCHG_DOUBLE __SLAB_FLAG_UNUSED #endifsystem_has_freelist_aba表示当前架构是否支持cmpxchg_double双字比较并交换aba atomic byte access / double-word atomic具体指一条指令原子地比较并交换两个相邻机器字。支持__CMPXCHG_DOUBLE是一个有效内部标志允许 SLUB 用cmpxchg_double一次性原子更新 freelist 指针和计数器实现更高效的无锁释放。不支持定义为__SLAB_FLAG_UNUSED表示这个位不使用相关优化路径被编译掉。cmpxchg_double的价值在释放对象时SLUB 需要同时更新“freelist 头指针”和“空闲对象计数”等两个相邻字段。用cmpxchg_double可以一条指令原子完成避免分别 cmpxchg 带来的 ABA 和竞态比单字 cmpxchg 更安全高效。四、这几段的共同主题宏主题DEBUG_METADATA_FLAGS调试元数据 vs slab order 的权衡slab_debugO据此禁用OO_SHIFT/OO_MASK/MAX_OBJS_PER_PAGEorder objects 打包编码及 u15 上限__OBJECT_POISON/__CMPXCHG_DOUBLE内部标志位按架构能力裁剪无锁优化整体还是 SLUB 的核心设计哲学把运行时状态压进位域、按编译配置裁剪、在调试/架构限制下自动退化到保守路径。五、一句话总结DEBUG_METADATA_FLAGS会撑大每对象元数据、可能抬高 slab order 的调试标志slab_debugO时若抬高 order 就自动禁用它们。OO_SHIFT/OO_MASKorder 与 objects 打包进一个整数高 16 位 order、低 16 位 objectsMAX_OBJS_PER_PAGE32767源于objects是 u15。__OBJECT_POISON内部 poison 标志__CMPXCHG_DOUBLE架构支持cmpxchg_double时启用用于更高效的无锁 freelist 更新否则占位不用。
平方复杂度无法被常规优化消除｜TaoToken 统一 Key 通道实测)
