core: Increase MAX_ARENA_SIZE and GC safety.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sat, 1 Apr 2017 17:10:28 +0000 (19:10 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sat, 1 Apr 2017 17:10:28 +0000 (19:10 +0200)
* mes.c (MAX_ARENA_SIZE): Double to 40000000.
 (GC_SAFETY): Set to 10000 cells (WAS: 1000).
* scaffold/mini-mes.c (MAX_ARENA_SIZE, GC_SAFETY): Likewise.
* gc.c (gc)[MES_DEBUG]: Also print safety area.

gc.c
mes.c
scaffold/mini-mes.c

diff --git a/gc.c b/gc.c
index 54c2351a9d2c654a28ed4a7b974d79d48ad32880..d2800bc10d07472b5d4ee0b00ebb81347c59973d 100644 (file)
--- a/gc.c
+++ b/gc.c
@@ -53,11 +53,11 @@ gc_flip () ///((internal))
   g_cells = g_news;
   g_news = cells;
 #if _POSIX_SOURCE
-  if (g_debug) fprintf (stderr, " => jam[%d]\n", g_free);
+  if (g_debug) fprintf (stderr, ";;;   => jam[%d]\n", g_free);
 #else
   if (g_debug)
     {
-      eputs (" => jam[");
+      eputs (";;;   => jam[");
       eputs (itoa (g_free));
       eputs ("]\n");
     }
@@ -164,12 +164,14 @@ SCM
 gc ()
 {
 #if _POSIX_SOURCE
-  if (g_debug) fprintf (stderr, "***gc[%d]...", g_free);
+  if (g_debug) fprintf (stderr, ";;; gc[%d:%d]...", g_free, ARENA_SIZE - g_free);
 #else
   if (g_debug)
     {
-      eputs ("***gc[");
+      eputs (";;; gc[");
       eputs (itoa (g_free));
+      eputs (":");
+      eputs (itoa (ARENA_SIZE - g_free));
       eputs ("]...");
     }
 #endif
diff --git a/mes.c b/mes.c
index b93f61883b619749bf3973208b281a13cf950ee9..68755be6ab913a8d48217f774a0aab432d832626 100644 (file)
--- a/mes.c
+++ b/mes.c
@@ -42,8 +42,8 @@ typedef int bool;
 #define FIXED_PRIMITIVES 1
 
 int ARENA_SIZE = 100000;
-int MAX_ARENA_SIZE = 20000000;
-int GC_SAFETY = 1000;
+int MAX_ARENA_SIZE = 40000000;
+int GC_SAFETY = 10000;
 
 typedef int SCM;
 enum type_t {TCHAR, TCLOSURE, TCONTINUATION, TFUNCTION, TKEYWORD, TMACRO, TNUMBER, TPAIR, TREF, TSPECIAL, TSTRING, TSYMBOL, TVALUES, TVECTOR, TBROKEN_HEART};
index 609d120854595524ab99196e5f04a8e48641f698..5d500975b56da2f5d134011f5de78ce71d08f25e 100644 (file)
@@ -32,8 +32,8 @@ int ARENA_SIZE = 100000;
 #else
 int ARENA_SIZE = 1000000000;
 #endif
-int MAX_ARENA_SIZE = 20000000;
-int GC_SAFETY = 1000;
+int MAX_ARENA_SIZE = 40000000;
+int GC_SAFETY = 10000;
 
 char *arena = 0;