#include "src/mc/mc_replay.h"
#include "simgrid/sg_config.h"
-#include "src/simix/SynchroExec.hpp"
-#include "src/simix/SynchroComm.hpp"
-#include "src/simix/SynchroSleep.hpp"
-#include "src/simix/SynchroIo.hpp"
-#include "src/simix/SynchroRaw.hpp"
+#include "src/kernel/activity/SynchroExec.hpp"
+#include "src/kernel/activity/SynchroComm.hpp"
+#include "src/kernel/activity/SynchroSleep.hpp"
+#include "src/kernel/activity/SynchroIo.hpp"
+#include "src/kernel/activity/SynchroRaw.hpp"
#if HAVE_MC
#include "src/mc/mc_private.h"
surf_action_t action;
xbt_dynar_foreach(all_existing_models, iter, model) {
- XBT_DEBUG("Handling process whose action failed");
+ XBT_DEBUG("Handling the processes whose action failed (if any)");
while ((action = surf_model_extract_failed_action_set(model))) {
XBT_DEBUG(" Handling Action %p",action);
SIMIX_simcall_exit((smx_synchro_t) action->getData());
}
- XBT_DEBUG("Handling process whose action terminated normally");
+ XBT_DEBUG("Handling the processes whose action terminated normally (if any)");
while ((action = surf_model_extract_done_action_set(model))) {
XBT_DEBUG(" Handling Action %p",action);
if (action->getData() == nullptr)
const char* synchro_description = "unknown";
- if (dynamic_cast<simgrid::simix::Exec*>(process->waiting_synchro) != nullptr)
+ if (dynamic_cast<simgrid::kernel::activity::Exec*>(process->waiting_synchro) != nullptr)
synchro_description = "execution";
- if (dynamic_cast<simgrid::simix::Comm*>(process->waiting_synchro) != nullptr)
+ if (dynamic_cast<simgrid::kernel::activity::Comm*>(process->waiting_synchro) != nullptr)
synchro_description = "communication";
- if (dynamic_cast<simgrid::simix::Sleep*>(process->waiting_synchro) != nullptr)
+ if (dynamic_cast<simgrid::kernel::activity::Sleep*>(process->waiting_synchro) != nullptr)
synchro_description = "sleeping";
- if (dynamic_cast<simgrid::simix::Raw*>(process->waiting_synchro) != nullptr)
+ if (dynamic_cast<simgrid::kernel::activity::Raw*>(process->waiting_synchro) != nullptr)
synchro_description = "synchronization";
- if (dynamic_cast<simgrid::simix::Io*>(process->waiting_synchro) != nullptr)
+ if (dynamic_cast<simgrid::kernel::activity::Io*>(process->waiting_synchro) != nullptr)
synchro_description = "I/O";