Re: JavaMemoryModel: Introductions...

From: Paul Haahr (haahr@jivetech.com)
Date: Sat Jun 26 1999 - 15:53:06 EDT


Joshua Bloch wrote
> Within Sun, I was one of the first people to understand that the
> memory model was broken in the sense that common lazy initialization
> algorithms are not guaranteed to work. I convinced the JLS authors
> (Joy, Steele and Gosling) of this fact about a year ago. I came up
> with a tweak to Chapter 17 that fixes this and proved it correct.

Is this tweak publicly available? Has it been accepted as part of the
definition of the language? The 2nd edition JVM specification didn't
appear to incorporate any such changes.

--p
-------------------------------
This is the JavaMemoryModel mailing list, managed by Majordomo 1.94.4.

To send a message to the list, email JavaMemoryModel@cs.umd.edu
To send a request to the list, email majordomo@cs.umd.edu and put
your request in the body of the message (use the request "help" for help).
For more information, visit http://www.cs.umd.edu/~pugh/java/memoryModel



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