X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d75d7500fe0688f5665f4f774ef82c6c65f8415b..d90a41491cfb04188c4469729fa60d01ec0ff693:/src/xbt/xbt_main.c diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c index 61522a6c43..7687e5d8d1 100644 --- a/src/xbt/xbt_main.c +++ b/src/xbt/xbt_main.c @@ -8,6 +8,7 @@ #include "xbt/misc.h" #include "simgrid_config.h" /*HAVE_MMAP _XBT_WIN32 */ +#include "gras_config.h" /* MMALLOC_WANT_OVERRIDE_LEGACY */ #include "time.h" /* to seed the random generator */ #include "xbt/sysdep.h" @@ -19,48 +20,27 @@ #include "xbt_modinter.h" /* prototype of other module's init/exit in XBT */ +XBT_LOG_NEW_CATEGORY(xbt, "All XBT categories (simgrid toolbox)"); XBT_LOG_NEW_DEFAULT_SUBCATEGORY(module, xbt, "module handling"); +XBT_LOG_NEW_CATEGORY(smpi, "All SMPI categories"); /* lives here even if that's a bit odd to solve linking issues: this is used in xbt_log_file_appender to detect whether SMPI is used (and thus whether we should unbench the writing to disk) */ + + char *xbt_binary_name = NULL; /* Mandatory to retrieve neat backtraces */ int xbt_initialized = 0; -XBT_LOG_EXTERNAL_CATEGORY(graphxml_parse); -XBT_LOG_EXTERNAL_CATEGORY(log); -XBT_LOG_EXTERNAL_CATEGORY(module); -XBT_LOG_EXTERNAL_CATEGORY(peer); -XBT_LOG_EXTERNAL_CATEGORY(strbuff); -XBT_LOG_EXTERNAL_CATEGORY(xbt_cfg); -XBT_LOG_EXTERNAL_CATEGORY(xbt_dict); -XBT_LOG_EXTERNAL_CATEGORY(xbt_dict_cursor); -XBT_LOG_EXTERNAL_CATEGORY(xbt_dict_elm); -XBT_LOG_EXTERNAL_CATEGORY(xbt_dict_multi); -XBT_LOG_EXTERNAL_CATEGORY(xbt_dyn); -XBT_LOG_EXTERNAL_CATEGORY(xbt_ex); -XBT_LOG_EXTERNAL_CATEGORY(xbt_fifo); -XBT_LOG_EXTERNAL_CATEGORY(xbt_graph); -XBT_LOG_EXTERNAL_CATEGORY(xbt_matrix); -XBT_LOG_EXTERNAL_CATEGORY(xbt_queue); -XBT_LOG_EXTERNAL_CATEGORY(xbt_set); -XBT_LOG_EXTERNAL_CATEGORY(xbt_sync_os); -XBT_LOG_EXTERNAL_CATEGORY(xbt_parmap); -XBT_LOG_EXTERNAL_CATEGORY(xbt_parmap_unit); -XBT_LOG_EXTERNAL_CATEGORY(xbt_ddt); -XBT_LOG_EXTERNAL_CATEGORY(xbt_ddt_cbps); -XBT_LOG_EXTERNAL_CATEGORY(xbt_ddt_convert); -XBT_LOG_EXTERNAL_CATEGORY(xbt_ddt_create); -XBT_LOG_EXTERNAL_CATEGORY(xbt_ddt_exchange); -XBT_LOG_EXTERNAL_CATEGORY(xbt_ddt_lexer); -XBT_LOG_EXTERNAL_CATEGORY(xbt_ddt_parse); -XBT_LOG_EXTERNAL_CATEGORY(xbt_trp); -XBT_LOG_EXTERNAL_CATEGORY(xbt_trp_meas); - -int _surf_do_model_check = 0; /* this variable is used accros the libraries, and must be declared in XBT so that it's also defined in GRAS (not only in libsimgrid) */ +int _surf_do_model_check = 0; +int _surf_mc_checkpoint=0; +char* _surf_mc_property_file=NULL; +int _surf_mc_timeout=0; +int _surf_mc_max_depth=1000; +int _surf_mc_stateful=0; /* Declare xbt_preinit and xbt_postexit as constructor/destructor of the library. * This is crude and rather compiler-specific, unfortunately. */ -static void xbt_preinit(void) _XBT_GNUC_CONSTRUCTOR; -static void xbt_postexit(void) _XBT_GNUC_DESTRUCTOR; +static void xbt_preinit(void) _XBT_GNUC_CONSTRUCTOR(200); +static void xbt_postexit(void); #ifdef _XBT_WIN32 # undef _XBT_NEED_INIT_PRAGMA @@ -68,7 +48,6 @@ static void xbt_postexit(void) _XBT_GNUC_DESTRUCTOR; #ifdef _XBT_NEED_INIT_PRAGMA #pragma init (xbt_preinit) -#pragma fini (xbt_postexit) #endif #ifdef _XBT_WIN32 @@ -90,13 +69,12 @@ BOOL WINAPI DllMain(HINSTANCE hinstDLL, DWORD fdwReason, LPVOID lpvReserved) { if (fdwReason == DLL_PROCESS_ATTACH - && xbt_dll_process_is_attached == 0) { - xbt_dll_process_is_attached = 1; - xbt_preinit(); + && xbt_dll_process_is_attached == 0) { + xbt_dll_process_is_attached = 1; + xbt_preinit(); } else if (fdwReason == DLL_PROCESS_DETACH - && xbt_dll_process_is_attached == 1) { - xbt_dll_process_is_attached = 0; - xbt_postexit(); + && xbt_dll_process_is_attached == 1) { + xbt_dll_process_is_attached = 0; } return 1; } @@ -106,48 +84,19 @@ BOOL WINAPI DllMain(HINSTANCE hinstDLL, DWORD fdwReason, static void xbt_preinit(void) { -#ifdef MMALLOC_WANT_OVERIDE_LEGACY +#ifdef MMALLOC_WANT_OVERRIDE_LEGACY mmalloc_preinit(); #endif xbt_log_preinit(); - /* Connect our log channels: that must be done manually under windows */ - XBT_LOG_CONNECT(graphxml_parse, xbt); - XBT_LOG_CONNECT(log, xbt); - XBT_LOG_CONNECT(module, xbt); - XBT_LOG_CONNECT(peer, xbt); - XBT_LOG_CONNECT(strbuff, xbt); - XBT_LOG_CONNECT(xbt_cfg, xbt); - XBT_LOG_CONNECT(xbt_dict, xbt); - XBT_LOG_CONNECT(xbt_dict_cursor, xbt_dict); - XBT_LOG_CONNECT(xbt_dict_elm, xbt_dict); - XBT_LOG_CONNECT(xbt_dict_multi, xbt_dict); - XBT_LOG_CONNECT(xbt_dyn, xbt); - XBT_LOG_CONNECT(xbt_ex, xbt); - XBT_LOG_CONNECT(xbt_fifo, xbt); - XBT_LOG_CONNECT(xbt_graph, xbt); - XBT_LOG_CONNECT(xbt_matrix, xbt); - XBT_LOG_CONNECT(xbt_queue, xbt); - XBT_LOG_CONNECT(xbt_set, xbt); - XBT_LOG_CONNECT(xbt_sync_os, xbt); - XBT_LOG_CONNECT(xbt_parmap,xbt); - XBT_LOG_CONNECT(xbt_parmap_unit,xbt_parmap); - XBT_LOG_CONNECT(xbt_ddt, xbt); - XBT_LOG_CONNECT(xbt_ddt_cbps, xbt_ddt); - XBT_LOG_CONNECT(xbt_ddt_convert, xbt_ddt); - XBT_LOG_CONNECT(xbt_ddt_create, xbt_ddt); - XBT_LOG_CONNECT(xbt_ddt_exchange, xbt_ddt); - XBT_LOG_CONNECT(xbt_ddt_lexer, xbt_ddt_parse); - XBT_LOG_CONNECT(xbt_ddt_parse, xbt_ddt); - XBT_LOG_CONNECT(xbt_trp, xbt); - XBT_LOG_CONNECT(xbt_trp_meas, xbt_trp); - xbt_backtrace_preinit(); xbt_os_thread_mod_preinit(); xbt_fifo_preinit(); xbt_dict_preinit(); xbt_datadesc_preinit(); xbt_trp_preinit(); + + atexit(xbt_postexit); } static void xbt_postexit(void) @@ -164,7 +113,7 @@ static void xbt_postexit(void) xbt_os_thread_mod_postexit(); free(xbt_binary_name); -#ifdef MMALLOC_WANT_OVERIDE_LEGACY +#ifdef MMALLOC_WANT_OVERRIDE_LEGACY mmalloc_postexit(); #endif } @@ -180,7 +129,6 @@ void xbt_init(int *argc, char **argv) xbt_binary_name = xbt_strdup(argv[0]); srand((unsigned int) time(NULL)); - XBT_VERB("Initialize XBT"); xbt_log_init(argc, argv); }