From 5b30d234cb268c8e9fbd0ed3f67fdcda0fbcce63 Mon Sep 17 00:00:00 2001
From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Wed, 11 Apr 2018 20:46:06 +0200
Subject: [PATCH] core: Update default memory settings.

* src/mes.c (MAX_ARENA_SIZE)[__MESC__]: Set to maximum 172100000.
---
 src/mes.c | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/mes.c b/src/mes.c
index a627a302..9687afbf 100644
--- a/src/mes.c
+++ b/src/mes.c
@@ -26,13 +26,12 @@
 
 int ARENA_SIZE = 20000000; // 32B: 100 MiB, 64b: 200 MiB
 #if __MESC__
-//int MAX_ARENA_SIZE = 89478485; // 32b: ~1GiB
-int MAX_ARENA_SIZE = 80000000; // 32b: ~1GiB
+int MAX_ARENA_SIZE = 172100000; // 32b: ~ 2GiB
 #else
-int MAX_ARENA_SIZE = 200000000; // 32b: 2GiB, 64b: 4GiB
+int MAX_ARENA_SIZE = 200000000; // 32b: 2.3GiB, 64b: 4.6GiB
 #endif
 
-int GC_SAFETY = 2000;
+int GC_SAFETY = 50000;
 
 char *g_arena = 0;
 typedef int SCM;