Implement spurious wakeup for ATOMIC_WAIT

[c11tester.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index 9bd87077af6801811ce0cc05fa9e39df8f70cabc..f55c7b0deed28d98cc89530fb8c88a32fc99c1e4 100644 (file)
--- a/schedule.cc
+++ b/schedule.cc
@@ -98,7 +98,6 @@ bool Scheduler::is_enabled(thread_id_t tid) const
 /**
  * @brief Check if a Thread is currently in the sleep set
  * @param t The Thread to check
- * @return True if the Thread is currently enabled
  */
 bool Scheduler::is_sleep_set(const Thread *t) const
 {
@@ -139,6 +138,8 @@ enabled_type_t Scheduler::get_enabled(const Thread *t) const
 /**
  * Add a Thread to the sleep set.
  * @param t The Thread to add
+ * A Thread is in THREAD_SLEEP_SET if it is sleeping or blocked by a wait
+ * operation that should fail spuriously (decide by fuzzer).
  */
 void Scheduler::add_sleep(Thread *t)
 {
@@ -234,7 +235,7 @@ Thread * Scheduler::select_next_thread()
                thread = execution->getFuzzer()->selectThread(thread_list, avail_threads);
        }
 
-       curr_thread_index = id_to_int(thread->get_id());
+       //curr_thread_index = id_to_int(thread->get_id());
        return thread;
 }