Interleaving and lock-step semantics for analysis and verification of GPU kernels

ESOP, pp. 270-289, 2013.

Cited by: 30|Bibtex|Views9|Links
EI
Keywords:
novel methodgpu kernelunstructured control flowarbitrary reducible control flowtraditional interleaving semanticsMore(6+)

Abstract:

We study semantics of GPU kernels -- the parallel programs that run on Graphics Processing Units (GPUs). We provide a novel lock-step execution semantics for GPU kernels represented by arbitrary reducible control flow graphs and compare this semantics with a traditional interleaving semantics. We show for terminating kernels that either b...More

Code:

Data:

Your rating :
0

 

Tags
Comments