MINOR: task: release the task pool when stopping

When we're stopping, we're not going to create new tasks anymore, so
let's release the task pool upon each task_free() in order to reduce
memory fragmentation.

diff --git a/include/proto/task.h b/include/proto/task.h
index 46906704618af644547c047807ae1e480cf1c97d..35d77dacccde45b8556b15acd4275753e7e94013 100644 (file)
--- a/include/proto/task.h
+++ b/include/proto/task.h
@@ -32,6 +32,7 @@
 #include <common/ticks.h>
 #include <eb32tree.h>
 
+#include <types/global.h>
 #include <types/task.h>
 
 /* Principle of the wait queue.
@@ -199,6 +200,8 @@ static inline struct task *task_new(void)
 static inline void task_free(struct task *t)
 {
        pool_free2(pool2_task, t);
+       if (unlikely(stopping))
+               pool_flush2(pool2_task);
        nb_tasks--;
 }