char *xbt_binary_name=NULL; /* Mandatory to retrieve neat backtraces */
int xbt_initialized=0;
-struct xbt_module_ {
- xbt_dynar_t *deps;
- xbt_cfg_t *cfg;
- int ref;
- xbt_module_new_fct_t new;
- xbt_module_finalize_fct_t finalize;
-};
-
/** @brief Initialize the xbt mechanisms. */
void
xbt_init(int *argc, char **argv) {
if (xbt_initialized!=1)
return;
- xbt_binary_name = strdup(argv[0]);
+ xbt_binary_name = xbt_strdup(argv[0]);
srand((unsigned int)time(NULL));
VERB0("Initialize XBT");
xbt_log_init(argc,argv);
+ xbt_os_thread_mod_init();
+ xbt_context_init();
}
/** @brief Finalize the xbt mechanisms. */
void
xbt_exit(){
xbt_initialized--;
+ if (xbt_initialized == 0) {
+ xbt_fifo_exit();
+ xbt_dict_exit();
+ xbt_context_exit();
+ xbt_os_thread_mod_exit();
+ xbt_log_exit();
+ }
+
if (xbt_initialized == 0)
- free(xbt_binary_name);
- xbt_log_exit();
+ free(xbt_binary_name);
}