#include <string.h>
#include <stdio.h>
+#ifndef MAP_ANONYMOUS
+#define MAP_ANONYMOUS MAP_ANON
+#endif
+
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(smpi_bench, smpi,
"Logging specific to SMPI (benchmarking)");
return 0;
}
-extern double sg_maxmin_precision;
+extern double sg_surf_precision;
unsigned long long smpi_rastro_resolution (void)
{
smpi_bench_end();
- double resolution = (1/sg_maxmin_precision);
+ double resolution = (1/sg_surf_precision);
smpi_bench_begin();
return (unsigned long long)resolution;
}
-#ifndef WIN32
#define TOPAGE(addr) (void *)(((unsigned long)(addr) / xbt_pagesize) * xbt_pagesize)
if (loaded_page==dest)//no need to switch either
return;
+
+
#ifdef HAVE_MMAP
+ int i;
+ if(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);
+ }
+ }
int current= fds[dest];
XBT_VERB("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);
- msync(TOPAGE(start_data_exe), size_data_exe, MS_SYNC | MS_INVALIDATE );
if (tmp != TOPAGE(start_data_exe))
xbt_die("Couldn't map the new region");
loaded_page=dest;
}
-
-#endif