slub slab_pad_check-北京尧图网络

slab_pad_check()是 SLUB 调试中用于校验整个 slab 页尾部填充区的函数。与上一问的check_pad_bytes()校验单个对象内部的 padding不同它检查的是最后一个对象之后、到 slab 页结束那段空间。一、函数签名static pad_check_attributes void slab_pad_check(struct kmem_cache *s, struct slab *slab)项含义pad_check_attributes编译器属性避免 sanitizer 误报同check_bytes_and_reports缓存slab要检查的 slab 页无返回值。二、典型实现static pad_check_attributes void slab_pad_check(struct kmem_cache *s, struct slab *slab) { u8 *end; if (!(s-flags SLAB_POISON)) return; end slab_address(slab) (PAGE_SIZE oo_order(s-oo)); end - sizeof(void *); // 末尾可能残留 freepointer 空间 ... }核心思路门控未开SLAB_POISON直接返回。算出 slab 页末尾地址slab_address(slab)slab 页起始。PAGE_SIZE oo_order(s-oo)slab 总字节数2^order个页。相加得到 slab 页结束地址。计算最后一个对象的结束位置slab_address objects * s-size。检查两者之间的空隙这段是 slab 页尾部 padding正常应填POISON_FREE。发现异常则报告恢复用slab_err()/restore_bytes()。三、与check_pad_bytes()的区别函数检查范围期望值触发条件check_pad_bytes()单个对象内部元数据后到对象槽位结束POISON_INUSESLAB_POISONslab_pad_check()整个 slab 页尾部最后一个对象后到页结束POISON_FREESLAB_POISONslab 页布局 -------------------------------- ... -------------------------------- | 对象 0 | 对象 1 | | 对象 N-1 | 页尾 padding | -------------------------------- ... -------------------------------- ^ ^ ^ slab_address objects*size 页结束 └── slab_pad_check 检查 ──┘check_pad_bytes()检查每个对象槽位内部的填充用户数据后到s-size。slab_pad_check()检查整个 slab 页最后一个对象之后到页结束的填充。四、为什么需要检查 slab 页尾slab 页大小是2^order个页所有对象按s-size排列后剩余空间就是页尾 padding。这段空间正常填POISON_FREE。如果被越界写破坏如某对象写超出自身槽位、freelist 操作越界这里会留下痕迹。检查它能发现跨对象、跨槽位的越界写是对象内部 padding 检查的补充。五、典型实现细节更完整的实现可能static pad_check_attributes void slab_pad_check(struct kmem_cache *s, struct slab *slab) { u8 *start; u8 *end; u8 *p; unsigned int length; if (!(s-flags SLAB_POISON)) return; start slab_address(slab); end start (PAGE_SIZE oo_order(s-oo)); // 最后一个对象的结束位置 p start slab-objects * s-size; length end - p; if (!length) return; check_bytes_and_report(s, slab, p, Slab tail padding, p, POISON_FREE, length, false); }start/endslab 页范围。p start objects * s-size所有对象结束位置。length end - p页尾 padding 长度。交给check_bytes_and_report()检查POISON_FREE发现破坏则报告 restore_bytes()恢复。slab_obj_print false页尾 padding 出错时只需 slab 级信息不用打印整个对象现场。六、调用时机slab_pad_check()通常在slab 页级一致性校验里调用static int validate_slab(struct kmem_cache *s, struct slab *slab, ...) { ... slab_pad_check(s, slab); ... }或check_slab()里static int check_slab(struct kmem_cache *s, struct slab *slab) { ... slab_pad_check(s, slab); ... }它在对象级校验check_object→check_pad_bytes之外提供页级的填充完整性检查。七、与前面知识的呼应前面讲过这里体现check_bytes_and_report()slab_pad_check底层调用的校验函数check_pad_bytes()对象内部 padding 检查与本函数互补restore_bytes()发现破坏后恢复SLAB_POISON门控条件oo_order(s-oo)算 slab 页大小slab_address()取 slab 页起始地址slab-objects/s-size算对象区结束位置POISON_FREE页尾 padding 期望值pad_check_attributes避免 sanitizer 误报八、一句话总结slab_pad_check(s, slab)在开启SLAB_POISON时检查 slab 页中最后一个对象之后到页结束的尾部填充区是否仍为POISON_FREE发现破坏则报告并恢复。它与check_pad_bytes()对象内部 padding互补共同覆盖 slab 页内所有“无用空间”用于检测越界写。

slub slab_pad_check

相关推荐

第 1 篇｜路线抉择：奥拓升级，还是换新能源？

二区医学期刊，免疫学和细胞生物学SCI，审稿效率，影响因子5+

〖跨境物流架构 04〗清关状态机：三单对碰、退单重报与回执的工程实现

更多资讯

Agent沙盒技术对比与实践指南

线性代数知识点总结：行列式、矩阵、秩与线性方程组串讲

Pallas与DeepHelix：两大AI引擎架构对比与应用场景解析

Python项目标准化脚手架：Cookiecutter实战指南

Python项目脚手架工具指南：从入门到实战

专科生论文写作工具评测与高效使用指南

今日更新

学生选课系统DFD图绘制指南：边界划分与分层校验实战

JIRA敏捷落地：Scrum角色权限、Sprint与燃尽图避坑指南

SEMI S8人机工程验收实战：从条款拆解到现场实测的完整指南

本周精选

防幻觉智能体架构：电源硬件设计中的大模型编排与工具化实践

OpenGL面试核心考点：渲染管线、矩阵变换与性能排查全解析

全国计算机二级C语言真题PDF高效刷题指南

本月热门

我发现了一个新思路：用 Remotion + Claude Code 像写代码一样自动化生成短视频

Windows下 Codex 中 Chrome 和 Computer Use 插件不可用问题排查及解决参考方式：TaoToken 统一 Key 配置与验证

2026 大模型集体涨价：用 Python 做企业 Token 成本测算与选型避坑（附配置）

读完文章，想聊聊您的网站？