+
+//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*/ 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)
+{
+ // Because this kind of process maintain is own list of buffers and call
+ // `smpi_free_tmp_buffer(void* buf)` to free them
+ if (not smpi_process()->replaying())
+ return xbt_malloc(size);
+
+ // check if the process is registered
+ aid_t id = simgrid::s4u::this_actor::get_pid();
+ 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;
+ 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]) = xbt_realloc(std::get<0>((*buffer_map)[id]), size);
+ std::get<1>((*buffer_map)[id]) = size;
+ }
+ return std::get<0>((*buffer_map)[id]);
+}
+
+void* smpi_get_tmp_sendbuffer(int size)
+{
+ return smpi_get_tmp_buffer(size, &sendbuffer_map);
+}
+
+void* smpi_get_tmp_recvbuffer(int size)
+{
+ return smpi_get_tmp_buffer(size, &recvbuffer_map);
+}
+
+void smpi_free_tmp_buffer(void* buf){
+ if (not smpi_process()->replaying())
+ xbt_free(buf);
+}