Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
clean treatment of timeouts and cond_free.
[simgrid.git] / src / msg / msg_mailbox.c
1 #include "mailbox.h"
2 #include "msg/private.h"
3
4 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(msg_mailbox, msg,
5                                 "Logging specific to MSG (mailbox)");
6
7 static xbt_dict_t msg_mailboxes = NULL;
8
9 void MSG_mailbox_mod_init(void)
10 {
11   msg_mailboxes = xbt_dict_new();
12 }
13
14 void MSG_mailbox_mod_exit(void)
15 {
16   xbt_dict_free(&msg_mailboxes);
17 }
18
19 msg_mailbox_t MSG_mailbox_create(const char *alias)
20 {
21   msg_mailbox_t mailbox = xbt_new0(s_msg_mailbox_t, 1);
22
23   mailbox->tasks = xbt_fifo_new();
24   mailbox->cond = NULL;
25   mailbox->alias = alias ? xbt_strdup(alias) : NULL;
26   mailbox->hostname = NULL;
27
28   return mailbox;
29 }
30
31 msg_mailbox_t MSG_mailbox_new(const char *alias)
32 {
33   msg_mailbox_t mailbox = MSG_mailbox_create(alias);
34
35   /* add the mbox in the dictionary */
36   xbt_dict_set(msg_mailboxes, alias, mailbox, MSG_mailbox_free);
37
38   return mailbox;
39 }
40
41 void MSG_mailbox_free(void *mailbox)
42 {
43   msg_mailbox_t _mailbox = (msg_mailbox_t) mailbox;
44
45   if (NULL != (_mailbox->hostname))
46     free(_mailbox->hostname);
47
48   xbt_fifo_free(_mailbox->tasks);
49   free(_mailbox->alias);
50
51   free(_mailbox);
52 }
53
54 void MSG_mailbox_put(msg_mailbox_t mailbox, m_task_t task)
55 {
56   xbt_fifo_push(mailbox->tasks, task);
57 }
58
59 smx_cond_t MSG_mailbox_get_cond(msg_mailbox_t mailbox)
60 {
61   return mailbox->cond;
62 }
63
64 void MSG_mailbox_remove(msg_mailbox_t mailbox, m_task_t task)
65 {
66   xbt_fifo_remove(mailbox->tasks, task);
67 }
68
69 int MSG_mailbox_is_empty(msg_mailbox_t mailbox)
70 {
71   return (NULL == xbt_fifo_get_first_item(mailbox->tasks));
72 }
73
74 m_task_t MSG_mailbox_pop_head(msg_mailbox_t mailbox)
75 {
76   return (m_task_t) xbt_fifo_shift(mailbox->tasks);
77 }
78
79 m_task_t MSG_mailbox_get_head(msg_mailbox_t mailbox)
80 {
81   xbt_fifo_item_t item;
82
83   if (NULL == (item = xbt_fifo_get_first_item(mailbox->tasks)))
84     return NULL;
85
86   return (m_task_t) xbt_fifo_get_item_content(item);
87 }
88
89
90 m_task_t
91 MSG_mailbox_get_first_host_task(msg_mailbox_t mailbox, m_host_t host)
92 {
93   m_task_t task = NULL;
94   xbt_fifo_item_t item = NULL;
95
96   xbt_fifo_foreach(mailbox->tasks, item, task, m_task_t)
97       if (task->simdata->source == host) {
98     xbt_fifo_remove_item(mailbox->tasks, item);
99     return task;
100   }
101
102   return NULL;
103 }
104
105 int
106 MSG_mailbox_get_count_host_waiting_tasks(msg_mailbox_t mailbox,
107                                          m_host_t host)
108 {
109   m_task_t task = NULL;
110   xbt_fifo_item_t item = NULL;
111   int count = 0;
112
113   xbt_fifo_foreach(mailbox->tasks, item, task, m_task_t) {
114     if (task->simdata->source == host)
115       count++;
116   }
117
118   return count;
119 }
120
121 void MSG_mailbox_set_cond(msg_mailbox_t mailbox, smx_cond_t cond)
122 {
123   mailbox->cond = cond;
124 }
125
126 const char *MSG_mailbox_get_alias(msg_mailbox_t mailbox)
127 {
128   return mailbox->alias;
129 }
130
131 const char *MSG_mailbox_get_hostname(msg_mailbox_t mailbox)
132 {
133   return mailbox->hostname;
134 }
135
136 void MSG_mailbox_set_hostname(msg_mailbox_t mailbox, const char *hostname)
137 {
138   mailbox->hostname = xbt_strdup(hostname);
139 }
140
141 msg_mailbox_t MSG_mailbox_get_by_alias(const char *alias)
142 {
143
144   msg_mailbox_t mailbox = xbt_dict_get_or_null(msg_mailboxes, alias);
145
146   if (!mailbox) {
147     mailbox = MSG_mailbox_new(alias);
148     MSG_mailbox_set_hostname(mailbox, MSG_host_self()->name);
149   }
150
151   return mailbox;
152 }
153
154 msg_mailbox_t
155 MSG_mailbox_get_by_channel(m_host_t host, m_channel_t channel)
156 {
157   xbt_assert0((host != NULL), "Invalid host");
158   xbt_assert1((channel >= 0)
159               && (channel < msg_global->max_channel), "Invalid channel %d",
160               channel);
161
162   return host->simdata->mailboxes[(size_t) channel];
163 }
164
165 MSG_error_t
166 MSG_mailbox_get_task_ext(msg_mailbox_t mailbox, m_task_t * task,
167                          m_host_t host, double timeout)
168 {
169   m_process_t process = MSG_process_self();
170   m_task_t t = NULL;
171   m_host_t h = NULL;
172   simdata_task_t t_simdata = NULL;
173   simdata_host_t h_simdata = NULL;
174   double start_time = SIMIX_get_clock();
175
176   smx_cond_t cond = NULL;       //conditional wait if the task isn't on the channel yet
177
178   CHECK_HOST();
179
180   /* Sanity check */
181   xbt_assert0(task, "Null pointer for the task storage");
182
183   if (*task)
184     CRITICAL0
185         ("MSG_task_get() was asked to write in a non empty task struct.");
186
187   /* Get the task */
188   h = MSG_host_self();
189   h_simdata = h->simdata;
190
191   SIMIX_mutex_lock(h->simdata->mutex);
192
193   if (MSG_mailbox_get_cond(mailbox)) {
194     CRITICAL1("A process is already blocked on the channel %s",
195               MSG_mailbox_get_alias(mailbox));
196     SIMIX_cond_display_info(MSG_mailbox_get_cond(mailbox));
197     xbt_die("Go fix your code!");
198   }
199
200   while (1) {
201     /* if the mailbox is empty (has no task */
202     if (!MSG_mailbox_is_empty(mailbox)) {
203       if (!host) {
204         /* pop the head of the mailbox */
205         t = MSG_mailbox_pop_head(mailbox);
206         break;
207       } else {
208         /* get the first task of the host */
209         if (NULL != (t = MSG_mailbox_get_first_host_task(mailbox, host)))
210           break;
211       }
212     }
213
214     if ((timeout > 0) && (SIMIX_get_clock()-start_time>=timeout)) {
215       SIMIX_mutex_unlock(h->simdata->mutex);
216       MSG_mailbox_set_cond(mailbox, NULL);
217       SIMIX_cond_destroy(cond);
218       MSG_RETURN(MSG_TRANSFER_FAILURE);
219     }
220
221     if(!cond) {
222       cond = SIMIX_cond_init();
223       MSG_mailbox_set_cond(mailbox, cond);
224     }
225
226     if (timeout > 0)
227       SIMIX_cond_wait_timeout(cond, h->simdata->mutex, timeout-start_time);
228     else
229       SIMIX_cond_wait(MSG_mailbox_get_cond(mailbox), h->simdata->mutex);
230
231     if (SIMIX_host_get_state(h_simdata->smx_host) == 0) {
232       SIMIX_mutex_unlock(h->simdata->mutex);
233       MSG_mailbox_set_cond(mailbox, NULL);
234       SIMIX_cond_destroy(cond);
235       MSG_RETURN(MSG_HOST_FAILURE);
236     }
237   }
238
239
240   DEBUG1("OK, got a task (%s)", t->name);
241   /* clean conditional */
242   if (cond) {
243     MSG_mailbox_set_cond(mailbox, NULL);
244     SIMIX_cond_destroy(cond);
245   }
246
247   SIMIX_mutex_unlock(h->simdata->mutex);
248
249   t_simdata = t->simdata;
250   t_simdata->receiver = process;
251   *task = t;
252
253   SIMIX_mutex_lock(t_simdata->mutex);
254
255   /* Transfer */
256   /* create SIMIX action to the communication */
257   t_simdata->comm =
258       SIMIX_action_communicate(t_simdata->sender->simdata->m_host->
259                                simdata->smx_host,
260                                process->simdata->m_host->simdata->smx_host,
261                                t->name, t_simdata->message_size,
262                                t_simdata->rate);
263
264   /* if the process is suspend, create the action but stop its execution, it will be restart when the sender process resume */
265   if (MSG_process_is_suspended(t_simdata->sender)) {
266     DEBUG1("Process sender (%s) suspended", t_simdata->sender->name);
267     SIMIX_action_set_priority(t_simdata->comm, 0);
268   }
269
270   process->simdata->waiting_task = t;
271   SIMIX_register_action_to_condition(t_simdata->comm, t_simdata->cond);
272
273   while (1) {
274     SIMIX_cond_wait(t_simdata->cond, t_simdata->mutex);
275
276     if (SIMIX_action_get_state(t_simdata->comm) != SURF_ACTION_RUNNING)
277       break;
278   }
279
280   SIMIX_unregister_action_to_condition(t_simdata->comm, t_simdata->cond);
281   process->simdata->waiting_task = NULL;
282
283   /* the task has already finished and the pointer must be null */
284   if (t->simdata->sender) {
285     t->simdata->sender->simdata->waiting_task = NULL;
286   }
287
288   /* for this process, don't need to change in get function */
289   t->simdata->receiver = NULL;
290   SIMIX_mutex_unlock(t_simdata->mutex);
291
292
293   if (SIMIX_action_get_state(t_simdata->comm) == SURF_ACTION_DONE) {
294     SIMIX_action_destroy(t_simdata->comm);
295     t_simdata->comm = NULL;
296     t_simdata->using--;
297     MSG_RETURN(MSG_OK);
298   } else if (SIMIX_host_get_state(h_simdata->smx_host) == 0) {
299     SIMIX_action_destroy(t_simdata->comm);
300     t_simdata->comm = NULL;
301     t_simdata->using--;
302     MSG_RETURN(MSG_HOST_FAILURE);
303   } else {
304     SIMIX_action_destroy(t_simdata->comm);
305     t_simdata->comm = NULL;
306     t_simdata->using--;
307     MSG_RETURN(MSG_TRANSFER_FAILURE);
308   }
309 }
310
311 MSG_error_t
312 MSG_mailbox_put_with_timeout(msg_mailbox_t mailbox, m_task_t task,
313                              double timeout)
314 {
315   m_process_t process = MSG_process_self();
316   const char *hostname;
317   simdata_task_t task_simdata = NULL;
318   m_host_t local_host = NULL;
319   m_host_t remote_host = NULL;
320   smx_cond_t cond = NULL;
321
322   CHECK_HOST();
323
324   task_simdata = task->simdata;
325   task_simdata->sender = process;
326   task_simdata->source = MSG_process_get_host(process);
327
328   xbt_assert0(task_simdata->using == 1,
329               "This task is still being used somewhere else. You cannot send it now. Go fix your code!");
330
331   task_simdata->comm = NULL;
332
333   task_simdata->using++;
334   local_host = ((simdata_process_t) process->simdata)->m_host;
335
336   /* get the host name containing the mailbox */
337   hostname = MSG_mailbox_get_hostname(mailbox);
338
339   remote_host = MSG_get_host_by_name(hostname);
340
341   if (NULL == remote_host)
342     THROW1(not_found_error, 0, "Host %s not fount", hostname);
343
344
345   DEBUG4
346       ("Trying to send a task (%g kB) from %s to %s on the channel aliased by the alias %s",
347        task->simdata->message_size / 1000, local_host->name,
348        remote_host->name, MSG_mailbox_get_alias(mailbox));
349
350   SIMIX_mutex_lock(remote_host->simdata->mutex);
351
352   /* put the task in the mailbox */
353   MSG_mailbox_put(mailbox, task);
354
355   if (NULL != (cond = MSG_mailbox_get_cond(mailbox))) {
356     DEBUG0("Somebody is listening. Let's wake him up!");
357     SIMIX_cond_signal(cond);
358   }
359
360
361
362   SIMIX_mutex_unlock(remote_host->simdata->mutex);
363
364   SIMIX_mutex_lock(task->simdata->mutex);
365
366   process->simdata->waiting_task = task;
367
368   if (timeout > 0) {
369     xbt_ex_t e;
370     double time;
371     double time_elapsed;
372     time = SIMIX_get_clock();
373
374     TRY {
375       /*verify if the action that ends is the correct. Call the wait_timeout with the new time. If the timeout occurs, an exception is raised */
376       while (1) {
377         time_elapsed = SIMIX_get_clock() - time;
378         SIMIX_cond_wait_timeout(task->simdata->cond, task->simdata->mutex,
379                                 timeout - time_elapsed);
380
381         if ((task->simdata->comm != NULL)
382             && (SIMIX_action_get_state(task->simdata->comm) !=
383                 SURF_ACTION_RUNNING))
384           break;
385       }
386     }
387     CATCH(e) {
388       if (e.category == timeout_error) {
389         xbt_ex_free(e);
390         /* verify if the timeout happened and the communication didn't started yet */
391         if (task->simdata->comm == NULL) {
392           process->simdata->waiting_task = NULL;
393
394           /* remove the task from the mailbox */
395           MSG_mailbox_remove(mailbox, task);
396
397           if (task->simdata->receiver) {
398             task->simdata->receiver->simdata->waiting_task = NULL;
399           }
400
401           task->simdata->sender = NULL;
402
403           SIMIX_mutex_unlock(task->simdata->mutex);
404           MSG_RETURN(MSG_TRANSFER_FAILURE);
405         }
406       } else {
407         RETHROW;
408       }
409     }
410   } else {
411     while (1) {
412       SIMIX_cond_wait(task->simdata->cond, task->simdata->mutex);
413
414       if (SIMIX_action_get_state(task->simdata->comm) !=
415           SURF_ACTION_RUNNING)
416         break;
417     }
418   }
419
420   DEBUG1("Action terminated %s", task->name);
421   process->simdata->waiting_task = NULL;
422
423   /* the task has already finished and the pointer must be null */
424   if (task->simdata->receiver) {
425     task->simdata->receiver->simdata->waiting_task = NULL;
426   }
427
428   task->simdata->sender = NULL;
429   SIMIX_mutex_unlock(task->simdata->mutex);
430
431
432   if (SIMIX_action_get_state(task->simdata->comm) == SURF_ACTION_DONE) {
433     MSG_RETURN(MSG_OK);
434   } else if (SIMIX_host_get_state(local_host->simdata->smx_host) == 0) {
435     MSG_RETURN(MSG_HOST_FAILURE);
436   } else {
437     MSG_RETURN(MSG_TRANSFER_FAILURE);
438   }
439 }