Re: JavaMemoryModel: PC language alert: catatonia action

From: Doug Lea (
Date: Mon May 17 2004 - 18:56:51 EDT

Bill wrote:

> Essentially, it gives us three guarantees:
> * if there exists some thread that is able to make progress, some
> thread will make progress
> * compilers cannot, in general, hoist volatile reads out of potentially
> infinite loops
> * compilers cannot, in general, reorder synchronization actions and
> externally visible actions

Which I hope no one objects to, since they seem to be essential
guarantees programmers need.

JavaMemoryModel mailing list -

This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:01:07 EDT