- while (not simcalls.empty()) {
- smx_simcall_t simcall = simcalls.front();
- simcalls.pop_front();
-
- e_smx_state_t state;
- switch (surf_sleep->getState()) {
- case simgrid::surf::Action::State::failed:
- simcall->issuer->context->iwannadie = 1;
- state = SIMIX_SRC_HOST_FAILURE;
+ while (not simcalls_.empty()) {
+ smx_simcall_t simcall = simcalls_.front();
+ simcalls_.pop_front();
+ e_smx_state_t result;
+ if (host && host->is_off()) {
+ /* If the host running the synchro failed, notice it. This way, the asking
+ * actor can be killed if it runs on that host itself */
+ result = SIMIX_SRC_HOST_FAILURE;
+ simcall->issuer->throw_exception(
+ std::make_exception_ptr(simgrid::HostFailureException(XBT_THROW_POINT, "Host failed")));
+ }
+
+ switch (surf_sleep->get_state()) {
+ case simgrid::kernel::resource::Action::State::FAILED:
+ simcall->issuer->context_->iwannadie = 1;
+ result = SIMIX_FAILED;