#include "src/mc/mc_replay.h"
#include "src/mc/mc_client.h"
#include "src/simix/smx_private.hpp"
+#include "src/msg/msg_private.h"
#ifdef HAVE_SMPI
#include "src/smpi/private.h"
/* Unregister from the kill timer if any */
if (process->kill_timer != NULL)
- SIMIX_timer_remove(process->kill_timer);
+ SIMIX_timer_remove(process->kill_timer);
xbt_os_mutex_acquire(simix_global->mutex);
sg_host_get_name(process->host), kill_time);
process->kill_timer = SIMIX_timer_set(kill_time, kill_process, process);
}
+
+ /* Tracing the process creation */
+ TRACE_msg_process_create(process->name, process->pid, process->host);
}
return process;
}
smx_process_t process = SIMIX_process_self();
if (process == NULL || process == simix_global->maestro_process)
- return "";
+ return "maestro";
return SIMIX_process_get_name(process);
}