-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;
-
-XBT_PUBLIC(void) SIMIX_clean(void);
-
-/******************************** 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 */