#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 <sys/socket.h>
#include <sys/utsname.h>
#include "thread.h"
size_t os_vm_page_size;
+#ifdef LISP_FEATURE_SB_THREAD
+#include <linux/unistd.h>
+#include <errno.h>
+
+/* values taken from the kernel's linux/futex.h. This header file
+ doesn't exist in userspace, which is our excuse for not grovelling
+ them automatically */
+#define FUTEX_WAIT (0)
+#define FUTEX_WAKE (1)
+#define FUTEX_FD (2)
+#define FUTEX_REQUEUE (3)
+
+#define __NR_sys_futex __NR_futex
+
+_syscall4(int,sys_futex,
+ int *, futex,
+ int, op,
+ int, val,
+ struct timespec *, rel);
+#endif
+
#include "gc.h"
\f
int linux_sparc_siginfo_bug = 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? */
- {
- struct utsname name;
- int major_version;
- int minor_version;
- char *p;
- uname(&name);
- 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);
- }
#ifdef LISP_FEATURE_SB_THREAD
- if ((major_version <2) || (major_version==2 && minor_version < 4)) {
- lose("linux kernel 2.4 required for thread-enabled SBCL");
- }
+ int *futex=0;
#endif
+ struct utsname name;
+ int major_version;
+ int minor_version;
+ char *p;
+ uname(&name);
+ 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);
+ }
+ if (!(major_version>2 || minor_version >= 4)) {
#ifdef LISP_FEATURE_SPARC
- if ((major_version <2) || (major_version==2 && minor_version < 4)) {
- 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
}
-
- os_vm_page_size = getpagesize();
- /* This could just as well be in arch_init(), but it's not. */
-#ifdef __i386__
- /* FIXME: This used to be here. However, I have just removed it
- with no apparent ill effects (it may be that earlier kernels
- started up a process with a different set of traps, or
- something?) Find out what this was meant to do, and reenable it
- or delete it if possible. -- CSR, 2002-07-15 */
- /* SET_FPU_CONTROL_WORD(0x1372|4|8|16|32); no interrupts */
+#ifdef LISP_FEATURE_SB_THREAD
+ futex_wait(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();
}
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);
+ os_vm_address_t actual;
- if (addr == MAP_FAILED) {
+ 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
}
}
\f
-/* 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))
+ 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))
+ if((size_t)(th->control_stack_start) <= ad
+ && ad < (size_t)(th->control_stack_end))
return 1;
- if(in_range_p(addr, th->binding_stack_start, BINDING_STACK_SIZE))
+ if((size_t)(th->binding_stack_start) <= ad
+ && ad < (size_t)(th->binding_stack_start + BINDING_STACK_SIZE))
return 1;
}
return 0;
* 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*)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
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;
+ 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)
- addr = arch_get_bad_addr(signal,info,context);
+ (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)){
-
- /* 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);
+ 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)
sigsegv_handler);
#ifdef LISP_FEATURE_SB_THREAD
undoably_install_low_level_interrupt_handler(SIG_INTERRUPT_THREAD,
- handle_rt_signal);
+ interrupt_thread_handler);
undoably_install_low_level_interrupt_handler(SIG_STOP_FOR_GC,
sig_stop_for_gc_handler);
#endif
- undoably_install_low_level_interrupt_handler(SIGCONT,
- sigcont_handler);
}
+#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)
+{
+ return sys_futex(lock_word,FUTEX_WAKE,n,0);
+}
+#endif
projects / sbcl.git / blobdiff