-typedef struct s_smx_global {
- smx_context_factory_t context_factory;
- xbt_dynar_t process_to_run;
- xbt_dynar_t process_that_ran;
- xbt_swag_t process_list;
- xbt_swag_t process_to_destroy;
- smx_process_t maestro_process;
- xbt_dict_t registered_functions;
- smx_creation_func_t create_process_function;
- void_pfn_smxprocess_t_smxprocess_t kill_process_function;
- void_pfn_smxprocess_t cleanup_process_function;
- xbt_mallocator_t synchro_mallocator;
- void_pfn_smxhost_t autorestart;
-
-#ifdef TIME_BENCH_AMDAHL
- xbt_os_timer_t timer_seq; /* used to bench the sequential and parallel parts of the simulation, if requested to */
- xbt_os_timer_t timer_par;
-#endif
-} s_smx_global_t, *smx_global_t;
-
-XBT_PUBLIC_DATA(smx_global_t) simix_global;
-extern unsigned long simix_process_maxpid;
-
-extern xbt_dict_t watched_hosts_lib;
-
-#ifdef __cplusplus
-extern "C" {
-#endif
-XBT_PUBLIC(void) SIMIX_clean(void);
-#ifdef __cplusplus
-}
-#endif
-
-/******************************** Exceptions *********************************/
-/** @brief Ask to the provided simix process to raise the provided exception */
-#define SMX_EXCEPTION(issuer, cat, val, msg) \
- if (1) { \
- smx_process_t _smx_throw_issuer = (issuer); /* evaluate only once */\
- THROW_PREPARE(_smx_throw_issuer->running_ctx, (cat), (val), xbt_strdup(msg)); \
- _smx_throw_issuer->doexception = 1; \
- } else ((void)0)
-
-#define SMX_THROW() RETHROW
-
-/* ******************************** File ************************************ */
-typedef struct s_smx_file {
- surf_file_t surf_file;
- void* data; /**< @brief user data */
-} s_smx_file_t;
-
-/*********************************** Time ************************************/
-
-/** @brief Timer datatype */
-typedef struct s_smx_timer {
- double date;
- void* func;
- void* args;
-} s_smx_timer_t;
-
-/********************************* synchro *************************************/
-
-typedef enum {
- SIMIX_SYNC_EXECUTE,
- SIMIX_SYNC_PARALLEL_EXECUTE,
- SIMIX_SYNC_COMMUNICATE,
- SIMIX_SYNC_JOIN,
- SIMIX_SYNC_SLEEP,
- SIMIX_SYNC_SYNCHRO,
- SIMIX_SYNC_IO,
-} e_smx_synchro_type_t;
-
-typedef enum {
- SIMIX_COMM_SEND,
- SIMIX_COMM_RECEIVE,
- SIMIX_COMM_READY,
- SIMIX_COMM_DONE
-} e_smx_comm_type_t;
-
-typedef enum {
- SIMIX_IO_OPEN,
- SIMIX_IO_WRITE,
- SIMIX_IO_READ,
- SIMIX_IO_STAT
-} e_smx_io_type_t;
-
-/** @brief synchro datatype */
-typedef struct s_smx_synchro {
-
- e_smx_synchro_type_t type; /* Type of SIMIX synchro */
- e_smx_state_t state; /* State of the synchro */
- char *name; /* synchro name if any */
- xbt_fifo_t simcalls; /* List of simcalls waiting for this synchro */
-
- /* Data specific to each synchro type */
- union {
-
- struct {
- smx_host_t host; /* The host where the execution takes place */
- surf_action_t surf_exec; /* The Surf execution action encapsulated */
- } execution; /* Possibly parallel execution */
-
- struct {
- e_smx_comm_type_t type; /* Type of the communication (SIMIX_COMM_SEND or SIMIX_COMM_RECEIVE) */
- smx_rdv_t rdv; /* Rendez-vous where the comm is queued */
-
-#ifdef HAVE_MC
- smx_rdv_t rdv_cpy; /* Copy of the rendez-vous where the comm is queued, MC needs it for DPOR
- (comm.rdv set to NULL when the communication is removed from the mailbox
- (used as garbage collector)) */
-#endif
- int refcount; /* Number of processes involved in the cond */
- int detached; /* If detached or not */
-
- void (*clean_fun)(void*); /* Function to clean the detached src_buf if something goes wrong */
- int (*match_fun)(void*,void*,smx_synchro_t); /* Filter function used by the other side. It is used when
- looking if a given communication matches my needs. For that, myself must match the
- expectations of the other side, too. See */
- void (*copy_data_fun) (smx_synchro_t, void*, size_t);
-
- /* Surf action data */
- surf_action_t surf_comm; /* The Surf communication action encapsulated */
- surf_action_t src_timeout; /* Surf's actions to instrument the timeouts */
- surf_action_t dst_timeout; /* Surf's actions to instrument the timeouts */
- smx_process_t src_proc;
- smx_process_t dst_proc;
- double rate;
- double task_size;
-
- /* Data to be transfered */
- void *src_buff;
- void *dst_buff;
- size_t src_buff_size;
- size_t *dst_buff_size;
- unsigned copied:1; /* whether the data were already copied */
-
- void* src_data; /* User data associated to communication */
- void* dst_data;
- } comm;
-
- struct {
- smx_host_t host; /* The host that is sleeping */
- surf_action_t surf_sleep; /* The Surf sleeping action encapsulated */
- } sleep;
-
- struct {
- surf_action_t sleep;
- } synchro;