Bounds Checking on GPU

Troels Henriksen
University of Copenhagen
13th International Symposium on High-level Parallel Programming and Applications (HLPP), 2020


   title={Bounds Checking on GPU},

   author={Henriksen, Troels},



Download Download (PDF)   View View   Source Source   Source codes Source codes




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.
No votes yet.
Please wait...

Recent source codes

* * *

* * *

HGPU group © 2010-2024 hgpu.org

All rights belong to the respective authors

Contact us: