X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ef452e5b6bb45995982b6190d3455903eb0dc719..c61f611d82353a0e7bffb14658d8ede7f758396e:/src/smpi/smpi_bench.c diff --git a/src/smpi/smpi_bench.c b/src/smpi/smpi_bench.c index 972795beb7..c5997c85a4 100644 --- a/src/smpi/smpi_bench.c +++ b/src/smpi/smpi_bench.c @@ -78,6 +78,8 @@ 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; @@ -151,7 +153,7 @@ void smpi_execute_(double *duration) } 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); @@ -193,7 +195,7 @@ void smpi_bench_begin(void) { smpi_switch_data_segment(smpi_process_index()); - if(MC_is_active()) + if (MC_is_active() || MC_record_replay_is_active()) return; xbt_os_threadtimer_start(smpi_process_timer()); @@ -202,7 +204,7 @@ void smpi_bench_begin(void) void smpi_bench_end(void) { - if(MC_is_active()) + if (MC_is_active() || MC_record_replay_is_active()) return; xbt_os_timer_t timer = smpi_process_timer(); @@ -218,6 +220,8 @@ void smpi_bench_end(void) 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() */ @@ -603,23 +607,29 @@ void* smpi_shared_set_call(const char* func, const char* input, void* data) { #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 @@ -637,6 +647,11 @@ void smpi_switch_data_segment(int dest){ #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; @@ -738,8 +753,24 @@ void smpi_initialize_global_memory_segments(){ int status; int file_descriptor= mkstemp (path); - if (file_descriptor < 0) - xbt_die("Impossible to create temporary file for memory mapping"); + if (file_descriptor < 0) { + if (errno==EMFILE) { + xbt_die("Impossible to create temporary file for memory mapping: %s\n\ +The open() system call failed with the EMFILE error code (too many files). \n\n\ +This means that you reached the system limits concerning the amount of files per process. \ +This is not a surprise if you are trying to virtualize many processes on top of SMPI. \ +Don't panic -- you should simply increase your system limits and try again. \n\n\ +First, check what your limits are:\n\ + cat /proc/sys/fs/file-max # gives you the system-wide limit\n\ + ulimit -Hn # gives you the per process hard limit\n\ + ulimit -Sn # gives you the per process soft limit\n\n\ +If one of these values is less than the amount of MPI processes that you try to run, then you got the explanation of this error. \ +Ask the Internet about tutorials on how to increase the files limit such as: https://rtcamp.com/tutorials/linux/increase-open-files-limit/", + strerror(errno)); + } + xbt_die("Impossible to create temporary file for memory mapping: %s", + strerror(errno)); + } status = unlink (path); if (status)