Verify your OpenCL and CUDA kernels online for race conditions

gpuverifyGPUVerify 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

stocks

Improving FinanceBench for GPUs Part II – low hanging fruit

...  + fixes (Done)High-hanging fruit for both CPU and GPUOpenCL / SYCL portExtending algorithms. Any financial company can sponsor ...

FIA_F1_Austria_2018_Nr._33_Verstappen

The Art of Benchmarking

...  fast is your software? The simpler the software setup, the easier to answer this ...  stopwatch-number. Going back to F1 - ...

5yearsSC

Birthday present! Free 1-day Online GPGPU crash course: CUDA / HIP / OpenCL

...  years ago... Setup of the training Getting your mind tuned from CPU-focused to GPU-focused is half the work. This is ...

network-of-boxes

Problem solving tactic: making black boxes smaller

We are a problem solving company first, specialised in HPC - building software close to the processor. The more projects we finish, the more it's clea ...