xbt_dict_t registered_functions;
smx_creation_func_t create_process_function;
void_pfn_smxprocess_t_smxprocess_t kill_process_function;
+ /** Callback used when killing a SMX_process */
void_pfn_smxprocess_t cleanup_process_function;
xbt_mallocator_t synchro_mallocator;
void_pfn_smxhost_t autorestart;
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
+
+ xbt_os_mutex_t mutex;
} s_smx_global_t, *smx_global_t;
XBT_PUBLIC_DATA(smx_global_t) simix_global;