Re: JavaMemoryModel: Another attempt at formalizing finalization; need particular attention from parallel GC people

From: Sylvia Else (sylviae@optushome.com.au)
Date: Fri Apr 23 2004 - 20:39:35 EDT

Next message: Doron Rajwan: "Re: JavaMemoryModel: Implementing KeepAlive"
Previous message: Jeremy Manson: "JavaMemoryModel: Another attempt at formalizing finalization; need particular attention from parallel GC people"
In reply to: Jeremy Manson: "JavaMemoryModel: Another attempt at formalizing finalization; need particular attention from parallel GC people"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

At 04:13 PM 23/04/2004 -0400, Jeremy Manson wrote:
>Completion of a constructor of an object X is treated as a volatile
>write to a hidden field of X that is read by the finalizer of X.

The read in the finalizer has to happen-before any other action in the
finalizer.

Sylvia.

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

Next message: Doron Rajwan: "Re: JavaMemoryModel: Implementing KeepAlive"
Previous message: Jeremy Manson: "JavaMemoryModel: Another attempt at formalizing finalization; need particular attention from parallel GC people"
In reply to: Jeremy Manson: "JavaMemoryModel: Another attempt at formalizing finalization; need particular attention from parallel GC people"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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