Re: JavaMemoryModel: Test case 15

From: Doug Lea (dl@cs.oswego.edu)
Date: Sun Feb 15 2004 - 09:23:38 EST


> Isnt there a data race between the write in Thread 3 and the the read in
> Thread 1, so that the program is not correctly synchronized?

"x" in that example is a volatile, so doesn't count as a race
under the conventions for these cases.

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



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