Bill wrote:
> Essentially, it gives us three guarantees:
> * if there exists some thread that is able to make progress, some
> thread will make progress
(eventually.)
> * 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.
-Doug
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:01:07 EDT