| | |
Summary: The Java Memory Model
Jeremy Manson and William Pugh
Department of Computer Science
University of Maryland, College Park
College Park, MD
{jmanson, pugh}@cs.umd.edu
Sarita V. Adve
Department of Computer Science
University of Illinois at Urbana-Champaign
Urbana-Champaign, IL
sadve@cs.uiuc.edu
ABSTRACT
This paper describes the new Java memory model, which
has been revised as part of Java 5.0. The model specifies
the legal behaviors for a multithreaded program; it defines
the semantics of multithreaded Java programs and partially
determines legal implementations of Java virtual machines
and compilers.
The new Java model provides a simple interface for cor-
rectly synchronized programs it guarantees sequential con-
|
