Forward dependencies (kernel 2)

A kernel program (written in PVL) with forward dependencies. Barrier synchronisation is used to redistribute permissions for this. This program currently does not verify due to refactoring of the Chalice back-end (we will use Silicon from now).

General information

ID10
Articlenone
Back-endChalice
LanguagePVL
FeaturesArrays, Barriers, GPU Kernels
Sources
Path to example filearrays/forward-dep.pvl
Date2017-06-15

Statistical information

Lines of code39 lines (comments not included)
Lines of specification18 lines (46.15% of the total)
Computation timeunknown

Example code

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