Re: JavaMemoryModel: Definition of volatile revisited

From: Jeremy Manson (jmanson@cs.umd.edu)
Date: Mon Mar 22 2004 - 10:38:52 EST


> Vijay -
>
> > So it seems to me that we need a total order on writes to volatile
> > variables. Hasnt this been discussed before? Why the change to the
> > current language then?
>
> Neither the strong nor weak semantics being discussed allow the
> undesirable result you mooted.

I phrased this wrong. I meant to say that the strong and weak semantics
issue is orthogonal to this issue, but regardless of which is chosen, the
semantics will support this property.

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



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