Causal Consistency

[bank_kus]

Hi

(Vol 3A -8.2.3.6) "Stores are Transitively Visible"

Two thoughts:

shouldnt code for Processor 1 be

+ mov [_y], r1

- mov [_y], 1 <<<< with a constant write of 1 to y theres no causal relationship?

more importantly... does causal relation include control dependencies. (A = B = 0)

P0: A = 1

P1: while(A != 1){}

B = 2

P2: while (B != 2){}

print(A)

Are the 2 writes A = 1 and B = 2 causally related?

Regards

banks