X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/debe4e5871c0c3d1c714bbb1bd28ba7147454aa5..7672ae43c2b49a7dcdc0976cc89a05cc87ae534c:/src/s4u/s4u_Exec.cpp diff --git a/src/s4u/s4u_Exec.cpp b/src/s4u/s4u_Exec.cpp index 300a12e43f..24946989ec 100644 --- a/src/s4u/s4u_Exec.cpp +++ b/src/s4u/s4u_Exec.cpp @@ -1,74 +1,84 @@ -/* Copyright (c) 2006-2019. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2006-2022. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ -#include "simgrid/s4u/Actor.hpp" -#include "simgrid/s4u/Exec.hpp" +#include "simgrid/simix.hpp" +#include +#include +#include +#include + #include "src/kernel/activity/ExecImpl.hpp" -#include "xbt/log.h" +#include "src/kernel/actor/ActorImpl.hpp" +#include "src/kernel/actor/SimcallObserver.hpp" XBT_LOG_NEW_DEFAULT_SUBCATEGORY(s4u_exec, s4u_activity, "S4U asynchronous executions"); -namespace simgrid { -namespace s4u { -simgrid::xbt::signal s4u::Exec::on_start; -simgrid::xbt::signal s4u::Exec::on_completion; +namespace simgrid::s4u { +xbt::signal Exec::on_start; -Exec::Exec(sg_host_t host, double flops_amount) : Activity(), host_(host), flops_amount_(flops_amount) +Exec::Exec(kernel::activity::ExecImplPtr pimpl) { - Activity::set_remaining(flops_amount_); - pimpl_ = kernel::activity::ExecImplPtr(new kernel::activity::ExecImpl(name_, tracing_category_, host_)); + pimpl_ = pimpl; } -Exec* Exec::start() +void Exec::reset() const { - simix::simcall( - [this] { static_cast(pimpl_.get())->start(flops_amount_, 1. / priority_, bound_); }); - state_ = State::STARTED; - on_start(Actor::self()); - return this; + boost::static_pointer_cast(pimpl_)->reset(); } -Exec* Exec::cancel() +ExecPtr Exec::init() { - simgrid::simix::simcall([this] { static_cast(pimpl_.get())->cancel(); }); - state_ = State::CANCELED; - return this; + auto pimpl = kernel::activity::ExecImplPtr(new kernel::activity::ExecImpl()); + unsigned int cb_id = Host::on_state_change.connect([pimpl](s4u::Host const& h) { + if (not h.is_on() && pimpl->get_state() == kernel::activity::State::RUNNING && + std::find(pimpl->get_hosts().begin(), pimpl->get_hosts().end(), &h) != pimpl->get_hosts().end()) { + pimpl->set_state(kernel::activity::State::FAILED); + pimpl->post(); + } + }); + pimpl->set_cb_id(cb_id); + return ExecPtr(static_cast(pimpl->get_iface())); } -Exec* Exec::wait() +Exec* Exec::start() { - if (state_ == State::INITED) - start(); - simcall_execution_wait(pimpl_); - state_ = State::FINISHED; - on_completion(Actor::self()); + kernel::actor::simcall_answered([this] { + (*boost::static_pointer_cast(pimpl_)) + .set_name(get_name()) + .set_tracing_category(get_tracing_category()) + .start(); + }); + + if (suspended_) + pimpl_->suspend(); + + state_ = State::STARTED; + on_start(*this); return this; } -Exec* Exec::wait_for(double) +ssize_t Exec::wait_any_for(const std::vector& execs, double timeout) { - THROW_UNIMPLEMENTED; + std::vector activities; + for (const auto& exec : execs) + activities.push_back(boost::dynamic_pointer_cast(exec)); + return Activity::wait_any_for(activities, timeout); } -/** @brief Returns whether the state of the exec is finished */ -bool Exec::test() +/** @brief change the execution bound + * This means changing the maximal amount of flops per second that it may consume, regardless of what the host may + * deliver. Currently, this cannot be changed once the exec started. + */ +ExecPtr Exec::set_bound(double bound) { - xbt_assert(state_ == State::INITED || state_ == State::STARTED || state_ == State::FINISHED); - - if (state_ == State::FINISHED) - return true; - - if (state_ == State::INITED) - this->start(); - - if (simcall_execution_test(pimpl_)) { - state_ = State::FINISHED; - return true; - } - - return false; + xbt_assert(state_ == State::INITED || state_ == State::STARTING, + "Cannot change the bound of an exec after its start"); + kernel::actor::simcall_object_access(pimpl_.get(), [this, bound] { + boost::static_pointer_cast(pimpl_)->set_bound(bound); + }); + return this; } /** @brief Change the execution priority, don't you think? @@ -79,85 +89,259 @@ bool Exec::test() * Currently, this cannot be changed once the exec started. */ ExecPtr Exec::set_priority(double priority) { - xbt_assert(state_ == State::INITED, "Cannot change the priority of an exec after its start"); - priority_ = priority; + xbt_assert(state_ == State::INITED || state_ == State::STARTING, + "Cannot change the priority of an exec after its start"); + kernel::actor::simcall_object_access(pimpl_.get(), [this, priority] { + boost::static_pointer_cast(pimpl_)->set_sharing_penalty(1. / priority); + }); return this; } -/** @brief change the execution bound, ie the maximal amount of flops per second that it may consume, regardless of what - * the host may deliver - * - * Currently, this cannot be changed once the exec started. */ -ExecPtr Exec::set_bound(double bound) +ExecPtr Exec::update_priority(double priority) +{ + kernel::actor::simcall_answered([this, priority] { + boost::static_pointer_cast(pimpl_)->update_sharing_penalty(1. / priority); + }); + return this; +} + +ExecPtr Exec::set_flops_amount(double flops_amount) +{ + xbt_assert(state_ == State::INITED || state_ == State::STARTING, + "Cannot change the flop_amount of an exec after its start"); + kernel::actor::simcall_object_access(pimpl_.get(), [this, flops_amount] { + boost::static_pointer_cast(pimpl_)->set_flops_amount(flops_amount); + }); + set_remaining(flops_amount); + return this; +} + +ExecPtr Exec::set_flops_amounts(const std::vector& flops_amounts) +{ + xbt_assert(state_ == State::INITED || state_ == State::STARTING, + "Cannot change the flops_amounts of an exec after its start"); + kernel::actor::simcall_object_access(pimpl_.get(), [this, flops_amounts] { + boost::static_pointer_cast(pimpl_)->set_flops_amounts(flops_amounts); + }); + parallel_ = true; + return this; +} + +ExecPtr Exec::set_bytes_amounts(const std::vector& bytes_amounts) +{ + xbt_assert(state_ == State::INITED || state_ == State::STARTING, + "Cannot change the bytes_amounts of an exec after its start"); + kernel::actor::simcall_object_access(pimpl_.get(), [this, bytes_amounts] { + boost::static_pointer_cast(pimpl_)->set_bytes_amounts(bytes_amounts); + }); + parallel_ = true; + return this; +} + +ExecPtr Exec::set_thread_count(int thread_count) { - xbt_assert(state_ == State::INITED, "Cannot change the bound of an exec after its start"); - bound_ = bound; + xbt_assert(state_ == State::INITED || state_ == State::STARTING, + "Cannot change the bytes_amounts of an exec after its start"); + kernel::actor::simcall_object_access(pimpl_.get(), [this, thread_count] { + boost::static_pointer_cast(pimpl_)->set_thread_count(thread_count); + }); return this; } +/** @brief Retrieve the host on which this activity takes place. + * If it runs on more than one host, only the first host is returned. + */ +Host* Exec::get_host() const +{ + return static_cast(pimpl_.get())->get_host(); +} +unsigned int Exec::get_host_number() const +{ + return static_cast(pimpl_.get())->get_host_number(); +} + +int Exec::get_thread_count() const +{ + return static_cast(pimpl_.get())->get_thread_count(); +} + /** @brief Change the host on which this activity takes place. * * The activity cannot be terminated already (but it may be started). */ ExecPtr Exec::set_host(Host* host) { - xbt_assert(state_ == State::INITED || state_ == State::STARTED, - "Cannot change the host of an exec once it's done (state: %d)", (int)state_); + xbt_assert(state_ == State::INITED || state_ == State::STARTING || state_ == State::STARTED, + "Cannot change the host of an exec once it's done (state: %s)", to_c_str(state_)); + if (state_ == State::STARTED) - boost::static_pointer_cast(pimpl_)->migrate(host); - host_ = host; - boost::static_pointer_cast(pimpl_)->host_ = host; + boost::static_pointer_cast(pimpl_)->migrate(host); + + kernel::actor::simcall_object_access( + pimpl_.get(), [this, host] { boost::static_pointer_cast(pimpl_)->set_host(host); }); + + if (state_ == State::STARTING) + // Setting the host may allow to start the activity, let's try + vetoable_start(); + return this; } -ExecPtr Exec::set_name(std::string name) +ExecPtr Exec::set_hosts(const std::vector& hosts) { - xbt_assert(state_ == State::INITED, "Cannot change the name of an exec after its start"); - name_ = std::move(name); + xbt_assert(state_ == State::INITED || state_ == State::STARTING, + "Cannot change the hosts of an exec once it's done (state: %s)", to_c_str(state_)); + + kernel::actor::simcall_object_access(pimpl_.get(), [this, hosts] { + boost::static_pointer_cast(pimpl_)->set_hosts(hosts); + }); + parallel_ = true; + + // Setting the host may allow to start the activity, let's try + if (state_ == State::STARTING) + vetoable_start(); + return this; } -ExecPtr Exec::set_tracing_category(std::string category) +ExecPtr Exec::unset_host() { - xbt_assert(state_ == State::INITED, "Cannot change the tracing category of an exec after its start"); - tracing_category_ = std::move(category); - return this; + if (not is_assigned()) + throw std::invalid_argument( + xbt::string_printf("Exec %s: the activity is not assigned to any host(s)", get_cname())); + else { + reset(); + + if (state_ == State::STARTED) + cancel(); + vetoable_start(); + + return this; + } } -/** @brief Retrieve the host on which this activity takes place. */ -Host* Exec::get_host() +double Exec::get_cost() const { - return host_; + return (pimpl_->surf_action_ == nullptr) ? -1 : pimpl_->surf_action_->get_cost(); } -/** @brief Returns the amount of flops that remain to be done */ -double Exec::get_remaining() +double Exec::get_remaining() const { - return simgrid::simix::simcall( - [this]() { return boost::static_pointer_cast(pimpl_)->get_remaining(); }); + if (is_parallel()) { + XBT_WARN("Calling get_remaining() on a parallel execution is not allowed. Call get_remaining_ratio() instead."); + return get_remaining_ratio(); + } else + return kernel::actor::simcall_answered( + [this]() { return boost::static_pointer_cast(pimpl_)->get_remaining(); }); } -/** @brief Returns the ratio of elements that are still to do +/** @brief Returns the ratio of elements that are still to do * * The returned value is between 0 (completely done) and 1 (nothing done yet). */ -double Exec::get_remaining_ratio() +double Exec::get_remaining_ratio() const { - return simgrid::simix::simcall([this]() { - return boost::static_pointer_cast(pimpl_)->get_remaining_ratio(); - }); + if (is_parallel()) + return kernel::actor::simcall_answered( + [this]() { return boost::static_pointer_cast(pimpl_)->get_par_remaining_ratio(); }); + else + return kernel::actor::simcall_answered( + [this]() { return boost::static_pointer_cast(pimpl_)->get_seq_remaining_ratio(); }); +} + +bool Exec::is_assigned() const +{ + return not boost::static_pointer_cast(pimpl_)->get_hosts().empty(); +} +} // namespace simgrid::s4u + +/* **************************** Public C interface *************************** */ +void sg_exec_set_bound(sg_exec_t exec, double bound) +{ + exec->set_bound(bound); +} + +const char* sg_exec_get_name(const_sg_exec_t exec) +{ + return exec->get_cname(); +} + +void sg_exec_set_name(sg_exec_t exec, const char* name) +{ + exec->set_name(name); +} + +void sg_exec_set_host(sg_exec_t exec, sg_host_t new_host) +{ + exec->set_host(new_host); +} + +double sg_exec_get_remaining(const_sg_exec_t exec) +{ + return exec->get_remaining(); +} + +double sg_exec_get_remaining_ratio(const_sg_exec_t exec) +{ + return exec->get_remaining_ratio(); +} + +void sg_exec_start(sg_exec_t exec) +{ + exec->vetoable_start(); +} + +void sg_exec_cancel(sg_exec_t exec) +{ + exec->cancel(); + exec->unref(); +} + +int sg_exec_test(sg_exec_t exec) +{ + bool finished = exec->test(); + if (finished) + exec->unref(); + return finished; +} + +sg_error_t sg_exec_wait(sg_exec_t exec) +{ + return sg_exec_wait_for(exec, -1.0); } -void intrusive_ptr_release(simgrid::s4u::Exec* e) +sg_error_t sg_exec_wait_for(sg_exec_t exec, double timeout) { - if (e->refcount_.fetch_sub(1, std::memory_order_release) == 1) { - std::atomic_thread_fence(std::memory_order_acquire); - delete e; + sg_error_t status = SG_OK; + + simgrid::s4u::ExecPtr s4u_exec(exec, false); + try { + s4u_exec->wait_for(timeout); + } catch (const simgrid::TimeoutException&) { + s4u_exec->add_ref(); // the wait_for timeouted, keep the exec alive + status = SG_ERROR_TIMEOUT; + } catch (const simgrid::CancelException&) { + status = SG_ERROR_CANCELED; + } catch (const simgrid::HostFailureException&) { + status = SG_ERROR_HOST; } + return status; +} + +ssize_t sg_exec_wait_any(sg_exec_t* execs, size_t count) +{ + return sg_exec_wait_any_for(execs, count, -1.0); } -void intrusive_ptr_add_ref(simgrid::s4u::Exec* e) +ssize_t sg_exec_wait_any_for(sg_exec_t* execs, size_t count, double timeout) { - e->refcount_.fetch_add(1, std::memory_order_relaxed); + std::vector s4u_execs; + for (size_t i = 0; i < count; i++) + s4u_execs.emplace_back(execs[i], false); + + ssize_t pos = simgrid::s4u::Exec::wait_any_for(s4u_execs, timeout); + for (size_t i = 0; i < count; i++) { + if (pos != -1 && static_cast(pos) != i) + s4u_execs[i]->add_ref(); + } + return pos; } -} // namespace s4u -} // namespace simgrid