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