#include "synchro_private.h"
#include "simix/context.h"
-/********************************** Simix Global ******************************/
-
+/* Define only for SimGrid benchmarking purposes */
+#undef TIME_BENCH
+/********************************** Simix Global ******************************/
typedef struct s_smx_global {
smx_context_factory_t context_factory;
- xbt_dict_t host;
xbt_dynar_t process_to_run;
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_f_pvoid_t kill_process_function;
+ void_pfn_smxprocess_t kill_process_function;
void_pfn_smxprocess_t cleanup_process_function;
xbt_mallocator_t action_mallocator;
} s_smx_global_t, *smx_global_t;