It is hard to define what "ordering of memory operations" actually means if there is no memory model that takes multi-threading into account. Most styles of for

It is hard to define what "ordering of memory operations" actually means if there is no memory model that takes multi-threading into account. Most styles of formal semantics will allow operations to be reordered as long as the final state is the same.