3 /* Copyright (c) 2006, 2007, 2008, 2009, 2010. The SimGrid Team.
4 * All rights reserved. */
6 /* This program is free software; you can redistribute it and/or modify it
7 * under the terms of the license (GNU LGPL) which comes with this package. */
10 #include "simgrid_config.h" /*HAVE_MMAP _XBT_WIN32 */
11 #include "gras_config.h" /* MMALLOC_WANT_OVERRIDE_LEGACY */
12 #include "time.h" /* to seed the random generator */
14 #include "xbt/sysdep.h"
16 #include "xbt/dynar.h"
17 #include "xbt/config.h"
19 #include "xbt/module.h" /* this module */
21 #include "xbt_modinter.h" /* prototype of other module's init/exit in XBT */
23 XBT_LOG_NEW_CATEGORY(xbt, "All XBT categories (simgrid toolbox)");
24 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(module, xbt, "module handling");
26 char *xbt_binary_name = NULL; /* Mandatory to retrieve neat backtraces */
27 int xbt_initialized = 0;
29 int _surf_do_model_check = 0;
30 int _surf_mc_checkpoint=0;
31 char* _surf_mc_property_file=NULL;
33 /* Declare xbt_preinit and xbt_postexit as constructor/destructor of the library.
34 * This is crude and rather compiler-specific, unfortunately.
36 static void xbt_preinit(void) _XBT_GNUC_CONSTRUCTOR(200);
37 static void xbt_postexit(void) _XBT_GNUC_DESTRUCTOR(200);
40 # undef _XBT_NEED_INIT_PRAGMA
43 #ifdef _XBT_NEED_INIT_PRAGMA
44 #pragma init (xbt_preinit)
45 #pragma fini (xbt_postexit)
52 /* Dummy prototype to make gcc happy */
53 BOOL WINAPI DllMain(HINSTANCE hinstDLL, DWORD fdwReason,
56 /* Should not be necessary but for some reason,
57 * DllMain is called twice at attachment and
59 static int xbt_dll_process_is_attached = 0;
61 /* see also http://msdn.microsoft.com/en-us/library/ms682583%28VS.85%29.aspx */
62 /* and http://www.microsoft.com/whdc/driver/kernel/DLL_bestprac.mspx */
63 BOOL WINAPI DllMain(HINSTANCE hinstDLL, DWORD fdwReason,
66 if (fdwReason == DLL_PROCESS_ATTACH
67 && xbt_dll_process_is_attached == 0) {
68 xbt_dll_process_is_attached = 1;
70 } else if (fdwReason == DLL_PROCESS_DETACH
71 && xbt_dll_process_is_attached == 1) {
72 xbt_dll_process_is_attached = 0;
81 static void xbt_preinit(void)
83 #ifdef MMALLOC_WANT_OVERRIDE_LEGACY
88 xbt_backtrace_preinit();
89 xbt_os_thread_mod_preinit();
92 xbt_datadesc_preinit();
96 static void xbt_postexit(void)
99 xbt_datadesc_postexit();
101 xbt_backtrace_postexit();
107 xbt_os_thread_mod_postexit();
109 free(xbt_binary_name);
110 #ifdef MMALLOC_WANT_OVERRIDE_LEGACY
115 /** @brief Initialize the xbt mechanisms. */
116 void xbt_init(int *argc, char **argv)
118 // FIXME it would be nice to assert that this function is called only once. But each gras process do call it...
121 if (xbt_initialized > 1)
124 xbt_binary_name = xbt_strdup(argv[0]);
125 srand((unsigned int) time(NULL));
127 xbt_log_init(argc, argv);
130 /** @brief Finalize the xbt mechanisms. */
133 XBT_WARN("This function is deprecated, you shouldn't use it");
137 /* these two functions belong to xbt/sysdep.h, which have no corresponding .c file */
138 /** @brief like free, but you can be sure that it is a function */
139 XBT_PUBLIC(void) xbt_free_f(void *p)
144 /** @brief should be given a pointer to pointer, and frees the second one */
145 XBT_PUBLIC(void) xbt_free_ref(void *d)