- simix_global->cleanup_process_function = function;
-}
-
-
-void SIMIX_display_process_status()
-{
- int nbprocess = simix_global->process_list.size();
-
- XBT_INFO("%d processes are still running, waiting for something.", nbprocess);
- /* List the process and their state */
- XBT_INFO("Legend of the following listing: \"Process <pid> (<name>@<host>): <status>\"");
- for (auto const& kv : simix_global->process_list) {
- smx_actor_t process = kv.second;
-
- if (process->waiting_synchro) {
-
- const char* synchro_description = "unknown";
-
- if (boost::dynamic_pointer_cast<simgrid::kernel::activity::ExecImpl>(process->waiting_synchro) != nullptr)
- synchro_description = "execution";
-
- if (boost::dynamic_pointer_cast<simgrid::kernel::activity::CommImpl>(process->waiting_synchro) != nullptr)
- synchro_description = "communication";
-
- if (boost::dynamic_pointer_cast<simgrid::kernel::activity::SleepImpl>(process->waiting_synchro) != nullptr)
- synchro_description = "sleeping";
-
- if (boost::dynamic_pointer_cast<simgrid::kernel::activity::RawImpl>(process->waiting_synchro) != nullptr)
- synchro_description = "synchronization";
-
- if (boost::dynamic_pointer_cast<simgrid::kernel::activity::IoImpl>(process->waiting_synchro) != nullptr)
- synchro_description = "I/O";
-
- XBT_INFO("Process %ld (%s@%s): waiting for %s synchro %p (%s) in state %d to finish", process->pid,
- process->get_cname(), process->host->get_cname(), synchro_description, process->waiting_synchro.get(),
- process->waiting_synchro->name.c_str(), (int)process->waiting_synchro->state);
- }
- else {
- XBT_INFO("Process %ld (%s@%s)", process->pid, process->get_cname(), process->host->get_cname());
- }
- }