X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/863aeead864a309c494893a1b06ec33ed2b7daf1..21ff871b376f66fa4b2477042fe5ef5fbf42a6fe:/src/simix/smx_context.cpp diff --git a/src/simix/smx_context.cpp b/src/simix/smx_context.cpp index 5906e9d9d1..67cb04a7f5 100644 --- a/src/simix/smx_context.cpp +++ b/src/simix/smx_context.cpp @@ -16,15 +16,13 @@ #include #include +#include "simgrid/modelchecker.h" +#include "simgrid/sg_config.h" +#include "smx_private.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 @@ -79,9 +77,9 @@ static simgrid::config::Flag context_factory_name( (std::string("Possible values: ")+contexts_list()).c_str(), context_factories[0].first); -int smx_context_stack_size; +unsigned smx_context_stack_size; int smx_context_stack_size_was_set = 0; -int smx_context_guard_size; +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; @@ -107,14 +105,13 @@ void SIMIX_context_mod_init() #endif #if defined(__APPLE__) || defined(__NetBSD__) - if (context_factory_name == std::string("thread") && - strcmp(xbt_cfg_get_string("smpi/privatization"), "dlopen") == 0) { + if (context_factory_name == std::string("thread") && xbt_cfg_get_string("smpi/privatization") == "dlopen") { XBT_WARN("dlopen+thread broken on Apple and BSD. Switching to raw contexts."); context_factory_name = "raw"; } #endif #if defined(__FreeBSD__) - if (context_factory_name == std::string("thread") && strcmp(xbt_cfg_get_string("smpi/privatization"), "no") != 0) { + if (context_factory_name == std::string("thread") && xbt_cfg_get_string("smpi/privatization") != "no") { XBT_WARN("mmap broken on FreeBSD, but dlopen+thread broken too. Switching to dlopen+raw contexts."); context_factory_name = "raw"; }