TSO is the memory model of Intel-x86 platform.
From a declarative perspective, it releases the ordering constraints between write-read event pair (accessing different locations).
See TSO operational semantics as well.
TSO is the memory model of Intel-x86 platform.
From a declarative perspective, it releases the ordering constraints between write-read event pair (accessing different locations).
See TSO operational semantics as well.