Consider the program
x:=0; y:=0; (r1:=x; r2:=x; y:= if r1 = r2 then 1 ∥ r3:= y; x:= r3)
Note that ∥ denotes the parallel operator. In which of the following cases can the program possibly result in a final state with $r1 = 0; r2 = r3 = 1$.
- Such a transformation is not possible in Java.
- Such a program transformation is possible in Java.
- Possible in Pascal when the compiler appropriately translates the ∥ operator to interleaved pascal statements.
- Possible in all sequential programming languages when the compiler appropriately translates the ∥ operator to interleaved statements in the sequential language.
- None of the above.