From efd677fe45367d952305ae7278900570c0987f24 Mon Sep 17 00:00:00 2001 From: Gareth Rees Date: Thu, 2 Oct 2014 13:05:26 +0100 Subject: [PATCH] Document the assertion that you get if you destroy a pool containing objects registered for finalization, and then continue to run the garbage collector. Copied from Perforce Change: 187121 ServerID: perforce.ravenbrook.com --- mps/manual/source/topic/error.rst | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/mps/manual/source/topic/error.rst b/mps/manual/source/topic/error.rst index e65f6eafebd..0580cf89832 100644 --- a/mps/manual/source/topic/error.rst +++ b/mps/manual/source/topic/error.rst @@ -311,6 +311,16 @@ this documentation. created on that pool. +``trace.c: ss->rank < RankEXACT`` + + The client program destroyed a pool containing objects registered + for finalization, and then continued to run the garbage collector. + See :ref:`topic-finalization-cautions` under + :ref:`topic-finalization`, which says, "You must destroy these + pools by following the “safe tear-down” procedure described under + :c:func:`mps_pool_destroy`." + + ``trace.c: RefSetSub(ScanStateUnfixedSummary(ss), SegSummary(seg))`` The client program's :term:`scan method` failed to update a