X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/36ff0407edc1324b5bd7ec989b36e99f200987f5..8eb0cf0b6993e174df58607e9492a134b85a4669:/src/simix/smx_global.cpp diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp index 6598f0732f..dd161f1117 100644 --- a/src/simix/smx_global.cpp +++ b/src/simix/smx_global.cpp @@ -80,14 +80,13 @@ static void inthandler(int ignored) static void segvhandler(int signum, siginfo_t *siginfo, void *context) { if (siginfo->si_signo == SIGSEGV && siginfo->si_code == SEGV_ACCERR) { - fprintf(stderr, - "Access violation detected.\n" - "This can result from a programming error in your code or, although less likely,\n" - "from a bug in SimGrid itself. This can also be the sign of a bug in the OS or\n" - "in third-party libraries. Failing hardware can sometimes generate such errors\n" - "too.\n" - "Finally, if nothing of the above applies, this can result from a stack overflow.\n" - "Try to increase stack size with --cfg=contexts/stack_size (current size is %d KiB).\n", + fprintf(stderr, "Access violation detected.\n" + "This can result from a programming error in your code or, although less likely,\n" + "from a bug in SimGrid itself. This can also be the sign of a bug in the OS or\n" + "in third-party libraries. Failing hardware can sometimes generate such errors\n" + "too.\n" + "Finally, if nothing of the above applies, this can result from a stack overflow.\n" + "Try to increase stack size with --cfg=contexts/stack-size (current size is %d KiB).\n", smx_context_stack_size / 1024); if (XBT_LOG_ISENABLED(simix_kernel, xbt_log_priority_debug)) { fprintf(stderr, "siginfo = {si_signo = %d, si_errno = %d, si_code = %d, si_addr = %p}\n", @@ -177,6 +176,9 @@ XBT_PUBLIC(void) set_maestro(std::function code) void SIMIX_set_maestro(void (*code)(void*), void* data) { +#ifdef _WIN32 + XBT_INFO("WARNING, SIMIX_set_maestro is believed to not work on windows. Please help us investigating this issue if you need that feature"); +#endif maestro_code = std::bind(code, data); }