#include "simgrid/kernel/routing/NetPoint.hpp"
#include "simgrid/modelchecker.h"
#include "simgrid/s4u/Exec.hpp"
+#include "src/kernel/actor/SimcallObserver.hpp"
#include "src/mc/mc_replay.hpp"
#include "src/surf/HostImpl.hpp"
#include "src/surf/cpu_interface.hpp"
#include "simgrid/s4u/Host.hpp"
-#include <boost/range/algorithm.hpp>
-
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_process);
-void simcall_HANDLER_execution_waitany_for(smx_simcall_t simcall, simgrid::kernel::activity::ExecImpl* execs[],
- size_t count, double timeout)
-{
- if (timeout < 0.0) {
- simcall->timeout_cb_ = nullptr;
- } else {
- simcall->timeout_cb_ = simgrid::simix::Timer::set(SIMIX_get_clock() + timeout, [simcall, execs, count]() {
- simcall->timeout_cb_ = nullptr;
- for (size_t i = 0; i < count; i++) {
- // Remove the first occurrence of simcall:
- auto* exec = execs[i];
- auto j = boost::range::find(exec->simcalls_, simcall);
- if (j != exec->simcalls_.end())
- exec->simcalls_.erase(j);
- }
- simcall_execution_waitany_for__set__result(simcall, -1);
- simcall->issuer_->simcall_answer();
- });
- }
-
- for (size_t i = 0; i < count; i++) {
- /* associate this simcall to the the synchro */
- auto* exec = execs[i];
- exec->simcalls_.push_back(simcall);
-
- /* see if the synchro is already finished */
- if (exec->state_ != simgrid::kernel::activity::State::WAITING &&
- exec->state_ != simgrid::kernel::activity::State::RUNNING) {
- exec->finish();
- break;
- }
- }
-}
-
namespace simgrid {
namespace kernel {
namespace activity {
void ExecImpl::post()
{
xbt_assert(surf_action_ != nullptr);
- if (hosts_.size() == 1 && not hosts_.front()->is_on()) { /* FIXME: handle resource failure for parallel tasks too */
- /* If the host running the synchro failed, notice it. This way, the asking
+ if (std::any_of(hosts_.begin(), hosts_.end(), [](const s4u::Host* host) { return not host->is_on(); })) {
+ /* If one of the hosts running the synchro failed, notice it. This way, the asking
* process can be killed if it runs on that host itself */
state_ = State::FAILED;
} else if (surf_action_->get_state() == resource::Action::State::FAILED) {
- /* If the host running the synchro didn't fail, then the synchro was canceled */
+ /* If all the hosts are running the synchro didn't fail, then the synchro was canceled */
state_ = State::CANCELED;
} else if (timeout_detector_ && timeout_detector_->get_state() == resource::Action::State::FINISHED) {
if (surf_action_->get_remains() > 0.0) {
void ExecImpl::finish()
{
+ XBT_DEBUG("ExecImpl::finish() in state %s", to_c_str(state_));
while (not simcalls_.empty()) {
smx_simcall_t simcall = simcalls_.front();
simcalls_.pop_front();
if (simcall->call_ == simix::Simcall::NONE) // FIXME: maybe a better way to handle this case
continue; // if process handling comm is killed
- if (simcall->call_ == simix::Simcall::EXECUTION_WAITANY_FOR) {
- simgrid::kernel::activity::ExecImpl** execs = simcall_execution_waitany_for__get__execs(simcall);
- size_t count = simcall_execution_waitany_for__get__count(simcall);
+ if (auto* observer =
+ dynamic_cast<kernel::actor::ExecutionWaitanySimcall*>(simcall->observer_)) { // simcall is a wait_any?
+ const auto* execs = observer->get_execs();
- for (size_t i = 0; i < count; i++) {
- // Remove the first occurrence of simcall:
- auto* exec = execs[i];
- auto j = boost::range::find(exec->simcalls_, simcall);
- if (j != exec->simcalls_.end())
- exec->simcalls_.erase(j);
+ for (auto* exec : *execs) {
+ exec->unregister_simcall(simcall);
if (simcall->timeout_cb_) {
simcall->timeout_cb_->remove();
}
if (not MC_is_active() && not MC_record_replay_is_active()) {
- ExecImpl** element = std::find(execs, execs + count, this);
- int rank = (element != execs + count) ? element - execs : -1;
- simcall_execution_waitany_for__set__result(simcall, rank);
+ auto element = std::find(execs->begin(), execs->end(), this);
+ int rank = element != execs->end() ? static_cast<int>(std::distance(execs->begin(), element)) : -1;
+ observer->set_result(rank);
}
}
switch (state_) {
- case State::DONE:
- /* do nothing, synchro done */
- XBT_DEBUG("ExecImpl::finish(): execution successful");
- break;
-
case State::FAILED:
- XBT_DEBUG("ExecImpl::finish(): host '%s' failed", simcall->issuer_->get_host()->get_cname());
simcall->issuer_->context_->set_wannadie();
if (simcall->issuer_->get_host()->is_on())
simcall->issuer_->exception_ =
break;
case State::CANCELED:
- XBT_DEBUG("ExecImpl::finish(): execution canceled");
simcall->issuer_->exception_ =
std::make_exception_ptr(simgrid::CancelException(XBT_THROW_POINT, "Execution Canceled"));
break;
case State::TIMEOUT:
- XBT_DEBUG("ExecImpl::finish(): execution timeouted");
simcall->issuer_->exception_ = std::make_exception_ptr(simgrid::TimeoutException(XBT_THROW_POINT, "Timeouted"));
break;
default:
- xbt_die("Internal error in ExecImpl::finish(): unexpected synchro state %d", static_cast<int>(state_));
+ xbt_assert(state_ == State::DONE, "Internal error in ExecImpl::finish(): unexpected synchro state %s",
+ to_c_str(state_));
}
simcall->issuer_->waiting_synchro_ = nullptr;
new_action->set_remains(old_action->get_remains());
new_action->set_activity(this);
new_action->set_sharing_penalty(old_action->get_sharing_penalty());
-
- // FIXME: the user-defined bound seem to not be kept by LMM, that seem to overwrite it for the multi-core modeling.
- // I hope that the user did not provide any.
+ new_action->set_user_bound(old_action->get_user_bound());
old_action->set_activity(nullptr);
old_action->cancel();
return this;
}
+void ExecImpl::wait_any_for(actor::ActorImpl* issuer, const std::vector<ExecImpl*>* execs, double timeout)
+{
+ if (timeout < 0.0) {
+ issuer->simcall_.timeout_cb_ = nullptr;
+ } else {
+ issuer->simcall_.timeout_cb_ = simgrid::simix::Timer::set(SIMIX_get_clock() + timeout, [issuer, execs]() {
+ issuer->simcall_.timeout_cb_ = nullptr;
+ for (auto* exec : *execs)
+ exec->unregister_simcall(&issuer->simcall_);
+ // default result (-1) is set in mc::ExecutionWaitanySimcall
+ issuer->simcall_answer();
+ });
+ }
+
+ for (auto* exec : *execs) {
+ /* associate this simcall to the the synchro */
+ exec->simcalls_.push_back(&issuer->simcall_);
+
+ /* see if the synchro is already finished */
+ if (exec->state_ != simgrid::kernel::activity::State::WAITING &&
+ exec->state_ != simgrid::kernel::activity::State::RUNNING) {
+ exec->finish();
+ break;
+ }
+ }
+}
+
/*************
* Callbacks *
*************/