§ You don't know jack about data races

§ Toy example

§ Rules of Racy Programs

  1. Write code such that data races are impossible, assuming that the implementation follows sequential consistency rules.
  2. The implementation then guarantees sequential consistency for such code.

§ Counter-intuitive implications

P1: if(x) { y = true; }
P2: if(y) { x = true; }

§ Higher Level