[gpuhacker]

It also assumes all reads and writes are volatile. In the real world, threads can witness out-of-order execution in different threads.