×

Simulee公司

swMATH ID: 28756
软件作者: 吴明元、周虎生、张玲明、刘聪、张玉群
描述: 表征和检测CUDA程序错误。虽然CUDA已成为通用GPU计算的主要并行计算平台和编程模型,但CUDA引发的错误模式尚未得到很好的探索。在本文中,我们进行了首次实证研究,根据GitHub中5个流行的CUDA项目中发现的319个错误,揭示了CUDA程序错误模式的重要类别。我们的发现表明,CUDA特定的特性可能会导致程序错误,例如很难检测的同步错误。为了有效地检测此类同步错误,我们建立了第一个轻量级通用CUDA错误检测框架Simulee,通过解释相应的llvm字节码并收集内存访问信息来模拟CUDA程序的执行,从而自动检测CUDA同步错误。为了评估simule的有效性和效率,我们进行了一系列实验,实验结果表明,simule可以检测到27个研究的同步错误中的20个,并成功检测到26个先前未知的同步错误,其中10个已被开发人员确认。
主页: https://arxiv.org/abs/1905.01833
源代码:  https://github.com/Lebronmydx/Simulee网站
关键词: 软件工程;arXiv_cs。东南方;CUDA公司;CUDA程序错误;GPU计算;Simulee公司
相关软件: TensorFlow公司;G空间;GM种族;ThunderSVM公司;豆腐;L探测器;GKLEE公司;柯迪;Gunrock公司;巴拉库达;M阴影;开放运算语言;CUDPP公司;CudaSift公司;GPU验证;阵列火力;赛马检查;github;CUDA公司
引用于: 0个文档

标准条款

1出版物描述软件 年份
CUDA程序错误的特征描述和检测arXiv公司
吴明元、周虎生、张玲明、刘聪、张玉群
2019