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

From: David Holmes (dholmes@dltech.com.au)
Date: Mon Jul 22 2002 - 12:14:09 EDT


> 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 ??

David

-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel



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