Implement spurious wakeup for ATOMIC_WAIT

[c11tester.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index 30af582dcc237991b690f606eb0c1e5ca11afa1b..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)
 {