We present a simple compilation strategy for safety-checking array indexing in high-level languages on GPUs. Our technique does not depend on hardware support for abnormal termination, and is designed to be efficient in the non-failing case. We rely on certain properties of array languages, namely the absence of arbitrary cross-thread communication, to ensure well-defined execution in the presence of failures. We have implemented our technique in the compiler for the functional array language Futhark, and an empirical evaluation on 19 benchmarks shows that the geometric mean overhead of checking array indexes is respectively 4% and 6% on two different GPUs.

我们提供了一种简单的编译策略，用于在GPU上使用高级语言对数组索引进行安全检查。我们的技术不依赖于异常终止的硬件支持，并且在非失败情况下被设计为高效的。我们依赖于数组语言的某些属性，即不存在任意的跨线程通信，以确保在出现故障时执行明确的执行。我们已经在函数数组语言Futhark的编译器中实现了我们的技术，对19个基准的经验评估表明，在两个不同的GPU上检查数组索引的几何平均开销分别为4％和6％。