X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b8df87e176f27b25534f27d7e240defa32ca35bc..cf482439821f2e52d3a573c4abe8763be830800a:/src/simix/popping.cpp diff --git a/src/simix/popping.cpp b/src/simix/popping.cpp index e353c11375..c482ab8923 100644 --- a/src/simix/popping.cpp +++ b/src/simix/popping.cpp @@ -14,13 +14,11 @@ void SIMIX_simcall_answer(smx_simcall_t simcall) XBT_DEBUG("Answer simcall %s (%d) issued by %s (%p)", SIMIX_simcall_name(simcall->call), (int)simcall->call, simcall->issuer->get_cname(), simcall->issuer); simcall->issuer->simcall.call = SIMCALL_NONE; -#if 0 - /* This check should be useless and slows everyone. Reactivate if you see something weird in process scheduling. */ - if (std::find(begin(simix_global->process_to_run), end(simix_global->process_to_run), simcall->issuer) != - end(simix_global->process_to_run)) - DIE_IMPOSSIBLE; -#endif - simix_global->process_to_run.push_back(simcall->issuer); + xbt_assert(not XBT_LOG_ISENABLED(simix_popping, xbt_log_priority_debug) || + std::find(begin(simix_global->actors_to_run), end(simix_global->actors_to_run), simcall->issuer) == + end(simix_global->actors_to_run), + "Actor %p should not exist in actors_to_run!", simcall->issuer); + simix_global->actors_to_run.push_back(simcall->issuer); } }