Consider the following code segments running on two processors P1 and P2. Assume A, and B, are initially 0. Explain how an optimizing compiler might make it impossible for B to be ever set to 2 in a sequentially consistent execution model.

Transcribed Image Text:

P1: A=1; A=2; While (B=0); P2: B=1; While (A 1); B= 2;