-#include <utility>
-#include <string>
-
-#include <xbt/config.hpp>
-#include <xbt/log.h>
-#include <xbt/range.hpp>
-#include <xbt/sysdep.h>
-
-#include "simgrid/modelchecker.h"
-#include "simgrid/sg_config.hpp"
-#include "smx_private.hpp"
-#include "src/internal_config.h"
-#include "xbt/log.h"
-#include "xbt/xbt_os_thread.h"
-
-#ifdef _WIN32
-#include <windows.h>
-#include <malloc.h>
-#else
-#include <sys/mman.h>
-#endif
-
-#ifdef __MINGW32__
-#define _aligned_malloc __mingw_aligned_malloc
-#define _aligned_free __mingw_aligned_free
-#endif /*MINGW*/
-
-#if HAVE_VALGRIND_H
-# include <valgrind/valgrind.h>
-#endif
-
-XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_context, simix, "Context switching mechanism");
-
-static std::pair<const char*, simgrid::kernel::context::ContextFactoryInitializer> context_factories[] = {
-#if HAVE_RAW_CONTEXTS
- { "raw", &simgrid::kernel::context::raw_factory },
-#endif
-#if HAVE_UCONTEXT_CONTEXTS
- { "ucontext", &simgrid::kernel::context::sysv_factory },
-#endif
-#if HAVE_BOOST_CONTEXTS
- { "boost", &simgrid::kernel::context::boost_factory },
-#endif
-#if HAVE_THREAD_CONTEXTS
- { "thread", &simgrid::kernel::context::thread_factory },
-#endif
-};
-
-static_assert(sizeof(context_factories) != 0, "No context factories are enabled for this build");
-
-// Create the list of possible contexts:
-static inline
-std::string contexts_list()
-{
- std::string res;
- const std::size_t n = sizeof(context_factories) / sizeof(context_factories[0]);
- for (std::size_t i = 1; i != n; ++i) {
- res += ", ";
- res += context_factories[i].first;
- }
- return res;
-}
-
-static simgrid::config::Flag<std::string> context_factory_name(
- "contexts/factory",
- (std::string("Possible values: ")+contexts_list()).c_str(),
- context_factories[0].first);
-
-unsigned smx_context_stack_size;
-int smx_context_stack_size_was_set = 0;
-unsigned smx_context_guard_size;
-int smx_context_guard_size_was_set = 0;
-#if HAVE_THREAD_LOCAL_STORAGE
-static XBT_THREAD_LOCAL smx_context_t smx_current_context_parallel;
-#else
-static xbt_os_thread_key_t smx_current_context_key = 0;
-#endif
-static smx_context_t smx_current_context_serial;
-static int smx_parallel_contexts = 1;
-static int smx_parallel_threshold = 2;
-static e_xbt_parmap_mode_t smx_parallel_synchronization_mode = XBT_PARMAP_DEFAULT;
-
-/**
- * This function is called by SIMIX_global_init() to initialize the context module.
- */
-void SIMIX_context_mod_init()
-{
- xbt_assert(simix_global->context_factory == nullptr);
-
- smx_context_stack_size_was_set = not xbt_cfg_is_default_value("contexts/stack-size");
- smx_context_guard_size_was_set = not xbt_cfg_is_default_value("contexts/guard-size");
-
-#if HAVE_THREAD_CONTEXTS && not HAVE_THREAD_LOCAL_STORAGE
- /* the __thread storage class is not available on this platform:
- * use getspecific/setspecific instead to store the current context in each thread */
- xbt_os_thread_key_create(&smx_current_context_key);
-#endif
-
-#if HAVE_SMPI && (defined(__APPLE__) || defined(__NetBSD__))
- std::string priv = simgrid::config::get_config<std::string>("smpi/privatization");
- if (context_factory_name == "thread" && (priv == "dlopen" || priv == "yes" || priv == "default" || priv == "1")) {
- XBT_WARN("dlopen+thread broken on Apple and BSD. Switching to raw contexts.");
- context_factory_name = "raw";
- }
-#endif
-
-#if HAVE_SMPI && defined(__FreeBSD__)
- if (context_factory_name == "thread" && simgrid::config::get_config<std::string>("smpi/privatization") != "no") {
- XBT_WARN("mmap broken on FreeBSD, but dlopen+thread broken too. Switching to dlopen+raw contexts.");
- context_factory_name = "raw";
- }
-#endif
-
- /* select the context factory to use to create the contexts */
- if (simgrid::kernel::context::factory_initializer) { // Give Java a chance to hijack the factory mechanism
- simix_global->context_factory = simgrid::kernel::context::factory_initializer();
- return;
- }
- /* use the factory specified by --cfg=contexts/factory:value */
- for (auto const& factory : context_factories)
- if (context_factory_name == factory.first) {
- simix_global->context_factory = factory.second();
- break;
- }
-
- if (simix_global->context_factory == nullptr) {
- XBT_ERROR("Invalid context factory specified. Valid factories on this machine:");
-#if HAVE_RAW_CONTEXTS
- XBT_ERROR(" raw: high performance context factory implemented specifically for SimGrid");
-#else
- XBT_ERROR(" (raw contexts were disabled at compilation time on this machine -- check configure logs for details)");
-#endif
-#if HAVE_UCONTEXT_CONTEXTS
- XBT_ERROR(" ucontext: classical system V contexts (implemented with makecontext, swapcontext and friends)");
-#else
- XBT_ERROR(" (ucontext was disabled at compilation time on this machine -- check configure logs for details)");
-#endif
-#if HAVE_BOOST_CONTEXTS
- XBT_ERROR(" boost: this uses the boost libraries context implementation");
-#else
- XBT_ERROR(" (boost was disabled at compilation time on this machine -- check configure logs for details. Did you install the libboost-context-dev package?)");
-#endif
- XBT_ERROR(" thread: slow portability layer using pthreads as provided by gcc");
- xbt_die("Please use a valid factory.");
- }
-}
-
-/**
- * This function is called by SIMIX_clean() to finalize the context module.
- */
-void SIMIX_context_mod_exit()