From 02c23865da563a2d3eb72a6424188461e82b648a Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sat, 14 Oct 2017 14:24:39 +0200
Subject: [PATCH] reworked memory leak solution in sylvan according to Tom van
 Dijks hints

---
 resources/3rdparty/sylvan/src/lace.c | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/resources/3rdparty/sylvan/src/lace.c b/resources/3rdparty/sylvan/src/lace.c
index 9315f6895..64443e23b 100755
--- a/resources/3rdparty/sylvan/src/lace.c
+++ b/resources/3rdparty/sylvan/src/lace.c
@@ -715,9 +715,6 @@ VOID_TASK_1(lace_steal_loop, int*, quit)
             } while (__lace_worker->enabled == 0);
         }
     }
-
-    // Unmap the virtual memory from the worker.
-    munmap(workers_memory[worker_id], workers_memory_size);
 }
 
 /**
@@ -1091,6 +1088,12 @@ void lace_exit()
     lace_resume();
     lace_barrier();
 
+    // Free the memory of the workers.
+    for (unsigned int i=0; i<n_workers; i++) munmap(workers_memory[i], workers_memory_size);
+    free(workers_memory);
+    free(workers);
+    free(workers_p);
+    
     // finally, destroy the barriers
     lace_barrier_destroy();
     pthread_barrier_destroy(&suspend_barrier);