Less Intuitive
•Some programs don’t work as expected
•
•
•We expect to get one of the following:
•A=0, B=1
•A=1, B=0
•A=1, B=1
•But not A=0, B=0 … but TSO would permit it
•Solution: Insert a memory barrier after write
P0 P1
A=1; B=1;
print B; print A;