#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_dynar_t process_that_ran;
xbt_swag_t process_list;
xbt_swag_t process_to_destroy;
smx_process_t maestro_process;
}
}
-
-
void SIMIX_context_mod_init(void);
void SIMIX_context_mod_exit(void);
+XBT_INLINE void SIMIX_context_set_current(smx_context_t context);
+XBT_INLINE smx_context_t SIMIX_context_get_current(void);
/* All factories init */
void SIMIX_ctx_thread_factory_init(smx_context_factory_t *factory);
return (*(simix_global->context_factory->get_data))(context);
}
-/**
- \brief returns the thread's pid running the current context
- \return The pid
- */
-static XBT_INLINE int SIMIX_context_get_thread_id(void)
-{
- return (*(simix_global->context_factory->get_thread_id))();
-}
-
XBT_PUBLIC(int) SIMIX_process_get_maxpid(void);
#endif