schedule: add sleep() function

[model-checker.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index be4a92f739a1129bb2aa4bee50bb23ba0a3f8556..9063fdb4680243c6d3a78e686ef29f217ecbf0cd 100644 (file)
--- a/schedule.cc
+++ b/schedule.cc
@@ -45,6 +45,17 @@ void Scheduler::wait(Thread *wait, Thread *join)
        wait->set_state(THREAD_BLOCKED);
 }
 
+/**
+ * Prevent a Thread from being scheduled. The sleeping Thread should be
+ * re-awoken via Scheduler::wake.
+ * @param thread The Thread that should sleep
+ */
+void Scheduler::sleep(Thread *t)
+{
+       remove_thread(t);
+       t->set_state(THREAD_BLOCKED);
+}
+
 /**
  * Wake a Thread up that was previously waiting (see Scheduler::wait)
  * @param t The Thread to wake up