RE: JavaMemoryModel: Roach motel ordering: Do we have consensus?

From: Sarita Adve (sadve@cs.uiuc.edu)
Date: Mon Jul 09 2001 - 14:55:44 EDT


> -----Original Message-----
> From: owner-javamemorymodel@cs.umd.edu
> [mailto:owner-javamemorymodel@cs.umd.edu]On Behalf Of Bill Pugh
> Sent: Saturday, July 07, 2001 6:10 PM

> As I mentioned previously, you can get this semantics by adding a
> dummy volatile write before each volatile read, and a dummy volatile
> read after each volatile write (so long as the dummy volatile is
> shared).

Does this mean that there is consensus that volatiles will have SC semantics
between each other (vs. TSO)? I'd like to see SC, but I didn't know if there
was consensus.

Sarita

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



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