Logo AND Algorithmique Numérique Distribuée

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