GM种族 swMATH ID: 28764 软件作者： M.Zheng、V.T.Ravi、F.Qin、G.Agrawal 描述： GMRace：通过低覆盖方案检测GPU程序中的数据竞争。近年来，GPU已成为实现高性能的一种极具成本效益的手段。虽然CUDA和OpenCL等语言简化了非图形应用程序的GPU编程，但它们仍然是显式并行语言。所有并行程序员，尤其是新手，都需要能够帮助确保程序正确性的工具。与任何多线程环境一样，GPU上的数据竞争会严重影响程序的可靠性。在本文中，我们提出了GMRace，一种用于检测GPU程序中竞争的新机制。GMRace将静态分析与精心设计的动态检查器相结合，用于在运行时记录和分析信息。我们的设计利用GPU内存层次结构高效地记录运行时数据访问。为了提高性能，GMRace利用静态分析来减少需要检测的语句数量。此外，通过利用线程调度和底层GPU中的执行模型的知识，GMRace可以准确检测数据竞争，而不会报告误报。我们的实验结果表明，与以前的方法相比，GMRace在检测评估案例中的竞争方面更有效，并且产生的运行时和空间开销更少 主页： https://dl.acm.org/citation.cfm？id=2553592 相关软件： GPU验证;豆腐;巴拉库达;GKLEE公司;G空间;CUDA公司;布吉;KLEE-FP公司;LLVM公司;TensorFlow公司;ThunderSVM公司;L探测器;柯迪;Gunrock公司;M阴影;开放运算语言;库普;CudaSift公司;阵列火力;赛马检查 引用于： 1文件 4位作者引用 1 蒂亚戈·科古姆布雷罗 1 朱利安·兰格 1 荣，Dennis Liew Zhen 1 汉娜·齐卡雷利 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文