TRACE
- Remove viva specific tracing as the tool is no longer maintained
+ Fixed bugs:
+ - #248: Kill of finished MSG processes leads to segfault
+
SimGrid (3.17) Released October 8 2017
The Drained Leaks release: (almost) no known leaks despite the tests.
*/
void SIMIX_process_kill(smx_actor_t process, smx_actor_t issuer) {
+ if (process->finished) {
+ XBT_DEBUG("Ignoring request to kill process %s@%s that is already dead", process->getCname(),
+ process->host->getCname());
+ return;
+ }
+
XBT_DEBUG("Killing process %s@%s", process->getCname(), process->host->getCname());
process->context->iwannadie = 1;