OMPSan: Static Verification of OpenMP's Data Mapping Constructs
OMPSan: Static Verification of OpenMP's Data Mapping Constructs
复制标题
OMPSan：OpenMP 数据映射结构的静态验证
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Vivek Sarkar
中科院分区：
文献类型：
--
作者：
Prithayan Barua;J. Shirako;Whitney Tsang;Jeeva Paudel;Wang Chen;Vivek Sarkar
OpenMP提供了将计算从CPU主机卸载到GPU等加速器设备的指令。一个关键的潜在挑战是有效地管理数据在主机和加速器之间的移动。用户经验表明，在具有卸载功能的OpenMP程序中进行内存管理是非常重要的，而且容易出错。
OpenMP offers directives for offloading computations from CPU hosts to accelerator devices such as GPUs. A key underlying challenge is in efficiently managing the movement of data across the host and the accelerator. User experiences have shown that memory management in OpenMP programs with offloading capabilities is non-trivial and error-prone.