Question: 1 ( a ) Consider the following program, assuming that A and B are variables in memory initialized to 0 , and R 1 ,
a Consider the following program, assuming that A and B are variables in memory
initialized to and R R and R are registers:
P P P
A RA RB
B RA
Executions of this program can be characterized by the values returned by the loads at
the end of its execution, ie by the values of R R and R at the end of execution.
Using these register values, list the executions if any that are
a not coherent;
a not sequentially consistent;
a not TSO;
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
