1 /* Copyright (c) 2009, 2010. The SimGrid Team.
2 * All rights reserved. */
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. */
12 /* Pimple to get an histogram of message sizes in the simulation */
13 xbt_dict_t msg_sizes = NULL;
14 #ifdef HAVE_LATENCY_BOUND_TRACKING
15 xbt_dict_t latency_limited_dict = NULL;
18 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_network, simix,
19 "Logging specific to SIMIX (network)");
21 /******************************************************************************/
22 /* Rendez-Vous Points */
23 /******************************************************************************/
26 * \brief Creates a new rendez-vous point
27 * \param name The name of the rendez-vous point
28 * \return The created rendez-vous point
30 smx_rdv_t SIMIX_rdv_create(const char *name)
32 smx_rdv_t rdv = xbt_new0(s_smx_rvpoint_t, 1);
33 rdv->name = name ? xbt_strdup(name) : NULL;
34 rdv->read = SIMIX_mutex_init();
35 rdv->write = SIMIX_mutex_init();
36 rdv->comm_fifo = xbt_fifo_new();
42 * \brief Destroy a rendez-vous point
43 * \param name The rendez-vous point to destroy
45 void SIMIX_rdv_destroy(smx_rdv_t rdv)
49 SIMIX_mutex_destroy(rdv->read);
50 SIMIX_mutex_destroy(rdv->write);
51 xbt_fifo_free(rdv->comm_fifo);
56 * \brief Push a communication request into a rendez-vous point
57 * \param rdv The rendez-vous point
58 * \param comm The communication request
60 static XBT_INLINE void SIMIX_rdv_push(smx_rdv_t rdv, smx_comm_t comm)
62 xbt_fifo_push(rdv->comm_fifo, comm);
67 * \brief Remove a communication request from a rendez-vous point
68 * \param rdv The rendez-vous point
69 * \param comm The communication request
71 static XBT_INLINE void SIMIX_rdv_remove(smx_rdv_t rdv, smx_comm_t comm)
73 xbt_fifo_remove(rdv->comm_fifo, comm);
78 * \brief Checks if there is a communication request queued in a rendez-vous matching our needs
79 * \param type The type of communication we are looking for (comm_send, comm_recv)
80 * \return The communication request if found, NULL otherwise.
82 smx_comm_t SIMIX_rdv_get_request(smx_rdv_t rdv, smx_comm_type_t type) {
83 smx_comm_t comm = (smx_comm_t)xbt_fifo_get_item_content(
84 xbt_fifo_get_first_item(rdv->comm_fifo));
86 if(comm && comm->type == type){
87 DEBUG0("Communication request found!");
88 xbt_fifo_shift(rdv->comm_fifo);
89 SIMIX_communication_use(comm);
94 DEBUG0("Communication request not found");
99 * \brief counts the number of communication requests of a given host pending
100 * on a rendez-vous point
101 * \param rdv The rendez-vous point
102 * \param host The host to be counted
103 * \return The number of comm request pending in the rdv
106 SIMIX_rdv_get_count_waiting_comm(smx_rdv_t rdv, smx_host_t host)
108 smx_comm_t comm = NULL;
109 xbt_fifo_item_t item = NULL;
112 xbt_fifo_foreach(rdv->comm_fifo, item, comm, smx_comm_t) {
113 if (comm->src_proc->smx_host == host)
121 * \brief returns the communication at the head of the rendez-vous
122 * \param rdv The rendez-vous point
123 * \return The communication or NULL if empty
125 XBT_INLINE smx_comm_t SIMIX_rdv_get_head(smx_rdv_t rdv)
127 return (smx_comm_t)xbt_fifo_get_item_content(xbt_fifo_get_first_item(rdv->comm_fifo));
130 /** @brief adds some API-related data to the rendez-vous point */
131 XBT_INLINE void SIMIX_rdv_set_data(smx_rdv_t rdv,void *data) {
134 /** @brief gets API-related data from the rendez-vous point */
135 XBT_INLINE void *SIMIX_rdv_get_data(smx_rdv_t rdv) {
139 /******************************************************************************/
140 /* Communication Requests */
141 /******************************************************************************/
144 * \brief Creates a new communication request
145 * \param type The type of communication (comm_send, comm_recv)
146 * \return The new communication request
148 smx_comm_t SIMIX_communication_new(smx_comm_type_t type)
150 /* alloc structures */
151 smx_comm_t comm = xbt_new0(s_smx_comm_t, 1);
153 comm->sem = SIMIX_sem_init(0);
160 * \brief Destroy a communication request
161 * \param comm The request to be destroyed
163 void SIMIX_communication_destroy(smx_comm_t comm)
165 VERB2("Destroy communication %p; refcount initially %d",comm,comm->refcount);
167 #ifdef HAVE_LATENCY_BOUND_TRACKING
168 //save is latency limited flag to use afterwards
169 if (latency_limited_dict == NULL) {
170 latency_limited_dict = xbt_dict_new();
173 DEBUG2("adding key %p with latency limited value %d to the dict", comm, SIMIX_action_is_latency_bounded(comm->act));
174 xbt_dicti_set(latency_limited_dict, (uintptr_t)comm, SIMIX_action_is_latency_bounded(comm->act));
179 if(comm->refcount > 0)
183 SIMIX_sem_destroy(comm->sem);
188 SIMIX_action_destroy(comm->act);
192 if(comm->src_timeout){
193 SIMIX_action_destroy(comm->src_timeout);
194 comm->src_timeout = NULL;
197 if(comm->dst_timeout){
198 SIMIX_action_destroy(comm->dst_timeout);
199 comm->dst_timeout = NULL;
208 * \brief Increase the number of users of the communication.
209 * \param comm The communication request
210 * Each communication request can be used by more than one process, so it is
211 * necessary to know number of them at destroy time, to avoid freeing stuff that
212 * maybe is in use by others.
215 static XBT_INLINE void SIMIX_communication_use(smx_comm_t comm)
221 * \brief Start the simulation of a communication request
222 * \param comm The communication request
224 static XBT_INLINE void SIMIX_communication_start(smx_comm_t comm)
226 /* If both the sender and the receiver are already there, start the communication */
227 if(comm->src_proc && comm->dst_proc){
228 DEBUG1("Starting communication %p", comm);
229 comm->act = SIMIX_action_communicate(comm->src_proc->smx_host,
230 comm->dst_proc->smx_host, NULL,
231 comm->task_size, comm->rate);
233 TRACE_smx_action_communicate (comm->act, comm->src_proc);
234 TRACE_surf_action (comm->act->surf_action, comm->act->category);
237 /* If any of the process is suspend, create the action but stop its execution,
238 it will be restarted when the sender process resume */
239 if(SIMIX_process_is_suspended(comm->src_proc) ||
240 SIMIX_process_is_suspended(comm->dst_proc)) {
241 SIMIX_action_suspend(comm->act);
244 /* Add the communication as user data of the action */
245 comm->act->data = comm;
247 /* The semaphore will only get signaled once, but since the first unlocked guy will
248 * release_forever() the semaphore, that will unlock the second (and any other)
249 * communication partner */
250 SIMIX_register_action_to_semaphore(comm->act, comm->sem);
255 * \brief Performs error checking and cleanup
256 * \param comm The communication
258 static XBT_INLINE void SIMIX_communication_cleanup(smx_comm_t comm)
260 DEBUG1("Checking errors and cleaning communication %p", comm);
262 /* Make sure that everyone sleeping on that semaphore is awake, and that nobody will ever block on it */
263 SIMIX_sem_release_forever(comm->sem);
265 /* Check for errors other than timeouts */
266 if (!SIMIX_host_get_state(SIMIX_host_self())){
268 SIMIX_rdv_remove(comm->rdv, comm);
269 SIMIX_communication_destroy(comm);
270 THROW0(host_error, 0, "Host failed");
271 } else if (SIMIX_action_get_state(comm->act) == SURF_ACTION_FAILED){
272 SIMIX_communication_destroy(comm);
273 THROW0(network_error, 0, "Link failure");
274 } else if (!SIMIX_host_get_state(SIMIX_process_get_host(comm->dst_proc)) ||
275 !SIMIX_host_get_state(SIMIX_process_get_host(comm->src_proc))) {
276 /* We test both src&dst because we dunno who we are today, and we already tested myself above.
277 * So, at the end, we test the remote peer only
278 * Moreover, we have to test it because if the remote peer fails, the action comm->act is not done nor failed.
279 * In that case, we got awaken by the little endless actions created in the SIMIX_sem_acquire(comm->sem)
280 * at the beginning of this function. */
281 SIMIX_communication_destroy(comm);
282 THROW0(network_error, 0, "Remote peer failed");
285 /* Copy network data */
286 SIMIX_network_copy_data(comm);
288 SIMIX_communication_destroy(comm);
292 * \brief Waits for communication completion
293 * \param comm The communication
294 * \param timeout The max amount of time to wait for the communication to finish
297 * - host_error if local peer failed
298 * - timeout_error if communication reached the timeout specified (either because of local peer or remote peer)
299 * - network_error if network failed or remote peer failed
301 static XBT_INLINE void SIMIX_communication_wait_for_completion(smx_comm_t comm, double timeout)
303 smx_action_t act_sleep = NULL;
307 DEBUG1("Waiting for the completion of communication %p", comm);
310 act_sleep = SIMIX_action_sleep(SIMIX_host_self(), timeout);
311 if(SIMIX_process_self()==comm->src_proc)
312 comm->src_timeout = act_sleep;
314 comm->dst_timeout = act_sleep;
315 SIMIX_action_set_name(act_sleep,bprintf("Timeout for comm %p and wait on semaphore %p (max_duration:%f)", comm, comm->sem,timeout));
316 SIMIX_register_action_to_semaphore(act_sleep, comm->sem);
317 SIMIX_process_self()->waiting_action = act_sleep;
318 SIMIX_sem_block_onto(comm->sem);
319 SIMIX_process_self()->waiting_action = NULL;
320 SIMIX_unregister_action_to_semaphore(act_sleep, comm->sem);
322 SIMIX_sem_acquire(comm->sem);
325 /* Check for timeouts */
326 if ((src_timeout = ((comm->src_timeout) && (SIMIX_action_get_state(comm->src_timeout) == SURF_ACTION_DONE))) ||
327 (dst_timeout = ((comm->dst_timeout) && (SIMIX_action_get_state(comm->dst_timeout) == SURF_ACTION_DONE))) ) {
328 /* Somebody did a timeout! */
329 if (src_timeout) DEBUG1("Communication timeout from the src! %p", comm);
330 if (dst_timeout) DEBUG1("Communication timeout from the dst! %p", comm);
332 if(comm->act && SIMIX_action_get_state(comm->act) == SURF_ACTION_RUNNING)
333 SIMIX_communication_cancel(comm);
335 SIMIX_rdv_remove(comm->rdv, comm);
337 /* Make sure that everyone sleeping on that semaphore is awake, and that nobody will ever block on it */
338 SIMIX_sem_release_forever(comm->sem);
339 SIMIX_communication_destroy(comm);
341 THROW1(timeout_error, 0, "Communication timeouted because of %s",src_timeout?"the source":"the destination");
344 DEBUG1("Communication %p complete!", comm);
345 SIMIX_communication_cleanup(comm);
349 * \brief Cancels a communication
350 * \brief comm The communication to cancel
352 XBT_INLINE void SIMIX_communication_cancel(smx_comm_t comm)
355 SIMIX_action_cancel(comm->act);
359 * \brief get the amount remaining from the communication
360 * \param comm The communication
362 XBT_INLINE double SIMIX_communication_get_remains(smx_comm_t comm)
364 DEBUG1("calling SIMIX_action_get_remains(%p)", comm->act);
365 return SIMIX_action_get_remains(comm->act);
368 #ifdef HAVE_LATENCY_BOUND_TRACKING
370 * \brief verify if communication is latency bounded
371 * \param comm The communication
373 XBT_INLINE int SIMIX_communication_is_latency_bounded(smx_comm_t comm)
375 //try to find comm on the list of finished flows
378 xbt_dict_cursor_t cursor;
379 xbt_dict_foreach(latency_limited_dict,cursor,key,data) {
380 DEBUG2("comparing key=%p with comm=%p", (void*)key, (void*)comm);
381 if((void*)comm == (void*)key){
382 DEBUG2("key %p found, return value latency limited value %d", (void*)key, (int)data);
387 DEBUG1("calling SIMIX_action_is_latency_bounded(%p)", comm->act);
388 return SIMIX_action_is_latency_bounded(comm->act);
392 /******************************************************************************/
393 /* SIMIX_network_copy_data callbacks */
394 /******************************************************************************/
395 static void (*SIMIX_network_copy_data_callback)(smx_comm_t, size_t) = &SIMIX_network_copy_pointer_callback;
397 void SIMIX_network_set_copy_data_callback(void (*callback)(smx_comm_t, size_t)) {
398 SIMIX_network_copy_data_callback = callback;
401 void SIMIX_network_copy_pointer_callback(smx_comm_t comm, size_t buff_size) {
402 xbt_assert1((buff_size == sizeof(void*)), "Cannot copy %zu bytes: must be sizeof(void*)",buff_size);
403 *(void**)(comm->dst_buff) = comm->src_buff;
406 void SIMIX_network_copy_buffer_callback(smx_comm_t comm, size_t buff_size) {
407 memcpy(comm->dst_buff, comm->src_buff, buff_size);
411 * \brief Copy the communication data from the sender's buffer to the receiver's one
412 * \param comm The communication
414 void SIMIX_network_copy_data(smx_comm_t comm)
416 size_t buff_size = comm->src_buff_size;
417 uintptr_t casted_size = 0;
418 uintptr_t amount = 0;
419 /* If there is no data to be copy then return */
420 if(!comm->src_buff || !comm->dst_buff || comm->copied == 1)
423 DEBUG6("Copying comm %p data from %s (%p) -> %s (%p) (%zu bytes)",
425 comm->src_proc->smx_host->name, comm->src_buff,
426 comm->dst_proc->smx_host->name, comm->dst_buff,
429 /* Copy at most dst_buff_size bytes of the message to receiver's buffer */
430 if (comm->dst_buff_size)
431 buff_size = MIN(buff_size,*(comm->dst_buff_size));
433 /* Update the receiver's buffer size to the copied amount */
434 if (comm->dst_buff_size)
435 *comm->dst_buff_size = buff_size;
439 (*SIMIX_network_copy_data_callback)(comm, buff_size);
441 /* Set the copied flag so we copy data only once */
442 /* (this function might be called from both communication ends)*/
445 /* pimple to display the message sizes */
447 if (msg_sizes == NULL)
448 msg_sizes = xbt_dict_new();
449 casted_size = comm->task_size;
450 amount = xbt_dicti_get(msg_sizes, casted_size);
453 xbt_dicti_set(msg_sizes,casted_size, amount);
457 /* pimple to display the message sizes */
458 void SIMIX_message_sizes_output(const char *filename) {
461 xbt_dict_cursor_t cursor;
463 out = fopen(filename,"w");
464 xbt_assert1(out,"Cannot open file %s",filename);
466 xbt_dict_foreach(msg_sizes,cursor,key,data) {
467 fprintf(out,"%zu %zu\n",key,data);
473 * \brief Return the user data associated to the communication
474 * \param comm The communication
475 * \return the user data
477 XBT_INLINE void *SIMIX_communication_get_data(smx_comm_t comm)
482 XBT_PUBLIC(void *) SIMIX_communication_get_src_buf(smx_comm_t comm)
484 return comm->src_buff;
486 XBT_PUBLIC(void *) SIMIX_communication_get_dst_buf(smx_comm_t comm)
488 return comm->dst_buff;
490 XBT_PUBLIC(size_t) SIMIX_communication_get_src_buf_size(smx_comm_t comm)
492 return comm->src_buff_size;
494 XBT_PUBLIC(size_t) SIMIX_communication_get_dst_buf_size(smx_comm_t comm)
496 return *(comm->dst_buff_size);
499 /******************************************************************************/
500 /* Synchronous Communication */
501 /******************************************************************************/
503 * \brief Put a send communication request in a rendez-vous point and waits for
504 * its completion (blocking)
505 * \param rdv The rendez-vous point
506 * \param task_size The size of the communication action (for surf simulation)
507 * \param rate The rate of the communication action (for surf)
508 * \param timeout The timeout used for the waiting the completion
509 * \param src_buff The source buffer containing the message to be sent
510 * \param src_buff_size The size of the source buffer
511 * \param comm_ref The communication object used for the send (useful if someone else wants to cancel this communication afterward)
512 * \param data User data associated to the communication object
514 * - host_error if peer failed
515 * - timeout_error if communication reached the timeout specified
516 * - network_error if network failed or peer issued a timeout
518 XBT_INLINE void SIMIX_network_send(smx_rdv_t rdv, double task_size, double rate,
519 double timeout, void *src_buff, size_t src_buff_size,
520 smx_comm_t *comm_ref, void *data)
522 *comm_ref = SIMIX_network_isend(rdv,task_size,rate,src_buff,src_buff_size,data);
523 SIMIX_network_wait(*comm_ref,timeout);
527 * \brief Put a receive communication request in a rendez-vous point and waits
528 * for its completion (blocking)
529 * \param rdv The rendez-vous point
530 * \param timeout The timeout used for the waiting the completion
531 * \param dst_buff The destination buffer to copy the received message
532 * \param src_buff_size The size of the destination buffer
533 * \param comm_ref The communication object used for the send (useful if someone else wants to cancel this communication afterward)
535 * - host_error if peer failed
536 * - timeout_error if communication reached the timeout specified
537 * - network_error if network failed or peer issued a timeout
539 XBT_INLINE void SIMIX_network_recv(smx_rdv_t rdv, double timeout, void *dst_buff,
540 size_t *dst_buff_size, smx_comm_t *comm_ref)
542 *comm_ref = (smx_comm_t) SIMIX_network_irecv(rdv,dst_buff,dst_buff_size);
543 SIMIX_network_wait(*comm_ref,timeout);
546 /******************************************************************************/
547 /* Asynchronous Communication */
548 /******************************************************************************/
549 smx_comm_t SIMIX_network_isend(smx_rdv_t rdv, double task_size, double rate,
550 void *src_buff, size_t src_buff_size, void *data)
554 /*If running in model-checking mode then intercept the communication action*/
556 if (_surf_do_model_check)
557 MC_trans_intercept_isend(rdv);
559 /* Look for communication request matching our needs.
560 If it is not found then create it and push it into the rendez-vous point */
561 comm = SIMIX_rdv_get_request(rdv, comm_recv);
564 comm = SIMIX_communication_new(comm_send);
565 SIMIX_rdv_push(rdv, comm);
568 /* Setup the communication request */
569 comm->src_proc = SIMIX_process_self();
570 comm->task_size = task_size;
572 comm->src_buff = src_buff;
573 comm->src_buff_size = src_buff_size;
576 SIMIX_communication_start(comm);
580 smx_comm_t SIMIX_network_irecv(smx_rdv_t rdv, void *dst_buff, size_t *dst_buff_size)
584 /*If running in model-checking mode then intercept the communication action*/
586 if (_surf_do_model_check)
587 MC_trans_intercept_irecv(rdv);
589 /* Look for communication request matching our needs.
590 * If it is not found then create it and push it into the rendez-vous point
592 comm = SIMIX_rdv_get_request(rdv, comm_send);
595 comm = SIMIX_communication_new(comm_recv);
596 SIMIX_rdv_push(rdv, comm);
599 /* Setup communication request */
600 comm->dst_proc = SIMIX_process_self();
601 comm->dst_buff = dst_buff;
602 comm->dst_buff_size = dst_buff_size;
604 SIMIX_communication_start(comm);
608 /** @brief blocks until the communication terminates or the timeout occurs */
609 XBT_INLINE void SIMIX_network_wait(smx_comm_t comm, double timeout)
611 /*If running in model-checking mode then intercept the communication action*/
613 if (_surf_do_model_check)
614 MC_trans_intercept_wait(comm);
616 /* Wait for communication completion */
617 SIMIX_communication_wait_for_completion(comm, timeout);
620 /** @Returns whether the (asynchronous) communication is done yet or not */
621 XBT_INLINE int SIMIX_network_test(smx_comm_t comm)
623 /*If running in model-checking mode then intercept the communication action*/
625 if (_surf_do_model_check)
626 MC_trans_intercept_test(comm);
629 /* Copy data if the communication is done */
630 if(comm->sem && !SIMIX_sem_would_block(comm->sem)){
631 /* Copy network data */
632 SIMIX_network_copy_data(comm);
638 /** @brief wait for the completion of any communication of a set
640 * @Returns the rank in the dynar of communication which finished; destroy it after identifying which one it is
642 unsigned int SIMIX_network_waitany(xbt_dynar_t comms)
644 xbt_dynar_t sems = xbt_dynar_new(sizeof(smx_sem_t),NULL);
645 unsigned int cursor, found_comm=-1;
646 smx_comm_t comm,comm_finished=NULL;
648 /*If running in model-checking mode then intercept the communication action*/
650 if (_surf_do_model_check)
651 MC_trans_intercept_waitany(comms);
653 xbt_dynar_foreach(comms,cursor,comm)
654 xbt_dynar_push(sems,&(comm->sem));
656 DEBUG1("Waiting for the completion of communication set %p", comms);
658 found_comm = SIMIX_sem_acquire_any(sems);
659 xbt_dynar_free_container(&sems);
660 xbt_assert0(found_comm!=-1,"Cannot find which communication finished");
661 xbt_dynar_get_cpy(comms,found_comm,&comm_finished);
663 DEBUG2("Communication %p of communication set %p finished", comm_finished, comms);
665 /* let the regular code deal with the communication end (errors checking and cleanup).
666 * A bit of useless work will be done, but that's good for source factorization */
667 SIMIX_sem_release_forever(comm_finished->sem);
668 SIMIX_communication_wait_for_completion(comm_finished, -1);