[gclist] Finalization, again

[Boehm, Hans]

Speaking of finalization (which always seem to get the traffic on this list
back up), there have been some interesting discussions on some of the C++
lists.

My conclusion (which is not yet :-) universally accepted), is that the goal
of "deterministic destruction", which is often stated there, is really based
on a misunderstanding.  Destruction/finalization of heap objects in general
has to be asynchronous to be correct, even if your garbage collector
reference-counts.  I put an argument to support this in

http://www.hpl.hp.com/personal/Hans_Boehm/gc/det_destr.html

Hans