Write Atomicity

• Write atomicity says that all writes to a location should appear to all processors to have occurred in the same order

-- a and b are 0 initially --

P0 P1 P2

a := 1; while a != 1 do; while b != 1 do;

b := 1; print a;

Previous slide

Next slide

Back to first slide

View graphic version