巴拉库达 swMATH ID: 28761 软件作者： 阿里尔·艾森伯格（Ariel Eizenberg）、彭元峰（Yuanfeng Peng）、托马·皮格利（Toma Pigli）、威廉·曼斯基（William Mansky）、约瑟夫·迪维蒂（Joseph Devietti） 说明： BARRACUDA：CUDA程序中运行时RAces的二进制级分析。GPU编程模型支持并鼓励使用超过一百万个线程进行大规模并行编程，需要极度并行才能获得良好的性能。随着线程交错数量的增加，大量并行性增加了出现错误的可能性，从而带来了巨大的正确性挑战。传统的动态安全分析很难达到这个规模。我们介绍了BARRACUDA，它是用Nvidia的CUDA语言编写的GPU程序的并发错误检测器。与以前的工作相比，BARRACUDA处理更广泛的并行结构，包括分支操作、低级原子和内存围栏，这使BARRACUDA能够检测新的并发错误类别。BARRACUDA在二进制级别运行，以提高与现有代码的兼容性，利用可扩展到其他动态分析的新二进制工具框架。BARRACUDA集成了许多新的优化，这些优化对于将并发错误检测扩展到一百多万个线程至关重要。 主页： https://dl.acm.org/citation.cfm？id=3062342 源代码： https://github.com/stilltracy/Barracuda-tests网址 依赖项： CUDA公司 相关软件： GPU验证;GM种族;凝乳;GKLEE公司;G空间;CUDA公司;布吉;KLEE-FP公司;有限责任公司;TensorFlow公司;ThunderSVM公司;L探测器;柯迪;Gunrock公司;M阴影;开放运算语言;CUDPP公司;CudaSift公司;阵列火力;赛马检查 引用于： 1文件 4位作者引用 1 蒂亚戈·科古姆布雷罗 1 朱利安·兰格 1 荣，Dennis Liew Zhen 1 汉娜·齐卡雷利 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文