GKLEE公司

GKLEE:gpu的同源验证和测试生成。为gpu编写的程序通常包含正确性错误,例如争用、死锁,或者可能计算出错误的结果。现有的调试工具由于其有限的输入空间和执行空间探索而常常忽略这些错误。基于保守静态分析或SIMD并发性保守建模的现有工具会生成错误警报,从而导致错误查找的浪费。它们通常也不针对性能缺陷(非合并内存访问、内存库冲突和发散扭曲)。我们提供了一个称为GKLEE的新框架,它可以分析C++GPU程序,找出上述正确性和性能缺陷。对于这些程序,GKLEE还可以自动生成提供高覆盖率的测试。这些测试为每一个报告的bug提供了具体的证据。它们还可以用于下游调试,例如在实际硬件上测试内核。我们描述了GKLEE的体系结构,它的符号虚拟机模型,并描述了它在商业SDK内核上检测到的以前未知的错误和性能问题。我们描述了GKLEE的测试用例简化启发式方法,以及对给定覆盖目标的可伸缩性改进。

这个软件也是同行评审按日记帐汤姆斯.