DeviceMemory benchmark

[jeroenk]

This is maybe not really an issue, but it seems that all three of the write benchmarks from the DeviceMemory benchmark have write/write data races (different threads will write to the same array position in each of these benchmarks). It this intentional?