Community
cancel
Showing results for 
Search instead for 
Did you mean: 
Highlighted
Beginner
11 Views

Causal Consistency

Hi
(Vol 3A -8.2.3.6) "Stores are Transitively Visible"
Two thoughts:
+ 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
0 Kudos
0 Replies