Memory Consistency

• What should it mean for processors to see a consistent view of memory?

• Coherency is too weak because it only requires ordering with respect to individual locations, but there are other ways of binding values together

-- a and flag are 0 initially --

P0 P1

a := 1; while (flag != 1) ; -- spin

flag := 1; print a;

Previous slide

Next slide

Back to first slide

View graphic version