-#include <xbt/config.hpp>
-#include <xbt/range.hpp>
-
-#include "src/internal_config.h"
-#include "xbt/log.h"
-#include "xbt/swag.h"
-#include "xbt/xbt_os_thread.h"
-#include "smx_private.h"
-#include "simgrid/sg_config.h"
-#include "src/internal_config.h"
-#include "simgrid/modelchecker.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::simix::ContextFactoryInitializer> context_factories[] = {
-#if HAVE_RAW_CONTEXTS
- { "raw", simgrid::simix::raw_factory },
-#endif
-#if HAVE_UCONTEXT_CONTEXTS
- { "ucontext", simgrid::simix::sysv_factory },
-#endif
-#if HAVE_BOOST_CONTEXTS
- { "boost", simgrid::simix::boost_factory },
-#endif
-#if HAVE_THREAD_CONTEXTS
- { "thread", simgrid::simix::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);
-
-int smx_context_stack_size;
-int smx_context_stack_size_was_set = 0;
-int 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;
-
-static inline
-void invalid_context_factory()
-{
- 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_global_init() to initialize the context module.
- */
-void SIMIX_context_mod_init(void)