-/* Copyright (c) 2015-2021. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2015-2023. 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. */
#include <sys/mman.h>
#include <unistd.h>
-#include "src/internal_config.h"
-#include "src/xbt/memory_map.hpp"
-
#include "private.hpp"
+#include "src/internal_config.h"
#include "src/smpi/include/smpi_actor.hpp"
+#include "src/xbt/memory_map.hpp"
+#include "xbt/virtu.h"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(smpi_memory, smpi, "Memory layout support for SMPI");
-int smpi_loaded_page = -1;
char* smpi_data_exe_start = nullptr;
-int smpi_data_exe_size = 0;
+size_t smpi_data_exe_size = 0;
SmpiPrivStrategies smpi_privatize_global_variables;
static void* smpi_data_exe_copy;
/* Here we are making the assumption that a suitable empty region
following the rw- area is the end of the data segment. It would
be better to check with the size of the data segment. */
- auto j = i + 1;
- if (j != map.end() && j->pathname.empty() && (j->prot & PROT_RWX) == PROT_RW &&
- (char*)j->start_addr == smpi_data_exe_start + smpi_data_exe_size) {
+ if (auto j = i + 1; j != map.end() && j->pathname.empty() && (j->prot & PROT_RWX) == PROT_RW &&
+ (char*)j->start_addr == smpi_data_exe_start + smpi_data_exe_size) {
// Only count the portion of this region not present in the initial map.
auto found = std::find_if(initial_vm_map.begin(), initial_vm_map.end(), [&j](const simgrid::xbt::VmMap& m) {
return j->start_addr <= m.start_addr && m.start_addr < j->end_addr;
*/
int smpi_temp_shm_get()
{
- constexpr unsigned VAL_MASK = 0xffffffffUL;
- static unsigned prev_val = VAL_MASK;
+ constexpr unsigned INDEX_MASK = 0xffffffffUL;
+ static unsigned index = INDEX_MASK;
char shmname[32]; // cannot be longer than PSHMNAMLEN = 31 on macOS (shm_open raises ENAMETOOLONG otherwise)
int fd;
- for (unsigned i = (prev_val + 1) & VAL_MASK; i != prev_val; i = (i + 1) & VAL_MASK) {
- snprintf(shmname, sizeof(shmname), "/smpi-buffer-%016x", i);
+ unsigned limit = index;
+ do {
+ index = (index + 1) & INDEX_MASK;
+ snprintf(shmname, sizeof(shmname), "/smpi-buffer-%016x", index);
fd = shm_open(shmname, O_RDWR | O_CREAT | O_EXCL, S_IRUSR | S_IWUSR);
- if (fd != -1 || errno != EEXIST) {
- prev_val = i;
- break;
- }
- }
+ } while (fd == -1 && errno == EEXIST && index != limit);
+
if (fd < 0) {
if (errno == EMFILE) {
xbt_die("Impossible to create temporary file for memory mapping: %s\n\
/** Map a given SMPI privatization segment (make an SMPI process active)
*
* 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.
+ * virtual memory. In this case, we have to change the data segment.
+ *
+ * If 'addr' is not null, only switch if it's an address from the data segment.
+ *
+ * Returns 'true' if the segment has to be switched (mmap privatization and 'addr' in data segment).
*/
-void smpi_switch_data_segment(simgrid::s4u::ActorPtr actor)
+bool smpi_switch_data_segment(simgrid::s4u::ActorPtr actor, const void* addr)
{
- if (smpi_loaded_page == actor->get_pid()) // no need to switch, we've already loaded the one we want
- return;
+ if (smpi_cfg_privatization() != SmpiPrivStrategies::MMAP || smpi_data_exe_size == 0)
+ return false; // no need to switch
- if (smpi_data_exe_size == 0) // no need to switch
- return;
+ if (addr != nullptr &&
+ not(static_cast<const char*>(addr) >= smpi_data_exe_start &&
+ static_cast<const char*>(addr) < smpi_data_exe_start + smpi_data_exe_size))
+ return false; // no need to switch, addr is not concerned
+
+ static aid_t smpi_loaded_page = -1;
+ if (smpi_loaded_page == actor->get_pid()) // no need to switch, we've already loaded the one we want
+ return true; // return 'true' anyway
#if HAVE_PRIVATIZATION
// FIXME, cross-process support (mmap across process when necessary)
"Couldn't map the new region (errno %d): %s", errno, strerror(errno));
smpi_loaded_page = actor->get_pid();
#endif
+
+ return true;
}
/**
initial_vm_map.clear();
initial_vm_map.shrink_to_fit();
- XBT_DEBUG("bss+data segment found : size %d starting at %p", smpi_data_exe_size, smpi_data_exe_start);
+ XBT_DEBUG("bss+data segment found : size %zu starting at %p", smpi_data_exe_size, smpi_data_exe_start);
if (smpi_data_exe_size == 0) { // no need to do anything as global variables don't exist
smpi_privatize_global_variables = SmpiPrivStrategies::NONE;
