Re: JavaMemoryModel: Another important finalizer question

From: Sylvia Else (
Date: Mon Apr 19 2004 - 19:20:55 EDT

At 06:56 PM 19/04/2004 -0400, Bill Pugh wrote:

>OK, the question is: it is guaranteed that the call to o.write completes
>and that all memory accesses that occur during that call happen-before
>any code in the finalizer?

At the risk of reopening a can of worms that had, if not been closed, at
least been forgotten about...

Is it not true that all memory accesses to an object, other than those from
other finalizers, happen before any code in the finalizer?

There were discussions before about premature finalization, but they
related to things in the object that corresponded to external resources
whose semantics were invisible to the GC.

Is there a credible GC algorithm for which the happens-before relationship
would not hold?


JavaMemoryModel mailing list -

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