Advanced Topics in Programming Languages: The Java Memory...

Google Tech Talks March 21, 2007 ABSTRACT This talk describes the Java Memory Model and how it affects the ways concurrent software should be written. Recent changes to the memory model, which were incorporated into JDK 5, redefined the semantics of threads, synchronization, volatile variables, and final fields. The new memory model provides efficient and provably correct techniques for safely and correctly implementing concurrent operations. These techniques are compatible with existing good programming practice, although care needs to be taken in a couple of corner cases. Most programmers can avoid depending on low-level details and instead just use the high-level concurrency abstractions...