From adf65a100e3b1ab30317e50dd50be773365a78c0 Mon Sep 17 00:00:00 2001 From: daan Date: Sun, 14 Jul 2019 14:13:47 -0700 Subject: [PATCH] be less aggressive in page reuse to reduce memory footprint --- src/page.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/page.c b/src/page.c index e888885b..33e0e9dc 100644 --- a/src/page.c +++ b/src/page.c @@ -377,7 +377,7 @@ void _mi_page_retire(mi_page_t* page) { // is the only page left with free blocks. It is not clear // how to check this efficiently though... for now we just check // if its neighbours are almost fully used. - if (mi_likely(page->block_size <= MI_LARGE_SIZE_MAX)) { + if (mi_likely(page->block_size <= MI_SMALL_SIZE_MAX)) { if (mi_page_mostly_used(page->prev) && mi_page_mostly_used(page->next)) { return; // dont't retire after all }