X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/bac065ed8ef52ee1d74ae249e14aef0a3a5a822e..4fd0a2b6cf055692f936e29294496d14a6091ff1:/include/simgrid/s4u/conditionVariable.hpp diff --git a/include/simgrid/s4u/conditionVariable.hpp b/include/simgrid/s4u/conditionVariable.hpp index f29a26dcdb..0c34c9284f 100644 --- a/include/simgrid/s4u/conditionVariable.hpp +++ b/include/simgrid/s4u/conditionVariable.hpp @@ -18,6 +18,12 @@ namespace s4u { class Mutex; +/** A condition variable + * + * This is based on std::condition_variable and should respect the same + * semantic. But we currently use (only) double for both durations and + * timestamp timeouts. + */ XBT_PUBLIC_CLASS ConditionVariable { public: @@ -48,34 +54,36 @@ public: return cond_ != nullptr; } - /** - * Wait functions - */ + // Wait functions: + void wait(std::unique_lock& lock); - // TODO, return std::cv_status + std::cv_status wait_until(std::unique_lock& lock, double timeout_time); std::cv_status wait_for(std::unique_lock& lock, double duration); - // TODO, wait_until - /** Variant which takes a predice */ + // Variants which takes a predicate: + template void wait(std::unique_lock& lock, P pred) { while (!pred()) wait(lock); } - - // TODO, return std::cv_status template - std::cv_status wait_for(std::unique_lock& lock, double duration, P pred) + bool wait_until(std::unique_lock& lock, double timeout_time, P pred) { while (!pred()) - wait_for(lock, duration); + if (this->wait_until(lock, timeout_time) == std::cv_status::timeout) + return pred(); + return true; } - // TODO,wait_until + template + bool wait_for(std::unique_lock& lock, double duration, P pred) + { + return this->wait_until(lock, SIMIX_get_clock() + duration, std::move(pred)); + } + + // Notify functions - /** - * Notify functions - */ void notify(); void notify_all();