1 /* Copyright (c) 2006-2022. 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 #include <simgrid/cond.h>
7 #include <simgrid/s4u/ConditionVariable.hpp>
10 #include "src/kernel/activity/ConditionVariableImpl.hpp"
11 #include "src/kernel/actor/SimcallObserver.hpp"
15 namespace simgrid::s4u {
17 ConditionVariablePtr ConditionVariable::create()
19 kernel::activity::ConditionVariableImpl* cond =
20 kernel::actor::simcall_answered([] { return new kernel::activity::ConditionVariableImpl(); });
21 return ConditionVariablePtr(cond->get_iface(), false);
27 void ConditionVariable::wait(MutexPtr lock)
29 kernel::actor::ActorImpl* issuer = kernel::actor::ActorImpl::self();
30 kernel::actor::ConditionWaitSimcall observer{issuer, pimpl_, lock->pimpl_};
31 kernel::actor::simcall_blocking(
32 [&observer] { observer.get_cond()->wait(observer.get_mutex(), -1.0, observer.get_issuer()); }, &observer);
35 void ConditionVariable::wait(const std::unique_lock<Mutex>& lock)
37 kernel::actor::ActorImpl* issuer = kernel::actor::ActorImpl::self();
38 kernel::actor::ConditionWaitSimcall observer{issuer, pimpl_, lock.mutex()->pimpl_};
39 kernel::actor::simcall_blocking(
40 [&observer] { observer.get_cond()->wait(observer.get_mutex(), -1.0, observer.get_issuer()); }, &observer);
43 std::cv_status s4u::ConditionVariable::wait_for(const std::unique_lock<Mutex>& lock, double timeout)
45 // The simcall uses -1 for "any timeout" but we don't want this:
49 kernel::actor::ActorImpl* issuer = kernel::actor::ActorImpl::self();
50 kernel::actor::ConditionWaitSimcall observer{issuer, pimpl_, lock.mutex()->pimpl_, timeout};
51 bool timed_out = kernel::actor::simcall_blocking(
52 [&observer] { observer.get_cond()->wait(observer.get_mutex(), observer.get_timeout(), observer.get_issuer()); },
55 // If we reached the timeout, we have to take the lock again:
57 return std::cv_status::timeout;
59 return std::cv_status::no_timeout;
63 std::cv_status ConditionVariable::wait_until(const std::unique_lock<Mutex>& lock, double timeout_time)
65 double now = Engine::get_clock();
67 if (timeout_time < now)
70 timeout = timeout_time - now;
71 return this->wait_for(lock, timeout);
77 void ConditionVariable::notify_one()
79 simgrid::kernel::actor::simcall_answered([this]() { pimpl_->signal(); });
82 void ConditionVariable::notify_all()
84 simgrid::kernel::actor::simcall_answered([this]() { pimpl_->broadcast(); });
87 void intrusive_ptr_add_ref(const ConditionVariable* cond)
89 intrusive_ptr_add_ref(cond->pimpl_);
92 void intrusive_ptr_release(const ConditionVariable* cond)
94 intrusive_ptr_release(cond->pimpl_);
97 } // namespace simgrid::s4u
99 /* **************************** Public C interface *************************** */
100 sg_cond_t sg_cond_init()
102 return simgrid::s4u::ConditionVariable::create().detach();
105 void sg_cond_wait(sg_cond_t cond, sg_mutex_t mutex)
110 int sg_cond_wait_for(sg_cond_t cond, sg_mutex_t mutex, double delay)
112 std::unique_lock lock(*mutex);
113 return cond->wait_for(lock, delay) == std::cv_status::timeout;
116 void sg_cond_notify_one(sg_cond_t cond)
121 void sg_cond_notify_all(sg_cond_t cond)
126 void sg_cond_destroy(const_sg_cond_t cond)
128 intrusive_ptr_release(cond);