Re: JavaMemoryModel: Finalization idioms

From: Sylvia Else (syljmm32@cryogenic.net)
Date: Sun May 01 2005 - 01:51:28 EDT


>2) Write to a volatile field at the end of ordinary methods,
>and read it first thing in the finalizer.

I don't believe this works in the model as released, because of the absence
of anything that ensures that the read in the finalizer happens-after the
write in the method.

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:09 EDT