Causal Consistency

Causal Consistency

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 = 1P1: while(A != 1){} B = 2P2: while (B != 2){} print(A)Are the 2 writes A = 1 and B = 2 causally related?Regardsbanks

1 post / 0 new
For more complete information about compiler optimizations, see our Optimization Notice.