Quote: Java memory model for multithreaded programs; guarantees sequential consistency of data-race-free programs; bounds the behavior of incorrectly synchronized programs by a notion of causality
This paper describes the new Java memory model, … a multithreaded program; it defines the semantics of … Java model provides a simple interface for correctly … the behavior of incorrectly synchronized programs be bounded …
Google-1Google-2