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