commit ce1162ab15e69c42157aea4ecc341cc5044e2477
author Damien George <damien.p.george@gmail.com> Wed Feb 26 22:55:59 2014 +0000
committer Damien George <damien.p.george@gmail.com> Wed Feb 26 22:55:59 2014 +0000
tree 41cca7b2de6c4895c4690551eeb721d132c845ba
parent 41eb6086b757a3ca1b2507a15a9ffcce2ad27d1f

GC: Fix printf formats for debugging; add gc_dump_alloc_table.

py/gc.c

diff --git a/py/gc.c b/py/gc.c
index 7f20356..bcdfc50 100644
--- a/py/gc.c
+++ b/py/gc.c
@@ -90,8 +90,8 @@
     }
 
     DEBUG_printf("GC layout:\n");
-    DEBUG_printf("  alloc table at %p, length %u bytes\n", gc_alloc_table_start, gc_alloc_table_byte_len);
-    DEBUG_printf("  pool at %p, length %u blocks = %u words = %u bytes\n", gc_pool_start, gc_pool_block_len, gc_pool_word_len, gc_pool_word_len * BYTES_PER_WORD);
+    DEBUG_printf("  alloc table at %p, length " UINT_FMT " bytes\n", gc_alloc_table_start, gc_alloc_table_byte_len);
+    DEBUG_printf("  pool at %p, length " UINT_FMT " blocks = " UINT_FMT " words = " UINT_FMT " bytes\n", gc_pool_start, gc_pool_block_len, gc_pool_word_len, gc_pool_word_len * BYTES_PER_WORD);
 }
 
 #define VERIFY_PTR(ptr) ( \
@@ -240,7 +240,7 @@
 
 void *gc_alloc(machine_uint_t n_bytes) {
     machine_uint_t n_blocks = ((n_bytes + BYTES_PER_BLOCK - 1) & (~(BYTES_PER_BLOCK - 1))) / BYTES_PER_BLOCK;
-    DEBUG_printf("gc_alloc(%u bytes -> %u blocks)\n", n_bytes, n_blocks);
+    DEBUG_printf("gc_alloc(" UINT_FMT " bytes -> " UINT_FMT " blocks)\n", n_bytes, n_blocks);
 
     // check for 0 allocation
     if (n_blocks == 0) {
@@ -350,20 +350,25 @@
            info.num_1block, info.num_2block, info.max_block);
 }
 
-#if DEBUG_PRINT
-STATIC void gc_dump_at(void) {
+void gc_dump_alloc_table(void) {
+    printf("GC memory layout:");
     for (machine_uint_t bl = 0; bl < gc_alloc_table_byte_len * BLOCKS_PER_ATB; bl++) {
-        printf("block %06u ", bl);
-        switch (ATB_GET_KIND(bl)) {
-            case AT_FREE: printf("FREE"); break;
-            case AT_HEAD: printf("HEAD"); break;
-            case AT_TAIL: printf("TAIL"); break;
-            default: printf("MARK"); break;
+        if (bl % 64 == 0) {
+            printf("\n%04x: ", (uint)bl);
         }
-        printf("\n");
+        int c = ' ';
+        switch (ATB_GET_KIND(bl)) {
+            case AT_FREE: c = '.'; break;
+            case AT_HEAD: c = 'h'; break;
+            case AT_TAIL: c = 't'; break;
+            case AT_MARK: c = 'm'; break;
+        }
+        printf("%c", c);
     }
+    printf("\n");
 }
 
+#if DEBUG_PRINT
 void gc_test(void) {
     machine_uint_t len = 500;
     machine_uint_t *heap = malloc(len);
@@ -389,13 +394,13 @@
     }
 
     printf("Before GC:\n");
-    gc_dump_at();
+    gc_dump_alloc_table();
     printf("Starting GC...\n");
     gc_collect_start();
     gc_collect_root(ptrs, sizeof(ptrs) / sizeof(void*));
     gc_collect_end();
     printf("After GC:\n");
-    gc_dump_at();
+    gc_dump_alloc_table();
 }
 #endif