1 /* Copyright (c) 2006-2019. 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/s4u/Actor.hpp"
7 #include "simgrid/s4u/Exec.hpp"
8 #include "src/kernel/activity/ExecImpl.hpp"
11 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(s4u_exec, s4u_activity, "S4U asynchronous executions");
15 simgrid::xbt::signal<void(simgrid::s4u::ActorPtr)> s4u::Exec::on_start;
16 simgrid::xbt::signal<void(simgrid::s4u::ActorPtr)> s4u::Exec::on_completion;
20 pimpl_ = kernel::activity::ExecImplPtr(new kernel::activity::ExecImpl(name_, tracing_category_));
25 xbt_assert(state_ == State::INITED || state_ == State::STARTED || state_ == State::FINISHED);
27 if (state_ == State::FINISHED)
30 if (state_ == State::INITED)
33 if (simcall_execution_test(pimpl_)) {
34 state_ = State::FINISHED;
43 if (state_ == State::INITED)
45 simcall_execution_wait(pimpl_);
46 state_ = State::FINISHED;
47 on_completion(Actor::self());
51 Exec* Exec::wait_for(double)
58 simgrid::simix::simcall([this] { boost::static_pointer_cast<kernel::activity::ExecImpl>(pimpl_)->cancel(); });
59 state_ = State::CANCELED;
63 void intrusive_ptr_release(simgrid::s4u::Exec* e)
65 if (e->refcount_.fetch_sub(1, std::memory_order_release) == 1) {
66 std::atomic_thread_fence(std::memory_order_acquire);
71 void intrusive_ptr_add_ref(simgrid::s4u::Exec* e)
73 e->refcount_.fetch_add(1, std::memory_order_relaxed);
76 /** @brief change the execution bound
77 * This means changing the maximal amount of flops per second that it may consume, regardless of what the host may
78 * deliver. Currently, this cannot be changed once the exec started.
80 ExecPtr Exec::set_bound(double bound)
82 xbt_assert(state_ == State::INITED, "Cannot change the bound of an exec after its start");
86 ExecPtr Exec::set_timeout(double timeout)
88 xbt_assert(state_ == State::INITED, "Cannot change the bound of an exec after its start");
93 ExecPtr Exec::set_name(std::string name)
95 xbt_assert(state_ == State::INITED, "Cannot change the name of an exec after its start");
96 name_ = std::move(name);
100 /** @brief Change the execution priority, don't you think?
102 * An execution with twice the priority will get twice the amount of flops when the resource is shared.
103 * The default priority is 1.
105 * Currently, this cannot be changed once the exec started. */
106 ExecPtr Exec::set_priority(double priority)
108 xbt_assert(state_ == State::INITED, "Cannot change the priority of an exec after its start");
109 priority_ = priority;
113 ExecPtr Exec::set_tracing_category(std::string category)
115 xbt_assert(state_ == State::INITED, "Cannot change the tracing category of an exec after its start");
116 tracing_category_ = std::move(category);
120 ///////////// SEQUENTIAL EXECUTIONS ////////
121 ExecSeq::ExecSeq(sg_host_t host, double flops_amount) : Exec(), flops_amount_(flops_amount)
123 Activity::set_remaining(flops_amount_);
124 boost::static_pointer_cast<simgrid::kernel::activity::ExecImpl>(pimpl_)->set_host(host);
127 Exec* ExecSeq::start()
129 simix::simcall([this] {
130 boost::static_pointer_cast<kernel::activity::ExecImpl>(pimpl_)->start(flops_amount_, 1. / priority_, bound_);
132 state_ = State::STARTED;
133 on_start(Actor::self());
137 /** @brief Returns whether the state of the exec is finished */
138 /** @brief Change the host on which this activity takes place.
140 * The activity cannot be terminated already (but it may be started). */
141 ExecPtr ExecSeq::set_host(Host* host)
143 xbt_assert(state_ == State::INITED || state_ == State::STARTED,
144 "Cannot change the host of an exec once it's done (state: %d)", (int)state_);
145 if (state_ == State::STARTED)
146 boost::static_pointer_cast<simgrid::kernel::activity::ExecImpl>(pimpl_)->migrate(host);
148 boost::static_pointer_cast<simgrid::kernel::activity::ExecImpl>(pimpl_)->host_ = host;
153 /** @brief Retrieve the host on which this activity takes place. */
154 Host* ExecSeq::get_host()
159 /** @brief Returns the amount of flops that remain to be done */
160 double ExecSeq::get_remaining()
162 return simgrid::simix::simcall(
163 [this]() { return boost::static_pointer_cast<simgrid::kernel::activity::ExecImpl>(pimpl_)->get_remaining(); });
166 /** @brief Returns the ratio of elements that are still to do
168 * The returned value is between 0 (completely done) and 1 (nothing done yet).
170 double ExecSeq::get_remaining_ratio()
172 return simgrid::simix::simcall([this]() {
173 return boost::static_pointer_cast<simgrid::kernel::activity::ExecImpl>(pimpl_)->get_seq_remaining_ratio();
177 ///////////// PARALLEL EXECUTIONS ////////
178 ExecPar::ExecPar(const std::vector<s4u::Host*>& hosts, const std::vector<double>& flops_amounts,
179 const std::vector<double>& bytes_amounts)
180 : Exec(), hosts_(hosts), flops_amounts_(flops_amounts), bytes_amounts_(bytes_amounts)
182 // For parallel executions, we need a special host to run the timeout detector.
183 host_ = hosts.front();
184 boost::static_pointer_cast<simgrid::kernel::activity::ExecImpl>(pimpl_)->host_ = host_;
187 Exec* ExecPar::start()
189 simix::simcall([this] {
190 boost::static_pointer_cast<kernel::activity::ExecImpl>(pimpl_)->set_timeout(timeout_);
191 boost::static_pointer_cast<kernel::activity::ExecImpl>(pimpl_)->start(hosts_, flops_amounts_, bytes_amounts_);
193 state_ = State::STARTED;
194 on_start(Actor::self());
197 double ExecPar::get_remaining_ratio()
199 return simgrid::simix::simcall([this]() {
200 return boost::static_pointer_cast<simgrid::kernel::activity::ExecImpl>(pimpl_)->get_par_remaining_ratio();
204 double ExecPar::get_remaining()
206 XBT_WARN("Calling get_remaining() on a parallel execution is not allowed. Call get_remaining_ratio() instead.");
207 return get_remaining_ratio();
210 } // namespace simgrid