[smpi] Restore privatisation mapping smpi_execute()

smpi_execute() calls a the host_execution simcall which might generate
a process switch. After this, we might not have the correct SMPI
privatisation region: we have to rectore it. The correct privatisation
mapping is needed by some code between smpi_bench_end() and
smpi_bench_begin().

diff --git a/src/smpi/smpi_bench.c b/src/smpi/smpi_bench.c
index 393c850..7207e64 100644 (file)
--- a/src/smpi/smpi_bench.c
+++ b/src/smpi/smpi_bench.c
@@ -160,6 +160,7 @@ void smpi_execute_flops(double flops) {
   simcall_set_category (action, TRACE_internal_smpi_get_category());
 #endif
   simcall_host_execution_wait(action);
+  smpi_switch_data_segment(smpi_process_index());
 }
 
 void smpi_execute(double duration)