- * finaliseWeakPointersNow() is called just before the system is shut
- * down. It runs the finaliser for each weak pointer still in the
- * system.
+ * scheduleFinalizers() is called on the list of weak pointers found
+ * to be dead after a garbage collection. It overwrites each object
+ * with DEAD_WEAK, and creates a new thread to run the pending finalizers.
+ *
+ * This function is called just after GC. The weak pointers on the
+ * argument list are those whose keys were found to be not reachable,
+ * however the value and finalizer fields have by now been marked live.
+ * The weak pointer object itself may not be alive - i.e. we may be
+ * looking at either an object in from-space or one in to-space. It
+ * doesn't really matter either way.
+ *
+ * Pre-condition: sched_mutex _not_ held.