3 /* Copyright (c) 2006-2023. The SimGrid Team. All rights reserved. */
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. */
8 #define XBT_LOG_LOCALLY_DEFINE_XBT_CHANNEL /* MSVC don't want it to be declared extern in headers and local here */
10 #include "simgrid/config.h"
11 #include "simgrid/sg_config.hpp"
12 #include "src/internal_config.h"
13 #include "src/sthread/sthread.h" // sthread_inside_simgrid
14 #include "xbt/config.hpp"
15 #include "xbt/coverage.h"
16 #include "xbt/dynar.h"
18 #include "xbt/log.hpp"
20 #include "xbt/module.h" /* this module */
21 #include "xbt/sysdep.h"
22 #include "xbt/xbt_modinter.h" /* prototype of other module's init/exit in XBT */
32 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(module, xbt, "module handling");
34 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) */
36 namespace simgrid::xbt {
37 std::string binary_name; /* Name of the system process containing us (mandatory to retrieve neat backtraces) */
38 std::vector<std::string> cmdline; /* all we got in argv */
39 } // namespace simgrid::xbt
42 int xbt_initialized = 0;
43 simgrid::config::Flag<bool> cfg_dbg_clean_atexit{
45 "Whether to cleanup SimGrid at exit. Disable it if your code segfaults after its end.",
51 /* Declare xbt_preinit and xbt_postexit as constructor/destructor of the library.
52 * This is crude and rather compiler-specific, unfortunately.
54 static void xbt_preinit() XBT_ATTRIB_CONSTRUCTOR(200);
55 static void xbt_postexit();
57 { // These symbols are used from ContextSwapped in any case, but they are only useful
59 void sthread_disable()
60 { // when libsthread is LD_PRELOADED. In this case, sthread's implem gets used instead.
63 static void xbt_preinit()
65 xbt_pagesize = static_cast<int>(sysconf(_SC_PAGESIZE));
66 xbt_pagebits = static_cast<int>(log2(xbt_pagesize));
73 static void xbt_postexit()
75 if (not cfg_dbg_clean_atexit)
82 /** @brief Initialize the xbt mechanisms. */
83 void xbt_init(int *argc, char **argv)
86 if (xbt_initialized > 1) {
87 XBT_DEBUG("XBT has been initialized %d times.", xbt_initialized);
91 simgrid::xbt::install_exception_handler();
94 simgrid::xbt::binary_name = argv[0];
95 for (int i = 0; i < *argc; i++)
96 simgrid::xbt::cmdline.emplace_back(argv[i]);
98 xbt_log_init(argc, argv);
101 /* these two functions belong to xbt/sysdep.h, which have no corresponding .c file */
102 /** @brief like xbt_free, but you can be sure that it is a function */
103 void xbt_free_f(void* p) noexcept(noexcept(::free))
108 /** @brief should be given a pointer to pointer, and frees the second one */
109 void xbt_free_ref(void* d) noexcept(noexcept(::free))
111 xbt_free(*(void**)d);
114 /** @brief Kill the program in silence */
117 /* Call __gcov_flush on abort when compiling with coverage options. */
118 coverage_checkpoint();