Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
removing compilation warnings
[simgrid.git] / src / simix / smx_network.c
1 /* Copyright (c) 2009, 2010. The SimGrid Team.
2  * All rights reserved.                                                     */
3
4 /* This program is free software; you can redistribute it and/or modify it
5  * under the terms of the license (GNU LGPL) which comes with this package. */
6
7 #include "private.h"
8 #include "xbt/log.h"
9 #include "mc/mc.h"
10 #include "xbt/dict.h"
11
12 /* Pimple to get an histogram of message sizes in the simulation */
13 xbt_dict_t msg_sizes = NULL;
14 xbt_dict_t latency_limited_dict = NULL;
15
16 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_network, simix,
17                                 "Logging specific to SIMIX (network)");
18
19 /******************************************************************************/
20 /*                           Rendez-Vous Points                               */
21 /******************************************************************************/ 
22
23 /**
24  *  \brief Creates a new rendez-vous point
25  *  \param name The name of the rendez-vous point
26  *  \return The created rendez-vous point
27  */
28 smx_rdv_t SIMIX_rdv_create(const char *name)
29 {
30   smx_rdv_t rdv = xbt_new0(s_smx_rvpoint_t, 1);
31   rdv->name = name ? xbt_strdup(name) : NULL;
32   rdv->read = SIMIX_mutex_init();
33   rdv->write = SIMIX_mutex_init();
34   rdv->comm_fifo = xbt_fifo_new();
35
36   return rdv;
37 }
38
39 /**
40  *  \brief Destroy a rendez-vous point
41  *  \param name The rendez-vous point to destroy
42  */
43 void SIMIX_rdv_destroy(smx_rdv_t rdv)
44 {
45   if(rdv->name)
46     xbt_free(rdv->name);
47   SIMIX_mutex_destroy(rdv->read);
48   SIMIX_mutex_destroy(rdv->write);
49   xbt_fifo_free(rdv->comm_fifo);
50   xbt_free(rdv);
51 }
52
53 /**
54  *  \brief Push a communication request into a rendez-vous point
55  *  \param rdv The rendez-vous point
56  *  \param comm The communication request
57  */
58 static XBT_INLINE void SIMIX_rdv_push(smx_rdv_t rdv, smx_comm_t comm)
59 {
60   xbt_fifo_push(rdv->comm_fifo, comm);
61   comm->rdv = rdv;
62 }
63
64 /**
65  *  \brief Remove a communication request from a rendez-vous point
66  *  \param rdv The rendez-vous point
67  *  \param comm The communication request
68  */
69 static XBT_INLINE void SIMIX_rdv_remove(smx_rdv_t rdv, smx_comm_t comm)
70 {
71   xbt_fifo_remove(rdv->comm_fifo, comm);
72   comm->rdv = NULL;
73 }
74   
75 /**
76  *  \brief Checks if there is a communication request queued in a rendez-vous matching our needs
77  *  \param type The type of communication we are looking for (comm_send, comm_recv)
78  *  \return The communication request if found, NULL otherwise.
79  */
80 smx_comm_t SIMIX_rdv_get_request(smx_rdv_t rdv, smx_comm_type_t type) {
81   smx_comm_t comm = (smx_comm_t)xbt_fifo_get_item_content(
82                                   xbt_fifo_get_first_item(rdv->comm_fifo));
83
84   if(comm && comm->type == type){
85     DEBUG0("Communication request found!");
86     xbt_fifo_shift(rdv->comm_fifo);
87     SIMIX_communication_use(comm);
88     comm->rdv = NULL;
89     return comm;
90   }
91
92   DEBUG0("Communication request not found");
93   return NULL;
94 }
95
96 /**
97  *  \brief counts the number of communication requests of a given host pending
98  *         on a rendez-vous point
99  *  \param rdv The rendez-vous point
100  *  \param host The host to be counted
101  *  \return The number of comm request pending in the rdv
102  */
103 int 
104 SIMIX_rdv_get_count_waiting_comm(smx_rdv_t rdv, smx_host_t host)
105 {
106   smx_comm_t comm = NULL;
107   xbt_fifo_item_t item = NULL;
108   int count = 0;
109
110   xbt_fifo_foreach(rdv->comm_fifo, item, comm, smx_comm_t) {
111     if (comm->src_proc->smx_host == host)
112       count++;
113   }
114
115   return count;
116 }
117
118 /**
119  *  \brief returns the communication at the head of the rendez-vous
120  *  \param rdv The rendez-vous point
121  *  \return The communication or NULL if empty
122  */
123 XBT_INLINE smx_comm_t SIMIX_rdv_get_head(smx_rdv_t rdv)
124 {
125   return (smx_comm_t)xbt_fifo_get_item_content(xbt_fifo_get_first_item(rdv->comm_fifo));
126 }
127
128 /** @brief adds some API-related data to the rendez-vous point */
129 XBT_INLINE void SIMIX_rdv_set_data(smx_rdv_t rdv,void *data) {
130   rdv->data=data;
131 }
132 /** @brief gets API-related data from the rendez-vous point */
133 XBT_INLINE void *SIMIX_rdv_get_data(smx_rdv_t rdv) {
134   return rdv->data;
135 }
136
137 /******************************************************************************/
138 /*                           Communication Requests                           */
139 /******************************************************************************/ 
140
141 /**
142  *  \brief Creates a new communication request
143  *  \param type The type of communication (comm_send, comm_recv)
144  *  \return The new communication request
145  */  
146 smx_comm_t SIMIX_communication_new(smx_comm_type_t type)
147 {
148   /* alloc structures */
149   smx_comm_t comm = xbt_new0(s_smx_comm_t, 1);
150   comm->type = type;
151   comm->sem = SIMIX_sem_init(0);
152   comm->refcount = 1;
153   
154   return comm;
155 }
156
157 /**
158  *  \brief Destroy a communication request
159  *  \param comm The request to be destroyed
160  */
161 void SIMIX_communication_destroy(smx_comm_t comm)
162 {
163   VERB2("Destroy communication %p; refcount initially %d",comm,comm->refcount);
164
165   //save is latency limited flag to use afterwards
166   if (latency_limited_dict == NULL)
167           latency_limited_dict = xbt_dict_new();
168   DEBUG2("adding key %p with latency limited value %d to the dict", comm, SIMIX_action_is_latency_bounded(comm->act));
169   xbt_dicti_set(latency_limited_dict, (uintptr_t)comm, SIMIX_action_is_latency_bounded(comm->act));
170
171   comm->refcount--;
172   if(comm->refcount > 0)
173     return;
174
175   if(comm->sem){
176     SIMIX_sem_destroy(comm->sem);
177     comm->sem = NULL;
178   }
179   
180   if(comm->act){
181     SIMIX_action_destroy(comm->act);
182     comm->act = NULL;
183   }
184
185   if(comm->src_timeout){
186     SIMIX_action_destroy(comm->src_timeout);
187     comm->src_timeout = NULL;
188   }
189
190   if(comm->dst_timeout){
191       SIMIX_action_destroy(comm->dst_timeout);
192       comm->dst_timeout = NULL;
193     }
194
195
196
197   xbt_free(comm);
198 }
199
200 /**
201  *  \brief Increase the number of users of the communication.
202  *  \param comm The communication request
203  *  Each communication request can be used by more than one process, so it is
204  *  necessary to know number of them at destroy time, to avoid freeing stuff that
205  *  maybe is in use by others.
206  *  \
207  */
208 static XBT_INLINE void SIMIX_communication_use(smx_comm_t comm)
209 {
210   comm->refcount++;
211 }
212
213 /**
214  *  \brief Start the simulation of a communication request
215  *  \param comm The communication request
216  */
217 static XBT_INLINE void SIMIX_communication_start(smx_comm_t comm)
218 {
219   /* If both the sender and the receiver are already there, start the communication */
220   if(comm->src_proc && comm->dst_proc){
221     DEBUG1("Starting communication %p", comm);
222     comm->act = SIMIX_action_communicate(comm->src_proc->smx_host, 
223                                          comm->dst_proc->smx_host, NULL, 
224                                          comm->task_size, comm->rate);
225 #ifdef HAVE_TRACING
226     TRACE_smx_action_communicate (comm->act, comm->src_proc);
227 #endif
228
229     /* If any of the process is suspend, create the action but stop its execution,
230        it will be restarted when the sender process resume */
231     if(SIMIX_process_is_suspended(comm->src_proc) || 
232        SIMIX_process_is_suspended(comm->dst_proc)) {
233       SIMIX_action_suspend(comm->act);
234     }
235     
236     /* Add the communication as user data of the action */
237     comm->act->data = comm;
238
239     /* The semaphore will only get signaled once, but since the first unlocked guy will
240      * release_forever() the semaphore, that will unlock the second (and any other)
241      * communication partner */
242     SIMIX_register_action_to_semaphore(comm->act, comm->sem);
243   }
244 }
245
246 /**
247  * \brief Performs error checking and cleanup
248  * \param comm The communication
249  */
250 static XBT_INLINE void SIMIX_communication_cleanup(smx_comm_t comm)
251 {
252   DEBUG1("Checking errors and cleaning communication %p", comm);
253
254   /* Make sure that everyone sleeping on that semaphore is awake, and that nobody will ever block on it */
255   SIMIX_sem_release_forever(comm->sem);
256   
257   /* Check for errors other than timeouts */
258   if (!SIMIX_host_get_state(SIMIX_host_self())){
259     if(comm->rdv)
260       SIMIX_rdv_remove(comm->rdv, comm);
261           SIMIX_communication_destroy(comm);
262     THROW0(host_error, 0, "Host failed");
263   } else if (SIMIX_action_get_state(comm->act) == SURF_ACTION_FAILED){
264     SIMIX_communication_destroy(comm);
265     THROW0(network_error, 0, "Link failure");
266   } else if (!SIMIX_host_get_state(SIMIX_process_get_host(comm->dst_proc)) ||
267       !SIMIX_host_get_state(SIMIX_process_get_host(comm->src_proc))) {
268     /* We test both src&dst because we dunno who we are today, and we already tested myself above.
269      *    So, at the end, we test the remote peer only
270      * Moreover, we have to test it because if the remote peer fails, the action comm->act is not done nor failed.
271      *    In that case, we got awaken by the little endless actions created in the SIMIX_sem_acquire(comm->sem)
272      *    at the beginning of this function. */
273     SIMIX_communication_destroy(comm);
274     THROW0(network_error, 0, "Remote peer failed");
275
276   }
277   /* Copy network data */
278   SIMIX_network_copy_data(comm);  
279
280   SIMIX_communication_destroy(comm);
281 }
282
283 /**
284  *  \brief Waits for communication completion
285  *  \param comm The communication
286  *  \param timeout The max amount of time to wait for the communication to finish
287  *
288  *  Throws:
289  *   - host_error if local peer failed
290  *   - timeout_error if communication reached the timeout specified (either because of local peer or remote peer)
291  *   - network_error if network failed or remote peer failed
292  */
293 static XBT_INLINE void SIMIX_communication_wait_for_completion(smx_comm_t comm, double timeout)
294 {
295   smx_action_t act_sleep = NULL;
296   int src_timeout = 0;
297   int dst_timeout = 0;
298
299   DEBUG1("Waiting for the completion of communication %p", comm);
300   
301   if (timeout >= 0) {
302     act_sleep = SIMIX_action_sleep(SIMIX_host_self(), timeout);
303                 if(SIMIX_process_self()==comm->src_proc)
304                         comm->src_timeout = act_sleep;
305                 else
306                         comm->dst_timeout = act_sleep;
307     SIMIX_action_set_name(act_sleep,bprintf("Timeout for comm %p and wait on semaphore %p (max_duration:%f)", comm, comm->sem,timeout));
308     SIMIX_register_action_to_semaphore(act_sleep, comm->sem);
309     SIMIX_process_self()->waiting_action = act_sleep;
310     SIMIX_sem_block_onto(comm->sem);
311     SIMIX_process_self()->waiting_action = NULL;
312     SIMIX_unregister_action_to_semaphore(act_sleep, comm->sem);
313   } else {
314     SIMIX_sem_acquire(comm->sem);
315   }
316
317   /* Check for timeouts */
318   if ((src_timeout = ((comm->src_timeout) && (SIMIX_action_get_state(comm->src_timeout) == SURF_ACTION_DONE))) ||
319       (dst_timeout = ((comm->dst_timeout) && (SIMIX_action_get_state(comm->dst_timeout) == SURF_ACTION_DONE))) ) {
320                         /* Somebody did a timeout! */
321     if (src_timeout) DEBUG1("Communication timeout from the src! %p", comm);
322     if (dst_timeout) DEBUG1("Communication timeout from the dst! %p", comm);
323
324     if(comm->act && SIMIX_action_get_state(comm->act) == SURF_ACTION_RUNNING)
325       SIMIX_communication_cancel(comm);
326     else if (comm->rdv)
327       SIMIX_rdv_remove(comm->rdv, comm);
328
329     /* Make sure that everyone sleeping on that semaphore is awake, and that nobody will ever block on it */
330     SIMIX_sem_release_forever(comm->sem);
331     SIMIX_communication_destroy(comm);
332
333     THROW1(timeout_error, 0, "Communication timeouted because of %s",src_timeout?"the source":"the destination");
334   }
335
336   DEBUG1("Communication %p complete!", comm);
337   SIMIX_communication_cleanup(comm);
338 }
339
340 /**
341  *  \brief Cancels a communication
342  *  \brief comm The communication to cancel
343  */
344 XBT_INLINE void SIMIX_communication_cancel(smx_comm_t comm)
345 {
346   if (comm->act)
347     SIMIX_action_cancel(comm->act);
348 }
349
350 /**
351  *  \brief get the amount remaining from the communication
352  *  \param comm The communication
353  */
354 XBT_INLINE double SIMIX_communication_get_remains(smx_comm_t comm)
355 {
356   DEBUG1("calling SIMIX_action_get_remains(%p)", comm->act);
357   return SIMIX_action_get_remains(comm->act);
358 }  
359
360 /**
361  *  \brief verify if communication is latency bounded
362  *  \param comm The communication
363  */
364 XBT_INLINE int SIMIX_communication_is_latency_bounded(smx_comm_t comm)
365 {
366   //try to find comm on the list of finished flows
367   uintptr_t key = 0;
368   uintptr_t data = 0;
369   xbt_dict_cursor_t cursor;
370   xbt_dict_foreach(latency_limited_dict,cursor,key,data) {
371     DEBUG2("comparing key=%p with comm=%p", (void*)key, (void*)comm);
372         if((void*)comm == (void*)key){
373                 DEBUG2("key %p found, return value latency limited value %d", (void*)key, (int)data);
374                 return (int)data;
375         }
376   }
377
378   DEBUG1("calling SIMIX_action_is_latency_bounded(%p)", comm->act);
379   return SIMIX_action_is_latency_bounded(comm->act);
380 }
381
382 /******************************************************************************/
383 /*                    SIMIX_network_copy_data callbacks                       */
384 /******************************************************************************/
385 static void (*SIMIX_network_copy_data_callback)(smx_comm_t, size_t) = &SIMIX_network_copy_pointer_callback;
386
387 void SIMIX_network_set_copy_data_callback(void (*callback)(smx_comm_t, size_t)) {
388   SIMIX_network_copy_data_callback = callback;
389 }
390
391 void SIMIX_network_copy_pointer_callback(smx_comm_t comm, size_t buff_size) {
392   xbt_assert1((buff_size == sizeof(void*)), "Cannot copy %zu bytes: must be sizeof(void*)",buff_size);
393   *(void**)(comm->dst_buff) = comm->src_buff;
394 }
395
396 void SIMIX_network_copy_buffer_callback(smx_comm_t comm, size_t buff_size) {
397   memcpy(comm->dst_buff, comm->src_buff, buff_size);
398 }
399
400 /**
401  *  \brief Copy the communication data from the sender's buffer to the receiver's one
402  *  \param comm The communication
403  */
404 void SIMIX_network_copy_data(smx_comm_t comm)
405 {
406   size_t buff_size = comm->src_buff_size;
407   uintptr_t casted_size = 0;
408   uintptr_t amount = 0;
409   /* If there is no data to be copy then return */
410   if(!comm->src_buff || !comm->dst_buff || comm->copied == 1)
411     return;
412
413   DEBUG6("Copying comm %p data from %s (%p) -> %s (%p) (%zu bytes)",
414       comm,
415       comm->src_proc->smx_host->name, comm->src_buff,
416       comm->dst_proc->smx_host->name, comm->dst_buff,
417       buff_size);
418
419   /* Copy at most dst_buff_size bytes of the message to receiver's buffer */
420   if (comm->dst_buff_size)
421     buff_size = MIN(buff_size,*(comm->dst_buff_size));
422   
423   /* Update the receiver's buffer size to the copied amount */
424   if (comm->dst_buff_size)
425     *comm->dst_buff_size = buff_size;
426
427   if(buff_size == 0)
428     return;
429   (*SIMIX_network_copy_data_callback)(comm, buff_size);
430
431   /* Set the copied flag so we copy data only once */
432   /* (this function might be called from both communication ends)*/
433   comm->copied = 1;
434   
435   /* pimple to display the message sizes */
436   {
437     if (msg_sizes == NULL)
438       msg_sizes = xbt_dict_new();
439     casted_size = comm->task_size;
440     amount = xbt_dicti_get(msg_sizes, casted_size);
441     amount++;
442
443     xbt_dicti_set(msg_sizes,casted_size, amount);
444   }
445 }
446 #include "xbt.h"
447 /* pimple to display the message sizes */
448 void SIMIX_message_sizes_output(const char *filename) {
449   uintptr_t key = 0;
450   uintptr_t data = 0;
451   xbt_dict_cursor_t cursor;
452   FILE * out = NULL;
453   out = fopen(filename,"w");
454   xbt_assert1(out,"Cannot open file %s",filename);
455
456   xbt_dict_foreach(msg_sizes,cursor,key,data) {
457     fprintf(out,"%zu %zu\n",key,data);
458   }
459   fclose(out);
460 }
461
462 /**
463  *  \brief Return the user data associated to the communication
464  *  \param comm The communication
465  *  \return the user data
466  */
467 XBT_INLINE void *SIMIX_communication_get_data(smx_comm_t comm)
468 {
469   return comm->data;
470 }
471
472 XBT_PUBLIC(void *) SIMIX_communication_get_src_buf(smx_comm_t comm)
473 {
474   return comm->src_buff;
475 }
476 XBT_PUBLIC(void *) SIMIX_communication_get_dst_buf(smx_comm_t comm)
477 {
478   return comm->dst_buff;
479 }
480 XBT_PUBLIC(size_t) SIMIX_communication_get_src_buf_size(smx_comm_t comm)
481 {
482   return comm->src_buff_size;
483 }
484 XBT_PUBLIC(size_t) SIMIX_communication_get_dst_buf_size(smx_comm_t comm)
485 {
486   return *(comm->dst_buff_size);
487 }
488
489 /******************************************************************************/
490 /*                        Synchronous Communication                           */
491 /******************************************************************************/
492 /**
493  *  \brief Put a send communication request in a rendez-vous point and waits for
494  *         its completion (blocking)
495  *  \param rdv The rendez-vous point
496  *  \param task_size The size of the communication action (for surf simulation)
497  *  \param rate The rate of the communication action (for surf)
498  *  \param timeout The timeout used for the waiting the completion 
499  *  \param src_buff The source buffer containing the message to be sent
500  *  \param src_buff_size The size of the source buffer
501  *  \param comm_ref The communication object used for the send  (useful if someone else wants to cancel this communication afterward)
502  *  \param data User data associated to the communication object
503  *  Throws:
504  *   - host_error if peer failed
505  *   - timeout_error if communication reached the timeout specified
506  *   - network_error if network failed or peer issued a timeout
507  */
508 XBT_INLINE void SIMIX_network_send(smx_rdv_t rdv, double task_size, double rate,
509                         double timeout, void *src_buff, size_t src_buff_size,
510                         smx_comm_t *comm_ref, void *data)
511 {
512   *comm_ref = SIMIX_network_isend(rdv,task_size,rate,src_buff,src_buff_size,data);
513   SIMIX_network_wait(*comm_ref,timeout);
514 }
515
516 /**
517  *  \brief Put a receive communication request in a rendez-vous point and waits
518  *         for its completion (blocking)
519  *  \param rdv The rendez-vous point
520  *  \param timeout The timeout used for the waiting the completion 
521  *  \param dst_buff The destination buffer to copy the received message
522  *  \param src_buff_size The size of the destination buffer
523  *  \param comm_ref The communication object used for the send (useful if someone else wants to cancel this communication afterward)
524  *  Throws:
525  *   - host_error if peer failed
526  *   - timeout_error if communication reached the timeout specified
527  *   - network_error if network failed or peer issued a timeout
528  */
529 XBT_INLINE void SIMIX_network_recv(smx_rdv_t rdv, double timeout, void *dst_buff,
530                         size_t *dst_buff_size, smx_comm_t *comm_ref)
531 {
532   *comm_ref = (smx_comm_t) SIMIX_network_irecv(rdv,dst_buff,dst_buff_size);
533   SIMIX_network_wait(*comm_ref,timeout);
534 }
535
536 /******************************************************************************/
537 /*                        Asynchronous Communication                          */
538 /******************************************************************************/
539 smx_comm_t SIMIX_network_isend(smx_rdv_t rdv, double task_size, double rate,
540     void *src_buff, size_t src_buff_size, void *data)
541 {
542   smx_comm_t comm;
543
544   /*If running in model-checking mode then intercept the communication action*/
545         #ifdef HAVE_MC
546           if (_surf_do_model_check)
547                 MC_trans_intercept_isend(rdv);
548         #endif
549   /* Look for communication request matching our needs.
550      If it is not found then create it and push it into the rendez-vous point */
551   comm = SIMIX_rdv_get_request(rdv, comm_recv);
552
553   if(!comm){
554     comm = SIMIX_communication_new(comm_send);
555     SIMIX_rdv_push(rdv, comm);
556   }
557
558   /* Setup the communication request */
559   comm->src_proc = SIMIX_process_self();
560   comm->task_size = task_size;
561   comm->rate = rate;
562   comm->src_buff = src_buff;
563   comm->src_buff_size = src_buff_size;
564   comm->data = data;
565   
566   SIMIX_communication_start(comm);
567   return comm;
568 }
569
570 smx_comm_t SIMIX_network_irecv(smx_rdv_t rdv, void *dst_buff, size_t *dst_buff_size)
571 {
572   smx_comm_t comm;
573
574   /*If running in model-checking mode then intercept the communication action*/
575 #ifdef HAVE_MC
576   if (_surf_do_model_check)
577     MC_trans_intercept_irecv(rdv);
578 #endif
579   /* Look for communication request matching our needs.
580    * If it is not found then create it and push it into the rendez-vous point
581    */
582   comm = SIMIX_rdv_get_request(rdv, comm_send);
583
584   if(!comm){
585     comm = SIMIX_communication_new(comm_recv);
586     SIMIX_rdv_push(rdv, comm);
587   }
588
589   /* Setup communication request */
590   comm->dst_proc = SIMIX_process_self();
591   comm->dst_buff = dst_buff;
592   comm->dst_buff_size = dst_buff_size;
593  
594   SIMIX_communication_start(comm);
595   return comm;
596 }
597
598 /** @brief blocks until the communication terminates or the timeout occurs */
599 XBT_INLINE void SIMIX_network_wait(smx_comm_t comm, double timeout)
600 {
601   /*If running in model-checking mode then intercept the communication action*/
602 #ifdef HAVE_MC
603   if (_surf_do_model_check)
604     MC_trans_intercept_wait(comm);
605 #endif
606   /* Wait for communication completion */
607   SIMIX_communication_wait_for_completion(comm, timeout);
608 }
609
610 /** @Returns whether the (asynchronous) communication is done yet or not */
611 XBT_INLINE int SIMIX_network_test(smx_comm_t comm)
612 {
613   /*If running in model-checking mode then intercept the communication action*/
614 #ifdef HAVE_MC
615   if (_surf_do_model_check)
616     MC_trans_intercept_test(comm);
617 #endif
618
619   /* Copy data if the communication is done */
620   if(comm->sem && !SIMIX_sem_would_block(comm->sem)){
621     /* Copy network data */
622     SIMIX_network_copy_data(comm);
623     return TRUE;
624   }
625   return FALSE;
626 }
627
628 /** @brief wait for the completion of any communication of a set
629  *
630  *  @Returns the rank in the dynar of communication which finished; destroy it after identifying which one it is
631  */
632 unsigned int SIMIX_network_waitany(xbt_dynar_t comms)
633 {
634   xbt_dynar_t sems = xbt_dynar_new(sizeof(smx_sem_t),NULL);
635   unsigned int cursor, found_comm=-1;
636   smx_comm_t comm,comm_finished=NULL;
637
638   /*If running in model-checking mode then intercept the communication action*/
639 #ifdef HAVE_MC
640   if (_surf_do_model_check)
641     MC_trans_intercept_waitany(comms);
642 #endif
643   xbt_dynar_foreach(comms,cursor,comm)
644     xbt_dynar_push(sems,&(comm->sem));
645
646   DEBUG1("Waiting for the completion of communication set %p", comms);
647
648   found_comm = SIMIX_sem_acquire_any(sems);
649   xbt_dynar_free_container(&sems);
650   xbt_assert0(found_comm!=-1,"Cannot find which communication finished");
651   xbt_dynar_get_cpy(comms,found_comm,&comm_finished);
652
653   DEBUG2("Communication %p of communication set %p finished", comm_finished, comms);
654
655   /* let the regular code deal with the communication end (errors checking and cleanup).
656    * A bit of useless work will be done, but that's good for source factorization */
657   SIMIX_sem_release_forever(comm_finished->sem);
658   SIMIX_communication_wait_for_completion(comm_finished, -1);
659   return found_comm;
660 }