include/simgrid/msg.h

   1 /* Copyright (c) 2004-2021. The SimGrid Team. All rights reserved.          */
   2
   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. */
   5
   6 #ifndef SIMGRID_MSG_H
   7 #define SIMGRID_MSG_H
   8
   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>
  23 #include <xbt.h>
  24
  25 #ifndef MIN
  26 #define MIN(a, b) ((a) < (b) ? (a) : (b))
  27 #endif
  28 #ifndef MAX
  29 #define MAX(a, b) ((a) > (b) ? (a) : (b))
  30 #endif
  31
  32 #ifdef __cplusplus
  33 #include <map>
  34 #include <simgrid/simix.h>
  35 namespace simgrid {
  36 namespace msg {
  37 class Comm;
  38 class Task;
  39 }
  40 }
  41 using sg_msg_Comm = simgrid::msg::Comm;
  42 using sg_msg_Task = simgrid::msg::Task;
  43 #else
  44 typedef struct msg_Comm sg_msg_Comm;
  45 typedef struct msg_Task sg_msg_Task;
  46 #endif
  47
  48 #ifdef __cplusplus
  49 extern "C" {
  50 #endif
  51
  52 /** @brief Return code of most MSG functions */
  53 /* Keep these code as binary values: java bindings manipulate | of these values */
  54 typedef enum {
  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
  59     shutdown. */
  60   MSG_HOST_FAILURE = 4,     /**< @brief System shutdown. The host on which you are
  61     running has just been rebooted. Free your datastructures and
  62     return now !*/
  63   MSG_TASK_CANCELED = 8     /**< @brief Canceled task. This task has been canceled by somebody!*/
  64 } msg_error_t;
  65
  66 /* *************************** Network Zones ******************************** */
  67 typedef sg_netzone_t msg_netzone_t;
  68
  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);
  76
  77 /* ******************************** Hosts ************************************ */
  78 /** @brief Host datatype.
  79  *
  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.
  83  */
  84 typedef sg_host_t msg_host_t;
  85
  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);
  90
  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
  94  *
  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).
  97  */
  98 XBT_ATTRIB_DEPRECATED_v330("Please use sg_host_list()") XBT_PUBLIC xbt_dynar_t MSG_hosts_as_dynar();
  99
 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);
 106
 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);
 109
 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
 118  *
 119  * @beginrst
 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.
 122  * @endrst
 123  */
 124 XBT_PUBLIC void MSG_host_on(sg_host_t h);
 125 /** @brief Stop the host if it is on
 126  *
 127  * @beginrst
 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.
 130  * @endrst
 131  */
 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);
 138
 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);
 142
 143 /* ******************************** VMs ************************************* */
 144 typedef sg_vm_t msg_vm_t;
 145
 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);
 148
 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);
 152
 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);
 158
 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);
 164
 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.
 171  *
 172  *  @hideinitializer
 173  */
 174 typedef sg_actor_t msg_process_t;
 175
 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).
 179  *
 180  * Note that the PID are unique in the whole simulation, not only on a given host.
 181  */
 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);
 185
 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);
 189
 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.
 195  *
 196  * If the flag is set, the process will be automatically restarted when its host comes back up.
 197  */
 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
 200  *
 201  * SimGrid simulations run until all non-daemon processes are stopped.
 202  */
 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.
 207  *
 208  * @param process the process to wait for
 209  * @param timeout wait until the process is over, or the timeout occurs
 210  */
 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);
 228
 229 /** @brief Object representing an ongoing communication between processes.
 230  *
 231  * \rst
 232  * Such beast is usually obtained by using :cpp:func:`MSG_task_isend`, :cpp:func:`MSG_task_irecv` or friends.
 233  * \endrst
 234  */
 235 typedef sg_msg_Comm* msg_comm_t;
 236 typedef const sg_msg_Comm* const_msg_comm_t;
 237
 238 /** @brief Task datatype.
 239  *
 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>.
 244  */
 245 typedef sg_msg_Task* msg_task_t;
 246 typedef const sg_msg_Task* const_msg_task_t;
 247
 248 /* ******************************** Task ************************************ */
 249
 250
 251 /** @brief Default value for an uninitialized #msg_task_t. */
 252 #define MSG_TASK_UNINITIALIZED NULL
 253
 254 /************************** Global ******************************************/
 255 /** @brief set a configuration variable
 256  *
 257  * @beginrst
 258  * Do --help on any simgrid binary to see the list of currently existing configuration variables, and see Section
 259  * :ref:`options`.
 260  * @endrst
 261  *
 262  * Example:
 263  * MSG_config("host/model","ptask_L07");
 264  */
 265 XBT_PUBLIC void MSG_config(const char* key, const char* value);
 266 /** @brief Initialize the MSG internal data.
 267  *  @hideinitializer
 268  *
 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.
 272  *
 273  *  We allow linking against compiled versions that differ in the patch level.
 274  */
 275 #define MSG_init(argc, argv)                                                                                           \
 276   do {                                                                                                                 \
 277     sg_version_check(SIMGRID_VERSION_MAJOR, SIMGRID_VERSION_MINOR, SIMGRID_VERSION_PATCH);                             \
 278     MSG_init_nocheck((argc), (argv));                                                                                  \
 279   } while (0)
 280
 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.
 285  *
 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
 289  * *argv[]))
 290  */
 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.
 293  *
 294  * This function will get used by MSG_launch_application() when there is no registered function of the requested name
 295  * in.
 296  *
 297  * @param code the function (must have the same prototype than the main function of any C program: int ..(int argc, char
 298  * *argv[]))
 299  */
 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);
 305
 306 #ifndef DOXYGEN
 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);
 310 #endif
 311
 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();
 316
 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);
 324
 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();
 327
 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();
 331
 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);
 334
 335 XBT_PUBLIC void MSG_process_on_exit(int_f_int_pvoid_t fun, void* data);
 336
 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);
 349
 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);
 355
 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);
 360
 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);
 363
 364 XBT_PUBLIC msg_error_t MSG_task_receive_with_timeout(msg_task_t* task, const char* alias, double timeout);
 365
 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))
 368
 369 XBT_PUBLIC msg_error_t MSG_task_receive_with_timeout_bounded(msg_task_t* task, const char* alias, double timeout,
 370                                                              double rate);
 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))
 373
 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);
 376
 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);
 389
 390 /** @brief Check if there is a communication going on in a mailbox.
 391  *
 392  * @param alias the name of the mailbox to be considered
 393  *
 394  * @return Returns 1 if there is a communication, 0 otherwise
 395  */
 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,
 399                                                           double maxrate);
 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);
 405
 406 /************************** Mailbox handling ************************************/
 407
 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.
 412  *
 413  * This call should be done before issuing any receive, and on the receiver's side only
 414  */
 415 XBT_PUBLIC void MSG_mailbox_set_async(const char* alias);
 416
 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);
 426
 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);
 435
 436 /* ****************************************************************************************** */
 437 #ifdef __cplusplus
 438 }
 439 #endif
 440
 441 #endif