Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add ignore mechanism for global variables (data + bss segments) in...
[simgrid.git] / src / simix / smx_network_private.h
1 /* Copyright (c) 2007, 2008, 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 #ifndef _SIMIX_NETWORK_PRIVATE_H
8 #define _SIMIX_NETWORK_PRIVATE_H
9
10 #include "simgrid/simix.h"
11 #include "smx_smurf_private.h"
12
13 /** @brief Rendez-vous point datatype */
14 typedef struct s_smx_rvpoint {
15   char *name;
16   xbt_fifo_t comm_fifo;
17   void *data;
18   smx_process_t permanent_receiver; //process which the mailbox is attached to
19   xbt_fifo_t done_comm_fifo;//messages already received in the permanent receive mode
20 } s_smx_rvpoint_t;
21
22 void SIMIX_network_init(void);
23 void SIMIX_network_exit(void);
24
25 #ifdef HAVE_LATENCY_BOUND_TRACKING
26 XBT_INLINE XBT_PUBLIC(int) SIMIX_comm_is_latency_bounded(smx_action_t comm);
27 #endif
28
29 smx_rdv_t SIMIX_rdv_create(const char *name);
30 void SIMIX_rdv_destroy(smx_rdv_t rdv);
31 smx_rdv_t SIMIX_rdv_get_by_name(const char *name);
32 void SIMIX_rdv_remove(smx_rdv_t rdv, smx_action_t comm);
33 int SIMIX_rdv_comm_count_by_host(smx_rdv_t rdv, smx_host_t host);
34 smx_action_t SIMIX_rdv_get_head(smx_rdv_t rdv);
35 void SIMIX_rdv_set_receiver(smx_rdv_t rdv, smx_process_t proc);
36 smx_process_t SIMIX_rdv_get_receiver(smx_rdv_t rdv);
37 void SIMIX_comm_start(smx_action_t action);
38 void SIMIX_comm_send(smx_process_t src_proc, smx_rdv_t rdv,
39                      double task_size, double rate,
40                      void *src_buff, size_t src_buff_size,
41                      int (*match_fun)(void *, void *,smx_action_t), void *data,
42                      double timeout);
43 smx_action_t SIMIX_comm_isend(smx_process_t src_proc, smx_rdv_t rdv,
44                               double task_size, double rate,
45                               void *src_buff, size_t src_buff_size,
46                               int (*match_fun)(void *, void *, smx_action_t),
47                               void (*clean_fun)(void *), // used to free the action in case of problem after a detached send
48                               void *data,
49                               int detached);
50 void SIMIX_comm_recv(smx_process_t dst_proc, smx_rdv_t rdv,
51                      void *dst_buff, size_t *dst_buff_size,
52                      int (*)(void *, void *,smx_action_t), void *data,
53                      double timeout);
54 smx_action_t SIMIX_comm_irecv(smx_process_t dst_proc, smx_rdv_t rdv,
55                               void *dst_buff, size_t *dst_buff_size,
56                               int (*)(void *, void *, smx_action_t), void *data);
57 void SIMIX_comm_destroy(smx_action_t action);
58 void SIMIX_comm_destroy_internal_actions(smx_action_t action);
59 void SIMIX_pre_comm_wait(smx_simcall_t simcall, smx_action_t action, double timeout, int idx);
60 smx_action_t SIMIX_comm_iprobe(smx_process_t dst_proc, smx_rdv_t rdv, int src,
61                               int tag, int (*match_fun)(void *, void *, smx_action_t), void *data);
62 void SIMIX_pre_comm_waitany(smx_simcall_t simcall, int idx);
63 void SIMIX_post_comm(smx_action_t action);
64 void SIMIX_pre_comm_test(smx_simcall_t simcall);
65 void SIMIX_pre_comm_testany(smx_simcall_t simcall, int idx);
66 void SIMIX_comm_cancel(smx_action_t action);
67 double SIMIX_comm_get_remains(smx_action_t action);
68 e_smx_state_t SIMIX_comm_get_state(smx_action_t action);
69 void SIMIX_comm_suspend(smx_action_t action);
70 void SIMIX_comm_resume(smx_action_t action);
71 smx_process_t SIMIX_comm_get_src_proc(smx_action_t action);
72 smx_process_t SIMIX_comm_get_dst_proc(smx_action_t action);
73
74 #endif
75