×

豆腐

swMATH ID: 28763
软件作者: 彭元丰;格罗弗、维诺;约瑟夫·德维埃蒂
描述: CURD:动态CUDA种族检测器。随着GPU成为几乎所有处理器不可或缺的一部分,GPU编程变得越来越流行。GPU编程需要极端级别的并行性和低级编程的结合,从而很容易出现诸如数据竞争之类的并发错误。由于现代GPU上并发运行大量线程,这些共通性错误可能非常微妙,难以调试。虽然有一些工具可以检测GPU程序中的数据竞争,但它们通常速度慢得令人望而却步,或者只关注共享内存中的一小部分数据竞争。与之前的工作相比,我们的竞争检测器CURD可以精确地检测共享内存和全局内存上的数据竞争,根据程序中使用的同步选择适当的竞争检测算法,并利用高效的编译器工具来降低性能开销。在53个基准测试中,我们发现使用CURD比本机执行平均慢2.88倍。CURD比Nvidia的CUDA-Racecheck种族检测器快2.1倍,尽管检测的种族种类要广得多。CURD在我们的基准测试中发现了35个比赛,包括已建立的基准测试套件和Nvidia的示例程序中的错误。
主页: https://dl.acm.org/citation.cfm?id=3192368
依赖项: CUDA公司
相关软件: CUDA公司;GPU验证;GM种族;巴拉库达;GKLEE公司;G空间;布吉;KLEE-FP公司;有限责任公司;TensorFlow公司;ThunderSVM公司;L检测器;柯迪;Gunrock公司;M阴影;开放运算语言;CUDPP公司;CudaSift公司;阵列火力;赛马检查
引用于: 1文件

0连载引用

在1个字段中引用

1 计算机科学(68至XX)

按年份列出的引文