X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Flinux-os.c;h=993c51c369e96d0fc0fc6ffea120ba53e3a6df7c;hb=4898ef32c639b1c7f4ee13a5ba566ce6debd03e6;hp=eb1a5a0931a069ee12b375c5261f042aa2398817;hpb=6ab9c60f1c53cc7cc912d644658bc23453a82ac4;p=sbcl.git diff --git a/src/runtime/linux-os.c b/src/runtime/linux-os.c index eb1a5a0..993c51c 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,7 +49,7 @@ #include "thread.h" size_t os_vm_page_size; -#ifdef LISP_FEATURE_SB_FUTEX +#ifdef LISP_FEATURE_SB_THREAD #include #include @@ -62,47 +64,49 @@ size_t os_vm_page_size; #define __NR_sys_futex __NR_futex _syscall4(int,sys_futex, - int *, futex, - int, op, - int, val, - struct timespec *, rel); + int *, futex, + int, op, + int, val, + struct timespec *, rel); #endif #include "gc.h" int linux_sparc_siginfo_bug = 0; -int linux_supports_futex=0; +int linux_no_threads_p = 0; -void os_init(void) +void +os_init(void) { /* Conduct various version checks: do we have enough mmap(), is * this a sparc running 2.2, can we do threads? */ +#ifdef LISP_FEATURE_SB_THREAD int *futex=0; +#endif struct utsname name; int major_version; int minor_version; char *p; uname(&name); - p=name.release; + p=name.release; major_version = atoi(p); p=strchr(p,'.')+1; minor_version = atoi(p); if (major_version<2) { - lose("linux kernel version too old: major version=%d (can't run in version < 2.0.0)", - major_version); + lose("linux kernel version too old: major version=%d (can't run in version < 2.0.0)", + 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; + 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(); } @@ -110,7 +114,7 @@ void os_init(void) #ifdef LISP_FEATURE_ALPHA /* The Alpha is a 64 bit CPU. SBCL is a 32 bit application. Due to all - * the places that assume we can get a pointer into a fixnum with no + * the places that assume we can get a pointer into a fixnum with no * information loss, we have to make sure it allocates all its ram in the * 0-2Gb region. */ @@ -123,18 +127,18 @@ os_validate(os_vm_address_t addr, os_vm_size_t len) int flags = MAP_PRIVATE | MAP_ANONYMOUS | MAP_NORESERVE; os_vm_address_t actual ; - if (addr) - flags |= MAP_FIXED; + if (addr) + flags |= MAP_FIXED; #ifdef LISP_FEATURE_ALPHA else { - flags |= MAP_FIXED; - addr=under_2gb_free_pointer; + flags |= MAP_FIXED; + addr=under_2gb_free_pointer; } -#endif +#endif actual = mmap(addr, len, OS_VM_PROT_ALL, flags, -1, 0); - if (actual == MAP_FAILED || (addr && (addr!=actual))) { - perror("mmap"); - return 0; /* caller should check this */ + if (actual == MAP_FAILED || (addr && (addr!=actual))) { + perror("mmap"); + return 0; /* caller should check this */ } #ifdef LISP_FEATURE_ALPHA @@ -150,59 +154,56 @@ void os_invalidate(os_vm_address_t addr, os_vm_size_t len) { if (munmap(addr,len) == -1) { - perror("munmap"); + perror("munmap"); } } os_vm_address_t os_map(int fd, int offset, os_vm_address_t addr, os_vm_size_t len) { - addr = mmap(addr, len, - OS_VM_PROT_ALL, - MAP_PRIVATE | MAP_FILE | MAP_FIXED, - fd, (off_t) offset); - - if (addr == MAP_FAILED) { - perror("mmap"); - lose("unexpected mmap(..) failure"); + os_vm_address_t actual; + + actual = mmap(addr, len, OS_VM_PROT_ALL, MAP_PRIVATE | MAP_FIXED, + fd, (off_t) offset); + if (actual == MAP_FAILED || (addr && (addr != actual))) { + perror("mmap"); + lose("unexpected mmap(..) failure"); } - return addr; + return actual; } void os_protect(os_vm_address_t address, os_vm_size_t length, os_vm_prot_t prot) { if (mprotect(address, length, prot) == -1) { - perror("mprotect"); + perror("mprotect"); } } -/* FIXME: Now that FOO_END, rather than FOO_SIZE, is the fundamental - * description of a space, we could probably punt this and just do - * (FOO_START <= x && x < FOO_END) everywhere it's called. */ -static boolean -in_range_p(os_vm_address_t a, lispobj sbeg, size_t slen) -{ - char* beg = (char*)((long)sbeg); - char* end = (char*)((long)sbeg) + slen; - char* adr = (char*)a; - return (adr >= beg && adr < end); -} - boolean is_valid_lisp_addr(os_vm_address_t addr) { struct thread *th; - if(in_range_p(addr, READ_ONLY_SPACE_START, READ_ONLY_SPACE_SIZE) || - in_range_p(addr, STATIC_SPACE_START , STATIC_SPACE_SIZE) || - in_range_p(addr, DYNAMIC_SPACE_START , DYNAMIC_SPACE_SIZE)) - return 1; + size_t ad = (size_t) addr; + + if ((READ_ONLY_SPACE_START <= ad && ad < READ_ONLY_SPACE_END) + || (STATIC_SPACE_START <= ad && ad < STATIC_SPACE_END) +#if defined LISP_FEATURE_GENCGC + || (DYNAMIC_SPACE_START <= ad && ad < DYNAMIC_SPACE_END) +#else + || (DYNAMIC_0_SPACE_START <= ad && ad < DYNAMIC_0_SPACE_END) + || (DYNAMIC_1_SPACE_START <= ad && ad < DYNAMIC_1_SPACE_END) +#endif + ) + return 1; for_each_thread(th) { - if((th->control_stack_start <= addr) && (addr < th->control_stack_end)) - return 1; - if(in_range_p(addr, th->binding_stack_start, BINDING_STACK_SIZE)) - return 1; + if((size_t)(th->control_stack_start) <= ad + && ad < (size_t)(th->control_stack_end)) + return 1; + if((size_t)(th->binding_stack_start) <= ad + && ad < (size_t)(th->binding_stack_start + BINDING_STACK_SIZE)) + return 1; } return 0; } @@ -218,14 +219,18 @@ is_valid_lisp_addr(os_vm_address_t addr) * The GENCGC needs to be hooked into whatever signal is raised for * page fault on this OS. */ -void +static 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*)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 (!gencgc_handle_wp_violation(fault_addr)) + 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 @@ -234,66 +239,54 @@ static void sigsegv_handler(int signal, siginfo_t *info, void* void_context) { os_context_t *context = arch_os_get_context(&void_context); - os_vm_address_t addr; - - addr = arch_get_bad_addr(signal,info,context); - if (addr != NULL && - *os_context_register_addr(context,reg_ALLOC) & (1L<<63)){ - - /* Alpha stuff: This is the end of a pseudo-atomic section - * during which a signal was received. We must deal with the - * pending interrupt (see also interrupt.c, - * ../code/interrupt.lisp) - */ - /* (how we got here: when interrupting, we set bit 63 in - * reg_Alloc. At the end of the atomic section we tried to - * write to reg_ALLOC, got a SIGSEGV (there's nothing mapped - * there) so ended up here - */ - *os_context_register_addr(context,reg_ALLOC) -= (1L<<63); - interrupt_handle_pending(context); - } else { - if(!interrupt_maybe_gc(signal, info, context)) - if(!handle_control_stack_guard_triggered(context,addr)) - interrupt_handle_now(signal, info, context); + os_vm_address_t addr = arch_get_bad_addr(signal,info,context); + +#ifdef LISP_FEATURE_ALPHA + /* Alpha stuff: This is the end of a pseudo-atomic section during + which a signal was received. We must deal with the pending + interrupt (see also interrupt.c, ../code/interrupt.lisp) + + (how we got here: when interrupting, we set bit 63 in reg_ALLOC. + At the end of the atomic section we tried to write to reg_ALLOC, + got a SIGSEGV (there's nothing mapped there) so ended up here. */ + if (addr != NULL && + *os_context_register_addr(context,reg_ALLOC) & (1L<<63)){ + *os_context_register_addr(context,reg_ALLOC) -= (1L<<63); + interrupt_handle_pending(context); + return; } -} #endif -void sigcont_handler(int signal, siginfo_t *info, void *void_context) -{ - /* We need to have a handler installed for this signal so that - * sigwaitinfo() for it actually returns at the appropriate time. - * We don't need it to actually do anything. This mkes it - * possibly the only signal handler in SBCL that doesn't depend on - * not-guaranteed-by-POSIX features - */ + if(!interrupt_maybe_gc(signal, info, context)) + if(!handle_guard_page_triggered(context,addr)) + interrupt_handle_now(signal, info, context); } +#endif void os_install_interrupt_handlers(void) { undoably_install_low_level_interrupt_handler(SIG_MEMORY_FAULT, - sigsegv_handler); + sigsegv_handler); #ifdef LISP_FEATURE_SB_THREAD undoably_install_low_level_interrupt_handler(SIG_INTERRUPT_THREAD, - interrupt_thread_handler); + interrupt_thread_handler); undoably_install_low_level_interrupt_handler(SIG_STOP_FOR_GC, - 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); + sig_stop_for_gc_handler); #endif } -#ifdef LISP_FEATURE_SB_FUTEX -int futex_wait(int *lock_word, int oldval) { +#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; } -int futex_wake(int *lock_word, int n){ + +int +futex_wake(int *lock_word, int n) +{ return sys_futex(lock_word,FUTEX_WAKE,n,0); } #endif