The order of operations is not deterministic but out of order execution is reality.

This is very effective at generating races. I can make it guaranteed that multiple threads attempt to access the critical section at once but it will make it even more giant.