[gpderetta]

Some optimizations are allowed within the rules of the memory model. For example, for an atomic x:

   x=1
   x=2

Can be changed to just x=2. Still forward progress and eventual visibility must be guaranteed.