1 /* Copyright (c) 2004-2021. The SimGrid Team. All rights reserved. */
3 /* This program is free software; you can redistribute it and/or modify it
4 * under the terms of the license (GNU LGPL) which comes with this package. */
9 #include <simgrid/actor.h>
10 #include <simgrid/barrier.h>
11 #include <simgrid/engine.h>
12 #include <simgrid/forward.h>
13 #include <simgrid/host.h>
14 #include <simgrid/instr.h>
15 #include <simgrid/mailbox.h>
16 #include <simgrid/mutex.h>
17 #include <simgrid/plugins/live_migration.h>
18 #include <simgrid/semaphore.h>
19 #include <simgrid/storage.h>
20 #include <simgrid/version.h>
21 #include <simgrid/vm.h>
22 #include <simgrid/zone.h>
26 #define MIN(a, b) ((a) < (b) ? (a) : (b))
29 #define MAX(a, b) ((a) > (b) ? (a) : (b))
34 #include <simgrid/simix.h>
41 using sg_msg_Comm = simgrid::msg::Comm;
42 using sg_msg_Task = simgrid::msg::Task;
44 typedef struct msg_Comm sg_msg_Comm;
45 typedef struct msg_Task sg_msg_Task;
52 /** @brief Return code of most MSG functions */
53 /* Keep these code as binary values: java bindings manipulate | of these values */
55 MSG_OK = 0, /**< @brief Everything is right. Keep on going this way ! */
56 MSG_TIMEOUT = 1, /**< @brief nothing good happened before the timer you provided elapsed */
57 MSG_TRANSFER_FAILURE = 2, /**< @brief There has been a problem during you task
58 transfer. Either the network is down or the remote host has been
60 MSG_HOST_FAILURE = 4, /**< @brief System shutdown. The host on which you are
61 running has just been rebooted. Free your datastructures and
63 MSG_TASK_CANCELED = 8 /**< @brief Canceled task. This task has been canceled by somebody!*/
66 /* *************************** Network Zones ******************************** */
67 typedef sg_netzone_t msg_netzone_t;
69 XBT_PUBLIC msg_netzone_t MSG_zone_get_root();
70 XBT_PUBLIC const char* MSG_zone_get_name(const_sg_netzone_t zone);
71 XBT_PUBLIC msg_netzone_t MSG_zone_get_by_name(const char* name);
72 XBT_PUBLIC void MSG_zone_get_sons(const_sg_netzone_t zone, xbt_dict_t whereto);
73 XBT_PUBLIC const char* MSG_zone_get_property_value(const_sg_netzone_t zone, const char* name);
74 XBT_PUBLIC void MSG_zone_set_property_value(msg_netzone_t zone, const char* name, const char* value);
75 XBT_PUBLIC void MSG_zone_get_hosts(const_sg_netzone_t zone, xbt_dynar_t whereto);
77 /* ******************************** Hosts ************************************ */
78 /** @brief Host datatype.
80 * A <em>location</em> (or <em>host</em>) is any possible place where a process may run. Thus it is represented as a
81 * <em>physical resource with computing capabilities</em>, some <em>mailboxes</em> to enable running process to
82 * communicate with remote ones, and some <em>private data</em> that can be only accessed by local process.
84 typedef sg_host_t msg_host_t;
86 /** @brief Finds a msg_host_t using its name. */
87 XBT_PUBLIC sg_host_t MSG_get_host_by_name(const char* name);
88 /** @brief Finds a msg_host_t using its name. */
89 XBT_PUBLIC sg_host_t MSG_host_by_name(const char* name);
91 /** @brief Returns the amount of host found in the platform */
92 XBT_PUBLIC size_t MSG_get_host_number();
93 /** @brief Returns a dynar with all existing hosts
95 * The host order in the returned array is generally different from the host creation/declaration order in the XML
96 * platform (we use a hash table internally).
98 XBT_ATTRIB_DEPRECATED_v330("Please use sg_host_list()") XBT_PUBLIC xbt_dynar_t MSG_hosts_as_dynar();
100 /** @brief Returns the name of this host */
101 XBT_PUBLIC const char* MSG_host_get_name(const_sg_host_t host);
102 /** @brief Returns the user data of this host */
103 XBT_PUBLIC void* MSG_host_get_data(const_sg_host_t host);
104 /** @brief Sets the user data of this host */
105 XBT_PUBLIC void MSG_host_set_data(sg_host_t host, void* data);
107 XBT_ATTRIB_DEPRECATED_v330("This function will be removed. Speak up if you need it.") XBT_PUBLIC xbt_dict_t
108 MSG_host_get_mounted_storage_list(sg_host_t host);
110 XBT_PUBLIC xbt_dynar_t MSG_host_get_attached_storage_lists(const_sg_host_t host);
111 XBT_PUBLIC double MSG_host_get_speed(const_sg_host_t host);
112 XBT_PUBLIC double MSG_host_get_power_peak_at(const_sg_host_t host, int pstate_index);
113 XBT_PUBLIC int MSG_host_get_core_number(const_sg_host_t host);
114 XBT_PUBLIC int MSG_host_get_nb_pstates(const_sg_host_t host);
115 XBT_PUBLIC int MSG_host_get_pstate(const_sg_host_t host);
116 XBT_PUBLIC void MSG_host_set_pstate(sg_host_t host, int pstate);
117 /** @brief Start the host if it is off
120 * See also :cpp:func:`MSG_host_is_on()` to test the current state of the host, and :ref:`plugin_host_energy`
121 * for more info on DVFS.
124 XBT_PUBLIC void MSG_host_on(sg_host_t h);
125 /** @brief Stop the host if it is on
128 * See also :cpp:func:`MSG_host_is_on()` to test the current state of the host, and :ref:`plugin_host_energy`
129 * for more info on DVFS.
132 XBT_PUBLIC void MSG_host_off(sg_host_t h);
133 XBT_PUBLIC int MSG_host_is_on(const_sg_host_t h);
134 XBT_PUBLIC xbt_dict_t MSG_host_get_properties(const_sg_host_t host);
135 XBT_PUBLIC const char* MSG_host_get_property_value(const_sg_host_t host, const char* name);
136 XBT_PUBLIC void MSG_host_set_property_value(sg_host_t host, const char* name, const char* value);
137 XBT_PUBLIC void MSG_host_get_process_list(const_sg_host_t host, xbt_dynar_t whereto);
139 /** @brief Return the location on which the current process is executed */
140 XBT_PUBLIC sg_host_t MSG_host_self();
141 XBT_PUBLIC double MSG_host_get_load(const_sg_host_t host);
143 /* ******************************** VMs ************************************* */
144 typedef sg_vm_t msg_vm_t;
146 XBT_PUBLIC msg_vm_t MSG_vm_create_core(msg_host_t pm, const char* name);
147 XBT_PUBLIC msg_vm_t MSG_vm_create_multicore(msg_host_t pm, const char* name, int coreAmount);
149 XBT_PUBLIC int MSG_vm_is_created(const_sg_vm_t vm);
150 XBT_PUBLIC int MSG_vm_is_running(const_sg_vm_t vm);
151 XBT_PUBLIC int MSG_vm_is_suspended(const_sg_vm_t vm);
153 XBT_PUBLIC const char* MSG_vm_get_name(const_sg_vm_t vm);
154 XBT_PUBLIC void MSG_vm_set_ramsize(msg_vm_t vm, size_t size);
155 XBT_PUBLIC size_t MSG_vm_get_ramsize(const_sg_vm_t vm);
156 XBT_PUBLIC msg_host_t MSG_vm_get_pm(const_sg_vm_t vm);
157 XBT_PUBLIC void MSG_vm_set_bound(msg_vm_t vm, double bound);
159 XBT_PUBLIC void MSG_vm_start(msg_vm_t vm);
160 XBT_PUBLIC void MSG_vm_suspend(msg_vm_t vm);
161 XBT_PUBLIC void MSG_vm_resume(msg_vm_t vm);
162 XBT_PUBLIC void MSG_vm_shutdown(msg_vm_t vm);
163 XBT_PUBLIC void MSG_vm_destroy(msg_vm_t vm);
165 /* ******************************** Actor/process *************************** */
166 /** Processes are independent agents that can do stuff on their own.
167 * They are in charge of executing your code interacting with the simulated world.
168 * A process may be defined as a <em>code</em> with some <em>private data</em>.
169 * Processes must be located on <em>hosts</em> (#msg_host_t), and they exchange data by sending tasks (#msg_task_t)
170 * that are similar to envelops containing data.
174 typedef sg_actor_t msg_process_t;
176 XBT_PUBLIC int MSG_process_get_PID(const_sg_actor_t process);
177 XBT_PUBLIC int MSG_process_get_PPID(const_sg_actor_t process);
178 /** @brief Return a process from its PID (or NULL if not found).
180 * Note that the PID are unique in the whole simulation, not only on a given host.
182 XBT_PUBLIC sg_actor_t MSG_process_from_PID(int pid);
183 XBT_PUBLIC const char* MSG_process_get_name(const_sg_actor_t process);
184 XBT_PUBLIC sg_host_t MSG_process_get_host(const_sg_actor_t process);
186 /*property handlers*/
187 XBT_PUBLIC xbt_dict_t MSG_process_get_properties(const_sg_actor_t process);
188 XBT_PUBLIC const char* MSG_process_get_property_value(const_sg_actor_t process, const char* name);
190 XBT_PUBLIC void MSG_process_suspend(msg_process_t process);
191 XBT_PUBLIC void MSG_process_resume(msg_process_t process);
192 XBT_PUBLIC int MSG_process_is_suspended(const_sg_actor_t process);
193 XBT_PUBLIC void MSG_process_restart(msg_process_t process);
194 /** @brief Sets the "auto-restart" flag of the process.
196 * If the flag is set, the process will be automatically restarted when its host comes back up.
198 XBT_PUBLIC void MSG_process_auto_restart_set(msg_process_t process, int auto_restart);
199 /** @brief Indicates that this process should not prevent the simulation from ending
201 * SimGrid simulations run until all non-daemon processes are stopped.
203 XBT_PUBLIC void MSG_process_daemonize(msg_process_t process);
204 /** @brief Immediately changes the host on which this process runs */
205 XBT_PUBLIC void MSG_process_migrate(msg_process_t process, msg_host_t host);
206 /** @brief Wait for the completion of a process.
208 * @param process the process to wait for
209 * @param timeout wait until the process is over, or the timeout occurs
211 XBT_PUBLIC void MSG_process_join(const_sg_actor_t process, double timeout);
212 /** @brief Kills a process */
213 XBT_PUBLIC void MSG_process_kill(msg_process_t process);
214 /** @brief Kill all running process */
215 XBT_PUBLIC void MSG_process_killall();
216 /** @brief Specifies the time at which the process should be automatically killed */
217 XBT_PUBLIC void MSG_process_set_kill_time(msg_process_t process, double kill_time);
218 /** @brief Yield the current actor; let the other actors execute first */
219 XBT_PUBLIC void MSG_process_yield();
220 /*** @brief Sleep for the specified number of seconds */
221 XBT_PUBLIC msg_error_t MSG_process_sleep(double nb_sec);
222 XBT_PUBLIC msg_process_t MSG_process_self();
223 XBT_PUBLIC aid_t MSG_process_self_PID();
224 XBT_PUBLIC aid_t MSG_process_self_PPID();
225 XBT_PUBLIC const char* MSG_process_self_name();
226 XBT_PUBLIC void MSG_process_ref(const_sg_actor_t process);
227 XBT_PUBLIC void MSG_process_unref(const_sg_actor_t process);
229 /** @brief Object representing an ongoing communication between processes.
232 * Such beast is usually obtained by using :cpp:func:`MSG_task_isend`, :cpp:func:`MSG_task_irecv` or friends.
235 typedef sg_msg_Comm* msg_comm_t;
236 typedef const sg_msg_Comm* const_msg_comm_t;
238 /** @brief Task datatype.
240 * Since most scheduling algorithms rely on a concept of task that can be either <em>computed</em> locally or
241 * <em>transferred</em> on another processor, it seems to be the right level of abstraction for our purposes.
242 * A <em>task</em> may then be defined by a <em>computing amount</em>, a <em>message size</em> and
243 * some <em>private data</em>.
245 typedef sg_msg_Task* msg_task_t;
246 typedef const sg_msg_Task* const_msg_task_t;
248 /* ******************************** Task ************************************ */
251 /** @brief Default value for an uninitialized #msg_task_t. */
252 #define MSG_TASK_UNINITIALIZED NULL
254 /************************** Global ******************************************/
255 /** @brief set a configuration variable
258 * Do --help on any simgrid binary to see the list of currently existing configuration variables, and see Section
263 * MSG_config("host/model","ptask_L07");
265 XBT_PUBLIC void MSG_config(const char* key, const char* value);
266 /** @brief Initialize the MSG internal data.
269 * It also checks that the link-time and compile-time versions of SimGrid do
270 * match, so you should use this version instead of the #MSG_init_nocheck
271 * function that does the same initializations, but without this check.
273 * We allow linking against compiled versions that differ in the patch level.
275 #define MSG_init(argc, argv) \
277 sg_version_check(SIMGRID_VERSION_MAJOR, SIMGRID_VERSION_MINOR, SIMGRID_VERSION_PATCH); \
278 MSG_init_nocheck((argc), (argv)); \
281 XBT_PUBLIC void MSG_init_nocheck(int* argc, char** argv);
282 /** @brief Launch the MSG simulation */
283 XBT_PUBLIC msg_error_t MSG_main();
284 /** @brief Registers the main function of a process in a global table.
286 * This table is then used by #MSG_launch_application.
287 * @param name the reference name of the function.
288 * @param code the function (must have the same prototype than the main function of any C program: int ..(int argc, char
291 XBT_PUBLIC void MSG_function_register(const char* name, int (*code)(int, char**));
292 /** @brief Registers a code function as being the default value.
294 * This function will get used by MSG_launch_application() when there is no registered function of the requested name
297 * @param code the function (must have the same prototype than the main function of any C program: int ..(int argc, char
300 XBT_PUBLIC void MSG_function_register_default(int (*code)(int, char**));
301 /** @brief Creates a new platform, including hosts, links and the routing_table */
302 XBT_PUBLIC void MSG_create_environment(const char* file);
303 /** @brief Creates the application described in the provided file */
304 XBT_PUBLIC void MSG_launch_application(const char* file);
307 /** @brief register functions bypassing the parser */
308 XBT_ATTRIB_DEPRECATED_v329("This function will be removed. Speak up if you need it.") XBT_PUBLIC
309 void MSG_set_function(const char* host_id, const char* function_name, xbt_dynar_t arguments);
312 /** @brief A clock (in second). */
313 XBT_PUBLIC double MSG_get_clock();
314 /** @brief Returns the amount of messages sent since the simulation start */
315 XBT_PUBLIC unsigned long int MSG_get_sent_msg();
317 /************************** Process handling *********************************/
318 XBT_PUBLIC msg_process_t MSG_process_create(const char* name, int (*code)(int, char**), void* data, msg_host_t host);
319 XBT_PUBLIC msg_process_t MSG_process_create_with_arguments(const char* name, int (*code)(int, char**), void* data,
320 msg_host_t host, int argc, char** argv);
321 XBT_PUBLIC msg_process_t MSG_process_create_with_environment(const char* name, int (*code)(int, char**), void* data,
322 msg_host_t host, int argc, char** argv,
323 xbt_dict_t properties);
325 XBT_PUBLIC msg_process_t MSG_process_attach(const char* name, void* data, msg_host_t host, xbt_dict_t properties);
326 XBT_PUBLIC void MSG_process_detach();
328 XBT_PUBLIC void MSG_process_set_data_cleanup(void_f_pvoid_t data_cleanup);
329 XBT_ATTRIB_DEPRECATED_v330("Please use sg_actor_list()") XBT_PUBLIC xbt_dynar_t MSG_processes_as_dynar();
330 XBT_ATTRIB_DEPRECATED_v330("Please use sg_actor_count()") XBT_PUBLIC int MSG_process_get_number();
332 XBT_PUBLIC void* MSG_process_get_data(const_sg_actor_t process);
333 XBT_PUBLIC msg_error_t MSG_process_set_data(msg_process_t process, void* data);
335 XBT_PUBLIC void MSG_process_on_exit(int_f_int_pvoid_t fun, void* data);
337 /************************** Task handling ************************************/
338 XBT_PUBLIC msg_task_t MSG_task_create(const char* name, double flops_amount, double bytes_amount, void* data);
339 XBT_PUBLIC msg_task_t MSG_parallel_task_create(const char* name, int host_nb, const msg_host_t* host_list,
340 double* flops_amount, double* bytes_amount, void* data);
341 XBT_PUBLIC void* MSG_task_get_data(const_msg_task_t task);
342 XBT_PUBLIC void MSG_task_set_data(msg_task_t task, void* data);
343 XBT_PUBLIC msg_process_t MSG_task_get_sender(const_msg_task_t task);
344 XBT_PUBLIC msg_host_t MSG_task_get_source(const_msg_task_t task);
345 XBT_PUBLIC const char* MSG_task_get_name(const_msg_task_t task);
346 XBT_PUBLIC void MSG_task_set_name(msg_task_t task, const char* name);
347 XBT_PUBLIC msg_error_t MSG_task_cancel(msg_task_t task);
348 XBT_PUBLIC msg_error_t MSG_task_destroy(msg_task_t task);
350 XBT_PUBLIC msg_error_t MSG_task_execute(msg_task_t task);
351 XBT_PUBLIC msg_error_t MSG_parallel_task_execute(msg_task_t task);
352 XBT_PUBLIC msg_error_t MSG_parallel_task_execute_with_timeout(msg_task_t task, double timeout);
353 XBT_PUBLIC void MSG_task_set_priority(msg_task_t task, double priority);
354 XBT_PUBLIC void MSG_task_set_bound(msg_task_t task, double bound);
356 XBT_PUBLIC void MSG_task_set_flops_amount(msg_task_t task, double flops_amount);
357 XBT_PUBLIC double MSG_task_get_flops_amount(const_msg_task_t task);
358 XBT_PUBLIC double MSG_task_get_remaining_work_ratio(const_msg_task_t task);
359 XBT_PUBLIC void MSG_task_set_bytes_amount(msg_task_t task, double bytes_amount);
361 XBT_PUBLIC double MSG_task_get_remaining_communication(const_msg_task_t task);
362 XBT_PUBLIC double MSG_task_get_bytes_amount(const_msg_task_t task);
364 XBT_PUBLIC msg_error_t MSG_task_receive_with_timeout(msg_task_t* task, const char* alias, double timeout);
366 XBT_PUBLIC msg_error_t MSG_task_receive(msg_task_t* task, const char* alias);
367 #define MSG_task_recv(t, a) MSG_task_receive((t), (a))
369 XBT_PUBLIC msg_error_t MSG_task_receive_with_timeout_bounded(msg_task_t* task, const char* alias, double timeout,
371 XBT_PUBLIC msg_error_t MSG_task_receive_bounded(msg_task_t* task, const char* alias, double rate);
372 #define MSG_task_recv_bounded(t, a, r) MSG_task_receive_bounded((t), (a), (r))
374 XBT_PUBLIC msg_comm_t MSG_task_isend(msg_task_t task, const char* alias);
375 XBT_PUBLIC msg_comm_t MSG_task_isend_bounded(msg_task_t task, const char* alias, double maxrate);
377 XBT_PUBLIC void MSG_task_dsend(msg_task_t task, const char* alias, void_f_pvoid_t cleanup);
378 XBT_PUBLIC void MSG_task_dsend_bounded(msg_task_t task, const char* alias, void_f_pvoid_t cleanup, double maxrate);
379 XBT_PUBLIC msg_comm_t MSG_task_irecv(msg_task_t* task, const char* alias);
380 XBT_PUBLIC msg_comm_t MSG_task_irecv_bounded(msg_task_t* task, const char* alias, double rate);
381 XBT_PUBLIC int MSG_comm_test(msg_comm_t comm);
382 XBT_PUBLIC int MSG_comm_testany(const_xbt_dynar_t comms);
383 XBT_PUBLIC void MSG_comm_destroy(const_msg_comm_t comm);
384 XBT_PUBLIC msg_error_t MSG_comm_wait(msg_comm_t comm, double timeout);
385 XBT_PUBLIC void MSG_comm_waitall(msg_comm_t* comm, int nb_elem, double timeout);
386 XBT_PUBLIC int MSG_comm_waitany(const_xbt_dynar_t comms);
387 XBT_PUBLIC msg_task_t MSG_comm_get_task(const_msg_comm_t comm);
388 XBT_PUBLIC msg_error_t MSG_comm_get_status(const_msg_comm_t comm);
390 /** @brief Check if there is a communication going on in a mailbox.
392 * @param alias the name of the mailbox to be considered
394 * @return Returns 1 if there is a communication, 0 otherwise
396 XBT_PUBLIC int MSG_task_listen(const char* alias);
397 XBT_PUBLIC msg_error_t MSG_task_send_with_timeout(msg_task_t task, const char* alias, double timeout);
398 XBT_PUBLIC msg_error_t MSG_task_send_with_timeout_bounded(msg_task_t task, const char* alias, double timeout,
400 XBT_PUBLIC msg_error_t MSG_task_send(msg_task_t task, const char* alias);
401 XBT_PUBLIC msg_error_t MSG_task_send_bounded(msg_task_t task, const char* alias, double rate);
402 XBT_PUBLIC int MSG_task_listen_from(const char* alias);
403 XBT_PUBLIC void MSG_task_set_category(msg_task_t task, const char* category);
404 XBT_PUBLIC const char* MSG_task_get_category(const_msg_task_t task);
406 /************************** Mailbox handling ************************************/
408 /* @brief set a mailbox in eager mode.
409 * All messages sent to this mailbox will be transferred to the receiver without waiting for the receive call.
410 * The receive call will still be necessary to use the received data.
411 * If there is a need to receive some messages asynchronously, and some not, two different mailboxes should be used.
413 * This call should be done before issuing any receive, and on the receiver's side only
415 XBT_PUBLIC void MSG_mailbox_set_async(const char* alias);
417 /** @brief Opaque type representing a semaphore */
418 typedef sg_sem_t msg_sem_t;
419 XBT_PUBLIC msg_sem_t MSG_sem_init(int initial_value);
420 XBT_PUBLIC void MSG_sem_acquire(msg_sem_t sem);
421 XBT_PUBLIC int MSG_sem_acquire_timeout(msg_sem_t sem, double timeout);
422 XBT_PUBLIC void MSG_sem_release(msg_sem_t sem);
423 XBT_PUBLIC int MSG_sem_get_capacity(const_sg_sem_t sem);
424 XBT_PUBLIC void MSG_sem_destroy(const_sg_sem_t sem);
425 XBT_PUBLIC int MSG_sem_would_block(const_sg_sem_t sem);
427 /** @brief Opaque type representing a barrier identifier */
428 typedef sg_bar_t msg_bar_t;
429 /** @brief Initializes a barrier, with count elements */
430 XBT_PUBLIC msg_bar_t MSG_barrier_init(unsigned int count);
431 /** @brief Destroys barrier */
432 XBT_PUBLIC void MSG_barrier_destroy(const_sg_bar_t bar);
433 /** @brief Performs a barrier already initialized */
434 XBT_PUBLIC int MSG_barrier_wait(msg_bar_t bar);
436 /* ****************************************************************************************** */