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 pro

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.