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.

General information

ID34
Articlenone
Back-endSilicon
LanguagePVL
FeaturesArrays, Barriers, GPU Kernels, Loop parallelisations
Sources
Path to example filecarp/forward-host.pvl
Date2017-06-15

Statistical information

Lines of code72 lines (comments not included)
Lines of specification27 lines (37.5% of the total)
Computation time45850 milliseconds

Example code

Note, verification may take a while and has a time-out of 20 seconds.