1 /* Copyright (c) 2006-2017. The SimGrid Team. All rights reserved. */
3 /* This program is free software; you can redistribute it and/or modify it
4 * under the terms of the license (GNU LGPL) which comes with this package. */
6 #ifndef SIMGRID_S4U_COND_VARIABLE_HPP
7 #define SIMGRID_S4U_COND_VARIABLE_HPP
10 #include <condition_variable>
13 #include <utility> // std::swap
15 #include <boost/intrusive_ptr.hpp>
19 #include <simgrid/chrono.hpp>
20 #include <simgrid/s4u/Mutex.hpp>
21 #include <simgrid/simix.h>
26 /** @brief A condition variable
29 * This is a drop-in replacement of `std::condition_variable` and should respect the same
30 * semantic. But we currently use (only) double for both durations and
33 XBT_PUBLIC_CLASS ConditionVariable
38 explicit ConditionVariable(smx_cond_t cond) : cond_(cond) {}
40 ConditionVariable(ConditionVariable const&) = delete;
41 ConditionVariable& operator=(ConditionVariable const&) = delete;
43 friend XBT_PUBLIC(void) intrusive_ptr_add_ref(ConditionVariable * cond);
44 friend XBT_PUBLIC(void) intrusive_ptr_release(ConditionVariable * cond);
45 using Ptr = boost::intrusive_ptr<ConditionVariable>;
47 static Ptr createConditionVariable();
49 // Wait functions without time:
51 void wait(MutexPtr lock);
52 void wait(std::unique_lock<Mutex> & lock);
53 template <class P> void wait(std::unique_lock<Mutex> & lock, P pred)
59 // Wait function taking a plain double as time:
61 std::cv_status wait_until(std::unique_lock<Mutex> & lock, double timeout_time);
62 std::cv_status wait_for(std::unique_lock<Mutex> & lock, double duration);
63 template <class P> bool wait_until(std::unique_lock<Mutex> & lock, double timeout_time, P pred)
66 if (this->wait_until(lock, timeout_time) == std::cv_status::timeout)
70 template <class P> bool wait_for(std::unique_lock<Mutex> & lock, double duration, P pred)
72 return this->wait_until(lock, SIMIX_get_clock() + duration, std::move(pred));
75 // Wait function taking a C++ style time:
77 template <class Rep, class Period, class P>
78 bool wait_for(std::unique_lock<Mutex> & lock, std::chrono::duration<Rep, Period> duration, P pred)
80 auto seconds = std::chrono::duration_cast<SimulationClockDuration>(duration);
81 return this->wait_for(lock, seconds.count(), pred);
83 template <class Rep, class Period>
84 std::cv_status wait_for(std::unique_lock<Mutex> & lock, std::chrono::duration<Rep, Period> duration)
86 auto seconds = std::chrono::duration_cast<SimulationClockDuration>(duration);
87 return this->wait_for(lock, seconds.count());
89 template <class Duration>
90 std::cv_status wait_until(std::unique_lock<Mutex> & lock, const SimulationTimePoint<Duration>& timeout_time)
92 auto timeout_native = std::chrono::time_point_cast<SimulationClockDuration>(timeout_time);
93 return this->wait_until(lock, timeout_native.time_since_epoch().count());
95 template <class Duration, class P>
96 bool wait_until(std::unique_lock<Mutex> & lock, const SimulationTimePoint<Duration>& timeout_time, P pred)
98 auto timeout_native = std::chrono::time_point_cast<SimulationClockDuration>(timeout_time);
99 return this->wait_until(lock, timeout_native.time_since_epoch().count(), std::move(pred));
107 XBT_ATTRIB_DEPRECATED("Use notify_one() instead")
108 void notify() { notify_one(); }
111 using ConditionVariablePtr = ConditionVariable::Ptr;
113 } // namespace simgrid::s4u