#include "xbt/hash.h"
#include "surf/surf.h"
#include "simgrid/sg_config.h"
+#include "simgrid/modelchecker.h"
#ifndef WIN32
#include <sys/mman.h>
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;
}
void smpi_execute_flops(double flops) {
- smx_action_t action;
+ smx_synchro_t action;
smx_host_t host;
host = SIMIX_host_self();
XBT_DEBUG("Handle real computation time: %f flops", flops);
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() */
#define TOPAGE(addr) (void *)(((unsigned long)(addr) / xbt_pagesize) * xbt_pagesize)
-/*
- * - read the executable data+bss section addresses and sizes
- * - for each process create a copy of these sections with mmap
- * - store them in a dynar
- *
+/** 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 either
+ return;
+ // So the job:
+ smpi_really_switch_data_segment(dest);
+}
-void smpi_switch_data_segment(int dest){
+/** Map a given SMPI privatization segment (make a SMPI process active)
+ * even if SMPI thinks it is already 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.
+ */
+void smpi_really_switch_data_segment(int dest) {
if(size_data_exe == 0)//no need to switch
return;
- if (smpi_loaded_page==dest)//no need to switch either
- return;
-
#ifdef HAVE_MMAP
int i;
if(smpi_loaded_page==-1){//initial switch, do the copy from the real page here
memcpy(smpi_privatisation_regions[i].address,TOPAGE(start_data_exe),size_data_exe);
}
}
+
int current = smpi_privatisation_regions[dest].file_descriptor;
- XBT_VERB("Switching data frame to the one of process %d", dest);
+ 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");
#endif
}
+int smpi_is_privatisation_file(char* file)
+{
+ return strncmp("/dev/shm/my-buffer-", file, 19) == 0;
+}
+
void smpi_get_executable_global_size(){
int size_bss_binary=0;
int size_data_binary=0;
}
smpi_privatisation_regions = (smpi_privatisation_region_t) malloc(
- sizeof(struct s_smpi_privatisation_region) * sizeof(int));
+ 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