X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/64e886453115b0d399c1ff6fd6bbc0d6f98c22cb..a40d504b595655bff5c4e433bf929091a155aef7:/src/smpi/internals/smpi_memory.cpp diff --git a/src/smpi/internals/smpi_memory.cpp b/src/smpi/internals/smpi_memory.cpp index 62bac67f99..e70482319a 100644 --- a/src/smpi/internals/smpi_memory.cpp +++ b/src/smpi/internals/smpi_memory.cpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2015-2017. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2015-2018. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -97,12 +97,13 @@ static void* asan_safe_memcpy(void* dest, void* src, size_t n) #endif /** Map a given SMPI privatization segment (make a SMPI process active) */ -void smpi_switch_data_segment(int dest) { - if (smpi_loaded_page == dest)//no need to switch, we've already loaded the one we want +void smpi_switch_data_segment(simgrid::s4u::ActorPtr actor) +{ + if (smpi_loaded_page == actor->getPid()) // no need to switch, we've already loaded the one we want return; // So the job: - smpi_really_switch_data_segment(dest); + smpi_really_switch_data_segment(actor); } /** Map a given SMPI privatization segment (make a SMPI process active) even if SMPI thinks it is already active @@ -110,21 +111,21 @@ void smpi_switch_data_segment(int dest) { * When doing a state restoration, the state of the restored variables might not be consistent with the state of the * virtual memory. In this case, we to change the data segment. */ -void smpi_really_switch_data_segment(int dest) +void smpi_really_switch_data_segment(simgrid::s4u::ActorPtr actor) { if (smpi_data_exe_size == 0) // no need to switch return; #if HAVE_PRIVATIZATION // FIXME, cross-process support (mmap across process when necessary) - simgrid::smpi::Process* process = smpi_process_remote(dest); + XBT_DEBUG("Switching data frame to the one of process %ld", actor->getPid()); + simgrid::smpi::Process* process = smpi_process_remote(actor); int current = process->privatized_region()->file_descriptor; - XBT_DEBUG("Switching data frame to the one of process %d", dest); void* tmp = mmap(TOPAGE(smpi_data_exe_start), smpi_data_exe_size, PROT_READ | PROT_WRITE, MAP_FIXED | MAP_SHARED, current, 0); if (tmp != TOPAGE(smpi_data_exe_start)) xbt_die("Couldn't map the new region (errno %d): %s", errno, strerror(errno)); - smpi_loaded_page = dest; + smpi_loaded_page = actor->getPid(); #endif } @@ -229,3 +230,40 @@ void smpi_destroy_global_memory_segments(){ #endif } +static int sendbuffer_size = 0; +static char* sendbuffer = nullptr; +static int recvbuffer_size = 0; +static char* recvbuffer = nullptr; + +//allocate a single buffer for all sends, growing it if needed +void* smpi_get_tmp_sendbuffer(int size) +{ + if (not smpi_process()->replaying()) + return xbt_malloc(size); + if (sendbuffer_size(xbt_realloc(sendbuffer,size)); + sendbuffer_size=size; + } + return sendbuffer; +} + +//allocate a single buffer for all recv +void* smpi_get_tmp_recvbuffer(int size){ + if (not smpi_process()->replaying()) + return xbt_malloc(size); + if (recvbuffer_size(xbt_realloc(recvbuffer,size)); + recvbuffer_size=size; + } + return recvbuffer; +} + +void smpi_free_tmp_buffer(void* buf){ + if (not smpi_process()->replaying()) + xbt_free(buf); +} + +void smpi_free_replay_tmp_buffers(){ + xbt_free(sendbuffer); + xbt_free(recvbuffer); +}