X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4b1773e713af47a4917278519ab87386d1de48c5..cfa37467445963796bfdafdec9bad8ec8566a60a:/src/smpi/internals/smpi_memory.cpp

diff --git a/src/smpi/internals/smpi_memory.cpp b/src/smpi/internals/smpi_memory.cpp
index 1b415473cb..f11d75912e 100644
--- a/src/smpi/internals/smpi_memory.cpp
+++ b/src/smpi/internals/smpi_memory.cpp
@@ -247,10 +247,10 @@ void smpi_destroy_global_memory_segments(){
 //allocate a single buffer for all sends, and an other of all reads, for each actor.
 //buffer size is growing if needed
 
-typedef std::tuple</*buffer adress*/ char*, /*buffer size*/ int> buffer_tuple;
+typedef std::tuple</*buffer adress*/ void*, /*buffer size*/ int> buffer_tuple;
 static std::map<aid_t, buffer_tuple> sendbuffer_map;
 static std::map<aid_t, buffer_tuple> recvbuffer_map;
-static void* smpi_get_tmp_buffer(int size, std::map<aid_t, buffer_tuple> buffer_map)
+static void* smpi_get_tmp_buffer(int size, std::map<aid_t, buffer_tuple>* buffer_map)
 {
   // Because this kind of process maintain is own list of buffers and call
   // `smpi_free_tmp_buffer(void* buf)` to free them
@@ -259,36 +259,36 @@ static void* smpi_get_tmp_buffer(int size, std::map<aid_t, buffer_tuple> buffer_
 
   // check if the process is registered
   aid_t id = simgrid::s4u::this_actor::get_pid();
-  if (not (buffer_map.find(id) == buffer_map.end()))
-  {
+  if (buffer_map->find(id) == buffer_map->end()) {
     // This tuple represents a buffer and his size
     buffer_tuple buffer_tuple(nullptr, 0);
-    buffer_map[id] = buffer_tuple;
+    (*buffer_map)[id] = buffer_tuple;
+    simgrid::s4u::this_actor::on_exit(
+        [id, buffer_map](int status, void* ignored) {
+          xbt_free(std::get<0>((*buffer_map)[id]));
+          std::get<0>((*buffer_map)[id]) = nullptr;
+        },
+        nullptr);
   }
-  if (std::get<1>(buffer_map[id]) < size){
-      std::get<0>(buffer_map[id]) = static_cast<char*>(xbt_realloc(std::get<0>(buffer_map[id]), size));
-      std::get<1>(buffer_map[id]) = size;
+
+  if (std::get<1>((*buffer_map)[id]) < size) {
+    std::get<0>((*buffer_map)[id]) = xbt_realloc(std::get<0>((*buffer_map)[id]), size);
+    std::get<1>((*buffer_map)[id]) = size;
   }
-  return std::get<0>(buffer_map[id]);
+  return std::get<0>((*buffer_map)[id]);
 }
 
 void* smpi_get_tmp_sendbuffer(int size)
 {
-    return smpi_get_tmp_buffer(size, sendbuffer_map);
+  return smpi_get_tmp_buffer(size, &sendbuffer_map);
 }
 
 void* smpi_get_tmp_recvbuffer(int size)
 {
-    return smpi_get_tmp_buffer(size, recvbuffer_map);
+  return smpi_get_tmp_buffer(size, &recvbuffer_map);
 }
 
 void smpi_free_tmp_buffer(void* buf){
   if (not smpi_process()->replaying())
     xbt_free(buf);
 }
-
-void smpi_free_replay_tmp_buffers(){
-  aid_t id = simgrid::s4u::this_actor::get_pid();
-  xbt_free(std::get<0>(recvbuffer_map[id]));
-  xbt_free(std::get<0>(sendbuffer_map[id]));
-}