RE: JavaMemoryModel: New approach to defining the Java Memory Model

From: Bill Pugh (
Date: Mon Jul 22 2002 - 13:16:25 EDT

At 2:14 AM +1000 7/23/02, David Holmes wrote:
> > Perhaps we'll add them to Table 3; it isn't exhaustive. However,
>> there is a heppens-before edge from a volatile read to all previous
>> writes of that volatile. That gives us the ordering we need between
>> volatile and normal memory accesses.
>I don't see how one follows from the other. ?? Surely there must be
>happens-before edges between the volatile accesses and non-volatile accesses
>to enforce the ordering ??

There are also happens-before edges from each action to all previous
actions in that thread.

JavaMemoryModel mailing list -

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