RE: JavaMemoryModel: Use-case for strong volatile interpretation

From: David Holmes (dholmes@dltech.com.au)
Date: Thu Apr 08 2004 - 19:53:47 EDT


> Sarita Adve wrote:
>
> Still, this is a use case involving a program with deliberate data races.
> Our underlying philosophy throughout has been to not give any
> guarantees to
> such programs except for the purposes of safety/security.

I may be misunderstanding what you are saying here, but the use of volatiles
in lock-free algorithms is intended to make such algorithms correctly
synchronized. Hence the issue of what guarantees you have when using
volatiles is very important.

David Holmes

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



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