#include "xbt/hash.h"
#include "surf/surf.h"
#include "simgrid/sg_config.h"
+#include "simgrid/modelchecker.h"
#ifndef WIN32
#include <sys/mman.h>
double smpi_cpu_threshold;
double smpi_running_power;
-static int* fds;
-void** mappings;
int smpi_loaded_page = -1;
char* start_data_exe = NULL;
int size_data_exe = 0;
int smpi_privatize_global_variables;
+double smpi_total_benched_time = 0;
+
+
+smpi_privatisation_region_t smpi_privatisation_regions;
typedef struct {
int fd;
simcall_set_category (action, TRACE_internal_smpi_get_category());
#endif
simcall_host_execution_wait(action);
+ smpi_switch_data_segment(smpi_process_index());
}
void smpi_execute(double duration)
void smpi_bench_begin(void)
{
smpi_switch_data_segment(smpi_process_index());
+
+ if(MC_is_active())
+ return;
+
xbt_os_threadtimer_start(smpi_process_timer());
}
void smpi_bench_end(void)
{
+
+ if(MC_is_active())
+ return;
+
xbt_os_timer_t timer = smpi_process_timer();
xbt_os_threadtimer_stop(timer);
// smpi_switch_data_segment(smpi_process_count());
if (sg_cfg_get_boolean("smpi/simulate_computation")) {
smpi_execute(xbt_os_timer_elapsed(timer));
}
+
+ smpi_total_benched_time += xbt_os_timer_elapsed(timer);
}
/* Private sleep function used by smpi_sleep() and smpi_usleep() */
int i;
if(smpi_loaded_page==-1){//initial switch, do the copy from the real page here
for (i=0; i< SIMIX_process_count(); i++){
- memcpy(mappings[i],TOPAGE(start_data_exe),size_data_exe);
+ memcpy(smpi_privatisation_regions[i].address,TOPAGE(start_data_exe),size_data_exe);
}
}
- int current= fds[dest];
- XBT_VERB("Switching data frame to the one of process %d", dest);
+
+ int current = smpi_privatisation_regions[dest].file_descriptor;
+ XBT_DEBUG("Switching data frame to the one of process %d", dest);
void* tmp = mmap (TOPAGE(start_data_exe), size_data_exe, PROT_READ | PROT_WRITE, MAP_FIXED | MAP_SHARED, current, 0);
if (tmp != TOPAGE(start_data_exe))
xbt_die("Couldn't map the new region");
return;
}
- fds= (int*)xbt_malloc((smpi_process_count())*sizeof(int));
- mappings= (void**)xbt_malloc((smpi_process_count())*sizeof(void*));
-
+ smpi_privatisation_regions = (smpi_privatisation_region_t) malloc(
+ smpi_process_count() * sizeof(struct s_smpi_privatisation_region));
for (i=0; i< SIMIX_process_count(); i++){
//create SIMIX_process_count() mappings of this size with the same data inside
void *address = NULL;
char path[] = "/dev/shm/my-buffer-XXXXXX";
int status;
+
int file_descriptor= mkstemp (path);
if (file_descriptor < 0)
xbt_die("Impossible to create temporary file for memory mapping");
+
status = unlink (path);
if (status)
xbt_die("Impossible to unlink temporary file for memory mapping");
/* Ask for a free region */
address = mmap (NULL, size_data_exe, PROT_READ | PROT_WRITE, MAP_SHARED, file_descriptor, 0);
-
if (address == MAP_FAILED)
xbt_die("Couldn't find a free region for memory mapping");
memcpy(address,TOPAGE(start_data_exe),size_data_exe);
//store the address of the mapping for further switches
- fds[i]=file_descriptor;
- mappings[i]= address;
+ smpi_privatisation_regions[i].file_descriptor = file_descriptor;
+ smpi_privatisation_regions[i].address = address;
}
#endif
#ifdef HAVE_MMAP
int i;
for (i=0; i< smpi_process_count(); i++){
- if(munmap(mappings[i],size_data_exe) < 0) {
- XBT_WARN("Unmapping of fd %d failed: %s", fds[i], strerror(errno));
+ if(munmap(smpi_privatisation_regions[i].address,size_data_exe) < 0) {
+ XBT_WARN("Unmapping of fd %d failed: %s",
+ smpi_privatisation_regions[i].file_descriptor, strerror(errno));
}
- close(fds[i]);
+ close(smpi_privatisation_regions[i].file_descriptor);
}
- xbt_free(mappings);
- xbt_free(fds);
-
+ xbt_free(smpi_privatisation_regions);
#endif
}