Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : get hash of local and global variables which are not pointers
[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 smx_action_t SIMIX_comm_isend(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),
42                               void (*clean_fun)(void *), // used to free the action in case of problem after a detached send
43                               void *data,
44                               int detached);
45 smx_action_t SIMIX_comm_irecv(smx_process_t dst_proc, smx_rdv_t rdv,
46                               void *dst_buff, size_t *dst_buff_size,
47                               int (*)(void *, void *, smx_action_t), void *data);
48 smx_action_t SIMIX_comm_irecv_bounded(smx_process_t dst_proc, smx_rdv_t rdv,
49                               void *dst_buff, size_t *dst_buff_size,
50                               int (*)(void *, void *, smx_action_t), void *data, double rate);
51 void SIMIX_comm_destroy(smx_action_t action);
52 void SIMIX_comm_destroy_internal_actions(smx_action_t action);
53 smx_action_t SIMIX_comm_iprobe(smx_process_t dst_proc, smx_rdv_t rdv, int src,
54                               int tag, int (*match_fun)(void *, void *, smx_action_t), void *data);
55 void SIMIX_pre_comm_wait(smx_simcall_t simcall, smx_action_t action, double timeout);
56 void SIMIX_pre_comm_waitany(smx_simcall_t simcall, xbt_dynar_t actions);
57 void SIMIX_post_comm(smx_action_t action);
58 void SIMIX_pre_comm_test(smx_simcall_t simcall, smx_action_t action);
59 void SIMIX_pre_comm_testany(smx_simcall_t simcall, xbt_dynar_t actions);
60 void SIMIX_comm_cancel(smx_action_t action);
61 double SIMIX_comm_get_remains(smx_action_t action);
62 e_smx_state_t SIMIX_comm_get_state(smx_action_t action);
63 void SIMIX_comm_suspend(smx_action_t action);
64 void SIMIX_comm_resume(smx_action_t action);
65 smx_process_t SIMIX_comm_get_src_proc(smx_action_t action);
66 smx_process_t SIMIX_comm_get_dst_proc(smx_action_t action);
67
68 // pre prototypes
69 smx_action_t SIMIX_pre_comm_iprobe(smx_simcall_t simcall, smx_rdv_t rdv,
70                                    int src, int tag,
71                                    int (*match_fun)(void *, void *, smx_action_t),
72                                    void *data);
73 smx_rdv_t SIMIX_pre_rdv_create(smx_simcall_t simcall, const char *name);
74 void SIMIX_pre_rdv_destroy(smx_simcall_t simcall, smx_rdv_t rdv);
75 smx_rdv_t SIMIX_pre_rdv_get_by_name(smx_simcall_t simcall, const char *name);
76 int SIMIX_pre_rdv_comm_count_by_host(smx_simcall_t simcall, smx_rdv_t rdv, smx_host_t host);
77 smx_action_t SIMIX_pre_rdv_get_head(smx_simcall_t simcall, smx_rdv_t rdv);
78 smx_process_t SIMIX_pre_rdv_get_receiver(smx_simcall_t simcall, smx_rdv_t rdv);
79 void SIMIX_pre_rdv_set_receiver(smx_simcall_t simcall, smx_rdv_t rdv,
80                             smx_process_t process);
81 void SIMIX_pre_comm_send(smx_simcall_t simcall, smx_rdv_t rdv,
82                                   double task_size, double rate,
83                                   void *src_buff, size_t src_buff_size,
84                                   int (*match_fun)(void *, void *,smx_action_t),
85                                   void *data, double timeout);
86 smx_action_t SIMIX_pre_comm_isend(smx_simcall_t simcall, smx_rdv_t rdv,
87                                   double task_size, double rate,
88                                   void *src_buff, size_t src_buff_size,
89                                   int (*match_fun)(void *, void *,smx_action_t),
90                                   void (*clean_fun)(void *), 
91                                   void *data, int detached);
92 void SIMIX_pre_comm_recv(smx_simcall_t simcall, smx_rdv_t rdv,
93                                   void *dst_buff, size_t *dst_buff_size,
94                                   int (*match_fun)(void *, void *, smx_action_t),
95                                   void *data, double timeout);
96 void SIMIX_pre_comm_recv_bounded(smx_simcall_t simcall, smx_rdv_t rdv,
97                                   void *dst_buff, size_t *dst_buff_size,
98                                   int (*match_fun)(void *, void *, smx_action_t),
99                                   void *data, double timeout, double rate);
100 smx_action_t SIMIX_pre_comm_irecv(smx_simcall_t simcall, smx_rdv_t rdv,
101                                   void *dst_buff, size_t *dst_buff_size,
102                                   int (*match_fun)(void *, void *, smx_action_t),
103                                   void *data);
104 smx_action_t SIMIX_pre_comm_irecv_bounded(smx_simcall_t simcall, smx_rdv_t rdv,
105                                   void *dst_buff, size_t *dst_buff_size,
106                                   int (*match_fun)(void *, void *, smx_action_t),
107                                   void *data, double rate);
108 void SIMIX_pre_comm_destroy(smx_simcall_t simcall, smx_action_t action);
109 void SIMIX_pre_comm_cancel(smx_simcall_t simcall, smx_action_t action);
110 double SIMIX_pre_comm_get_remains(smx_simcall_t simcall, smx_action_t action);
111 e_smx_state_t SIMIX_pre_comm_get_state(smx_simcall_t simcall, smx_action_t action);
112 void* SIMIX_pre_comm_get_src_data(smx_simcall_t simcall, smx_action_t action);
113 void* SIMIX_pre_comm_get_dst_data(smx_simcall_t simcall, smx_action_t action);
114 smx_process_t SIMIX_pre_comm_get_src_proc(smx_simcall_t simcall, smx_action_t action);
115 smx_process_t SIMIX_pre_comm_get_dst_proc(smx_simcall_t simcall, smx_action_t action);
116 #ifdef HAVE_LATENCY_BOUND_TRACKING
117 int SIMIX_pre_comm_is_latency_bounded(smx_simcall_t simcall, smx_action_t action);
118 #endif
119 #endif
120