The Unified Memory Model Proposal for Java

Jeremy Manson, William Pugh and Sarita Adve

These documents describe a potential new memory model for Java. The details of this model are in flux, check for updates.

• More full overview of the model last modified Thursday, 29-Apr-2004 21:35:49 EDT
  • Three page description of the model and formalism

• New overview of the model last modified Monday, 05-Apr-2004 21:25:50 EDT
  • Three page description of the model and formalism

• Overview of the model last modified Wednesday, 17-Mar-2004 15:50:33 EST
  • Introduction
  • One page description of the model
  • Test cases forbidden and allowed by new model
• Examples of applying the model to test cases 1-20, last modified Sunday, 14-Mar-2004 15:14:46 EST
• Proofs last modified Tuesday, 16-Mar-2004 09:03:22 EST
  • reordering transformations are legal, and
  • correctly synchronized programs have sequentially consistent behavior.

Acknowledgements

Many people have made substantial contributions to this work, too many to name. These contributors include many of the people participating in the Java memory model mailing list, the JSR-133 expert group and those who were involved in the JSR-133 review process. Doug Lea deserves special acknowledgment for significant contributions. Thanks to all.