-------- Original Message --------
Subject: Re: JavaMemoryModel: Question about the semantics of volatile
Date: Thu, 18 Mar 2004 09:09:14 -0500
From: Vijay Saraswat <firstname.lastname@example.org>
To: Vijay Saraswat <email@example.com>
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