process->kill_timer = nullptr;
}
- xbt_os_mutex_acquire(simix_global->mutex);
+ simix_global->mutex.lock();
/* cancel non-blocking communications */
while (not process->comms.empty()) {
}
process->context_->iwannadie = 0;
- xbt_os_mutex_release(simix_global->mutex);
+ simix_global->mutex.unlock();
}
/**