From: Christian Heinrich <franz-christian.heinrich@inria.fr>
Date: Tue, 17 Jul 2018 11:44:52 +0000 (+0200)
Subject: [SMPI/REPLAY] Fix issues with daemons
X-Git-Tag: v3_21~403
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d37b22379fc9b7e760482d6edc10b645d9862db6

[SMPI/REPLAY] Fix issues with daemons

When daemons are running, process-id's of the ranks don't
start at 1. Here, we insert the pid's of the actual actors.
---

diff --git a/src/smpi/internals/smpi_replay.cpp b/src/smpi/internals/smpi_replay.cpp
index a11183d07f..dd65a620c4 100644
--- a/src/smpi/internals/smpi_replay.cpp
+++ b/src/smpi/internals/smpi_replay.cpp
@@ -134,7 +134,10 @@ public:
     /* Sometimes we need to re-insert MPI_REQUEST_NULL but we still need src,dst and tag */
     void addNullRequest(int src, int dst, int tag)
     {
-      store.insert({req_key_t(src, dst, tag), MPI_REQUEST_NULL});
+      store.insert({req_key_t(
+            MPI_COMM_WORLD->group()->actor(src)->get_pid()-1,
+            MPI_COMM_WORLD->group()->actor(dst)->get_pid()-1,
+            tag), MPI_REQUEST_NULL});
     }
 };