X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Flinux-os.c;h=669ae7cbf589df60d20f0cc0ac2534e598e0e418;hb=10adbe19b88bf9d4fe65ad67f6de0fd065af87ff;hp=a958224f66593349db0fecfe1ba2dab66702d526;hpb=ce0a49644dce03ca07008e8073897e4ed7b247df;p=sbcl.git diff --git a/src/runtime/linux-os.c b/src/runtime/linux-os.c index a958224..669ae7c 100644 --- a/src/runtime/linux-os.c +++ b/src/runtime/linux-os.c @@ -28,10 +28,12 @@ #include "os.h" #include "arch.h" #include "globals.h" -#include "sbcl.h" #include "interrupt.h" #include "interr.h" #include "lispregs.h" +#include "runtime.h" +#include "genesis/static-symbols.h" +#include "genesis/fdefn.h" #include #include @@ -47,8 +49,8 @@ #include "thread.h" size_t os_vm_page_size; -#ifdef LISP_FEATURE_SB_FUTEX -#include +#ifdef LISP_FEATURE_SB_THREAD +#include #include /* values taken from the kernel's linux/futex.h. This header file @@ -71,7 +73,7 @@ _syscall4(int,sys_futex, #include "gc.h" int linux_sparc_siginfo_bug = 0; -int linux_supports_futex=0; +int linux_no_threads_p = 0; void os_init(void) { @@ -92,17 +94,16 @@ void os_init(void) major_version); } if (!(major_version>2 || minor_version >= 4)) { -#ifdef LISP_FEATURE_SB_THREAD - lose("linux kernel 2.4 required for thread-enabled SBCL"); -#endif #ifdef LISP_FEATURE_SPARC FSHOW((stderr,"linux kernel %d.%d predates 2.4;\n enabling workarounds for SPARC kernel bugs in signal handling.\n", major_version,minor_version)); linux_sparc_siginfo_bug = 1; #endif } -#ifdef LISP_FEATURE_SB_FUTEX +#ifdef LISP_FEATURE_SB_THREAD futex_wait(futex,-1); - if(errno!=ENOSYS) linux_supports_futex=1; + if(errno==ENOSYS) linux_no_threads_p = 1; + if(linux_no_threads_p) + fprintf(stderr,"Linux with NPTL support (e.g. kernel 2.6 or newer) required for \nthread-enabled SBCL. Disabling thread support.\n\n"); #endif os_vm_page_size = getpagesize(); } @@ -222,10 +223,14 @@ void sigsegv_handler(int signal, siginfo_t *info, void* void_context) { os_context_t *context = arch_os_get_context(&void_context); - void* fault_addr = (void*)context->uc_mcontext.cr2; + void* fault_addr = (void*)info->si_addr; if (!gencgc_handle_wp_violation(fault_addr)) - if(!handle_control_stack_guard_triggered(context,fault_addr)) - interrupt_handle_now(signal, info, void_context); + if(!handle_guard_page_triggered(context,fault_addr)) +#ifdef LISP_FEATURE_C_STACK_IS_CONTROL_STACK + arrange_return_to_lisp_function(context, SymbolFunction(MEMORY_FAULT_ERROR)); +#else + interrupt_handle_now(signal, info, context); +#endif } #else @@ -254,7 +259,7 @@ sigsegv_handler(int signal, siginfo_t *info, void* void_context) interrupt_handle_pending(context); } else { if(!interrupt_maybe_gc(signal, info, context)) - if(!handle_control_stack_guard_triggered(context,addr)) + if(!handle_guard_page_triggered(context,addr)) interrupt_handle_now(signal, info, context); } } @@ -282,13 +287,10 @@ os_install_interrupt_handlers(void) sig_stop_for_gc_handler); undoably_install_low_level_interrupt_handler(SIG_THREAD_EXIT, thread_exit_handler); - if(!linux_supports_futex) - undoably_install_low_level_interrupt_handler(SIG_DEQUEUE, - sigcont_handler); #endif } -#ifdef LISP_FEATURE_SB_FUTEX +#ifdef LISP_FEATURE_SB_THREAD int futex_wait(int *lock_word, int oldval) { int t= sys_futex(lock_word,FUTEX_WAIT,oldval, 0); return t;