A framework for dynamically instrumenting GPU compute applications within GPU Ocelot