1 /* Copyright (c) 2010, 2012-2017. The SimGrid Team. All rights reserved. */
3 /* This program is free software; you can redistribute it and/or modify it
4 * under the terms of the license (GNU LGPL) which comes with this package. */
6 #include "src/instr/instr_private.hpp"
7 #include "src/msg/msg_private.hpp"
8 #include "src/simix/ActorImpl.hpp"
9 #include <simgrid/actor.h>
11 XBT_LOG_NEW_DEFAULT_SUBCATEGORY (instr_msg_process, instr, "MSG process");
13 std::string instr_pid(msg_process_t proc)
15 return std::string(proc->getCname()) + "-" + std::to_string(proc->getPid());
18 void TRACE_msg_process_kill(smx_process_exit_status_t status, msg_process_t process)
20 if (TRACE_actor_is_enabled() && status == SMX_EXIT_FAILURE) {
21 //kill means that this process no longer exists, let's destroy it
22 simgrid::instr::Container::byName(instr_pid(process))->removeFromParent();