Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new example bugged1 for stateful dpor
[simgrid.git] / include / msg / msg.h
1 /* Copyright (c) 2004, 2005, 2006, 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 MSG_H
8 #define MSG_H
9
10 #include "xbt.h"
11
12 #include "msg/datatypes.h"
13 #include "xbt/automaton.h"
14
15 SG_BEGIN_DECL()
16
17
18 /************************** Global ******************************************/
19 XBT_PUBLIC(void) MSG_config(const char *name, ...);
20 XBT_PUBLIC(void) MSG_global_init(int *argc, char **argv);
21 XBT_PUBLIC(void) MSG_global_init_args(int *argc, char **argv);
22 XBT_PUBLIC(MSG_error_t) MSG_set_channel_number(int number);
23 XBT_PUBLIC(int) MSG_get_channel_number(void);
24 XBT_PUBLIC(MSG_error_t) MSG_main(void);
25 XBT_PUBLIC(MSG_error_t) MSG_main_stateful(void);
26 XBT_PUBLIC(MSG_error_t) MSG_main_with_automaton(xbt_automaton_t a);
27 XBT_PUBLIC(MSG_error_t) MSG_clean(void);
28 XBT_PUBLIC(void) MSG_function_register(const char *name,
29                                        xbt_main_func_t code);
30 XBT_PUBLIC(void) MSG_function_register_default(xbt_main_func_t code);
31 XBT_PUBLIC(xbt_main_func_t) MSG_get_registered_function(const char *name);
32 XBT_PUBLIC(void) MSG_launch_application(const char *file);
33 /*Bypass the parser */
34 XBT_PUBLIC(void) MSG_set_function(const char *host_id,
35                                   const char *function_name,
36                                   xbt_dynar_t arguments);
37
38 XBT_PUBLIC(double) MSG_get_clock(void);
39 XBT_PUBLIC(unsigned long int) MSG_get_sent_msg(void);
40
41
42 /************************** Host handling ***********************************/
43 XBT_PUBLIC(MSG_error_t) MSG_host_set_data(m_host_t host, void *data);
44 XBT_PUBLIC(void *) MSG_host_get_data(m_host_t host);
45 XBT_PUBLIC(const char *) MSG_host_get_name(m_host_t host);
46 XBT_PUBLIC(m_host_t) MSG_host_self(void);
47 XBT_PUBLIC(int) MSG_get_host_msgload(m_host_t host);
48 /* int MSG_get_msgload(void); This function lacks specification; discard it */
49 XBT_PUBLIC(double) MSG_get_host_speed(m_host_t h);
50 XBT_PUBLIC(int) MSG_host_is_avail(m_host_t h);
51 XBT_PUBLIC(void) __MSG_host_destroy(m_host_t host);
52
53 /*property handlers*/
54 XBT_PUBLIC(xbt_dict_t) MSG_host_get_properties(m_host_t host);
55 XBT_PUBLIC(const char *) MSG_host_get_property_value(m_host_t host,
56                                                      const char *name);
57
58 XBT_PUBLIC(void) MSG_create_environment(const char *file);
59 XBT_PUBLIC(void) MSG_load_platform_script(const char *script_file);
60
61 XBT_PUBLIC(m_host_t) MSG_get_host_by_name(const char *name);
62 XBT_PUBLIC(int) MSG_get_host_number(void);
63 XBT_PUBLIC(m_host_t *) MSG_get_host_table(void);
64
65 /************************** Process handling *********************************/
66 XBT_PUBLIC(m_process_t) MSG_process_create(const char *name,
67                                            xbt_main_func_t code,
68                                            void *data, m_host_t host);
69 XBT_PUBLIC(m_process_t) MSG_process_create_with_arguments(const char *name,
70                                                           xbt_main_func_t
71                                                           code, void *data,
72                                                           m_host_t host,
73                                                           int argc,
74                                                           char **argv);
75 XBT_PUBLIC(m_process_t) MSG_process_create_with_environment(const char
76                                                             *name,
77                                                             xbt_main_func_t
78                                                             code,
79                                                             void *data,
80                                                             m_host_t host,
81                                                             int argc,
82                                                             char **argv,
83                                                             xbt_dict_t
84                                                             properties);
85 XBT_PUBLIC(void) MSG_process_kill(m_process_t process);
86 XBT_PUBLIC(int) MSG_process_killall(int reset_PIDs);
87
88 XBT_PUBLIC(MSG_error_t) MSG_process_migrate(m_process_t process, m_host_t host);
89
90 XBT_PUBLIC(void *) MSG_process_get_data(m_process_t process);
91 XBT_PUBLIC(MSG_error_t) MSG_process_set_data(m_process_t process,
92                                              void *data);
93 XBT_PUBLIC(m_host_t) MSG_process_get_host(m_process_t process);
94 XBT_PUBLIC(m_process_t) MSG_process_from_PID(int PID);
95 XBT_PUBLIC(int) MSG_process_get_PID(m_process_t process);
96 XBT_PUBLIC(int) MSG_process_get_PPID(m_process_t process);
97 XBT_PUBLIC(const char *) MSG_process_get_name(m_process_t process);
98 XBT_PUBLIC(int) MSG_process_self_PID(void);
99 XBT_PUBLIC(int) MSG_process_self_PPID(void);
100 XBT_PUBLIC(m_process_t) MSG_process_self(void);
101
102 /*property handlers*/
103 XBT_PUBLIC(xbt_dict_t) MSG_process_get_properties(m_process_t process);
104 XBT_PUBLIC(const char *) MSG_process_get_property_value(m_process_t
105                                                         process,
106                                                         const char *name);
107
108 XBT_PUBLIC(MSG_error_t) MSG_process_suspend(m_process_t process);
109 XBT_PUBLIC(MSG_error_t) MSG_process_resume(m_process_t process);
110 XBT_PUBLIC(int) MSG_process_is_suspended(m_process_t process);
111
112 /************************** Task handling ************************************/
113
114 XBT_PUBLIC(m_task_t) MSG_task_create(const char *name,
115                                      double compute_duration,
116                                      double message_size, void *data);
117 XBT_PUBLIC(m_task_t) MSG_parallel_task_create(const char *name,
118                                               int host_nb,
119                                               const m_host_t * host_list,
120                                               double *computation_amount,
121                                               double *communication_amount,
122                                               void *data);
123 XBT_PUBLIC(void *) MSG_task_get_data(m_task_t task);
124 XBT_PUBLIC(void) MSG_task_set_data(m_task_t task, void *data);
125 XBT_PUBLIC(m_process_t) MSG_task_get_sender(m_task_t task);
126 XBT_PUBLIC(m_host_t) MSG_task_get_source(m_task_t task);
127 XBT_PUBLIC(const char *) MSG_task_get_name(m_task_t task);
128 XBT_PUBLIC(void) MSG_task_set_name(m_task_t task, const char *name);
129 XBT_PUBLIC(MSG_error_t) MSG_task_cancel(m_task_t task);
130 XBT_PUBLIC(MSG_error_t) MSG_task_destroy(m_task_t task);
131
132 XBT_PUBLIC(MSG_error_t) MSG_task_get(m_task_t * task, m_channel_t channel);
133 XBT_PUBLIC(MSG_error_t) MSG_task_get_with_timeout(m_task_t * task,
134                                                   m_channel_t channel,
135                                                   double max_duration);
136 XBT_PUBLIC(MSG_error_t) MSG_task_get_from_host(m_task_t * task,
137                                                int channel, m_host_t host);
138 MSG_error_t MSG_task_receive_from_host(m_task_t * task, const char *alias,
139                                        m_host_t host);
140 XBT_PUBLIC(MSG_error_t) MSG_task_get_ext(m_task_t * task, int channel,
141                                          double max_duration,
142                                          m_host_t host);
143
144
145 XBT_PUBLIC(MSG_error_t) MSG_task_put(m_task_t task, m_host_t dest,
146                                      m_channel_t channel);
147 XBT_PUBLIC(MSG_error_t) MSG_task_put_bounded(m_task_t task,
148                                              m_host_t dest,
149                                              m_channel_t channel,
150                                              double max_rate);
151 XBT_PUBLIC(MSG_error_t) MSG_task_put_with_timeout(m_task_t task,
152                                                   m_host_t dest,
153                                                   m_channel_t channel,
154                                                   double max_duration);
155 XBT_PUBLIC(MSG_error_t) MSG_task_execute(m_task_t task);
156 XBT_PUBLIC(MSG_error_t) MSG_parallel_task_execute(m_task_t task);
157 XBT_PUBLIC(void) MSG_task_set_priority(m_task_t task, double priority);
158
159 XBT_PUBLIC(int) MSG_task_Iprobe(m_channel_t channel);
160 XBT_PUBLIC(int) MSG_task_probe_from(m_channel_t channel);
161 XBT_PUBLIC(int) MSG_task_probe_from_host(int channel, m_host_t host);
162 XBT_PUBLIC(MSG_error_t) MSG_process_sleep(double nb_sec);
163 XBT_PUBLIC(MSG_error_t) MSG_get_errno(void);
164
165 XBT_PUBLIC(double) MSG_task_get_compute_duration(m_task_t task);
166 XBT_PUBLIC(void) MSG_task_set_compute_duration(m_task_t task,
167                                                double compute_duration);
168 XBT_PUBLIC(double) MSG_task_get_remaining_computation(m_task_t task);
169 XBT_PUBLIC(double) MSG_task_get_remaining_communication(m_task_t task);
170 XBT_PUBLIC(int) MSG_task_is_latency_bounded(m_task_t task);
171 XBT_PUBLIC(double) MSG_task_get_data_size(m_task_t task);
172
173
174 XBT_PUBLIC(MSG_error_t)
175     MSG_task_receive_ext(m_task_t * task, const char *alias, double timeout,
176                      m_host_t host);
177
178 XBT_PUBLIC(MSG_error_t)
179     MSG_task_receive_with_timeout(m_task_t * task, const char *alias,
180                               double timeout);
181
182 XBT_PUBLIC(MSG_error_t)
183     MSG_task_receive(m_task_t * task, const char *alias);
184
185 XBT_PUBLIC(msg_comm_t) MSG_task_isend(m_task_t task, const char *alias);
186 XBT_INLINE XBT_PUBLIC(msg_comm_t) MSG_task_isend_with_matching(m_task_t task, const char *alias,
187                                                                int (*match_fun)(void*,void*),
188                                                                void *match_data);
189
190 XBT_PUBLIC(void) MSG_task_dsend(m_task_t task, const char *alias, void_f_pvoid_t cleanup);
191 XBT_PUBLIC(msg_comm_t) MSG_task_irecv(m_task_t * task, const char *alias);
192 XBT_PUBLIC(int) MSG_comm_test(msg_comm_t comm);
193 XBT_PUBLIC(int) MSG_comm_testany(xbt_dynar_t comms);
194 XBT_PUBLIC(void) MSG_comm_destroy(msg_comm_t comm);
195 XBT_PUBLIC(MSG_error_t) MSG_comm_wait(msg_comm_t comm, double timeout);
196 XBT_PUBLIC(void) MSG_comm_waitall(msg_comm_t * comm, int nb_elem,
197                                   double timeout);
198 XBT_PUBLIC(int) MSG_comm_waitany(xbt_dynar_t comms);
199 XBT_PUBLIC(m_task_t) MSG_comm_get_task(msg_comm_t comm);
200 XBT_PUBLIC(MSG_error_t) MSG_comm_get_status(msg_comm_t comm);
201
202 XBT_PUBLIC(int) MSG_task_listen(const char *alias);
203
204 XBT_PUBLIC(int) MSG_task_listen_from_host(const char *alias,
205                                           m_host_t host);
206
207 XBT_PUBLIC(MSG_error_t)
208     MSG_task_send_with_timeout(m_task_t task, const char *alias,
209                            double timeout);
210
211 XBT_PUBLIC(MSG_error_t)
212     MSG_task_send(m_task_t task, const char *alias);
213
214 XBT_PUBLIC(MSG_error_t)
215     MSG_task_send_bounded(m_task_t task, const char *alias, double rate);
216
217 XBT_PUBLIC(int) MSG_task_listen_from(const char *alias);
218
219 /************************** Task handling ************************************/
220 XBT_PUBLIC(MSG_error_t)
221     MSG_mailbox_get_task_ext(msg_mailbox_t mailbox, m_task_t * task,
222                          m_host_t host, double timeout);
223
224 XBT_PUBLIC(MSG_error_t)
225     MSG_mailbox_put_with_timeout(msg_mailbox_t mailbox, m_task_t task,
226                              double timeout);
227
228 /************************** Action handling **********************************/
229 typedef void (*msg_action_fun) (const char *const *args);
230 XBT_PUBLIC(void) MSG_action_register(const char *action_name,
231                                      msg_action_fun function);
232 XBT_PUBLIC(void) MSG_action_unregister(const char *action_name);
233 MSG_error_t MSG_action_trace_run(char *path);
234
235 #ifdef MSG_USE_DEPRECATED
236 /* these are the functions which are deprecated. Do not use them, they may get removed in future releases */
237 #define MSG_TIMEOUT_FAILURE MSG_TIMEOUT
238 #define MSG_mailbox_put_with_time_out(mailbox, task, timeout) \
239         MSG_mailbox_put_with_timeout(mailbox, task, timeout)
240
241 #define MSG_process_change_host(h) MSG_process_migrate(MSG_process_self(),h);
242 #endif
243
244 #include "instr/instr.h"
245
246 /* Used only by the bindings */
247 #include "simix/simix.h"
248 XBT_PUBLIC(smx_context_t) MSG_process_get_smx_ctx(m_process_t process);
249
250 SG_END_DECL()
251 #endif