src/xbt/xbt_main.c

   1 /* module handling                                                          */
   2
   3 /* Copyright (c) 2006-2012. The SimGrid Team. All rights reserved.          */
   4
   5 /* This program is free software; you can redistribute it and/or modify it
   6  * under the terms of the license (GNU LGPL) which comes with this package. */
   7
   8 #include "xbt/misc.h"
   9 #include "simgrid_config.h"     /*HAVE_MMAP _XBT_WIN32 */
  10 #include "internal_config.h"        /* MMALLOC_WANT_OVERRIDE_LEGACY */
  11 #include "time.h"               /* to seed the random generator */
  12
  13 #include "xbt/sysdep.h"
  14 #include "xbt/log.h"
  15 #include "xbt/dynar.h"
  16 #include "xbt/config.h"
  17
  18 #include "xbt/module.h"         /* this module */
  19
  20 #include "xbt_modinter.h"       /* prototype of other module's init/exit in XBT */
  21
  22 XBT_LOG_NEW_CATEGORY(xbt, "All XBT categories (simgrid toolbox)");
  23 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(module, xbt, "module handling");
  24
  25 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) */
  26
  27
  28 char *xbt_binary_name = NULL;   /* Name of the system process containing us (mandatory to retrieve neat backtraces) */
  29 xbt_dynar_t xbt_cmdline = NULL; /* all we got in argv */
  30
  31 int xbt_initialized = 0;
  32
  33 int _surf_do_model_check = 0;
  34 int _surf_mc_checkpoint=0;
  35 char* _surf_mc_property_file=NULL;
  36 int _surf_mc_timeout=0;
  37 int _surf_mc_max_depth=1000;
  38 int _surf_mc_visited=0;
  39
  40 /* Declare xbt_preinit and xbt_postexit as constructor/destructor of the library.
  41  * This is crude and rather compiler-specific, unfortunately.
  42  */
  43 static void xbt_preinit(void) _XBT_GNUC_CONSTRUCTOR(200);
  44 static void xbt_postexit(void);
  45
  46 #ifdef _XBT_WIN32
  47 # undef _XBT_NEED_INIT_PRAGMA
  48 #endif
  49
  50 #ifdef _XBT_NEED_INIT_PRAGMA
  51 #pragma init (xbt_preinit)
  52 #endif
  53
  54 #ifdef _XBT_WIN32
  55 #include <windows.h>
  56
  57 #ifndef __GNUC__
  58 /* Dummy prototype to make gcc happy */
  59 BOOL WINAPI DllMain(HINSTANCE hinstDLL, DWORD fdwReason,
  60                     LPVOID lpvReserved);
  61
  62 /* Should not be necessary but for some reason,
  63  * DllMain is called twice at attachment and
  64  * at detachment.*/
  65 static int xbt_dll_process_is_attached = 0;
  66
  67 /* see also http://msdn.microsoft.com/en-us/library/ms682583%28VS.85%29.aspx */
  68 /* and http://www.microsoft.com/whdc/driver/kernel/DLL_bestprac.mspx */
  69 BOOL WINAPI DllMain(HINSTANCE hinstDLL, DWORD fdwReason,
  70                     LPVOID lpvReserved)
  71 {
  72   if (fdwReason == DLL_PROCESS_ATTACH
  73       && xbt_dll_process_is_attached == 0) {
  74     xbt_dll_process_is_attached = 1;
  75     xbt_preinit();
  76   } else if (fdwReason == DLL_PROCESS_DETACH
  77       && xbt_dll_process_is_attached == 1) {
  78     xbt_dll_process_is_attached = 0;
  79   }
  80   return 1;
  81 }
  82 #endif
  83
  84 #endif
  85
  86 static void xbt_preinit(void)
  87 {
  88 #ifdef MMALLOC_WANT_OVERRIDE_LEGACY
  89   mmalloc_preinit();
  90 #endif
  91   xbt_log_preinit();
  92   xbt_backtrace_preinit();
  93   xbt_os_thread_mod_preinit();
  94   xbt_fifo_preinit();
  95   xbt_dict_preinit();
  96   atexit(xbt_postexit);
  97 }
  98
  99 static void xbt_postexit(void)
 100 {
 101   xbt_backtrace_postexit();
 102   xbt_fifo_postexit();
 103   xbt_dict_postexit();
 104   xbt_os_thread_mod_postexit();
 105   xbt_dynar_free(&xbt_cmdline);
 106   xbt_log_postexit();
 107   free(xbt_binary_name);
 108 #ifdef MMALLOC_WANT_OVERRIDE_LEGACY
 109   mmalloc_postexit();
 110 #endif
 111 }
 112
 113 /** @brief Initialize the xbt mechanisms. */
 114 void xbt_init(int *argc, char **argv)
 115 {
 116   if (xbt_initialized++) {
 117     XBT_DEBUG("XBT was initialized %d times.", xbt_initialized);
 118     return;
 119   }
 120
 121   xbt_binary_name = xbt_strdup(argv[0]);
 122   xbt_cmdline = xbt_dynar_new(sizeof(char*),NULL);
 123   int i;
 124   for (i=0;i<*argc;i++) {
 125     xbt_dynar_push(xbt_cmdline,&(argv[i]));
 126   }
 127
 128   srand((unsigned int) time(NULL));
 129
 130   xbt_log_init(argc, argv);
 131 }
 132
 133 /** @brief Finalize the xbt mechanisms.
 134  *  @warning this function is deprecated. Just don't call it, there is nothing more to do to finalize xbt*/
 135 void xbt_exit()
 136 {
 137   XBT_WARN("This function is deprecated, you shouldn't use it");
 138 }
 139
 140
 141 /* these two functions belong to xbt/sysdep.h, which have no corresponding .c file */
 142 /** @brief like free, but you can be sure that it is a function  */
 143 XBT_PUBLIC(void) xbt_free_f(void *p)
 144 {
 145   free(p);
 146 }
 147
 148 /** @brief should be given a pointer to pointer, and frees the second one */
 149 XBT_PUBLIC(void) xbt_free_ref(void *d)
 150 {
 151   free(*(void **) d);
 152 }