From e0b2605dfe9a1a3f7142ae5b52ad6582ff5bbcfc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20M=C3=BCller?= <michael.mueller@uos.de>
Date: Tue, 26 Jul 2022 17:35:32 +0200
Subject: [PATCH] Added log messages to scheduler.

---
 src/mx/tasking/scheduler.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/mx/tasking/scheduler.cpp b/src/mx/tasking/scheduler.cpp
index cc523ee..2a6ceb0 100644
--- a/src/mx/tasking/scheduler.cpp
+++ b/src/mx/tasking/scheduler.cpp
@@ -5,6 +5,7 @@
 #include <mx/system/topology.h>
 #include <thread>
 #include <vector>
+#include <base/log.h>
 
 using namespace mx::tasking;
 
@@ -64,12 +65,15 @@ void Scheduler::start_and_wait()
         worker->join();
     }
 
+    Genode::log("All workers finished.");
+
     if constexpr (config::memory_reclamation() != config::None)
     {
         this->_epoch_manager.join();
         // At this point, no task will execute on any resource;
         // but the epoch manager has joined, too. Therefore,
         // we will reclaim all memory manually.
+        Genode::log("Epoch manager finished. Reclaiming all memory...");
         this->_epoch_manager.reclaim_all();
     }
 }