The SC- Memory Model for Java

Sarita V. Adve

University of Illinois at Urbana-Champaign

January 2004

Motivation and description of the SC- model
One page concise description of the model
Proof that SC- guarantees SC to data-race-free programs
System-centric specification for SC- and proof that SC- allows aggressive system optimizations