get_freepointer_safe是get_freepointer的安全变体用于在调试配置尤其是CONFIG_DEBUG_PAGEALLOC开启时读取空闲对象中的 freepointer同时避免触发意外的缺页错误。一、为什么需要“safe”版本get_freepointer()直接解引用object s-offset读取下一个空闲对象指针。在快速路径中SLUB 可能会推测性访问speculative access一个页该页恰好被CONFIG_DEBUG_PAGEALLOC标记为无效比如刚刚被释放回伙伴系统。如果直接用get_freepointer()解引用这块内存可能触发缺页异常page fault导致不必要的开销甚至崩溃。get_freepointer_safe()就是为了处理这种情况用probe_kernel_read()代替普通解引用读取失败时安全返回 NULL不产生异常。二、典型实现static inline void *get_freepointer_safe(struct kmem_cache *s, void *object) { void *p; #ifdef CONFIG_DEBUG_PAGEALLOC probe_kernel_read(p, (void **)(object s-offset), sizeof(p)); #else p get_freepointer(s, object); #endif return p; }关键点CONFIG_DEBUG_PAGEALLOC开启时用probe_kernel_read()安全读取。该函数会捕获缺页异常读取失败时p保持未修改通常为 NULL不会导致内核崩溃。未开启时退化为普通get_freepointer()因为页不会被标记无效无需安全保护。三、__no_kmsan_checks的含义__no_kmsan_checks static inline void *get_freepointer_safe(struct kmem_cache *s, void *object)__no_kmsan_checks是KMSANKernel Memory Sanitizer的函数属性作用是让 KMSAN忽略该函数输入中的未初始化值并将该函数的输出标记为已初始化从而避免误报。为什么需要这个属性get_freepointer_safe()读取的是空闲对象内部存储的 freepointer。在 KMSAN 的视角下对象被释放后其内存被** poison**标记为未初始化。freepointer 写入时set_freepointer()会往这块“未初始化”的内存里写数据但 KMSAN 可能无法正确追踪这种特殊的内部使用模式。如果不加__no_kmsan_checksKMSAN 可能会把 freepointer 读取结果误判为未初始化值的使用产生误报。加上这个属性后KMSAN 会忽略该函数输入object指向的内存的未初始化状态。将函数输出返回的 freepointer标记为已初始化。不在此函数内进行 shadow 检查。__no_kmsan_checks与__no_sanitize_memory的区别这两个属性容易混淆属性行为__no_kmsan_checks仍保留插桩但忽略输入未初始化值、输出标记为初始化、跳过 shadow 检查__no_sanitize_memory完全禁用插桩函数内不做任何 KMSAN 追踪代价是可能丢失 shadow 信息导致误报get_freepointer_safe用的是__no_kmsan_checks属于保守选择既避免误报又保留一定的插桩语义。四、__always_inline与属性兼容性注释特别说明带__no_kmsan_checks的函数不能内联到不带该属性的函数中反之亦然。但__always_inline可以覆盖这个限制。get_freepointer_safe是static inline在非CONFIG_DEBUG_PAGEALLOC时可能被内联进普通函数。如果 KMSAN 开启且需要阻止内联编译器会按属性规则处理__always_inline则强制内联此时 KMSAN 会特殊处理。五、调用场景get_freepointer_safe()主要用在慢路径中可能推测性访问无效页的地方例如___slab_alloc()中从 per-node partial 列表取 slab 后读取其 freelist。free_debug_processing()等调试路径中遍历 freelist。典型调用来自历史补丁// 原代码 get_freepointer(s, object) // 改为 get_freepointer_safe(s, object)目的是让CONFIG_DEBUG_PAGEALLOC开启时即使访问到被标记无效的页也能安全处理。六、一句话总结get_freepointer_safe()get_freepointer()probe_kernel_read()安全读取CONFIG_DEBUG_PAGEALLOC时__no_kmsan_checks避免 KMSAN 误报。它让 SLUB 在调试配置下读取 freepointer 时既不会触发缺页异常也不会被 KMSAN 误判为未初始化值使用。 
长河君 · 2026/10/26 18:23:56 · 阅读 1.2k slub get_freepointer_safe
get_freepointer_safe是get_freepointer的安全变体用于在调试配置尤其是CONFIG_DEBUG_PAGEALLOC开启时读取空闲对象中的 freepointer同时避免触发意外的缺页错误。一、为什么需要“safe”版本get_freepointer()直接解引用object s-offset读取下一个空闲对象指针。在快速路径中SLUB 可能会推测性访问speculative access一个页该页恰好被CONFIG_DEBUG_PAGEALLOC标记为无效比如刚刚被释放回伙伴系统。如果直接用get_freepointer()解引用这块内存可能触发缺页异常page fault导致不必要的开销甚至崩溃。get_freepointer_safe()就是为了处理这种情况用probe_kernel_read()代替普通解引用读取失败时安全返回 NULL不产生异常。二、典型实现static inline void *get_freepointer_safe(struct kmem_cache *s, void *object) { void *p; #ifdef CONFIG_DEBUG_PAGEALLOC probe_kernel_read(p, (void **)(object s-offset), sizeof(p)); #else p get_freepointer(s, object); #endif return p; }关键点CONFIG_DEBUG_PAGEALLOC开启时用probe_kernel_read()安全读取。该函数会捕获缺页异常读取失败时p保持未修改通常为 NULL不会导致内核崩溃。未开启时退化为普通get_freepointer()因为页不会被标记无效无需安全保护。三、__no_kmsan_checks的含义__no_kmsan_checks static inline void *get_freepointer_safe(struct kmem_cache *s, void *object)__no_kmsan_checks是KMSANKernel Memory Sanitizer的函数属性作用是让 KMSAN忽略该函数输入中的未初始化值并将该函数的输出标记为已初始化从而避免误报。为什么需要这个属性get_freepointer_safe()读取的是空闲对象内部存储的 freepointer。在 KMSAN 的视角下对象被释放后其内存被** poison**标记为未初始化。freepointer 写入时set_freepointer()会往这块“未初始化”的内存里写数据但 KMSAN 可能无法正确追踪这种特殊的内部使用模式。如果不加__no_kmsan_checksKMSAN 可能会把 freepointer 读取结果误判为未初始化值的使用产生误报。加上这个属性后KMSAN 会忽略该函数输入object指向的内存的未初始化状态。将函数输出返回的 freepointer标记为已初始化。不在此函数内进行 shadow 检查。__no_kmsan_checks与__no_sanitize_memory的区别这两个属性容易混淆属性行为__no_kmsan_checks仍保留插桩但忽略输入未初始化值、输出标记为初始化、跳过 shadow 检查__no_sanitize_memory完全禁用插桩函数内不做任何 KMSAN 追踪代价是可能丢失 shadow 信息导致误报get_freepointer_safe用的是__no_kmsan_checks属于保守选择既避免误报又保留一定的插桩语义。四、__always_inline与属性兼容性注释特别说明带__no_kmsan_checks的函数不能内联到不带该属性的函数中反之亦然。但__always_inline可以覆盖这个限制。get_freepointer_safe是static inline在非CONFIG_DEBUG_PAGEALLOC时可能被内联进普通函数。如果 KMSAN 开启且需要阻止内联编译器会按属性规则处理__always_inline则强制内联此时 KMSAN 会特殊处理。五、调用场景get_freepointer_safe()主要用在慢路径中可能推测性访问无效页的地方例如___slab_alloc()中从 per-node partial 列表取 slab 后读取其 freelist。free_debug_processing()等调试路径中遍历 freelist。典型调用来自历史补丁// 原代码 get_freepointer(s, object) // 改为 get_freepointer_safe(s, object)目的是让CONFIG_DEBUG_PAGEALLOC开启时即使访问到被标记无效的页也能安全处理。六、一句话总结get_freepointer_safe()get_freepointer()probe_kernel_read()安全读取CONFIG_DEBUG_PAGEALLOC时__no_kmsan_checks避免 KMSAN 误报。它让 SLUB 在调试配置下读取 freepointer 时既不会触发缺页异常也不会被 KMSAN 误判为未初始化值使用。