No need to switch data segment when process is finished.

diff --git a/src/simix/ActorImpl.cpp b/src/simix/ActorImpl.cpp
index b93d874..adfd9e3 100644 (file)
--- a/src/simix/ActorImpl.cpp
+++ b/src/simix/ActorImpl.cpp
@@ -748,7 +748,7 @@ void SIMIX_process_yield(smx_actor_t self)
     std::rethrow_exception(std::move(exception));
   }
 
-  if(SMPI_switch_data_segment){
+  if (SMPI_switch_data_segment && !self->finished) {
     SMPI_switch_data_segment(self->pid);
   }
 }