Kernel with host code
Verification example of a GPU kernel, written in PVL, together with host code. Moreover, the kernel has a forward dependency in its execution, and a barrier is used there to redistribute permissions.
|Features||Arrays, Barriers, GPU Kernels, Loop parallelisations|
|Path to example file||carp/forward-host.pvl|
|Lines of code||72 lines (comments not included)|
|Lines of specification||27 lines (37.5% of the total)|
|Computation time||45850 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.