Defined memory model and adjusted semantics accordingly