X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/77bbf3027c4240a2e833209a3a3f186589da8577..a7c708d3570410ce5a1316a54f9dda55d2bb46ca:/src/smpi/internals/smpi_memory.cpp diff --git a/src/smpi/internals/smpi_memory.cpp b/src/smpi/internals/smpi_memory.cpp index 8719bd57a5..be0e7da7b8 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 } @@ -134,8 +135,11 @@ int smpi_is_privatization_file(char* file) return buffer_path.compare(0, std::string::npos, file, buffer_path.length()) == 0; } -// TODO: cheinrich: The behavior changed; this now only makes a backup of the -// data segment. I think the function should be renamed. +/** + * @brief Makes a backup of the segment in memory that stores the global variables of a process. + * This backup is then used to initialize the global variables for every single + * process that is added, regardless of the progress of the simulation. + */ void smpi_backup_global_memory_segment() { #if HAVE_PRIVATIZATION