+ static const int Resolution = 5; // Millisec between two check_time() calls
+
+ virtual void idle_loop();
+
+ bool run = false;
+};
+
+
+/// ThreadPool struct handles all the threads related stuff like init, starting,
+/// parking and, most importantly, launching a slave thread at a split point.
+/// All the access to shared thread data is done through this class.
+
+struct ThreadPool : public std::vector<Thread*> {
+
+ void init(); // No c'tor and d'tor, threads rely on globals that should be
+ void exit(); // initialized and are valid during the whole thread lifetime.
+
+ MainThread* main() { return static_cast<MainThread*>(at(0)); }