X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Finterrupt.h;h=07b4a2d1e7c40ecd03156a7d6e734654002d7833;hb=7f1e94ae961a198e00daf281eb1dc858e5b2dcc7;hp=6b8ba013246195568e6311e61d14577d22fcf2fc;hpb=79cc569a97e444389350ea3f5b1017374fe16bec;p=sbcl.git diff --git a/src/runtime/interrupt.h b/src/runtime/interrupt.h index 6b8ba01..07b4a2d 100644 --- a/src/runtime/interrupt.h +++ b/src/runtime/interrupt.h @@ -12,7 +12,8 @@ #if !defined(_INCLUDE_INTERRUPT_H_) #define _INCLUDE_INTERRUPT_H_ -#include +#include "runtime.h" +#include /* * This is a workaround for some slightly silly Linux/GNU Libc @@ -23,7 +24,12 @@ * stack by the kernel, so copying a libc-sized sigset_t into it will * overflow and cause other data on the stack to be corrupted */ /* FIXME: do not rely on NSIG being a multiple of 8 */ -#define REAL_SIGSET_SIZE_BYTES ((NSIG/8)) + +#ifdef LISP_FEATURE_WIN32 +# define REAL_SIGSET_SIZE_BYTES (4) +#else +# define REAL_SIGSET_SIZE_BYTES ((NSIG/8)) +#endif static inline void sigcopyset(sigset_t *new, sigset_t *old) @@ -31,44 +37,111 @@ sigcopyset(sigset_t *new, sigset_t *old) memcpy(new, old, REAL_SIGSET_SIZE_BYTES); } +extern void get_current_sigmask(sigset_t *sigset); + +/* Set all deferrable signals into *s. */ +extern void sigaddset_deferrable(sigset_t *s); +/* Set all blockable signals into *s. */ +extern void sigaddset_blockable(sigset_t *s); +/* Set all gc signals into *s. */ +extern void sigaddset_gc(sigset_t *s); + +extern sigset_t deferrable_sigset; +extern sigset_t blockable_sigset; +extern sigset_t gc_sigset; + +extern boolean deferrables_blocked_p(sigset_t *sigset); +extern boolean blockables_blocked_p(sigset_t *sigset); +extern boolean gc_signals_blocked_p(sigset_t *sigset); + +extern void check_deferrables_blocked_or_lose(sigset_t *sigset); +extern void check_blockables_blocked_or_lose(sigset_t *sigset); +extern void check_gc_signals_blocked_or_lose(sigset_t *sigset); + +extern void check_deferrables_unblocked_or_lose(sigset_t *sigset); +extern void check_blockables_unblocked_or_lose(sigset_t *sigset); +extern void check_gc_signals_unblocked_or_lose(sigset_t *sigset); + +extern void block_deferrable_signals(sigset_t *where, sigset_t *old); +extern void block_blockable_signals(sigset_t *where, sigset_t *old); +extern void block_gc_signals(sigset_t *where, sigset_t *old); + +extern void unblock_deferrable_signals(sigset_t *where, sigset_t *old); +extern void unblock_blockable_signals(sigset_t *where, sigset_t *old); +extern void unblock_gc_signals(sigset_t *where, sigset_t *old); + +extern void maybe_save_gc_mask_and_block_deferrables(sigset_t *sigset); + /* maximum signal nesting depth * - * Note: In CMU CL, this was 4096, but there was no explanation given, - * and it's hard to see why we'd need that many nested interrupts, so - * I've scaled it back (to 256) to see what happens. -- WHN 20000730 - - * Nothing happened, so let's creep it back a bit further -- dan 20030411 */ -#define MAX_INTERRUPTS 32 + * FIXME: In CMUCL this was 4096, and it was first scaled down to 256 + * and then 32, until finally Stumpwm broke: it is possible to receive + * interrupts in sufficiently quick succession that handler nesting + * can become preposterous. Scaling this back up to 1024 is a bandaid: + * for a real fix we should consider the following things: + * + * We should almost certainly always use + * arrange_return_to_lisp_function, though it needs to be thought + * about arguments, and it needs to be able to pass a frobbable + * context to the callee... + * + * There are cases when nesting handlers is exactly what we want: + * eg. SIGINT. + * + * There are cases when we probably want to drop duplicate signals + * on the floor if they arrive before the previous one has been handled. + * Eg. SIGPROF. + * + * There are cases when we probably want to handle duplicate signals + * after the previous handler has returned, not before. Eg. SIGALARM. + * + * -- NS 2007-01-29 + */ +#define MAX_INTERRUPTS 1024 union interrupt_handler { lispobj lisp; - void (*c)(int, siginfo_t*, void*); + void (*c)(int, siginfo_t*, os_context_t*); }; -struct interrupt_data { - void (*interrupt_low_level_handlers[NSIG]) (int, siginfo_t*, void*) ; - union interrupt_handler interrupt_handlers[NSIG]; +extern union interrupt_handler interrupt_handlers[NSIG]; +struct interrupt_data { /* signal information for pending signal. pending_signal=0 when there * is no pending signal. */ - void (*pending_handler) (int, siginfo_t*, void*) ; - int pending_signal ; + void (*pending_handler) (int, siginfo_t*, os_context_t*) ; + int pending_signal; siginfo_t pending_info; sigset_t pending_mask; + /* Was pending mask saved for gc request? True if GC_PENDING or + * SIG_STOP_FOR_GC happened in a pseudo atomic with GC_INHIBIT NIL + * and with no pending handler. Both deferrable interrupt handlers + * and gc are careful not to clobber each other's pending_mask. */ + boolean gc_blocked_deferrables; +#ifdef GENCGC_IS_PRECISE + /* On PPC when consing wants to turn to alloc(), it does so via a + * trap. When alloc() wants to save the sigmask it consults + * allocation_trap_context. It does not look up the most recent + * context, because alloc() can be called from other places + * too. */ + os_context_t *allocation_trap_context; +#endif }; +typedef lispobj (*call_into_lisp_lookalike)( + lispobj fun, lispobj *args, int nargs); -extern void interrupt_init(); +extern boolean interrupt_handler_pending_p(void); +extern void interrupt_init(void); extern void fake_foreign_function_call(os_context_t* context); extern void undo_fake_foreign_function_call(os_context_t* context); +extern void arrange_return_to_c_function( + os_context_t *, call_into_lisp_lookalike, lispobj); extern void arrange_return_to_lisp_function(os_context_t *, lispobj); -extern void interrupt_handle_now(int, siginfo_t*, void*); +extern void interrupt_handle_now(int, siginfo_t*, os_context_t*); extern void interrupt_handle_pending(os_context_t*); -extern void interrupt_internal_error(int, siginfo_t*, os_context_t*, - boolean continuable); -extern boolean handle_guard_page_triggered(os_context_t *,void *); -extern boolean interrupt_maybe_gc(int, siginfo_t*, void*); -extern boolean interrupt_maybe_gc_int(int, siginfo_t *, void *); +extern void interrupt_internal_error(os_context_t*, boolean continuable); +extern boolean handle_guard_page_triggered(os_context_t *,os_vm_address_t); extern boolean maybe_defer_handler(void *handler, struct interrupt_data *data, int signal, siginfo_t *info, os_context_t *context); @@ -78,22 +151,18 @@ extern void do_pending_interrupt(void); #endif #ifdef LISP_FEATURE_SB_THREAD -extern void interrupt_thread_handler(int, siginfo_t*, void*); -extern void sig_stop_for_gc_handler(int, siginfo_t*, void*); +extern void sig_stop_for_gc_handler(int, siginfo_t*, os_context_t*); #endif -extern void undoably_install_low_level_interrupt_handler (int signal, - void - handler(int, - siginfo_t*, - void*)); -extern unsigned long install_handler(int signal, - void handler(int, siginfo_t*, void*)); +typedef void (*interrupt_handler_t)(int, siginfo_t *, os_context_t *); +extern void undoably_install_low_level_interrupt_handler ( + int signal, + interrupt_handler_t handler); +extern uword_t install_handler(int signal, + interrupt_handler_t handler, + int synchronous); extern union interrupt_handler interrupt_handlers[NSIG]; -/* Set all blockable signals into *s. */ -void sigaddset_blockable(sigset_t *s); - /* The void* casting here avoids having to mess with the various types * of function argument lists possible for signal handlers: * SA_SIGACTION handlers have one signature, and the default old-style @@ -101,5 +170,22 @@ void sigaddset_blockable(sigset_t *s); * "cleanly" with union types is in fact a mess. */ #define ARE_SAME_HANDLER(x, y) ((void*)(x) == (void*)(y)) +extern void handle_trap(os_context_t *context, int trap); + +#ifndef LISP_FEATURE_WIN32 +extern void lisp_memory_fault_error(os_context_t *context, + os_vm_address_t addr); #endif +#include "thread.h" + +extern void lower_thread_control_stack_guard_page(struct thread *th); +extern void reset_thread_control_stack_guard_page(struct thread *th); + +#if defined(LISP_FEATURE_SB_SAFEPOINT) && !defined(LISP_FEATURE_WIN32) +# ifdef LISP_FEATURE_SB_THRUPTION +void thruption_handler(int signal, siginfo_t *info, os_context_t *context); +# endif +#endif + +#endif