高效 OpenMP 离载数据映射的静态生成

HPC 架构的日益异构性和编译器的进步，使得 OpenMP 频繁用于实现异构设备上的计算。然而，异构计算平台上数据的高效传输对于实现高资源利用率至关重要。程序员必须显式地在主机和连接的加速器设备之间映射数据，以实现高效的数据传输。确保高效数据传输需要程序员推理复杂的数据流。这可能是一项繁琐且容易出错的过程，因为程序员必须保持跨多个数据环境的数据有效性和生命周期的心智模型。我们提出了一种静态分析工具 OMPDart（OpenMP 数据归约工具），用于 OpenMP 程序，该工具建模主机和设备区域之间的数据依赖关系，并对源代码应用转换以实现高效的数据传输。我们在九个 HPC 基准测试中的评估表明，OMPDart 能够生成有效的数据映射 construct，从而显著减少主机和设备之间的数据传输。