Termination Analysis for GPU Kernels

Jeroen Ketema, Alastair F. Donaldson
Department of Computing, Imperial College London, London, United Kingdom
Science of Computer Programming, 2017


   title={Termination analysis for GPU kernels},

   author={Ketema, Jeroen and Donaldson, Alastair F},

   journal={Science of Computer Programming},




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




We describe a thread-modular technique for proving termination of massively parallel GPU kernels. The technique reduces the termination problem for these kernels to a sequential termination problem by abstracting the shared state, and as such allows us to leverage termination analysis techniques for sequential programs. An implementation in KITTeL is able to show termination of 94% of 604 kernels collected from various sources.
Rating: 1.5/5. From 2 votes.
Please wait...

* * *

* * *

HGPU group © 2010-2021 hgpu.org

All rights belong to the respective authors

Contact us: