定义分配/释放跟踪的枚举以及sysfs / debugfs 接口的编译期桩函数。一、跟踪项枚举enum track_item { TRACK_ALLOC, TRACK_FREE };配合上一段的struct track使用。SLUB 在开启SLAB_STORE_USER调试标志后会在每个对象关联一个struct track数组记录该对象最近的操作历史。track_item标明这次记录的是哪种操作值含义TRACK_ALLOC记录“分配”事件写入是谁、在哪、何时分配了这个对象TRACK_FREE记录“释放”事件写入是谁、在哪、何时释放了这个对象典型用法// 分配时 set_track(s, object, TRACK_ALLOC); // 释放时 set_track(s, object, TRACK_FREE);set_track()内部会填充struct track的addr、handle、cpu、pid、when字段并调用save_stack()或save_stack_depot()保存调用栈。为什么是数组TRACK_ADDRS_COUNT 16说明这不是单个记录而是每个对象一小段历史。常见设计是struct track { ... } track[TRACK_ADDRS_COUNT]; // 或按 track_item 索引更准确地说SLUB 通常为每个对象维护最近 16 次操作的环形记录在CONFIG_SLUB_DEBUG且SLAB_STORE_USER下通过struct track数组按TRACK_ADDRS_COUNT组织用来追溯对象被谁分配、谁释放是否重复释放是否释放后又被使用结合 poison内存泄漏时最后一次分配者是谁TRACK_ALLOC/TRACK_FREE就是区分这些历史记录的标签。二、sysfs 接口的条件编译#ifdef SLAB_SUPPORTS_SYSFS static int sysfs_slab_add(struct kmem_cache *); static int sysfs_slab_alias(struct kmem_cache *, const char *); #else static inline int sysfs_slab_add(struct kmem_cache *s) { return 0; } static inline int sysfs_slab_alias(struct kmem_cache *s, const char *p) { return 0; } #endif背景/sys/kernel/slab/SLUB 会为每个 kmem_cache在 sysfs 下创建条目路径通常是/sys/kernel/slab/cache_name/里面暴露属性如object_size、objs_per_slab、order、slabs、objects、cpu_partial、partial、aliases、shrink、trace等用于查看和调优每个缓存。sysfs_slab_add()负责注册一个缓存对应的 sysfs 目录和属性。sysfs_slab_alias()负责创建别名当两个缓存因为合并CONFIG_SLAB_MERGE_DEFAULT而实际共用同一个底层缓存时sysfs 下通过别名指向同一个目录避免重复创建。SLAB_SUPPORTS_SYSFS这个宏由体系结构或配置决定是否支持 slab sysfs 接口。支持时声明真正的函数原型定义在mm/slub.c的后面或mm/slab_common.c不支持时提供空的内联桩static inline int sysfs_slab_add(struct kmem_cache *s) { return 0; } static inline int sysfs_slab_alias(struct kmem_cache *s, const char *p) { return 0; }桩函数返回 0调用点如kmem_cache_create里无需#ifdef代码更干净且不支持的平台上调用完全被优化掉。这是内核里很常见的“接口 空桩”模式把条件编译集中在头文件业务代码统一调用。三、debugfs 接口的条件编译#if defined(CONFIG_DEBUG_FS) defined(CONFIG_SLUB_DEBUG) static void debugfs_slab_add(struct kmem_cache *); #else static inline void debugfs_slab_add(struct kmem_cache *s) { } #endif背景/sys/kernel/debug/slab/debugfs 提供更偏调试的接口sysfs 是稳定 ABIdebugfs 不是。SLUB 在 debugfs 下创建条目用于导出更详细的调试信息提供运行时调试控制如动态开启/关闭某些缓存的调试debugfs_slab_add()就是为缓存创建 debugfs 条目。条件需要同时满足CONFIG_DEBUG_FS内核编译了 debugfs 支持。CONFIG_SLUB_DEBUG编译了 SLUB 调试支持。任一不满足就退化为空的内联桩函数。和 sysfs 一样调用点无需#ifdef。两者的对称结构接口条件支持时不支持时sysfs_slab_add/sysfs_slab_aliasSLAB_SUPPORTS_SYSFS真函数返回 0 的 inline 桩debugfs_slab_addCONFIG_DEBUG_FS CONFIG_SLUB_DEBUG真函数空 inline 桩这种对称性说明 SLUB 同时维护两套用户/调试可见接口sysfs 面向稳定观测和调优debugfs 面向深度调试。四、几句话串联kmem_cache_create() └─ sysfs_slab_add(s) // 创建 /sys/kernel/slab/name/ └─ debugfs_slab_add(s) // 创建 debugfs 条目仅调试配置 分配/释放对象开启 SLAB_STORE_USER └─ set_track(s, obj, TRACK_ALLOC / TRACK_FREE) └─ struct track { addr, handle, cpu, pid, when }track_item和struct track是调试追踪的一部分记录对象生命周期。sysfs_slab_add/debugfs_slab_add是观测接口把缓存信息暴露给用户空间。五、一句话总结enum track_item { TRACK_ALLOC, TRACK_FREE }标记struct track记录的是分配还是释放事件用于对象生命周期追踪。sysfs 部分支持SLAB_SUPPORTS_SYSFS时用真函数注册/sys/kernel/slab/条目和别名否则用返回 0 的 inline 桩消除调用点的条件编译。debugfs 部分仅在CONFIG_DEBUG_FS CONFIG_SLUB_DEBUG时提供debugfs_slab_add()否则空桩。
定义分配/释放跟踪的枚举以及sysfs / debugfs 接口的编译期桩函数。一、跟踪项枚举enum track_item { TRACK_ALLOC, TRACK_FREE };配合上一段的struct track使用。SLUB 在开启SLAB_STORE_USER调试标志后会在每个对象关联一个struct track数组记录该对象最近的操作历史。track_item标明这次记录的是哪种操作值含义TRACK_ALLOC记录“分配”事件写入是谁、在哪、何时分配了这个对象TRACK_FREE记录“释放”事件写入是谁、在哪、何时释放了这个对象典型用法// 分配时 set_track(s, object, TRACK_ALLOC); // 释放时 set_track(s, object, TRACK_FREE);set_track()内部会填充struct track的addr、handle、cpu、pid、when字段并调用save_stack()或save_stack_depot()保存调用栈。为什么是数组TRACK_ADDRS_COUNT 16说明这不是单个记录而是每个对象一小段历史。常见设计是struct track { ... } track[TRACK_ADDRS_COUNT]; // 或按 track_item 索引更准确地说SLUB 通常为每个对象维护最近 16 次操作的环形记录在CONFIG_SLUB_DEBUG且SLAB_STORE_USER下通过struct track数组按TRACK_ADDRS_COUNT组织用来追溯对象被谁分配、谁释放是否重复释放是否释放后又被使用结合 poison内存泄漏时最后一次分配者是谁TRACK_ALLOC/TRACK_FREE就是区分这些历史记录的标签。二、sysfs 接口的条件编译#ifdef SLAB_SUPPORTS_SYSFS static int sysfs_slab_add(struct kmem_cache *); static int sysfs_slab_alias(struct kmem_cache *, const char *); #else static inline int sysfs_slab_add(struct kmem_cache *s) { return 0; } static inline int sysfs_slab_alias(struct kmem_cache *s, const char *p) { return 0; } #endif背景/sys/kernel/slab/SLUB 会为每个 kmem_cache在 sysfs 下创建条目路径通常是/sys/kernel/slab/cache_name/里面暴露属性如object_size、objs_per_slab、order、slabs、objects、cpu_partial、partial、aliases、shrink、trace等用于查看和调优每个缓存。sysfs_slab_add()负责注册一个缓存对应的 sysfs 目录和属性。sysfs_slab_alias()负责创建别名当两个缓存因为合并CONFIG_SLAB_MERGE_DEFAULT而实际共用同一个底层缓存时sysfs 下通过别名指向同一个目录避免重复创建。SLAB_SUPPORTS_SYSFS这个宏由体系结构或配置决定是否支持 slab sysfs 接口。支持时声明真正的函数原型定义在mm/slub.c的后面或mm/slab_common.c不支持时提供空的内联桩static inline int sysfs_slab_add(struct kmem_cache *s) { return 0; } static inline int sysfs_slab_alias(struct kmem_cache *s, const char *p) { return 0; }桩函数返回 0调用点如kmem_cache_create里无需#ifdef代码更干净且不支持的平台上调用完全被优化掉。这是内核里很常见的“接口 空桩”模式把条件编译集中在头文件业务代码统一调用。三、debugfs 接口的条件编译#if defined(CONFIG_DEBUG_FS) defined(CONFIG_SLUB_DEBUG) static void debugfs_slab_add(struct kmem_cache *); #else static inline void debugfs_slab_add(struct kmem_cache *s) { } #endif背景/sys/kernel/debug/slab/debugfs 提供更偏调试的接口sysfs 是稳定 ABIdebugfs 不是。SLUB 在 debugfs 下创建条目用于导出更详细的调试信息提供运行时调试控制如动态开启/关闭某些缓存的调试debugfs_slab_add()就是为缓存创建 debugfs 条目。条件需要同时满足CONFIG_DEBUG_FS内核编译了 debugfs 支持。CONFIG_SLUB_DEBUG编译了 SLUB 调试支持。任一不满足就退化为空的内联桩函数。和 sysfs 一样调用点无需#ifdef。两者的对称结构接口条件支持时不支持时sysfs_slab_add/sysfs_slab_aliasSLAB_SUPPORTS_SYSFS真函数返回 0 的 inline 桩debugfs_slab_addCONFIG_DEBUG_FS CONFIG_SLUB_DEBUG真函数空 inline 桩这种对称性说明 SLUB 同时维护两套用户/调试可见接口sysfs 面向稳定观测和调优debugfs 面向深度调试。四、几句话串联kmem_cache_create() └─ sysfs_slab_add(s) // 创建 /sys/kernel/slab/name/ └─ debugfs_slab_add(s) // 创建 debugfs 条目仅调试配置 分配/释放对象开启 SLAB_STORE_USER └─ set_track(s, obj, TRACK_ALLOC / TRACK_FREE) └─ struct track { addr, handle, cpu, pid, when }track_item和struct track是调试追踪的一部分记录对象生命周期。sysfs_slab_add/debugfs_slab_add是观测接口把缓存信息暴露给用户空间。五、一句话总结enum track_item { TRACK_ALLOC, TRACK_FREE }标记struct track记录的是分配还是释放事件用于对象生命周期追踪。sysfs 部分支持SLAB_SUPPORTS_SYSFS时用真函数注册/sys/kernel/slab/条目和别名否则用返回 0 的 inline 桩消除调用点的条件编译。debugfs 部分仅在CONFIG_DEBUG_FS CONFIG_SLUB_DEBUG时提供debugfs_slab_add()否则空桩。
)
)
平方复杂度无法被常规优化消除｜TaoToken 统一 Key 通道实测)
