OneDNN中跨原语共享Scratchpad的技术实现解析
2025-06-18 05:04:02作者:羿妍玫Ivan
背景与核心问题
在深度学习框架的底层优化中,OneDNN作为Intel推出的高性能计算库,其内存管理机制对性能有着决定性影响。开发者在实现自定义原语时,常会遇到需要在前向传播(forward)和反向传播(backward)之间共享临时内存的场景。本文针对Scratchpad(临时工作缓冲区)的跨原语复用问题,深入剖析技术原理和解决方案。
Scratchpad与Workspace的本质区别
OneDNN中存在两种易混淆的内存缓冲区:
-
Workspace
- 专为训练场景设计,在forward和backward之间持久化存在
- 由库自动管理生命周期,必须保持有效直到反向传播完成
- 典型应用:卷积运算中的中间梯度数据缓存
-
Scratchpad
- 临时性工作内存,仅存在于单次原语执行期间
- 可配置为库管理或用户管理模式
- 适用于任何传播类型(forward/inference/backward)
跨原语共享的技术挑战
当开发者尝试通过hint_fwd_pd传递原始指针时出现指针失效现象,这源于OneDNN的内存管理机制:
- Scratchpad默认在primitive执行完成后立即释放
- 直接传递裸指针会违反OneDNN的内存所有权模型
- 原语间的执行存在隐式内存屏障
解决方案与最佳实践
方案一:使用用户管理的Scratchpad
// 创建用户管理的scratchpad
memory::desc scratchpad_desc(...);
memory scratchpad_mem(scratchpad_desc, engine);
// 通过属性绑定到多个原语
primitive_attr attr;
attr.set_scratchpad_mode(scratchpad_mode::user);
// 前向和反向原语共享同一内存
forward_primitive(..., attr);
backward_primitive(..., attr, scratchpad_mem);
方案二:Workspace替代方案
对于必须持久化的数据:
- 在primitive_desc创建时声明需要workspace
- 通过
query_workspace获取内存需求 - 显式维护workspace内存的生命周期
关键注意事项
- 避免直接传递裸指针,使用OneDNN的内存抽象层
- 对于短期重用的临时缓冲区,优先考虑scratchpad
- 需要长期保持的数据应使用workspace
- 注意不同原语执行间的内存依赖关系
性能优化建议
- 内存复用:通过memory对象池减少重复分配
- 对齐配置:确保scratchpad满足硬件对齐要求
- 大小预估:使用
query_s64提前获取内存需求 - 异步执行:配合stream控制内存可见性
总结
OneDNN通过精细的内存管理机制平衡了性能与安全性。理解scratchpad和workspace的设计哲学,掌握其正确的共享方式,能够帮助开发者在保持内存安全的前提下实现极致的计算性能。对于需要跨原语共享临时数据的场景,建议优先采用用户管理的scratchpad模式,并通过OneDNN提供的标准接口进行内存传递,这既符合库的设计规范,也能获得最佳的性能表现。
登录后查看全文
热门项目推荐
相关项目推荐
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C080
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python056
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0131
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00
项目优选
收起
deepin linux kernel
C
27
11
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
464
3.45 K
Ascend Extension for PyTorch
Python
272
310
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
192
79
暂无简介
Dart
714
171
React Native鸿蒙化仓库
JavaScript
284
331
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
844
424
华为昇腾面向大规模分布式训练的多模态大模型套件,支撑多模态生成、多模态理解。
Python
105
120
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
10
1
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.26 K
692