PV1 GPUDrano, sometimes stylized as GPU Dranodetects uncoalesced memory accesses in CUDA programs

Static analysis tool to detect uncoalesced global memory accesses in CUDA programs

Application domain/field

Type of tool

Bug detector?

Expected input

LLVM IR

Format:

.ll file(s)

Expected output

GPUDrano will report all accesses that might be uncoalesced for each GPU kernel.

Internals

Load and store instructions that reference the GPU's global memory, should obey a certain structure to ensure optimal performance. If not, it might result in underutilization and performance problems. GPUDrano tries to find uncoalesced accesses. Uncoalesced memory accesses occur when the the memory accesses are not contained within a single cache block.
CUDA

Links

Repository: https://github.com/upenn-acg/gpudrano-static-analysis_v1.0

Related papers

GPUDrano: Detecting Uncoalesced Accesses in GPU Programs (CAV '17)

Last publication date

13 July 2017

Related tools

GKLEE, PUG

ProVerB specific



ProVerB is a part of SLEBoK. Last updated: February 2023.