GPUVerify is a tool for formal analysis of GPU kernels written in OpenCL and CUDA. The tool can prove that kernels are free from certain types of defect, such as data races and bugs. This is quite useful feedback for any GPU-programmer.
Below you find a online version of the tool (please don’t break it!). Play around and test your kernels. Be aware the number of groups is the global worksize divided by local worksize.
For demo-purposes some values have been pre-filled with a simple kernel – press “Check my OpenCL kernel” to find the results. Did you expect this from this kernel? Can you explain the result?
After the LEAP-conference I’ll extend this article – till then I’m too time-limited. For now I wanted to share the online version with you, especially with the people who will attend the tutorial at LEAP. Be sure to check out the GPUVerify website and paper to learn more about this fantastic tool!
Related Posts
OpenCL vs CUDA Misconceptions
... year I explained the main differences between CUDA and OpenCL. Now I want to get some old (and partly) false stories ...
NVIDIA ended their support for OpenCL in 2012
... for the samples in one zip-file, scroll down. The removed OpenCL-PDFs are also available for download. This sentence ...
IWOCL 2017 – all the talks
... the PDF. Heterogeneous Computing Using Modern C++ with OpenCL Devices - Rod Burns and Ruyman Reyes (Codeplay) This hands-on ...
How to install OpenCL on Windows
... your Windows machine ready for OpenCL is rather straightforward. In short, you only need the latest drivers ... GPUs, ...