The Rules That Finally Matter: Inside the Java Memory Model

How software imposes order on silicon chaos