deal with looping due to bogus future value via promise expiration

[model-checker.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index 9063fdb4680243c6d3a78e686ef29f217ecbf0cd..cbb4957a3e4a3865730679e8e816dfb51f636324 100644 (file)
--- a/schedule.cc
+++ b/schedule.cc
@@ -31,20 +31,6 @@ void Scheduler::remove_thread(Thread *t)
                readyList.remove(t);
 }
 
-/**
- * Force one Thread to wait on another Thread. The "join" Thread should
- * eventually wake up the waiting Thread via Scheduler::wake.
- * @param wait The Thread that should wait
- * @param join The Thread on which we are waiting.
- */
-void Scheduler::wait(Thread *wait, Thread *join)
-{
-       ASSERT(!join->is_complete());
-       remove_thread(wait);
-       join->push_wait_list(wait);
-       wait->set_state(THREAD_BLOCKED);
-}
-
 /**
  * Prevent a Thread from being scheduled. The sleeping Thread should be
  * re-awoken via Scheduler::wake.