Re: JavaMemoryModel: Proposed Final Specification

From: Sylvia Else (
Date: Tue May 18 2004 - 19:23:10 EDT

At 02:16 PM 18/05/2004 -0400, you wrote:
>The Java memory model is done!
>Just kidding. We have put out a specification document that we think
>reflects everyone's many years of good work on the memory model. If you
>all agree to it, we would encourage it as our final document.

It still contains nothing about the interactions of the memory model with
the java.lang.ref.Reference classes.

There are some things that could reasonably be said about the invocation of
the Reference.get() method that returns null:

The end of the constructor for the referent happens-before the invocation

The return from the invocation comes-after the reachability decision point
in which the referent is declared unreachable. This impinges on the
synchronization order in certain situations.

It grieves me to have to do this, but as my previous comments about the
Reference class interactions have not been responded to, I need to point
out that under the community process, issues raised have to be answered,
even if the answer is of the form "we're not going to deal with that issue".


JavaMemoryModel mailing list -

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