>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