Re: JavaMemoryModel: Finalizer question

From: Martin Trotter (
Date: Thu Apr 22 2004 - 06:22:32 EDT

>Are we guaranteed that r1 and r4 will both see the value -1?

I think the current model guarantees that r1 will be -1 but doesn't
actually guarantee that r4 will be anything in particular (except it won't
be out of thin air). The realities of implementing the r1 = -1 guarantee
will almost certainly force r4 = -1 for all implementations that I can
imagine but I don't think we need to guarantee anything.

Martin Trotter

JavaMemoryModel mailing list -

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