Re: JavaMemoryModel: IMPORTANT: New Unified JMM formalism, $100 reward for any flaws

From: Sylvia Else (sylviae@optushome.com.au)
Date: Tue Mar 16 2004 - 21:22:38 EST


At 08:01 PM 16/03/2004 -0500, Bill Pugh wrote:

>We put U7 in the document because we weren't thrilled with it.

It is pretty horrible, but after all the code is not correctly
synchronized. It did though raise another question in my mind. Is it true
that all correctly synchronized code fragments will show SC behaviour?

Sylvia

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



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