- process->finished = true;
- SIMIX_process_on_exit_runall(process);
-
- /* Unregister from the kill timer if any */
- if (process->kill_timer != nullptr) {
- SIMIX_timer_remove(process->kill_timer);
- process->kill_timer = nullptr;
- }
-
- xbt_os_mutex_acquire(simix_global->mutex);
-
- /* cancel non-blocking communications */
- while (not process->comms.empty()) {
- smx_activity_t synchro = process->comms.front();
- process->comms.pop_front();
- simgrid::kernel::activity::CommImplPtr comm =
- boost::static_pointer_cast<simgrid::kernel::activity::CommImpl>(synchro);
-
- /* make sure no one will finish the comm after this process is destroyed,
- * because src_proc or dst_proc would be an invalid pointer */
-
- if (comm->src_proc == process) {
- XBT_DEBUG("Found an unfinished send comm %p (detached = %d), state %d, src = %p, dst = %p", comm.get(),
- comm->detached, (int)comm->state_, comm->src_proc, comm->dst_proc);
- comm->src_proc = nullptr;
-
- } else if (comm->dst_proc == process) {
- XBT_DEBUG("Found an unfinished recv comm %p, state %d, src = %p, dst = %p", comm.get(), (int)comm->state_,
- comm->src_proc, comm->dst_proc);
- comm->dst_proc = nullptr;
-
- if (comm->detached && comm->src_proc != nullptr) {
- /* the comm will be freed right now, remove it from the sender */
- comm->src_proc->comms.remove(comm);
- }
- } else {
- xbt_die("Communication synchro %p is in my list but I'm not the sender nor the receiver", synchro.get());
- }
- comm->cancel();
- }