Why Coherence != Consistency

/* initial A = B = flag = 0 */

P1 P2

A = 1; while (flag == 0); /* spin */

B = 1; print A;

flag = 1; print B;

Intuition says printed A = B = 1

Coherence doesn’t say anything, why?

Previous slide

Next slide

Back to first slide

View graphic version