include/simgrid/simix.h

   1 /* Copyright (c) 2007-2010, 2012-2015. 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_SIMIX_H
   8 #define _SIMIX_SIMIX_H
   9
  10 #include "xbt/misc.h"
  11 #include "xbt/fifo.h"
  12 #include "xbt/dict.h"
  13 #include "xbt/function_types.h"
  14 #include "xbt/parmap.h"
  15 #include "xbt/swag.h"
  16 #include "simgrid/datatypes.h"
  17 #include "simgrid/host.h"
  18
  19
  20 #ifdef __cplusplus
  21
  22 namespace simgrid {
  23 namespace simix {
  24
  25   /** @brief Process datatype
  26       @ingroup simix_process_management
  27
  28       A process may be defined as a <em>code</em>, with some <em>private
  29       data</em>, executing in a <em>location</em>.
  30       \see m_process_management
  31     @{ */
  32   class Process;
  33   class Context;
  34   class ContextFactory;
  35
  36 }
  37 }
  38
  39 typedef simgrid::simix::Context *smx_context_t;
  40 typedef simgrid::simix::Process *smx_process_t;
  41
  42 #else
  43
  44 typedef struct s_smx_context *smx_context_t;
  45 typedef struct s_smx_process *smx_process_t;
  46
  47 #endif
  48
  49
  50
  51 SG_BEGIN_DECL()
  52
  53 /**************************** Scalar Values **********************************/
  54
  55 typedef union u_smx_scalar u_smx_scalar_t;
  56
  57 /* ******************************** Host ************************************ */
  58 /** @brief Host datatype
  59     @ingroup simix_host_management
  60
  61     A <em>location</em> (or <em>host</em>) is any possible place where
  62     a process may run. Thus it is represented as a <em>physical
  63     resource with computing capabilities</em>, some <em>mailboxes</em>
  64     to enable running process to communicate with remote ones, and
  65     some <em>private data</em> that can be only accessed by local
  66     process.
  67
  68     \see m_host_management
  69   @{ */
  70 typedef enum {
  71   SIMIX_WAITING,
  72   SIMIX_READY,
  73   SIMIX_RUNNING,
  74   SIMIX_DONE,
  75   SIMIX_CANCELED,
  76   SIMIX_FAILED,
  77   SIMIX_SRC_HOST_FAILURE,
  78   SIMIX_DST_HOST_FAILURE,
  79   SIMIX_SRC_TIMEOUT,
  80   SIMIX_DST_TIMEOUT,
  81   SIMIX_LINK_FAILURE
  82 } e_smx_state_t;
  83 /** @} */
  84
  85 /* ******************************** Synchro ************************************ */
  86 /**
  87  * \ingroup simix_synchro_management
  88  */
  89 typedef struct s_smx_mutex *smx_mutex_t;
  90 /**
  91  * \ingroup simix_synchro_management
  92  */
  93 typedef struct s_smx_cond *smx_cond_t;
  94 /**
  95  * \ingroup simix_synchro_management
  96  */
  97 typedef struct s_smx_sem *smx_sem_t;
  98
  99 /********************************** File *************************************/
 100 typedef struct s_smx_file *smx_file_t;
 101
 102 /********************************** Storage *************************************/
 103 typedef xbt_dictelm_t smx_storage_t;
 104 typedef struct s_smx_storage_priv *smx_storage_priv_t;
 105
 106 /* ****************************** Process *********************************** */
 107
 108 typedef enum {
 109   SMX_EXIT_SUCCESS = 0,
 110   SMX_EXIT_FAILURE = 1
 111 } smx_process_exit_status_t;
 112 /** @} */
 113
 114 /******************************* Networking ***********************************/
 115 /**
 116  * \ingroup simix_mbox_management
 117  */
 118 typedef struct s_smx_mailbox *smx_mailbox_t;
 119
 120 /* Process creation/destruction callbacks */
 121 typedef void (*void_pfn_smxprocess_t) (smx_process_t);
 122 /* for auto-restart function */
 123 typedef void (*void_pfn_sghost_t) (sg_host_t);
 124
 125 extern int smx_context_stack_size;
 126 extern int smx_context_stack_size_was_set;
 127 extern int smx_context_guard_size;
 128 extern int smx_context_guard_size_was_set;
 129
 130 XBT_PUBLIC(xbt_dynar_t) SIMIX_process_get_runnable(void);
 131 XBT_PUBLIC(smx_process_t) SIMIX_process_from_PID(int PID);
 132 XBT_PUBLIC(xbt_dynar_t) SIMIX_processes_as_dynar(void);
 133
 134 /* parallelism */
 135 XBT_PUBLIC(int) SIMIX_context_is_parallel(void);
 136 XBT_PUBLIC(int) SIMIX_context_get_nthreads(void);
 137 XBT_PUBLIC(void) SIMIX_context_set_nthreads(int nb_threads);
 138 XBT_PUBLIC(int) SIMIX_context_get_parallel_threshold(void);
 139 XBT_PUBLIC(void) SIMIX_context_set_parallel_threshold(int threshold);
 140 XBT_PUBLIC(e_xbt_parmap_mode_t) SIMIX_context_get_parallel_mode(void);
 141 XBT_PUBLIC(void) SIMIX_context_set_parallel_mode(e_xbt_parmap_mode_t mode);
 142 XBT_PUBLIC(int) SIMIX_is_maestro();
 143
 144
 145 /********************************** Global ************************************/
 146 /* Initialization and exit */
 147 XBT_PUBLIC(void) SIMIX_global_init(int *argc, char **argv);
 148
 149 /* Set to execute in the maestro
 150  *
 151  * If no maestro code is registered (the default), the main thread
 152  * is assumed to be the maestro. */
 153 XBT_PUBLIC(void) SIMIX_set_maestro(void (*code)(void*), void* data);
 154
 155 XBT_PUBLIC(void) SIMIX_function_register_process_cleanup(void_pfn_smxprocess_t function);
 156 XBT_PUBLIC(void) SIMIX_function_register_process_kill(void_pfn_smxprocess_t function);
 157
 158 /* Simulation execution */
 159 XBT_PUBLIC(void) SIMIX_run(void);
 160 XBT_PUBLIC(double) SIMIX_get_clock(void);
 161
 162 /* Timer functions FIXME: should these be public? */
 163 typedef struct s_smx_timer* smx_timer_t;
 164
 165 XBT_PUBLIC(smx_timer_t) SIMIX_timer_set(double date, void (*function)(void*), void *arg);
 166 XBT_PUBLIC(void) SIMIX_timer_remove(smx_timer_t timer);
 167 XBT_PUBLIC(double) SIMIX_timer_next(void);
 168 XBT_PUBLIC(double) SIMIX_timer_get_date(smx_timer_t timer);
 169
 170 XBT_PUBLIC(void) SIMIX_display_process_status(void);
 171
 172 /******************************* Environment **********************************/
 173 XBT_PUBLIC(void) SIMIX_create_environment(const char *file);
 174
 175 /******************************** Deployment **********************************/
 176
 177 XBT_PUBLIC(void) SIMIX_function_register(const char *name, xbt_main_func_t code);
 178 XBT_PUBLIC(void) SIMIX_function_register_default(xbt_main_func_t code);
 179 XBT_PUBLIC(xbt_main_func_t) SIMIX_get_registered_function(const char *name);
 180 XBT_PUBLIC(void) SIMIX_init_application(void);
 181 XBT_PUBLIC(void) SIMIX_launch_application(const char *file);
 182
 183 XBT_PUBLIC(void) SIMIX_process_set_function(const char* process_host,
 184                                             const char *process_function,
 185                                             xbt_dynar_t arguments,
 186                                             double process_start_time,
 187                                             double process_kill_time);
 188
 189 /*********************************** Host *************************************/
 190 /* Functions for running a process in main()
 191  *
 192  *  1. create the maestro process
 193  *  2. attach (create a context and wait for maestro to give control back to you)
 194  *  3. do you process job
 195  *  4. detach (this waits for the simulation to terminate)
 196  */
 197
 198 XBT_PUBLIC(void) SIMIX_maestro_create(void (*code)(void*), void* data);
 199 XBT_PUBLIC(smx_process_t) SIMIX_process_attach(
 200   const char* name,
 201   void *data,
 202   const char* hostname,
 203   xbt_dict_t properties,
 204   smx_process_t parent_process);
 205 XBT_PUBLIC(void) SIMIX_process_detach(void);
 206
 207 /*********************************** Host *************************************/
 208 XBT_PUBLIC(sg_host_t) SIMIX_host_self(void);
 209 XBT_PUBLIC(const char*) SIMIX_host_self_get_name(void);
 210 XBT_PUBLIC(void) SIMIX_host_on(sg_host_t host);
 211 XBT_PUBLIC(void) SIMIX_host_off(sg_host_t host, smx_process_t issuer);
 212 XBT_PUBLIC(void) SIMIX_host_self_set_data(void *data);
 213 XBT_PUBLIC(void*) SIMIX_host_self_get_data(void);
 214
 215 /********************************* Process ************************************/
 216 XBT_PUBLIC(int) SIMIX_process_count(void);
 217 XBT_PUBLIC(smx_process_t) SIMIX_process_self(void);
 218 XBT_PUBLIC(const char*) SIMIX_process_self_get_name(void);
 219 XBT_PUBLIC(void) SIMIX_process_self_set_data(void *data);
 220 XBT_PUBLIC(void*) SIMIX_process_self_get_data(void);
 221 XBT_PUBLIC(smx_context_t) SIMIX_process_get_context(smx_process_t);
 222 XBT_PUBLIC(void) SIMIX_process_set_context(smx_process_t p,smx_context_t c);
 223 XBT_PUBLIC(int) SIMIX_process_has_pending_comms(smx_process_t process);
 224 XBT_PUBLIC(void) SIMIX_process_on_exit_runall(smx_process_t process);
 225 XBT_PUBLIC(void) SIMIX_process_on_exit(smx_process_t process, int_f_pvoid_pvoid_t fun, void *data);
 226
 227 /****************************** Communication *********************************/
 228 XBT_PUBLIC(void) SIMIX_comm_set_copy_data_callback(void (*callback) (smx_synchro_t, void*, size_t));
 229 XBT_PUBLIC(void) SIMIX_comm_copy_pointer_callback(smx_synchro_t comm, void* buff, size_t buff_size);
 230 XBT_PUBLIC(void) SIMIX_comm_copy_buffer_callback(smx_synchro_t comm, void* buff, size_t buff_size);
 231
 232 XBT_PUBLIC(smx_synchro_t) SIMIX_comm_get_send_match(smx_mailbox_t mbox, int (*match_fun)(void*, void*), void* data);
 233 XBT_PUBLIC(int) SIMIX_comm_has_send_match(smx_mailbox_t mbox, int (*match_fun)(void*, void*), void* data);
 234 XBT_PUBLIC(int) SIMIX_comm_has_recv_match(smx_mailbox_t mbox, int (*match_fun)(void*, void*), void* data);
 235 XBT_PUBLIC(void) SIMIX_comm_finish(smx_synchro_t synchro);
 236
 237 /******************************************************************************/
 238 /*                            SIMIX simcalls                                  */
 239 /******************************************************************************/
 240 /* These functions are a system call-like interface to the simulation kernel. */
 241 /* They can also be called from maestro's context, and they are thread safe.  */
 242 /******************************************************************************/
 243
 244 XBT_PUBLIC(void) simcall_call(smx_process_t process);
 245
 246 /******************************* Host simcalls ********************************/
 247 XBT_PUBLIC(void) simcall_host_set_data(sg_host_t host, void *data);
 248
 249 XBT_PUBLIC(smx_synchro_t) simcall_execution_start(const char *name,
 250                                                 double flops_amount,
 251                                                 double priority, double bound, unsigned long affinity_mask);
 252 XBT_PUBLIC(smx_synchro_t) simcall_execution_parallel_start(const char *name,
 253                                                      int host_nb,
 254                                                      sg_host_t *host_list,
 255                                                      double *flops_amount,
 256                                                      double *bytes_amount,
 257                                                      double amount,
 258                                                      double rate);
 259 XBT_PUBLIC(void) simcall_execution_cancel(smx_synchro_t execution);
 260 XBT_PUBLIC(void) simcall_execution_set_priority(smx_synchro_t execution, double priority);
 261 XBT_PUBLIC(void) simcall_execution_set_bound(smx_synchro_t execution, double bound);
 262 XBT_PUBLIC(void) simcall_execution_set_affinity(smx_synchro_t execution, sg_host_t host, unsigned long mask);
 263 XBT_PUBLIC(e_smx_state_t) simcall_execution_wait(smx_synchro_t execution);
 264
 265 /******************************* VM simcalls ********************************/
 266 // Create the vm_workstation at the SURF level
 267 XBT_PUBLIC(void*) simcall_vm_create(const char *name, sg_host_t host);
 268 XBT_PUBLIC(int) simcall_vm_get_state(sg_host_t vm);
 269 XBT_PUBLIC(void) simcall_vm_start(sg_host_t vm);
 270 XBT_PUBLIC(void) simcall_vm_migrate(sg_host_t vm, sg_host_t dst_pm);
 271 XBT_PUBLIC(void *) simcall_vm_get_pm(sg_host_t vm);
 272 XBT_PUBLIC(void) simcall_vm_set_bound(sg_host_t vm, double bound);
 273 XBT_PUBLIC(void) simcall_vm_set_affinity(sg_host_t vm, sg_host_t pm, unsigned long mask);
 274 XBT_PUBLIC(void) simcall_vm_resume(sg_host_t vm);
 275 XBT_PUBLIC(void) simcall_vm_migratefrom_resumeto(sg_host_t vm, sg_host_t src_pm, sg_host_t dst_pm);
 276 XBT_PUBLIC(void) simcall_vm_save(sg_host_t vm);
 277 XBT_PUBLIC(void) simcall_vm_restore(sg_host_t vm);
 278 XBT_PUBLIC(void) simcall_vm_suspend(sg_host_t vm);
 279 XBT_PUBLIC(void) simcall_vm_destroy(sg_host_t vm);
 280 XBT_PUBLIC(void) simcall_vm_shutdown(sg_host_t vm);
 281
 282 /**************************** Process simcalls ********************************/
 283 /* Constructor and Destructor */
 284 XBT_PUBLIC(smx_process_t) simcall_process_create(const char *name,
 285                                           xbt_main_func_t code,
 286                                           void *data,
 287                                           const char *hostname,
 288                                           double kill_time,
 289                                           int argc, char **argv,
 290                                           xbt_dict_t properties,
 291                                           int auto_restart);
 292
 293 XBT_PUBLIC(void) simcall_process_kill(smx_process_t process);
 294 XBT_PUBLIC(void) simcall_process_killall(int reset_pid);
 295 XBT_PUBLIC(void) SIMIX_process_throw(smx_process_t process, xbt_errcat_t cat, int value, const char *msg);
 296
 297
 298 /* Process handling */
 299 XBT_PUBLIC(void) simcall_process_cleanup(smx_process_t process);
 300 XBT_PUBLIC(void) simcall_process_suspend(smx_process_t process);
 301 XBT_PUBLIC(void) simcall_process_resume(smx_process_t process);
 302
 303 /* Getters and Setters */
 304 XBT_PUBLIC(int) simcall_process_count(void);
 305 XBT_PUBLIC(void *) simcall_process_get_data(smx_process_t process);
 306 XBT_PUBLIC(void) simcall_process_set_data(smx_process_t process, void *data);
 307 XBT_PUBLIC(void) simcall_process_set_host(smx_process_t process, sg_host_t dest);
 308 XBT_PUBLIC(sg_host_t) simcall_process_get_host(smx_process_t process);
 309 XBT_PUBLIC(const char *) simcall_process_get_name(smx_process_t process);
 310 XBT_PUBLIC(int) simcall_process_get_PID(smx_process_t process);
 311 XBT_PUBLIC(int) simcall_process_get_PPID(smx_process_t process);
 312 XBT_PUBLIC(int) simcall_process_is_suspended(smx_process_t process);
 313 XBT_PUBLIC(xbt_dict_t) simcall_process_get_properties(smx_process_t host);
 314 XBT_PUBLIC(void) simcall_process_set_kill_time(smx_process_t process, double kill_time);
 315 XBT_PUBLIC(double) simcall_process_get_kill_time(smx_process_t process);
 316 XBT_PUBLIC(void) simcall_process_on_exit(smx_process_t process, int_f_pvoid_pvoid_t fun, void *data);
 317 XBT_PUBLIC(void) simcall_process_auto_restart_set(smx_process_t process, int auto_restart);
 318 XBT_PUBLIC(smx_process_t) simcall_process_restart(smx_process_t process);
 319 XBT_PUBLIC(void) simcall_process_join(smx_process_t process, double timeout);
 320 /* Sleep control */
 321 XBT_PUBLIC(e_smx_state_t) simcall_process_sleep(double duration);
 322
 323 /************************** Comunication simcalls *****************************/
 324 /***** Rendez-vous points *****/
 325
 326 XBT_PUBLIC(smx_mailbox_t) simcall_mbox_create(const char *name);
 327 XBT_PUBLIC(smx_mailbox_t) simcall_mbox_get_by_name(const char *name);
 328 XBT_PUBLIC(smx_synchro_t) simcall_mbox_front(smx_mailbox_t mbox);
 329 XBT_PUBLIC(void) simcall_mbox_set_receiver(smx_mailbox_t mbox , smx_process_t process);
 330
 331 /***** Communication simcalls *****/
 332
 333 XBT_PUBLIC(void) simcall_comm_send(smx_process_t sender, smx_mailbox_t mbox, double task_size,
 334                                      double rate, void *src_buff,
 335                                      size_t src_buff_size,
 336                                      int (*match_fun)(void *, void *, smx_synchro_t),
 337                                      void (*copy_data_fun)(smx_synchro_t, void*, size_t),
 338                                      void *data, double timeout);
 339
 340 XBT_PUBLIC(smx_synchro_t) simcall_comm_isend(smx_process_t sender, smx_mailbox_t mbox,
 341                                               double task_size,
 342                                               double rate, void *src_buff,
 343                                               size_t src_buff_size,
 344                                               int (*match_fun)(void *, void *, smx_synchro_t),
 345                                               void (*clean_fun)(void *),
 346                                               void (*copy_data_fun)(smx_synchro_t, void*, size_t),
 347                                               void *data, int detached);
 348
 349 XBT_PUBLIC(void) simcall_comm_recv(smx_process_t receiver, smx_mailbox_t mbox, void *dst_buff,
 350                                    size_t * dst_buff_size,
 351                                    int (*match_fun)(void *, void *, smx_synchro_t),
 352                                    void (*copy_data_fun)(smx_synchro_t, void*, size_t),
 353                                    void *data, double timeout, double rate);
 354
 355 XBT_PUBLIC(smx_synchro_t) simcall_comm_irecv(smx_process_t receiver, smx_mailbox_t mbox, void *dst_buff,
 356                                             size_t * dst_buff_size,
 357                                             int (*match_fun)(void *, void *, smx_synchro_t),
 358                                             void (*copy_data_fun)(smx_synchro_t, void*, size_t),
 359                                             void *data, double rate);
 360
 361 XBT_PUBLIC(smx_synchro_t) simcall_comm_iprobe(smx_mailbox_t mbox, int type, int src, int tag,
 362                                 int (*match_fun)(void *, void *, smx_synchro_t), void *data);
 363 XBT_PUBLIC(void) simcall_comm_cancel(smx_synchro_t comm);
 364
 365 /* FIXME: waitany is going to be a vararg function, and should take a timeout */
 366 XBT_PUBLIC(unsigned int) simcall_comm_waitany(xbt_dynar_t comms);
 367 XBT_PUBLIC(void) simcall_comm_wait(smx_synchro_t comm, double timeout);
 368 XBT_PUBLIC(int) simcall_comm_test(smx_synchro_t comm);
 369 XBT_PUBLIC(int) simcall_comm_testany(xbt_dynar_t comms);
 370
 371 /************************** Tracing handling **********************************/
 372 XBT_PUBLIC(void) simcall_set_category(smx_synchro_t synchro, const char *category);
 373
 374 /************************** Synchro simcalls **********************************/
 375 XBT_PUBLIC(smx_mutex_t) simcall_mutex_init(void);
 376 XBT_PUBLIC(void) SIMIX_mutex_destroy(smx_mutex_t mutex);
 377 XBT_PUBLIC(void) simcall_mutex_lock(smx_mutex_t mutex);
 378 XBT_PUBLIC(int) simcall_mutex_trylock(smx_mutex_t mutex);
 379 XBT_PUBLIC(void) simcall_mutex_unlock(smx_mutex_t mutex);
 380
 381 XBT_PUBLIC(smx_cond_t) simcall_cond_init(void);
 382 XBT_PUBLIC(void) SIMIX_cond_destroy(smx_cond_t cond);
 383 XBT_PUBLIC(void) simcall_cond_signal(smx_cond_t cond);
 384 XBT_PUBLIC(void) simcall_cond_wait(smx_cond_t cond, smx_mutex_t mutex);
 385 XBT_PUBLIC(void) simcall_cond_wait_timeout(smx_cond_t cond,
 386                                          smx_mutex_t mutex,
 387                                          double max_duration);
 388 XBT_PUBLIC(void) simcall_cond_broadcast(smx_cond_t cond);
 389
 390 XBT_PUBLIC(smx_sem_t) simcall_sem_init(int capacity);
 391 XBT_PUBLIC(void) SIMIX_sem_destroy(smx_sem_t sem);
 392 XBT_PUBLIC(void) simcall_sem_release(smx_sem_t sem);
 393 XBT_PUBLIC(int) simcall_sem_would_block(smx_sem_t sem);
 394 XBT_PUBLIC(void) simcall_sem_acquire(smx_sem_t sem);
 395 XBT_PUBLIC(void) simcall_sem_acquire_timeout(smx_sem_t sem,
 396                                              double max_duration);
 397 XBT_PUBLIC(int) simcall_sem_get_capacity(smx_sem_t sem);
 398
 399 /*****************************   File   **********************************/
 400 XBT_PUBLIC(void *) simcall_file_get_data(smx_file_t fd);
 401 XBT_PUBLIC(void) simcall_file_set_data(smx_file_t fd, void *data);
 402 XBT_PUBLIC(sg_size_t) simcall_file_read(smx_file_t fd, sg_size_t size, sg_host_t host);
 403 XBT_PUBLIC(sg_size_t) simcall_file_write(smx_file_t fd, sg_size_t size, sg_host_t host);
 404 XBT_PUBLIC(smx_file_t) simcall_file_open(const char* fullpath, sg_host_t host);
 405 XBT_PUBLIC(int) simcall_file_close(smx_file_t fd, sg_host_t host);
 406 XBT_PUBLIC(int) simcall_file_unlink(smx_file_t fd, sg_host_t host);
 407 XBT_PUBLIC(sg_size_t) simcall_file_get_size(smx_file_t fd);
 408 XBT_PUBLIC(xbt_dynar_t) simcall_file_get_info(smx_file_t fd);
 409 XBT_PUBLIC(sg_size_t) simcall_file_tell(smx_file_t fd);
 410 XBT_PUBLIC(int) simcall_file_seek(smx_file_t fd, sg_offset_t offset, int origin);
 411 XBT_PUBLIC(int) simcall_file_move(smx_file_t fd, const char* fullpath);
 412 /*****************************   Storage   **********************************/
 413 XBT_PUBLIC(sg_size_t) simcall_storage_get_free_size (smx_storage_t storage);
 414 XBT_PUBLIC(sg_size_t) simcall_storage_get_used_size (smx_storage_t storage);
 415 XBT_PUBLIC(xbt_dict_t) simcall_storage_get_properties(smx_storage_t storage);
 416 XBT_PUBLIC(void*) SIMIX_storage_get_data(smx_storage_t storage);
 417 XBT_PUBLIC(void) SIMIX_storage_set_data(smx_storage_t storage, void *data);
 418 XBT_PUBLIC(xbt_dict_t) SIMIX_storage_get_content(smx_storage_t storage);
 419 XBT_PUBLIC(xbt_dict_t) simcall_storage_get_content(smx_storage_t storage);
 420 XBT_PUBLIC(const char*) SIMIX_storage_get_name(smx_storage_t storage);
 421 XBT_PUBLIC(sg_size_t) SIMIX_storage_get_size(smx_storage_t storage);
 422 XBT_PUBLIC(const char*) SIMIX_storage_get_host(smx_storage_t storage);
 423 /************************** AS router   **********************************/
 424 XBT_PUBLIC(xbt_dict_t) SIMIX_asr_get_properties(const char *name);
 425 /************************** AS router simcalls ***************************/
 426 XBT_PUBLIC(xbt_dict_t) simcall_asr_get_properties(const char *name);
 427
 428 /************************** MC simcalls   **********************************/
 429 XBT_PUBLIC(int) simcall_mc_random(int min, int max);
 430
 431 SG_END_DECL()
 432 #endif                          /* _SIMIX_SIMIX_H */