期刊
ACM SIGPLAN NOTICES
卷 50, 期 6, 页码 65-76出版社
ASSOC COMPUTING MACHINERY
DOI: 10.1145/2813885.2737986
关键词
Compilers; OpenCL; GPUs; random testing; metamorphic testing; concurrency
资金
- EU FP7 CARP project, Imperial College's UROP programme
- EPSRC [EP/K039431/1]
- GCHQ studentship
- EPSRC [EP/K011499/1, EP/I006761/1, EP/K039431/1] Funding Source: UKRI
- Engineering and Physical Sciences Research Council [EP/I006761/1, EP/K503733/1, EP/K039431/1, EP/K011499/1] Funding Source: researchfish
We address the compiler correctness problem for many-core systems through novel applications of fuzz testing to OpenCL compilers. Focusing on two methods from prior work, random differential testing and testing via equivalence modulo inputs (EMI), we present several strategies for random generation of deterministic, communicating OpenCL kernels, and an injection mechanism that allows EMI testing to be applied to kernels that otherwise exhibit little or no dynamically-dead code. We use these methods to conduct a large, controlled testing campaign with respect to 21 OpenCL (device, compiler) configurations, covering a range of CPU, GPU, accelerator, FPGA and emulator implementations. Our study provides independent validation of claims in prior work related to the effectiveness of random differential testing and EMI testing, proposes novel methods for lifting these techniques to the many-core setting and reveals a significant number of OpenCL compiler bugs in commercial implementations.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据