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

  • Backend: Silicon
  • Language: PVL
  • Features: GPU Kernels, Arrays, Barriers, Loop parallelisations
  • Path to Example File: carp/forward-host.pvl
  • Should Verify: Yes
  • Date: 2017-06-15
  • Lines of Code: 72 (comments not included)
  • Lines of Specification: 27 (37.5% of total)
  • Computation Time: 45.9 seconds