-------- Original Message --------
Subject: Re: JavaMemoryModel: Question about the semantics of volatile
Date: Thu, 18 Mar 2004 09:09:14 -0500
From: Vijay Saraswat <vijay@saraswat.org>
To: Vijay Saraswat <vijay@saraswat.org>
CC: sadve@cs.uiuc.edu
References: <002901c40caf$1f91de80$02f5ae80@ad.uiuc.edu>
<40598264.3030801@saraswat.org>
I agree with your reasoning.
Sarita Adve wrote:
> To reason with the weaker relation, we have to know about program
> order and
> we have to know which synchronization read returned the value from which
> write. To reason with the stronger relation, we need to additionally know
> about a total ordering on all conflicting synchronization writes.
> Thus, the
> stronger semantics are marginally harder to explain.
>
>
Not sure you need to reason about a total order on all conflicting
synchronization writes. The stronger semantics only requires only
additional writer -> reader edges, but says nothing about additional
writer -> writer edges.
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:01:00 EDT