Question: 1 ( a ) Consider the following program, assuming that A and B are variables in memory initialized to 0 , and R 1 ,

1(a) Consider the following program, assuming that A and B are variables in memory
initialized to 0, and R1, R2, and R3 are registers:
P1 P2 P3
A=1 R1=A R2=B
B=1 R3=A
Executions of this program can be characterized by the values returned by the loads at
the end of its execution, i.e., by the values of R1, R2, and R3 at the end of execution.
Using these register values, list the executions (if any) that are
(a1) not coherent;
(a2) not sequentially consistent;
(a3) not TSO;

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Programming Questions!