To interpret this in 418 routine: correctness is the abstraction a computer system provides, and relaxed ordering instructions is one of the ways to implement this, without users' awareness.
kayvonf
@zhuansunXt: To help clarify... The abstraction the computer provides is that all instructions are executed in program order.
In a single-threaded situation, instruction reordering is an implementation decision that is permitted as long as it does not yield program executions that are different that when instructions are executed in program order.
The memory consistency model determines how memory instructions can be reordered.
To interpret this in 418 routine: correctness is the abstraction a computer system provides, and relaxed ordering instructions is one of the ways to implement this, without users' awareness.
@zhuansunXt: To help clarify... The abstraction the computer provides is that all instructions are executed in program order.
In a single-threaded situation, instruction reordering is an implementation decision that is permitted as long as it does not yield program executions that are different that when instructions are executed in program order.
The memory consistency model determines how memory instructions can be reordered.