X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/bc0c0b491241f28c083c4b6540944ed604242ba2..29189eaaec0832afd90a05c0672a2c72ccb3cc4e:/src/simix/smx_global.c diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c index b4eed5c05d..b5c77d19f8 100644 --- a/src/simix/smx_global.c +++ b/src/simix/smx_global.c @@ -9,13 +9,92 @@ #include "private.h" #include "xbt/sysdep.h" #include "xbt/log.h" -#include "xbt/ex.h" /* ex_backtrace_display */ +#include "xbt/ex.h" /* ex_backtrace_display */ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_kernel, simix, "Logging specific to SIMIX (kernel)"); SIMIX_Global_t simix_global = NULL; /********************************* SIMIX **************************************/ +static void __simix_config_helper(const char *name, ...) +{ + va_list pa; + va_start(pa, name); + + SIMIX_config(name, pa); + + va_end(pa); +} + +static void simix_cfg_control_set(const char *control_string) +{ + /* To split the string in commands, and the cursors */ + xbt_dynar_t set_strings; + char *str; + int cpt; + + if (!control_string) + return; + DEBUG1("Parse log settings '%s'", control_string); + + /* split the string, and remove empty entries */ + set_strings = xbt_str_split_quoted(control_string); + + if (xbt_dynar_length(set_strings) == 0) { /* vicious user! */ + xbt_dynar_free(&set_strings); + return; + } + /* Parse each entry and either use it right now (if the category was already + created), or store it for further use */ + xbt_dynar_foreach(set_strings, cpt, str) { + char *control_string, *control_string_sav, *name, *value; + + + control_string = control_string_sav = strdup(str); + control_string += strspn(control_string, " "); + name = control_string; + control_string += strcspn(str, ":="); + value = control_string; + *value = 0; + value++; + + xbt_assert1(strlen(name) != 0, "Invalid name for configuration: '%s'", + name); + xbt_assert1(strlen(value) != 0, + "Invalid value for configuration: '%s'", value); + INFO2("setting '%s' to '%s'", name, value); + + __simix_config_helper(name, value); + + free(control_string_sav); + } + xbt_dynar_free(&set_strings); +} + +static void simix_cfg_init(int *argc, char **argv) +{ + int i, j; + char *opt; + + for (i = 1; i < *argc; i++) { + if (!strncmp(argv[i], "--cfg=", strlen("--cfg="))) { + opt = strchr(argv[i], '='); + opt++; + + simix_cfg_control_set(opt); + DEBUG1("Did apply '%s' as config setting", opt); + /*remove this from argv */ + + for (j = i + 1; j < *argc; j++) { + argv[j - 1] = argv[j]; + } + + argv[j - 1] = NULL; + (*argc)--; + i--; /* compensate effect of next loop incrementation */ + } + } +} /** * \brief Initialize some SIMIX internal data. @@ -25,65 +104,80 @@ SIMIX_Global_t simix_global = NULL; */ void SIMIX_global_init(int *argc, char **argv) { - s_smx_process_t proc; + s_smx_process_t proc; - if (!simix_global) { - surf_init(argc, argv); /* Initialize some common structures. Warning, it sets simix_global=NULL */ + if (!simix_global) { + surf_init(argc, argv); /* Initialize some common structures. Warning, it sets simix_global=NULL */ + simix_cfg_init(argc, argv); - simix_global = xbt_new0(s_SIMIX_Global_t,1); + simix_global = xbt_new0(s_SIMIX_Global_t, 1); - simix_global->host = xbt_fifo_new(); - simix_global->process_to_run = xbt_swag_new(xbt_swag_offset(proc,synchro_hookup)); - simix_global->process_list = xbt_swag_new(xbt_swag_offset(proc,process_hookup)); - simix_global->current_process = NULL; - simix_global->registered_functions = xbt_dict_new(); + simix_global->host = xbt_fifo_new(); + simix_global->process_to_run = + xbt_swag_new(xbt_swag_offset(proc, synchro_hookup)); + simix_global->process_list = + xbt_swag_new(xbt_swag_offset(proc, process_hookup)); + simix_global->current_process = NULL; + simix_global->registered_functions = xbt_dict_new(); - simix_global->create_process_function = NULL; - simix_global->kill_process_function = NULL; - simix_global->cleanup_process_function = NULL; - } + simix_global->create_process_function = NULL; + simix_global->kill_process_function = NULL; + simix_global->cleanup_process_function = SIMIX_process_cleanup; + } } /* Debug purpose, incomplete */ void SIMIX_display_process_status(void) { - smx_process_t process = NULL; - xbt_fifo_item_t item = NULL; - smx_action_t act; - int nbprocess=xbt_swag_size(simix_global->process_list); - - INFO1("%d processes are still running, waiting for something.", - nbprocess); - /* List the process and their state */ - INFO0("Legend of the following listing: \" on : .\""); - xbt_swag_foreach(process, simix_global->process_list) { - smx_simdata_process_t p_simdata = (smx_simdata_process_t) process->simdata; - // simdata_host_t h_simdata=(simdata_host_t)p_simdata->host->simdata; - char *who, *who2; - - asprintf(&who,"%s on %s: %s", - process->name, - p_simdata->s_host->name, - (process->simdata->blocked)?"[BLOCKED] " - :((process->simdata->suspended)?"[SUSPENDED] ":"")); - - if (p_simdata->mutex) { - who2=bprintf("%s Blocked on mutex %p",who,p_simdata->mutex); - free(who); who=who2; - } else if (p_simdata->cond) { - who2=bprintf("%s Blocked on condition %p; Waiting for the following actions:",who,p_simdata->cond); - free(who); who=who2; - xbt_fifo_foreach(p_simdata->cond->actions,item, act, smx_action_t) { - who2=bprintf("%s '%s'",who,act->name); - free(who); who=who2; - } - } else { - who2=bprintf("%s Blocked in an unknown status (please report this bug)",who); - free(who); who=who2; + smx_process_t process = NULL; + xbt_fifo_item_t item = NULL; + smx_action_t act; + int nbprocess = xbt_swag_size(simix_global->process_list); + + INFO1("%d processes are still running, waiting for something.", + nbprocess); + /* List the process and their state */ + INFO0 + ("Legend of the following listing: \" on : .\""); + xbt_swag_foreach(process, simix_global->process_list) { + smx_simdata_process_t p_simdata = + (smx_simdata_process_t) process->simdata; + // simdata_host_t h_simdata=(simdata_host_t)p_simdata->host->simdata; + char *who, *who2; + + asprintf(&who, "%s on %s: %s", + process->name, + p_simdata->smx_host->name, + (process->simdata->blocked) ? "[BLOCKED] " + : ((process->simdata->suspended) ? "[SUSPENDED] " : "")); + + if (p_simdata->mutex) { + who2 = bprintf("%s Blocked on mutex %p", who, p_simdata->mutex); + free(who); + who = who2; + } else if (p_simdata->cond) { + who2 = + bprintf + ("%s Blocked on condition %p; Waiting for the following actions:", + who, p_simdata->cond); + free(who); + who = who2; + xbt_fifo_foreach(p_simdata->cond->actions, item, act, smx_action_t) { + who2 = bprintf("%s '%s'(%p)", who, act->name,act); + free(who); + who = who2; } - INFO1("%s.",who); + } else { + who2 = + bprintf + ("%s Blocked in an unknown status (please report this bug)", + who); free(who); - } + who = who2; + } + INFO1("%s.", who); + free(who); + } } /* FIXME: Yeah, I'll do it in a portable maner one day [Mt] */ @@ -91,9 +185,9 @@ void SIMIX_display_process_status(void) static void _XBT_CALL inthandler(int ignored) { - INFO0("CTRL-C pressed. Displaying status and bailing out"); - SIMIX_display_process_status(); - exit(1); + INFO0("CTRL-C pressed. Displaying status and bailing out"); + SIMIX_display_process_status(); + exit(1); } /** @@ -101,56 +195,56 @@ static void _XBT_CALL inthandler(int ignored) */ void __SIMIX_main(void) { - smx_process_t process = NULL; - smx_cond_t cond = NULL; - smx_action_t smx_action; - xbt_fifo_t actions_done = xbt_fifo_new(); - xbt_fifo_t actions_failed = xbt_fifo_new(); - - /* Prepare to display some more info when dying on Ctrl-C pressing */ - signal(SIGINT,inthandler); - - /* Clean IO before the run */ - fflush(stdout); - fflush(stderr); - - //surf_solve(); /* Takes traces into account. Returns 0.0 */ - /* xbt_fifo_size(msg_global->process_to_run) */ - - while (SIMIX_solve(actions_done, actions_failed) != -1.0) { - - while ( (smx_action = xbt_fifo_pop(actions_failed)) ) { - - xbt_fifo_item_t _cursor; - - DEBUG1("** %s failed **",smx_action->name); - xbt_fifo_foreach(smx_action->cond_list,_cursor,cond,smx_cond_t) { - xbt_swag_foreach(process,cond->sleeping) { - DEBUG2("\t preparing to wake up %s on %s", - process->name, process->simdata->s_host->name); - } - SIMIX_cond_broadcast(cond); - /* remove conditional from action */ - xbt_fifo_remove(smx_action->cond_list,cond); - } - } - - while ( (smx_action = xbt_fifo_pop(actions_done)) ) { - xbt_fifo_item_t _cursor; - - DEBUG1("** %s done **",smx_action->name); - xbt_fifo_foreach(smx_action->cond_list,_cursor,cond,smx_cond_t) { - xbt_swag_foreach(process,cond->sleeping) { - DEBUG2("\t preparing to wake up %s on %s", - process->name, process->simdata->s_host->name); - } - SIMIX_cond_broadcast(cond); - /* remove conditional from action */ - xbt_fifo_remove(smx_action->cond_list,cond); - } - } + smx_process_t process = NULL; + smx_cond_t cond = NULL; + smx_action_t smx_action; + xbt_fifo_t actions_done = xbt_fifo_new(); + xbt_fifo_t actions_failed = xbt_fifo_new(); + + /* Prepare to display some more info when dying on Ctrl-C pressing */ + signal(SIGINT, inthandler); + + /* Clean IO before the run */ + fflush(stdout); + fflush(stderr); + + //surf_solve(); /* Takes traces into account. Returns 0.0 */ + /* xbt_fifo_size(msg_global->process_to_run) */ + + while (SIMIX_solve(actions_done, actions_failed) != -1.0) { + + while ((smx_action = xbt_fifo_pop(actions_failed))) { + + xbt_fifo_item_t _cursor; + + DEBUG1("** %s failed **", smx_action->name); + xbt_fifo_foreach(smx_action->cond_list, _cursor, cond, smx_cond_t) { + xbt_swag_foreach(process, cond->sleeping) { + DEBUG2("\t preparing to wake up %s on %s", + process->name, process->simdata->smx_host->name); + } + SIMIX_cond_broadcast(cond); + /* remove conditional from action */ + SIMIX_unregister_action_to_condition(smx_action, cond); + } + } + + while ((smx_action = xbt_fifo_pop(actions_done))) { + xbt_fifo_item_t _cursor; + + DEBUG1("** %s done **", smx_action->name); + xbt_fifo_foreach(smx_action->cond_list, _cursor, cond, smx_cond_t) { + xbt_swag_foreach(process, cond->sleeping) { + DEBUG2("\t preparing to wake up %s on %s", + process->name, process->simdata->smx_host->name); } - return; + SIMIX_cond_broadcast(cond); + /* remove conditional from action */ + SIMIX_unregister_action_to_condition(smx_action, cond); + } + } + } + return; } /** @@ -162,13 +256,14 @@ void SIMIX_process_killall() smx_process_t p = NULL; smx_process_t self = SIMIX_process_self(); - while((p=xbt_swag_extract(simix_global->process_list))) { - if(p!=self) SIMIX_process_kill(p); + while ((p = xbt_swag_extract(simix_global->process_list))) { + if (p != self) + SIMIX_process_kill(p); } xbt_context_empty_trash(); - if(self) { + if (self) { xbt_context_yield(); } @@ -186,11 +281,11 @@ void SIMIX_clean(void) smx_host_t h = NULL; smx_process_t p = NULL; - while((p=xbt_swag_extract(simix_global->process_list))) { + while ((p = xbt_swag_extract(simix_global->process_list))) { SIMIX_process_kill(p); } - xbt_fifo_foreach(simix_global->host,i,h,smx_host_t) { + xbt_fifo_foreach(simix_global->host, i, h, smx_host_t) { __SIMIX_host_destroy(h); } xbt_fifo_free(simix_global->host); @@ -199,9 +294,10 @@ void SIMIX_clean(void) xbt_dict_free(&(simix_global->registered_functions)); simix_config_finalize(); free(simix_global); + simix_global = NULL; surf_exit(); - return ; + return; } @@ -223,110 +319,116 @@ double SIMIX_get_clock(void) * \param actions_failed List of actions failed * \return The time spent to execute the simulation or -1 if the simulation ended */ -double SIMIX_solve(xbt_fifo_t actions_done, xbt_fifo_t actions_failed) +double SIMIX_solve(xbt_fifo_t actions_done, xbt_fifo_t actions_failed) { - smx_process_t process = NULL; - int i; - double elapsed_time = 0.0; - static int state_modifications = 1; - static int first = 1; + smx_process_t process = NULL; + int i; + double elapsed_time = 0.0; + static int state_modifications = 1; + static int first = 1; - xbt_context_empty_trash(); - if(xbt_swag_size(simix_global->process_to_run) && (elapsed_time>0)) { - DEBUG0("**************************************************"); - } - if (first) { - surf_solve();/* Takes traces into account. Returns 0.0 */ - first=0; + xbt_context_empty_trash(); + if (xbt_swag_size(simix_global->process_to_run) && (elapsed_time > 0)) { + DEBUG0("**************************************************"); + } + if (first) { + surf_solve(); /* Takes traces into account. Returns 0.0 */ + first = 0; + } + while ((process = xbt_swag_extract(simix_global->process_to_run))) { + DEBUG2("Scheduling %s on %s", + process->name, process->simdata->smx_host->name); + simix_global->current_process = process; + xbt_context_schedule(process->simdata->context); + /* fflush(NULL); */ + simix_global->current_process = NULL; + } + + { + surf_action_t action = NULL; + surf_model_t model = NULL; + smx_action_t smx_action = NULL; + + void *fun = NULL; + void *arg = NULL; + + xbt_dynar_foreach(model_list, i, model) { + if (xbt_swag_size(model->common_public->states.failed_action_set) + || xbt_swag_size(model->common_public->states. + done_action_set)) { + state_modifications = 1; + break; + } + } + + if (!state_modifications) { + DEBUG1("%f : Calling surf_solve", SIMIX_get_clock()); + elapsed_time = surf_solve(); + DEBUG1("Elapsed_time %f", elapsed_time); + } + + while (surf_timer_model->extension_public->get(&fun, (void *) &arg)) { + DEBUG2("got %p %p", fun, arg); + if (fun == SIMIX_process_create) { + smx_process_arg_t args = arg; + DEBUG2("Launching %s on %s", args->name, args->hostname); + process = SIMIX_process_create(args->name, args->code, + args->data, args->hostname, + args->argc, args->argv); + if (args->kill_time > SIMIX_get_clock()) { + surf_timer_model->extension_public->set(args->kill_time, + (void *) + &SIMIX_process_kill, + (void *) process); } - while ((process = xbt_swag_extract(simix_global->process_to_run))) { - DEBUG2("Scheduling %s on %s", - process->name, - process->simdata->s_host->name); - simix_global->current_process = process; - xbt_context_schedule(process->simdata->context); - /* fflush(NULL); */ - simix_global->current_process = NULL; + xbt_free(args); + } + if (fun == SIMIX_process_kill) { + process = arg; + DEBUG2("Killing %s on %s", process->name, + process->simdata->smx_host->name); + SIMIX_process_kill(process); + } + } + + /* Wake up all process waiting for the action finish */ + xbt_dynar_foreach(model_list, i, model) { + while ((action = + xbt_swag_extract(model->common_public->states. + failed_action_set))) { + smx_action = action->data; + if (smx_action) { + xbt_fifo_unshift(actions_failed, smx_action); } - - { - surf_action_t action = NULL; - surf_resource_t resource = NULL; - smx_action_t smx_action = NULL; - - void *fun = NULL; - void *arg = NULL; - - xbt_dynar_foreach(resource_list, i, resource) { - if(xbt_swag_size(resource->common_public->states.failed_action_set) || - xbt_swag_size(resource->common_public->states.done_action_set)) { - state_modifications = 1; - } - } - - if(!state_modifications) { - DEBUG1("%f : Calling surf_solve",SIMIX_get_clock()); - elapsed_time = surf_solve(); - DEBUG1("Elapsed_time %f",elapsed_time); - } - - while (surf_timer_resource->extension_public->get(&fun,(void*)&arg)) { - DEBUG2("got %p %p", fun, arg); - if(fun==SIMIX_process_create) { - smx_process_arg_t args = arg; - DEBUG2("Launching %s on %s", args->name, args->hostname); - process = SIMIX_process_create(args->name, args->code, - args->data, args->hostname, - args->argc,args->argv); - if(args->kill_time > SIMIX_get_clock()) { - surf_timer_resource->extension_public->set(args->kill_time, - (void*) &SIMIX_process_kill, - (void*) process); - } - xbt_free(args); - } - if(fun==SIMIX_process_kill) { - process = arg; - DEBUG2("Killing %s on %s", process->name, - process->simdata->s_host->name); - SIMIX_process_kill(process); - } - } - - /* Wake up all process waiting for the action finish */ - xbt_dynar_foreach(resource_list, i, resource) { - while ((action = xbt_swag_extract(resource->common_public->states.failed_action_set))) { - smx_action = action->data; - if (smx_action) { - xbt_fifo_unshift(actions_failed,smx_action); - } - } - while ((action =xbt_swag_extract(resource->common_public->states.done_action_set))) { - smx_action = action->data; - if (smx_action) { - xbt_fifo_unshift(actions_done,smx_action); - } - } - } + } + while ((action = + xbt_swag_extract(model->common_public->states. + done_action_set))) { + smx_action = action->data; + if (smx_action) { + xbt_fifo_unshift(actions_done, smx_action); } - state_modifications = 0; + } + } + } + state_modifications = 0; - if (elapsed_time == -1) { - if (xbt_swag_size(simix_global->process_list) == 0) { + if (elapsed_time == -1) { + if (xbt_swag_size(simix_global->process_list) == 0) { /* INFO0("Congratulations ! Simulation terminated : all processes are over"); */ - } else { - INFO0("Oops ! Deadlock or code not perfectly clean."); - SIMIX_display_process_status(); - if(XBT_LOG_ISENABLED(simix, xbt_log_priority_debug) || - XBT_LOG_ISENABLED(simix_kernel, xbt_log_priority_debug)) { - DEBUG0("Aborting!"); - xbt_abort(); - } - INFO0("Return a Warning."); - } - } - return elapsed_time; + } else { + INFO0("Oops ! Deadlock or code not perfectly clean."); + SIMIX_display_process_status(); + if (XBT_LOG_ISENABLED(simix, xbt_log_priority_debug) || + XBT_LOG_ISENABLED(simix_kernel, xbt_log_priority_debug)) { + DEBUG0("Aborting!"); + xbt_abort(); + } + INFO0("Return a Warning."); + } + } + return elapsed_time; } /** @@ -338,14 +440,14 @@ double SIMIX_solve(xbt_fifo_t actions_done, xbt_fifo_t actions_failed) * \param arg Parameters of the function * */ -void SIMIX_timer_set (double date, void *function, void *arg) +void SIMIX_timer_set(double date, void *function, void *arg) { - surf_timer_resource->extension_public->set(date, function, arg); + surf_timer_model->extension_public->set(date, function, arg); } int SIMIX_timer_get(void **function, void **arg) { - return surf_timer_resource->extension_public->get(function, arg); + return surf_timer_model->extension_public->get(function, arg); } /** @@ -355,9 +457,10 @@ int SIMIX_timer_get(void **function, void **arg) * \param function Create process function * */ -void SIMIX_function_register_process_create(smx_creation_func_t* function) +void SIMIX_function_register_process_create(smx_creation_func_t function) { - xbt_assert0((simix_global->create_process_function == NULL), "Data already set"); + xbt_assert0((simix_global->create_process_function == NULL), + "Data already set"); simix_global->create_process_function = function; } @@ -369,9 +472,10 @@ void SIMIX_function_register_process_create(smx_creation_func_t* function) * \param function Kill process function * */ -void SIMIX_function_register_process_kill(void_f_pvoid_t* function) +void SIMIX_function_register_process_kill(void_f_pvoid_t function) { - xbt_assert0((simix_global->kill_process_function == NULL), "Data already set"); + xbt_assert0((simix_global->kill_process_function == NULL), + "Data already set"); simix_global->kill_process_function = function; } @@ -383,9 +487,7 @@ void SIMIX_function_register_process_kill(void_f_pvoid_t* function) * \param function cleanup process function * */ -void SIMIX_function_register_process_cleanup(void_f_pvoid_t* function) +void SIMIX_function_register_process_cleanup(void_f_pvoid_t function) { - xbt_assert0((simix_global->cleanup_process_function == NULL), "Data already set"); - simix_global->cleanup_process_function = function; }