3 ms·
They are reordered, but only speculatively. This requirement is needed for: T1: rd y; rd x; T2: wr y 1;Wr x 1; If you allow reordering its possible for an
by DSingularity 12y ago
They are reordered, but only speculatively.
This requirement is needed for:
T1: rd y; rd x;
T2: wr y 1;Wr x 1;
If you allow reordering its possible for an execution to observe x=0 y=1 on thread one, but that's a sequential consistency violation.