X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0c06c178342da8b6df3c53a91107bae2078b45fb..8052a6fee279fcee6d3641d44c1f479835cd044b:/src/msg/global.c diff --git a/src/msg/global.c b/src/msg/global.c index 19b502f5d0..54e39b9c8a 100644 --- a/src/msg/global.c +++ b/src/msg/global.c @@ -14,7 +14,13 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(global, msg, MSG_Global_t msg_global = NULL; /* static void MarkAsFailed(m_task_t t, TBX_HashTable_t failedProcessList); */ -/* static xbt_fifo_t MSG_buildFailedHostList(long double a, long double b); */ +/* static xbt_fifo_t MSG_buildFailedHostList(double a, double b); */ + +/** \defgroup msg_simulation MSG simulation Functions + * \brief This section describes the functions you need to know to + * set up a simulation. You should have a look at \ref MSG_examples + * to have an overview of their usage. + */ /********************************* MSG **************************************/ @@ -23,13 +29,22 @@ MSG_Global_t msg_global = NULL; */ void MSG_global_init(void) { - if (!msg_global) { - int argc=0; - char **argv=NULL; + int argc=0; + char **argv=NULL; + CRITICAL0("Please stop using this function. Use MSG_global_init_args instead."); + MSG_global_init_args(&argc,argv); +} + +/** \ingroup msg_simulation + * \brief Initialize some MSG internal data. + */ +void MSG_global_init_args(int *argc, char **argv) +{ + if (!msg_global) { msg_global = xbt_new0(s_MSG_Global_t,1); - surf_init(&argc, argv); /* Initialize some common structures */ + surf_init(argc, argv); /* Initialize some common structures */ xbt_context_init(); msg_global->host = xbt_fifo_new(); msg_global->process_to_run = xbt_fifo_new(); @@ -37,7 +52,174 @@ void MSG_global_init(void) msg_global->max_channel = 0; msg_global->current_process = NULL; msg_global->registered_functions = xbt_dict_new(); + msg_global->PID = 1; + } +} + +/** \ingroup msg_easier_life + * \brief Traces MSG events in the Paje format. + */ +void MSG_paje_output(const char *filename) +{ + int i; + const char *paje_preembule="%EventDef SetLimits 0\n" + "% StartTime date\n" + "% EndTime date\n" + "%EndEventDef\n" + "%EventDef PajeDefineContainerType 1\n" + "% NewType string\n" + "% ContainerType string\n" + "% NewName string\n" + "%EndEventDef\n" + "%EventDef PajeDefineEventType 2\n" + "% NewType string\n" + "% ContainerType string\n" + "% NewName string\n" + "%EndEventDef\n" + "%EventDef PajeDefineStateType 3\n" + "% NewType string\n" + "% ContainerType string\n" + "% NewName string\n" + "%EndEventDef\n" + "%EventDef PajeDefineVariableType 4\n" + "% NewType string\n" + "% ContainerType string\n" + "% NewName string\n" + "%EndEventDef\n" + "%EventDef PajeDefineLinkType 5\n" + "% NewType string\n" + "% ContainerType string\n" + "% SourceContainerType string\n" + "% DestContainerType string\n" + "% NewName string\n" + "%EndEventDef\n" + "%EventDef PajeDefineEntityValue 6\n" + "% NewValue string\n" + "% EntityType string\n" + "% NewName string\n" + "%EndEventDef\n" + "%EventDef PajeCreateContainer 7\n" + "% Time date\n" + "% NewContainer string\n" + "% NewContainerType string\n" + "% Container string\n" + "% NewName string\n" + "%EndEventDef\n" + "%EventDef PajeDestroyContainer 8\n" + "% Time date\n" + "% Name string\n" + "% Type string\n" + "%EndEventDef\n" + "%EventDef PajeNewEvent 9\n" + "% Time date\n" + "% EntityType string\n" + "% Container string\n" + "% Value string\n" + "%EndEventDef\n" + "%EventDef PajeSetState 10\n" + "% Time date\n" + "% EntityType string\n" + "% Container string\n" + "% Value string\n" + "%EndEventDef\n" + "%EventDef PajeSetState 101\n" + "% Time date\n" + "% EntityType string\n" + "% Container string\n" + "% Value string\n" + "% FileName string\n" + "% LineNumber int\n" + "%EndEventDef\n" + "%EventDef PajePushState 111\n" + "% Time date\n" + "% EntityType string\n" + "% Container string\n" + "% Value string\n" + "% FileName string\n" + "% LineNumber int\n" + "%EndEventDef\n" + "%EventDef PajePushState 11\n" + "% Time date\n" + "% EntityType string\n" + "% Container string\n" + "% Value string\n" + "%EndEventDef\n" + "%EventDef PajePopState 12\n" + "% Time date\n" + "% EntityType string\n" + "% Container string\n" + "%EndEventDef\n" + "%EventDef PajeSetVariable 13\n" + "% Time date\n" + "% EntityType string\n" + "% Container string\n" + "% Value double\n" + "%EndEventDef\n" + "%EventDef PajeAddVariable 14\n" + "% Time date\n" + "% EntityType string\n" + "% Container string\n" + "% Value double\n" + "%EndEventDef\n" + "%EventDef PajeSubVariable 15\n" + "% Time date\n" + "% EntityType string\n" + "% Container string\n" + "% Value double\n" + "%EndEventDef\n" + "%EventDef PajeStartLink 16\n" + "% Time date\n" + "% EntityType string\n" + "% Container string\n" + "% Value string\n" + "% SourceContainer string\n" + "% Key string\n" + "%EndEventDef\n" + "%EventDef PajeEndLink 17\n" + "% Time date\n" + "% EntityType string\n" + "% Container string\n" + "% Value string\n" + "% DestContainer string\n" + "% Key string\n" + "%EndEventDef\n"; + + const char *type_definitions = "1 Sim_t 0 Simulation_t\n" + "1 H_t Sim_t m_host_t\n" + "1 P_t H_t m_process_t\n" + "3 S_t P_t \"Process State\"\n" + "6 E S_t Executing\n" + "6 B S_t Blocked\n" + "6 C S_t Communicating\n" + "5 Comm Sim_t P_t P_t Communication_t\n"; + + const char *ext = ".trace"; + int ext_len = strlen(ext); + int len; + + xbt_assert0(msg_global, "Initialize MSG first\n"); + xbt_assert0(!msg_global->paje_output, "Paje output allready defined\n"); + xbt_assert0(filename, "Need a real file name\n"); + + len = strlen(filename); + if((lenpaje_output=fopen(filename,"w"); + xbt_assert1(msg_global->paje_output, "Failed to open %s \n",filename); + + fprintf(msg_global->paje_output,"%s",paje_preembule); + fprintf(msg_global->paje_output,"%s",type_definitions); + for(i=0; imax_channel; i++) { + fprintf(msg_global->paje_output, "6 COMM_%d Comm \"Channel %d\"\n" ,i,i); } + fprintf(msg_global->paje_output, + "7 0.0 CUR Sim_t 0 \"MSG simulation\"\n"); + } /** \ingroup msg_simulation @@ -48,6 +230,17 @@ void MSG_set_verbosity(MSG_outputmode_t mode) CRITICAL0("MSG_set_verbosity : Not implemented yet."); } +/** \defgroup m_channel_management Understanding channels + * \brief This section briefly describes the channel notion of MSG + * (#m_channel_t). + * + * For convenience, the simulator provides the notion of channel + * that is close to the tag notion in MPI. A channel is not a + * socket. It doesn't need to be opened neither closed. It rather + * corresponds to the ports opened on the different machines. + */ + + /** \ingroup m_channel_management * \brief Set the number of channel in the simulation. * @@ -60,9 +253,7 @@ void MSG_set_verbosity(MSG_outputmode_t mode) */ MSG_error_t MSG_set_channel_number(int number) { - MSG_global_init(); - - xbt_assert0((msg_global->max_channel == 0), "Channel number already set!"); + xbt_assert0((msg_global) && (msg_global->max_channel == 0), "Channel number already set!"); msg_global->max_channel = number; @@ -82,7 +273,7 @@ MSG_error_t MSG_set_channel_number(int number) currently used only for the MSG_STORE_AND_FORWARD flavor and represents the granularity of the communications (i.e. the packet size). */ -MSG_error_t MSG_set_sharing_policy(MSG_sharing_t mode, long double param) +MSG_error_t MSG_set_sharing_policy(MSG_sharing_t mode, double param) { CRITICAL0("MSG_set_sharing_policy: this function is now deprecated and useless. Store and forward does not exist anymore. Please stop using it."); @@ -98,9 +289,7 @@ MSG_error_t MSG_set_sharing_policy(MSG_sharing_t mode, long double param) */ int MSG_get_channel_number(void) { - MSG_global_init(); - - xbt_assert0((msg_global->max_channel != 0), "Channel number not set yet!"); + xbt_assert0((msg_global)&&(msg_global->max_channel != 0), "Channel number not set yet!"); return msg_global->max_channel; } @@ -112,8 +301,6 @@ MSG_error_t MSG_main(void) { m_process_t process = NULL; int nbprocess,i; - long double Before=0.0; - long double Now=0.0; double elapsed_time = 0.0; /* Clean IO before the run */ @@ -126,19 +313,23 @@ MSG_error_t MSG_main(void) xbt_context_empty_trash(); while ((process = xbt_fifo_pop(msg_global->process_to_run))) { /* fprintf(stderr,"-> %s (%d)\n",process->name, process->simdata->PID); */ + DEBUG3("Scheduling %s(%d) on %s", + process->name,process->simdata->PID, + process->simdata->host->name); msg_global->current_process = process; xbt_context_schedule(process->simdata->context); msg_global->current_process = NULL; } - Before = MSG_getClock(); + DEBUG1("%lg : Calling surf_solve",MSG_getClock()); elapsed_time = surf_solve(); - Now = MSG_getClock(); + DEBUG1("Elapsed_time %lg",elapsed_time); -/* fprintf(stderr, "====== %Lg =====\n",Now); */ +/* fprintf(stderr, "====== %lg =====\n",Now); */ /* if (elapsed_time==0.0) { */ /* fprintf(stderr, "No change in time\n"); */ /* } */ if (elapsed_time<0.0) { +/* fprintf(stderr, "We're done %lg\n",elapsed_time); */ break; } @@ -154,8 +345,12 @@ MSG_error_t MSG_main(void) task = action->data; if(task) { int _cursor; + DEBUG1("** %s failed **",task->name); /* fprintf(stderr,"** %s **\n",task->name); */ xbt_dynar_foreach(task->simdata->sleeping,_cursor,process) { + DEBUG3("\t preparing to wake up %s(%d) on %s", + process->name,process->simdata->PID, + process->simdata->host->name); xbt_fifo_unshift(msg_global->process_to_run, process); } process=NULL; @@ -167,8 +362,12 @@ MSG_error_t MSG_main(void) task = action->data; if(task) { int _cursor; + DEBUG1("** %s done **",task->name); /* fprintf(stderr,"** %s **\n",task->name); */ xbt_dynar_foreach(task->simdata->sleeping,_cursor,process) { + DEBUG3("\t preparing to wake up %s(%d) on %s", + process->name,process->simdata->PID, + process->simdata->host->name); xbt_fifo_unshift(msg_global->process_to_run, process); } process=NULL; @@ -183,18 +382,26 @@ MSG_error_t MSG_main(void) "MSG: Congratulations ! Simulation terminated : all process are over\n"); return MSG_OK; } else { + xbt_fifo_item_t item = NULL; fprintf(stderr,"MSG: Oops ! Deadlock or code not perfectly clean.\n"); fprintf(stderr,"MSG: %d processes are still running, waiting for something.\n", nbprocess); /* List the process and their state */ fprintf(stderr,"MSG: () on : .\n"); - while ((process=xbt_fifo_pop(msg_global->process_list))) { + xbt_fifo_foreach(msg_global->process_list,item,process,m_process_t) { simdata_process_t p_simdata = (simdata_process_t) process->simdata; simdata_host_t h_simdata=(simdata_host_t)p_simdata->host->simdata; + fprintf(stderr,"MSG: %s(%d) on %s: ", process->name,p_simdata->PID, p_simdata->host->name); + + if (process->simdata->blocked) + fprintf(stderr,"[blocked] "); + if (process->simdata->suspended) + fprintf(stderr,"[suspended] "); + for (i=0; imax_channel; i++) { if (h_simdata->sleeping[i] == process) { fprintf(stderr,"Listening on channel %d.\n",i); @@ -203,24 +410,29 @@ MSG_error_t MSG_main(void) } if (i==msg_global->max_channel) { if(p_simdata->waiting_task) { - if(p_simdata->waiting_task->simdata->compute) - fprintf(stderr,"Waiting for %s to finish.\n",p_simdata->waiting_task->name); - else if (p_simdata->waiting_task->simdata->comm) + if(p_simdata->waiting_task->simdata->compute) { + if(p_simdata->put_host) + fprintf(stderr,"Trying to send a task on Host %s, channel %d.\n", + p_simdata->put_host->name, p_simdata->put_channel); + else + fprintf(stderr,"Waiting for %s to finish.\n",p_simdata->waiting_task->name); + } else if (p_simdata->waiting_task->simdata->comm) fprintf(stderr,"Waiting for %s to be finished transfered.\n", p_simdata->waiting_task->name); else fprintf(stderr,"UNKNOWN STATUS. Please report this bug.\n"); } else { /* Must be trying to put a task somewhere */ - if(p_simdata->put_host) { - fprintf(stderr,"Trying to send a task on Host %s, channel %d.\n", - p_simdata->put_host->name, p_simdata->put_channel); - } else { - fprintf(stderr,"UNKNOWN STATUS. Please report this bug.\n"); - } - } + fprintf(stderr,"UNKNOWN STATUS. Please report this bug.\n"); + } } } + if(XBT_LOG_ISENABLED(msg, xbt_log_priority_debug) || + XBT_LOG_ISENABLED(global, xbt_log_priority_debug)) { + DEBUG0("Aborting!"); + xbt_abort(); + } + return MSG_WARNING; } } @@ -252,7 +464,7 @@ MSG_error_t MSG_main(void) /* } */ -/* static xbt_fifo_t MSG_buildFailedHostList(long double begin, long double end) */ +/* static xbt_fifo_t MSG_buildFailedHostList(double begin, double end) */ /* { */ /* xbt_fifo_t failedHostList = xbt_fifo_new(); */ /* m_host_t host = NULL; */ @@ -268,6 +480,30 @@ MSG_error_t MSG_main(void) /* return failedHostList; */ /* } */ +/** \ingroup msg_simulation + * \brief Kill all running process + + * \param reset_PIDs should we reset the PID numbers. A negative + * number means no reset and a positive number will be used to set the PID + * of the next newly created process. + */ +int MSG_process_killall(int reset_PIDs) +{ + xbt_fifo_item_t i = NULL; + m_process_t p = NULL; + + while((p=xbt_fifo_shift(msg_global->process_list))) { + MSG_process_kill(p); + } + xbt_context_empty_trash(); + if(reset_PIDs>0) { + msg_global->PID = reset_PIDs; + msg_global->session++; + } + + return msg_global->PID; +} + /** \ingroup msg_simulation * \brief Clean the MSG simulation */ @@ -275,7 +511,12 @@ MSG_error_t MSG_clean(void) { xbt_fifo_item_t i = NULL; m_host_t h = NULL; + m_process_t p = NULL; + + while((p=xbt_fifo_shift(msg_global->process_list))) { + MSG_process_kill(p); + } xbt_context_exit(); xbt_fifo_foreach(msg_global->host,i,h,m_host_t) { @@ -286,6 +527,10 @@ MSG_error_t MSG_clean(void) xbt_fifo_free(msg_global->process_list); xbt_dict_free(&(msg_global->registered_functions)); + if(msg_global->paje_output) { + fclose(msg_global->paje_output); + msg_global->paje_output = NULL; + } xbt_free(msg_global); surf_finalize(); @@ -296,7 +541,7 @@ MSG_error_t MSG_clean(void) /** \ingroup msg_easier_life * \brief A clock (in second). */ -long double MSG_getClock(void) { +double MSG_getClock(void) { return surf_get_clock(); }