Re: Fw: JavaMemoryModel: Proposal on finalizers

From: Sylvia Else (sylviae@optushome.com.au)
Date: Thu Apr 22 2004 - 06:36:24 EDT


At 11:17 AM 22/04/2004 +0100, Martin Trotter wrote:
>At present we specify that the finalizer will see all writes which were
>made up to the point at which the object was declared finalizable.

This is not as strong a guarantee as it might seem. The write that makes
the object finalizable might have been done presciently before an
arbitrarily large number of other writes that appear before it in program
order. So all you're really sure of in the finalizer is that there are no
unobserved writes to the object. As Hans has observed, this isn't that useful.

Sylvia.

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



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