3 /* Copyright (c) 2002,2003,2004 Arnaud Legrand. All rights reserved. */
5 /* This program is free software; you can redistribute it and/or modify it
6 * under the terms of the license (GNU LGPL) which comes with this package. */
10 #include "xbt/error.h"
11 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(global, msg,
12 "Logging specific to MSG (global)");
14 MSG_Global_t msg_global = NULL;
16 /* static void MarkAsFailed(m_task_t t, TBX_HashTable_t failedProcessList); */
17 /* static xbt_fifo_t MSG_buildFailedHostList(long double a, long double b); */
19 /********************************* MSG **************************************/
21 /** \ingroup msg_simulation
22 * \brief Initialize some MSG internal data.
24 void MSG_global_init(void)
29 CRITICAL0("Please stop using this function. Use MSG_global_init_args instead.");
31 MSG_global_init_args(&argc,argv);
34 void MSG_global_init_args(int *argc, char **argv)
37 msg_global = xbt_new0(s_MSG_Global_t,1);
39 surf_init(argc, argv); /* Initialize some common structures */
41 msg_global->host = xbt_fifo_new();
42 msg_global->process_to_run = xbt_fifo_new();
43 msg_global->process_list = xbt_fifo_new();
44 msg_global->max_channel = 0;
45 msg_global->current_process = NULL;
46 msg_global->registered_functions = xbt_dict_new();
50 /** \ingroup msg_simulation
51 * \brief Defines the verbosity of the simulation.
53 void MSG_set_verbosity(MSG_outputmode_t mode)
55 CRITICAL0("MSG_set_verbosity : Not implemented yet.");
58 /** \ingroup m_channel_management
59 * \brief Set the number of channel in the simulation.
61 * This function has to be called to fix the number of channel in the
62 simulation before creating any host. Indeed, each channel is
63 represented by a different mailbox on each #m_host_t. This
64 function can then be called only once. This function takes only one
66 * \param number the number of channel in the simulation. It has to be >0
68 MSG_error_t MSG_set_channel_number(int number)
70 xbt_assert0((msg_global) && (msg_global->max_channel == 0), "Channel number already set!");
72 msg_global->max_channel = number;
77 /** \ingroup m_simulation
78 * \brief Set the sharing policy used for the links
80 * This function can be called to change the sharing policy used for the links
81 (see \ref paper_tcp). By default the store and forward mechanism is used
82 with a parameter equal to 0.1. This function has to be called before creating
84 * \param mode the sharing policy used for the links: can be either
85 MSG_STORE_AND_FORWARD or MSG_TCP.
86 * \param param a parameter for the sharing policy. It has to be >0. It is
87 currently used only for the MSG_STORE_AND_FORWARD flavor and represents the
88 granularity of the communications (i.e. the packet size).
90 MSG_error_t MSG_set_sharing_policy(MSG_sharing_t mode, long double param)
92 CRITICAL0("MSG_set_sharing_policy: this function is now deprecated and useless. Store and forward does not exist anymore. Please stop using it.");
97 /** \ingroup m_channel_management
98 * \brief Return the number of channel in the simulation.
100 * This function has to be called once the number of channel is fixed. I can't
101 figure out a reason why anyone would like to call this function but nevermind.
102 * \return the number of channel in the simulation.
104 int MSG_get_channel_number(void)
106 xbt_assert0((msg_global)&&(msg_global->max_channel != 0), "Channel number not set yet!");
108 return msg_global->max_channel;
111 /** \ingroup msg_simulation
112 * \brief Launch the MSG simulation
114 MSG_error_t MSG_main(void)
116 m_process_t process = NULL;
118 long double Before=0.0;
120 double elapsed_time = 0.0;
122 /* Clean IO before the run */
126 surf_solve(); /* Takes traces into account. Returns 0.0 */
127 /* xbt_fifo_size(msg_global->process_to_run) */
129 xbt_context_empty_trash();
130 while ((process = xbt_fifo_pop(msg_global->process_to_run))) {
131 /* fprintf(stderr,"-> %s (%d)\n",process->name, process->simdata->PID); */
132 msg_global->current_process = process;
133 xbt_context_schedule(process->simdata->context);
134 msg_global->current_process = NULL;
136 Before = MSG_getClock();
137 elapsed_time = surf_solve();
138 Now = MSG_getClock();
140 /* fprintf(stderr, "====== %Lg =====\n",Now); */
141 /* if (elapsed_time==0.0) { */
142 /* fprintf(stderr, "No change in time\n"); */
144 if (elapsed_time<0.0) {
145 /* fprintf(stderr, "We're done %lg\n",elapsed_time); */
150 surf_action_t action = NULL;
151 surf_resource_t resource = NULL;
152 m_task_t task = NULL;
154 xbt_dynar_foreach(resource_list, i, resource) {
156 xbt_swag_extract(resource->common_public->states.
157 failed_action_set))) {
161 DEBUG1("** %s failed **",task->name);
162 /* fprintf(stderr,"** %s **\n",task->name); */
163 xbt_dynar_foreach(task->simdata->sleeping,_cursor,process) {
164 DEBUG3("\t preparing to wake up %s(%d) on %s",
165 process->name,process->simdata->PID,
166 process->simdata->host->name);
167 xbt_fifo_unshift(msg_global->process_to_run, process);
173 xbt_swag_extract(resource->common_public->states.
178 DEBUG1("** %s done **",task->name);
179 /* fprintf(stderr,"** %s **\n",task->name); */
180 xbt_dynar_foreach(task->simdata->sleeping,_cursor,process) {
181 DEBUG3("\t preparing to wake up %s(%d) on %s",
182 process->name,process->simdata->PID,
183 process->simdata->host->name);
184 xbt_fifo_unshift(msg_global->process_to_run, process);
193 if ((nbprocess=xbt_fifo_size(msg_global->process_list)) == 0) {
195 "MSG: Congratulations ! Simulation terminated : all process are over\n");
198 fprintf(stderr,"MSG: Oops ! Deadlock or code not perfectly clean.\n");
199 fprintf(stderr,"MSG: %d processes are still running, waiting for something.\n",
201 /* List the process and their state */
202 fprintf(stderr,"MSG: <process>(<pid>) on <host>: <status>.\n");
203 while ((process=xbt_fifo_pop(msg_global->process_list))) {
204 simdata_process_t p_simdata = (simdata_process_t) process->simdata;
205 simdata_host_t h_simdata=(simdata_host_t)p_simdata->host->simdata;
208 fprintf(stderr,"MSG: %s(%d) on %s: ",
209 process->name,p_simdata->PID,
210 p_simdata->host->name);
212 if (process->simdata->blocked)
213 fprintf(stderr,"[blocked] ");
214 if (process->simdata->suspended)
215 fprintf(stderr,"[suspended] ");
217 for (i=0; i<msg_global->max_channel; i++) {
218 if (h_simdata->sleeping[i] == process) {
219 fprintf(stderr,"Listening on channel %d.\n",i);
223 if (i==msg_global->max_channel) {
224 if(p_simdata->waiting_task) {
225 if(p_simdata->waiting_task->simdata->compute) {
226 if(p_simdata->put_host)
227 fprintf(stderr,"Trying to send a task on Host %s, channel %d.\n",
228 p_simdata->put_host->name, p_simdata->put_channel);
230 fprintf(stderr,"Waiting for %s to finish.\n",p_simdata->waiting_task->name);
231 } else if (p_simdata->waiting_task->simdata->comm)
232 fprintf(stderr,"Waiting for %s to be finished transfered.\n",
233 p_simdata->waiting_task->name);
235 fprintf(stderr,"UNKNOWN STATUS. Please report this bug.\n");
237 else { /* Must be trying to put a task somewhere */
238 fprintf(stderr,"UNKNOWN STATUS. Please report this bug.\n");
242 if(XBT_LOG_ISENABLED(msg, xbt_log_priority_debug) ||
243 XBT_LOG_ISENABLED(global, xbt_log_priority_debug)) {
252 /* static void MarkAsFailed(m_task_t t, TBX_HashTable_t failedProcessList) */
254 /* simdata_task_t simdata = NULL; */
255 /* xbt_fifo_item_t i = NULL; */
256 /* m_process_t p = NULL; */
258 /* xbt_assert0((t!=NULL),"Invalid task"); */
259 /* simdata = t->simdata; */
261 /* #define KILL(task) if(task) SG_failTask(task) */
262 /* KILL(simdata->compute); */
263 /* KILL(simdata->TCP_comm); */
264 /* KILL(simdata->s[0]); */
265 /* KILL(simdata->s[1]); */
266 /* KILL(simdata->s[2]); */
267 /* KILL(simdata->s[3]); */
268 /* KILL(simdata->sleep); */
270 /* /\* if(simdata->comm) SG_failEndToEndTransfer(simdata->comm); *\/ */
272 /* xbt_fifo_foreach(simdata->sleeping,i,p,m_process_t) { */
273 /* if(!TBX_HashTable_isInList(failedProcessList,p,TBX_basicHash)) */
274 /* TBX_HashTable_insert(failedProcessList,p,TBX_basicHash); */
279 /* static xbt_fifo_t MSG_buildFailedHostList(long double begin, long double end) */
281 /* xbt_fifo_t failedHostList = xbt_fifo_new(); */
282 /* m_host_t host = NULL; */
283 /* xbt_fifo_item_t i; */
285 /* xbt_fifo_foreach(msg_global->host,i,host,m_host_t) { */
286 /* SG_Resource r= ((simdata_host_t) (host->simdata))->host; */
288 /* if(SG_evaluateFailureTrace(r->failure_trace,begin,end)!=-1.0) */
289 /* xbt_fifo_insert(failedHostList,host); */
292 /* return failedHostList; */
295 /** \ingroup msg_simulation
296 * \brief Clean the MSG simulation
298 MSG_error_t MSG_clean(void)
300 xbt_fifo_item_t i = NULL;
302 m_process_t p = NULL;
305 while((p=xbt_fifo_shift(msg_global->process_list))) {
310 xbt_fifo_foreach(msg_global->host,i,h,m_host_t) {
311 __MSG_host_destroy(h);
313 xbt_fifo_free(msg_global->host);
314 xbt_fifo_free(msg_global->process_to_run);
315 xbt_fifo_free(msg_global->process_list);
316 xbt_dict_free(&(msg_global->registered_functions));
318 xbt_free(msg_global);
325 /** \ingroup msg_easier_life
326 * \brief A clock (in second).
328 long double MSG_getClock(void) {
329 return surf_get_clock();