#include "simgrid/config.h"
#include "simgrid/sg_config.hpp"
#include "src/internal_config.h"
+#include "src/sthread/sthread.h" // sthread_inside_simgrid
#include "xbt/config.hpp"
#include "xbt/coverage.h"
#include "xbt/dynar.h"
std::vector<std::string> cmdline; /* all we got in argv */
} // namespace simgrid::xbt
+int sthread_inside_simgrid = 0; // whether sthread should leave pthread operations or intercept them.
+
int xbt_initialized = 0;
simgrid::config::Flag<bool> cfg_dbg_clean_atexit{
"debug/clean-atexit",
static void xbt_preinit()
{
+ sthread_inside_simgrid = 1;
#ifdef _WIN32
SYSTEM_INFO si;
GetSystemInfo(&si);
xbt_log_preinit();
xbt_dict_preinit();
atexit(xbt_postexit);
+ sthread_inside_simgrid = 0;
}
static void xbt_postexit()