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

From: Eliot Moss (moss@cs.umass.edu)
Date: Thu Apr 22 2004 - 14:45:38 EDT


An additional observation:

One of the Reference classes (I would have to go into the document to
recall which one :-) requires that GROUPS of References be detected as
unreachable ALL AT ONCE. This would seem to imply some interesting
underlying synchronization / atomicity properties, though perhaps rather
indirectly compared with the JMM.

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



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