X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ad5734ab76c2c430832004e0e3af55a0378e1c5d..aa022d1e577ba93e5fb2841a312b8ac6b00a4ffd:/src/smpi/smpi_global.c diff --git a/src/smpi/smpi_global.c b/src/smpi/smpi_global.c index a4278264ff..f7c6132517 100644 --- a/src/smpi/smpi_global.c +++ b/src/smpi/smpi_global.c @@ -213,13 +213,15 @@ void print_request(const char *message, MPI_Request request) { request->src, request->dst, request->tag, request->flags); } -void SMPI_comm_copy_buffer_callback(smx_action_t comm, void* buff, size_t buff_size) +static void SMPI_comm_copy_buffer_callback(smx_action_t comm, void* buff, size_t buff_size) { XBT_DEBUG("Copy the data over"); memcpy(comm->comm.dst_buff, buff, buff_size); if (comm->comm.detached) { // if this is a detached send, the source buffer was duplicated by SMPI sender to make the original buffer available to the application ASAP xbt_free(buff); - xbt_free(comm->comm.src_data);// inside SMPI the request is keep + //It seems that the request is used after the call there this should + //be free somewhereelse but where??? + //xbt_free(comm->comm.src_data);// inside SMPI the request is keep //inside the user data and should be free comm->comm.src_buff = NULL; } @@ -330,7 +332,7 @@ int MAIN__(void) fflush(stdout); fflush(stderr); - if (MC_IS_ENABLED) + if (MC_is_active()) MC_modelcheck(); else SIMIX_run();