[MLton-commit] r7048

[Matthew Fluet]

A GC message describing the card/cross map bytes.
----------------------------------------------------------------------

U   mlton/trunk/runtime/gc/garbage-collection.c

----------------------------------------------------------------------

Modified: mlton/trunk/runtime/gc/garbage-collection.c
===================================================================
--- mlton/trunk/runtime/gc/garbage-collection.c	2009-04-08 12:31:09 UTC (rev 7047)
+++ mlton/trunk/runtime/gc/garbage-collection.c	2009-04-08 12:31:13 UTC (rev 7048)
@@ -1,4 +1,5 @@
-/* Copyright (C) 1999-2008 Henry Cejtin, Matthew Fluet, Suresh
+/* Copyright (C) 2009 Matthew Fluet.
+ * Copyright (C) 1999-2008 Henry Cejtin, Matthew Fluet, Suresh
  *    Jagannathan, and Stephen Weeks.
  * Copyright (C) 1997-2000 NEC Research Institute.
  *
@@ -111,9 +112,10 @@
              uintmaxToCommaString(nurseryBytesRequested),
              uintmaxToCommaString(oldGenBytesRequested));
     fprintf (stderr, 
-             "[GC:\theap at "FMTPTR" of size %s bytes,]\n",
+             "[GC:\theap at "FMTPTR" of size %s bytes (+ %s bytes card/cross map),]\n",
              (uintptr_t)(s->heap.start),
-             uintmaxToCommaString(s->heap.size));
+             uintmaxToCommaString(s->heap.size),
+             uintmaxToCommaString(s->heap.withMapsSize - s->heap.size));
     fprintf (stderr, 
              "[GC:\twith nursery of size %s bytes (%.1f%% of heap),]\n",
              uintmaxToCommaString(nurserySize),
@@ -164,9 +166,10 @@
              uintmaxToCommaString(s->cumulativeStatistics.numGCs),
              uintmaxToCommaString(gcTime));
     fprintf (stderr, 
-             "[GC:\theap at "FMTPTR" of size %s bytes,]\n",
+             "[GC:\theap at "FMTPTR" of size %s bytes (+ %s bytes card/cross map),]\n",
              (uintptr_t)(s->heap.start),
-             uintmaxToCommaString(s->heap.size));
+             uintmaxToCommaString(s->heap.size),
+             uintmaxToCommaString(s->heap.withMapsSize - s->heap.size));
     fprintf (stderr, 
              "[GC:\twith nursery of size %s bytes (%.1f%% of heap),]\n",
              uintmaxToCommaString(nurserySize),