src/runtime/interrupt.c

   1 /*
   2  * interrupt-handling magic
   3  */
   4
   5 /*
   6  * This software is part of the SBCL system. See the README file for
   7  * more information.
   8  *
   9  * This software is derived from the CMU CL system, which was
  10  * written at Carnegie Mellon University and released into the
  11  * public domain. The software is in the public domain and is
  12  * provided with absolutely no warranty. See the COPYING and CREDITS
  13  * files for more information.
  14  */
  15
  16
  17 /* As far as I can tell, what's going on here is:
  18  *
  19  * In the case of most signals, when Lisp asks us to handle the
  20  * signal, the outermost handler (the one actually passed to UNIX) is
  21  * either interrupt_handle_now(..) or maybe_now_maybe_later(..).
  22  * In that case, the Lisp-level handler is stored in interrupt_handlers[..]
  23  * and interrupt_low_level_handlers[..] is cleared.
  24  *
  25  * However, some signals need special handling, e.g.
  26  *
  27  * o the SIGSEGV (for e.g. Linux) or SIGBUS (for e.g. FreeBSD) used by the
  28  *   garbage collector to detect violations of write protection,
  29  *   because some cases of such signals (e.g. GC-related violations of
  30  *   write protection) are handled at C level and never passed on to
  31  *   Lisp. For such signals, we still store any Lisp-level handler
  32  *   in interrupt_handlers[..], but for the outermost handle we use
  33  *   the value from interrupt_low_level_handlers[..], instead of the
  34  *   ordinary interrupt_handle_now(..) or interrupt_handle_later(..).
  35  *
  36  * o the SIGTRAP (Linux/Alpha) which Lisp code uses to handle breakpoints,
  37  *   pseudo-atomic sections, and some classes of error (e.g. "function
  38  *   not defined").  This never goes anywhere near the Lisp handlers at all.
  39  *   See runtime/alpha-arch.c and code/signal.lisp
  40  *
  41  * - WHN 20000728, dan 20010128 */
  42
  43 #include "sbcl.h"
  44
  45 #include <stdio.h>
  46 #include <stdlib.h>
  47 #include <string.h>
  48 #include <signal.h>
  49 #include <sys/types.h>
  50 #ifndef LISP_FEATURE_WIN32
  51 #include <sys/wait.h>
  52 #endif
  53 #include <errno.h>
  54
  55 #include "runtime.h"
  56 #include "arch.h"
  57 #include "os.h"
  58 #include "interrupt.h"
  59 #include "globals.h"
  60 #include "lispregs.h"
  61 #include "validate.h"
  62 #include "gc.h"
  63 #include "alloc.h"
  64 #include "dynbind.h"
  65 #include "interr.h"
  66 #include "pseudo-atomic.h"
  67 #include "genesis/fdefn.h"
  68 #include "genesis/simple-fun.h"
  69 #include "genesis/cons.h"
  70
  71 static void run_deferred_handler(struct interrupt_data *data, void *v_context);
  72 #ifndef LISP_FEATURE_WIN32
  73 static void store_signal_data_for_later (struct interrupt_data *data,
  74                                          void *handler, int signal,
  75                                          siginfo_t *info,
  76                                          os_context_t *context);
  77
  78 static void
  79 fill_current_sigmask(sigset_t *sigset)
  80 {
  81     /* Get the current sigmask, by blocking the empty set. */
  82     sigset_t empty;
  83     sigemptyset(&empty);
  84     thread_sigmask(SIG_BLOCK, &empty, sigset);
  85 }
  86
  87 void
  88 sigaddset_deferrable(sigset_t *s)
  89 {
  90     sigaddset(s, SIGHUP);
  91     sigaddset(s, SIGINT);
  92     sigaddset(s, SIGTERM);
  93     sigaddset(s, SIGQUIT);
  94     sigaddset(s, SIGPIPE);
  95     sigaddset(s, SIGALRM);
  96     sigaddset(s, SIGURG);
  97     sigaddset(s, SIGTSTP);
  98     sigaddset(s, SIGCHLD);
  99     sigaddset(s, SIGIO);
 100 #ifndef LISP_FEATURE_HPUX
 101     sigaddset(s, SIGXCPU);
 102     sigaddset(s, SIGXFSZ);
 103 #endif
 104     sigaddset(s, SIGVTALRM);
 105     sigaddset(s, SIGPROF);
 106     sigaddset(s, SIGWINCH);
 107
 108 #if !((defined(LISP_FEATURE_DARWIN) || defined(LISP_FEATURE_FREEBSD)) && defined(LISP_FEATURE_SB_THREAD))
 109     sigaddset(s, SIGUSR1);
 110     sigaddset(s, SIGUSR2);
 111 #endif
 112
 113 #ifdef LISP_FEATURE_SB_THREAD
 114     sigaddset(s, SIG_INTERRUPT_THREAD);
 115 #endif
 116 }
 117
 118 void
 119 sigaddset_blockable(sigset_t *s)
 120 {
 121     sigaddset_deferrable(s);
 122 #ifdef LISP_FEATURE_SB_THREAD
 123 #ifdef SIG_RESUME_FROM_GC
 124     sigaddset(s, SIG_RESUME_FROM_GC);
 125 #endif
 126     sigaddset(s, SIG_STOP_FOR_GC);
 127 #endif
 128 }
 129
 130 /* initialized in interrupt_init */
 131 sigset_t deferrable_sigset;
 132 sigset_t blockable_sigset;
 133 #endif
 134
 135 void
 136 check_deferrables_blocked_in_sigset_or_lose(sigset_t *sigset)
 137 {
 138 #if !defined(LISP_FEATURE_WIN32)
 139     int i;
 140     for(i = 1; i < NSIG; i++) {
 141         if (sigismember(&deferrable_sigset, i) && !sigismember(sigset, i))
 142             lose("deferrable signal %d not blocked\n",i);
 143     }
 144 #endif
 145 }
 146
 147 void
 148 check_deferrables_blocked_or_lose(void)
 149 {
 150 #if !defined(LISP_FEATURE_WIN32)
 151     sigset_t current;
 152     fill_current_sigmask(&current);
 153     check_deferrables_blocked_in_sigset_or_lose(&current);
 154 #endif
 155 }
 156
 157 void
 158 check_blockables_blocked_or_lose(void)
 159 {
 160 #if !defined(LISP_FEATURE_WIN32)
 161     /* Get the current sigmask, by blocking the empty set. */
 162     sigset_t empty,current;
 163     int i;
 164     sigemptyset(&empty);
 165     thread_sigmask(SIG_BLOCK, &empty, &current);
 166     for(i = 1; i < NSIG; i++) {
 167         if (sigismember(&blockable_sigset, i) && !sigismember(&current, i))
 168             lose("blockable signal %d not blocked\n",i);
 169     }
 170 #endif
 171 }
 172
 173 void
 174 unblock_gc_signals(void)
 175 {
 176 #ifdef LISP_FEATURE_SB_THREAD
 177     sigset_t new;
 178     sigemptyset(&new);
 179 #if defined(SIG_RESUME_FROM_GC)
 180     sigaddset(&new,SIG_RESUME_FROM_GC);
 181 #endif
 182     sigaddset(&new,SIG_STOP_FOR_GC);
 183     thread_sigmask(SIG_UNBLOCK,&new,0);
 184 #endif
 185 }
 186
 187 inline static void
 188 check_interrupts_enabled_or_lose(os_context_t *context)
 189 {
 190     struct thread *thread=arch_os_get_current_thread();
 191     if (SymbolValue(INTERRUPTS_ENABLED,thread) == NIL)
 192         lose("interrupts not enabled\n");
 193     if (arch_pseudo_atomic_atomic(context))
 194         lose ("in pseudo atomic section\n");
 195 }
 196
 197 /* When we catch an internal error, should we pass it back to Lisp to
 198  * be handled in a high-level way? (Early in cold init, the answer is
 199  * 'no', because Lisp is still too brain-dead to handle anything.
 200  * After sufficient initialization has been completed, the answer
 201  * becomes 'yes'.) */
 202 boolean internal_errors_enabled = 0;
 203
 204 #ifndef LISP_FEATURE_WIN32
 205 static void (*interrupt_low_level_handlers[NSIG]) (int, siginfo_t*, void*);
 206 #endif
 207 union interrupt_handler interrupt_handlers[NSIG];
 208
 209 /* At the toplevel repl we routinely call this function.  The signal
 210  * mask ought to be clear anyway most of the time, but may be non-zero
 211  * if we were interrupted e.g. while waiting for a queue.  */
 212
 213 void
 214 reset_signal_mask(void)
 215 {
 216 #ifndef LISP_FEATURE_WIN32
 217     sigset_t new;
 218     sigemptyset(&new);
 219     thread_sigmask(SIG_SETMASK,&new,0);
 220 #endif
 221 }
 222
 223 void
 224 block_blockable_signals(void)
 225 {
 226 #ifndef LISP_FEATURE_WIN32
 227     thread_sigmask(SIG_BLOCK, &blockable_sigset, 0);
 228 #endif
 229 }
 230
 231 void
 232 block_deferrable_signals(void)
 233 {
 234 #ifndef LISP_FEATURE_WIN32
 235     thread_sigmask(SIG_BLOCK, &deferrable_sigset, 0);
 236 #endif
 237 }
 238
 239 \f
 240 /*
 241  * utility routines used by various signal handlers
 242  */
 243
 244 static void
 245 build_fake_control_stack_frames(struct thread *th,os_context_t *context)
 246 {
 247 #ifndef LISP_FEATURE_C_STACK_IS_CONTROL_STACK
 248
 249     lispobj oldcont;
 250
 251     /* Build a fake stack frame or frames */
 252
 253     current_control_frame_pointer =
 254         (lispobj *)(unsigned long)
 255             (*os_context_register_addr(context, reg_CSP));
 256     if ((lispobj *)(unsigned long)
 257             (*os_context_register_addr(context, reg_CFP))
 258         == current_control_frame_pointer) {
 259         /* There is a small window during call where the callee's
 260          * frame isn't built yet. */
 261         if (lowtag_of(*os_context_register_addr(context, reg_CODE))
 262             == FUN_POINTER_LOWTAG) {
 263             /* We have called, but not built the new frame, so
 264              * build it for them. */
 265             current_control_frame_pointer[0] =
 266                 *os_context_register_addr(context, reg_OCFP);
 267             current_control_frame_pointer[1] =
 268                 *os_context_register_addr(context, reg_LRA);
 269             current_control_frame_pointer += 8;
 270             /* Build our frame on top of it. */
 271             oldcont = (lispobj)(*os_context_register_addr(context, reg_CFP));
 272         }
 273         else {
 274             /* We haven't yet called, build our frame as if the
 275              * partial frame wasn't there. */
 276             oldcont = (lispobj)(*os_context_register_addr(context, reg_OCFP));
 277         }
 278     }
 279     /* We can't tell whether we are still in the caller if it had to
 280      * allocate a stack frame due to stack arguments. */
 281     /* This observation provoked some past CMUCL maintainer to ask
 282      * "Can anything strange happen during return?" */
 283     else {
 284         /* normal case */
 285         oldcont = (lispobj)(*os_context_register_addr(context, reg_CFP));
 286     }
 287
 288     current_control_stack_pointer = current_control_frame_pointer + 8;
 289
 290     current_control_frame_pointer[0] = oldcont;
 291     current_control_frame_pointer[1] = NIL;
 292     current_control_frame_pointer[2] =
 293         (lispobj)(*os_context_register_addr(context, reg_CODE));
 294 #endif
 295 }
 296
 297 /* Stores the context for gc to scavange and builds fake stack
 298  * frames. */
 299 void
 300 fake_foreign_function_call(os_context_t *context)
 301 {
 302     int context_index;
 303     struct thread *thread=arch_os_get_current_thread();
 304
 305     /* context_index incrementing must not be interrupted */
 306     check_blockables_blocked_or_lose();
 307
 308     /* Get current Lisp state from context. */
 309 #ifdef reg_ALLOC
 310     dynamic_space_free_pointer =
 311         (lispobj *)(unsigned long)
 312             (*os_context_register_addr(context, reg_ALLOC));
 313 /*     fprintf(stderr,"dynamic_space_free_pointer: %p\n", */
 314 /*             dynamic_space_free_pointer); */
 315 #if defined(LISP_FEATURE_ALPHA) || defined(LISP_FEATURE_MIPS)
 316     if ((long)dynamic_space_free_pointer & 1) {
 317         lose("dead in fake_foreign_function_call, context = %x\n", context);
 318     }
 319 #endif
 320 /* why doesnt PPC and SPARC do something like this: */
 321 #if defined(LISP_FEATURE_HPPA)
 322     if ((long)dynamic_space_free_pointer & 4) {
 323         lose("dead in fake_foreign_function_call, context = %x, d_s_f_p = %x\n", context, dynamic_space_free_pointer);
 324     }
 325 #endif
 326 #endif
 327 #ifdef reg_BSP
 328     current_binding_stack_pointer =
 329         (lispobj *)(unsigned long)
 330             (*os_context_register_addr(context, reg_BSP));
 331 #endif
 332
 333     build_fake_control_stack_frames(thread,context);
 334
 335     /* Do dynamic binding of the active interrupt context index
 336      * and save the context in the context array. */
 337     context_index =
 338         fixnum_value(SymbolValue(FREE_INTERRUPT_CONTEXT_INDEX,thread));
 339
 340     if (context_index >= MAX_INTERRUPTS) {
 341         lose("maximum interrupt nesting depth (%d) exceeded\n", MAX_INTERRUPTS);
 342     }
 343
 344     bind_variable(FREE_INTERRUPT_CONTEXT_INDEX,
 345                   make_fixnum(context_index + 1),thread);
 346
 347     thread->interrupt_contexts[context_index] = context;
 348
 349 #ifdef FOREIGN_FUNCTION_CALL_FLAG
 350     foreign_function_call_active = 1;
 351 #endif
 352 }
 353
 354 /* blocks all blockable signals.  If you are calling from a signal handler,
 355  * the usual signal mask will be restored from the context when the handler
 356  * finishes.  Otherwise, be careful */
 357 void
 358 undo_fake_foreign_function_call(os_context_t *context)
 359 {
 360     struct thread *thread=arch_os_get_current_thread();
 361     /* Block all blockable signals. */
 362     block_blockable_signals();
 363
 364 #ifdef FOREIGN_FUNCTION_CALL_FLAG
 365     foreign_function_call_active = 0;
 366 #endif
 367
 368     /* Undo dynamic binding of FREE_INTERRUPT_CONTEXT_INDEX */
 369     unbind(thread);
 370
 371 #ifdef reg_ALLOC
 372     /* Put the dynamic space free pointer back into the context. */
 373     *os_context_register_addr(context, reg_ALLOC) =
 374         (unsigned long) dynamic_space_free_pointer
 375         | (*os_context_register_addr(context, reg_ALLOC)
 376            & LOWTAG_MASK);
 377     /*
 378       ((unsigned long)(*os_context_register_addr(context, reg_ALLOC))
 379       & ~LOWTAG_MASK)
 380       | ((unsigned long) dynamic_space_free_pointer & LOWTAG_MASK);
 381     */
 382 #endif
 383 }
 384
 385 /* a handler for the signal caused by execution of a trap opcode
 386  * signalling an internal error */
 387 void
 388 interrupt_internal_error(os_context_t *context, boolean continuable)
 389 {
 390     lispobj context_sap;
 391
 392     fake_foreign_function_call(context);
 393
 394     if (!internal_errors_enabled) {
 395         describe_internal_error(context);
 396         /* There's no good way to recover from an internal error
 397          * before the Lisp error handling mechanism is set up. */
 398         lose("internal error too early in init, can't recover\n");
 399     }
 400
 401     /* Allocate the SAP object while the interrupts are still
 402      * disabled. */
 403     context_sap = alloc_sap(context);
 404
 405 #ifndef LISP_FEATURE_WIN32
 406     thread_sigmask(SIG_SETMASK, os_context_sigmask_addr(context), 0);
 407 #endif
 408
 409     SHOW("in interrupt_internal_error");
 410 #ifdef QSHOW
 411     /* Display some rudimentary debugging information about the
 412      * error, so that even if the Lisp error handler gets badly
 413      * confused, we have a chance to determine what's going on. */
 414     describe_internal_error(context);
 415 #endif
 416     funcall2(StaticSymbolFunction(INTERNAL_ERROR), context_sap,
 417              continuable ? T : NIL);
 418
 419     undo_fake_foreign_function_call(context); /* blocks signals again */
 420     if (continuable)
 421         arch_skip_instruction(context);
 422 }
 423
 424 void
 425 interrupt_handle_pending(os_context_t *context)
 426 {
 427     /* There are three ways we can get here. First, if an interrupt
 428      * occurs within pseudo-atomic, it will be deferred, and we'll
 429      * trap to here at the end of the pseudo-atomic block. Second, if
 430      * the GC (in alloc()) decides that a GC is required, it will set
 431      * *GC-PENDING* and pseudo-atomic-interrupted if not *GC-INHIBIT*,
 432      * and alloc() is always called from within pseudo-atomic, and
 433      * thus we end up here again. Third, when calling GC-ON or at the
 434      * end of a WITHOUT-GCING, MAYBE-HANDLE-PENDING-GC will trap to
 435      * here if there is a pending GC. Fourth, ahem, at the end of
 436      * WITHOUT-INTERRUPTS (bar complications with nesting). */
 437
 438     /* Win32 only needs to handle the GC cases (for now?) */
 439
 440     struct thread *thread;
 441
 442     if (arch_pseudo_atomic_atomic(context)) {
 443         lose("Handling pending interrupt in pseduo atomic.");
 444     }
 445
 446     thread = arch_os_get_current_thread();
 447
 448     FSHOW_SIGNAL((stderr, "/entering interrupt_handle_pending\n"));
 449
 450     check_blockables_blocked_or_lose();
 451
 452     /* If pseudo_atomic_interrupted is set then the interrupt is going
 453      * to be handled now, ergo it's safe to clear it. */
 454     arch_clear_pseudo_atomic_interrupted(context);
 455
 456     if (SymbolValue(GC_INHIBIT,thread)==NIL) {
 457 #ifdef LISP_FEATURE_SB_THREAD
 458         if (SymbolValue(STOP_FOR_GC_PENDING,thread) != NIL) {
 459             /* STOP_FOR_GC_PENDING and GC_PENDING are cleared by
 460              * the signal handler if it actually stops us. */
 461             sig_stop_for_gc_handler(SIG_STOP_FOR_GC,NULL,context);
 462         } else
 463 #endif
 464         if (SymbolValue(GC_PENDING,thread) != NIL) {
 465             /* GC_PENDING is cleared in SUB-GC, or if another thread
 466              * is doing a gc already we will get a SIG_STOP_FOR_GC and
 467              * that will clear it. */
 468             maybe_gc(context);
 469         }
 470         check_blockables_blocked_or_lose();
 471     }
 472
 473 #ifndef LISP_FEATURE_WIN32
 474     /* we may be here only to do the gc stuff, if interrupts are
 475      * enabled run the pending handler */
 476     if (SymbolValue(INTERRUPTS_ENABLED,thread) != NIL) {
 477         struct interrupt_data *data = thread->interrupt_data;
 478
 479         /* There may be no pending handler, because it was only a gc
 480          * that had to be executed or because pseudo atomic triggered
 481          * twice for a single interrupt. For the interested reader,
 482          * that may happen if an interrupt hits after the interrupted
 483          * flag is cleared but before pseudo-atomic is set and a
 484          * pseudo atomic is interrupted in that interrupt. */
 485         if (data->pending_handler) {
 486
 487             /* If we're here as the result of a pseudo-atomic as opposed
 488              * to WITHOUT-INTERRUPTS, then INTERRUPT_PENDING is already
 489              * NIL, because maybe_defer_handler sets
 490              * PSEUDO_ATOMIC_INTERRUPTED only if interrupts are enabled.*/
 491             SetSymbolValue(INTERRUPT_PENDING, NIL, thread);
 492
 493             /* restore the saved signal mask from the original signal (the
 494              * one that interrupted us during the critical section) into the
 495              * os_context for the signal we're currently in the handler for.
 496              * This should ensure that when we return from the handler the
 497              * blocked signals are unblocked */
 498             sigcopyset(os_context_sigmask_addr(context), &data->pending_mask);
 499
 500             sigemptyset(&data->pending_mask);
 501             /* This will break on sparc linux: the deferred handler really wants
 502              * to be called with a void_context */
 503             run_deferred_handler(data,(void *)context);
 504         }
 505     }
 506 #endif
 507 }
 508 \f
 509 /*
 510  * the two main signal handlers:
 511  *   interrupt_handle_now(..)
 512  *   maybe_now_maybe_later(..)
 513  *
 514  * to which we have added interrupt_handle_now_handler(..).  Why?
 515  * Well, mostly because the SPARC/Linux platform doesn't quite do
 516  * signals the way we want them done.  The third argument in the
 517  * handler isn't filled in by the kernel properly, so we fix it up
 518  * ourselves in the arch_os_get_context(..) function; however, we only
 519  * want to do this when we first hit the handler, and not when
 520  * interrupt_handle_now(..) is being called from some other handler
 521  * (when the fixup will already have been done). -- CSR, 2002-07-23
 522  */
 523
 524 void
 525 interrupt_handle_now(int signal, siginfo_t *info, os_context_t *context)
 526 {
 527 #ifdef FOREIGN_FUNCTION_CALL_FLAG
 528     boolean were_in_lisp;
 529 #endif
 530     union interrupt_handler handler;
 531
 532     check_blockables_blocked_or_lose();
 533
 534 #ifndef LISP_FEATURE_WIN32
 535     if (sigismember(&deferrable_sigset,signal))
 536         check_interrupts_enabled_or_lose(context);
 537 #endif
 538
 539 #if defined(LISP_FEATURE_LINUX) || defined(RESTORE_FP_CONTROL_FROM_CONTEXT)
 540     /* Under Linux on some architectures, we appear to have to restore
 541        the FPU control word from the context, as after the signal is
 542        delivered we appear to have a null FPU control word. */
 543     os_restore_fp_control(context);
 544 #endif
 545
 546     handler = interrupt_handlers[signal];
 547
 548     if (ARE_SAME_HANDLER(handler.c, SIG_IGN)) {
 549         return;
 550     }
 551
 552 #ifdef FOREIGN_FUNCTION_CALL_FLAG
 553     were_in_lisp = !foreign_function_call_active;
 554     if (were_in_lisp)
 555 #endif
 556     {
 557         fake_foreign_function_call(context);
 558     }
 559
 560     FSHOW_SIGNAL((stderr,
 561                   "/entering interrupt_handle_now(%d, info, context)\n",
 562                   signal));
 563
 564     if (ARE_SAME_HANDLER(handler.c, SIG_DFL)) {
 565
 566         /* This can happen if someone tries to ignore or default one
 567          * of the signals we need for runtime support, and the runtime
 568          * support decides to pass on it. */
 569         lose("no handler for signal %d in interrupt_handle_now(..)\n", signal);
 570
 571     } else if (lowtag_of(handler.lisp) == FUN_POINTER_LOWTAG) {
 572         /* Once we've decided what to do about contexts in a
 573          * return-elsewhere world (the original context will no longer
 574          * be available; should we copy it or was nobody using it anyway?)
 575          * then we should convert this to return-elsewhere */
 576
 577         /* CMUCL comment said "Allocate the SAPs while the interrupts
 578          * are still disabled.".  I (dan, 2003.08.21) assume this is
 579          * because we're not in pseudoatomic and allocation shouldn't
 580          * be interrupted.  In which case it's no longer an issue as
 581          * all our allocation from C now goes through a PA wrapper,
 582          * but still, doesn't hurt.
 583          *
 584          * Yeah, but non-gencgc platforms don't really wrap allocation
 585          * in PA. MG - 2005-08-29  */
 586
 587         lispobj info_sap,context_sap = alloc_sap(context);
 588         info_sap = alloc_sap(info);
 589         /* Leave deferrable signals blocked, the handler itself will
 590          * allow signals again when it sees fit. */
 591 #ifdef LISP_FEATURE_SB_THREAD
 592         {
 593             sigset_t unblock;
 594             sigemptyset(&unblock);
 595             sigaddset(&unblock, SIG_STOP_FOR_GC);
 596 #ifdef SIG_RESUME_FROM_GC
 597             sigaddset(&unblock, SIG_RESUME_FROM_GC);
 598 #endif
 599             thread_sigmask(SIG_UNBLOCK, &unblock, 0);
 600         }
 601 #endif
 602
 603         FSHOW_SIGNAL((stderr,"/calling Lisp-level handler\n"));
 604
 605         funcall3(handler.lisp,
 606                  make_fixnum(signal),
 607                  info_sap,
 608                  context_sap);
 609     } else {
 610
 611         FSHOW_SIGNAL((stderr,"/calling C-level handler\n"));
 612
 613 #ifndef LISP_FEATURE_WIN32
 614         /* Allow signals again. */
 615         thread_sigmask(SIG_SETMASK, os_context_sigmask_addr(context), 0);
 616 #endif
 617         (*handler.c)(signal, info, context);
 618     }
 619
 620 #ifdef FOREIGN_FUNCTION_CALL_FLAG
 621     if (were_in_lisp)
 622 #endif
 623     {
 624         undo_fake_foreign_function_call(context); /* block signals again */
 625     }
 626
 627     FSHOW_SIGNAL((stderr,
 628                   "/returning from interrupt_handle_now(%d, info, context)\n",
 629                   signal));
 630 }
 631
 632 /* This is called at the end of a critical section if the indications
 633  * are that some signal was deferred during the section.  Note that as
 634  * far as C or the kernel is concerned we dealt with the signal
 635  * already; we're just doing the Lisp-level processing now that we
 636  * put off then */
 637 static void
 638 run_deferred_handler(struct interrupt_data *data, void *v_context)
 639 {
 640     /* The pending_handler may enable interrupts and then another
 641      * interrupt may hit, overwrite interrupt_data, so reset the
 642      * pending handler before calling it. Trust the handler to finish
 643      * with the siginfo before enabling interrupts. */
 644     void (*pending_handler) (int, siginfo_t*, void*)=data->pending_handler;
 645
 646     data->pending_handler=0;
 647     (*pending_handler)(data->pending_signal,&(data->pending_info), v_context);
 648 }
 649
 650 #ifndef LISP_FEATURE_WIN32
 651 boolean
 652 maybe_defer_handler(void *handler, struct interrupt_data *data,
 653                     int signal, siginfo_t *info, os_context_t *context)
 654 {
 655     struct thread *thread=arch_os_get_current_thread();
 656
 657     check_blockables_blocked_or_lose();
 658
 659     if (SymbolValue(INTERRUPT_PENDING,thread) != NIL)
 660         lose("interrupt already pending\n");
 661     /* If interrupts are disabled then INTERRUPT_PENDING is set and
 662      * not PSEDUO_ATOMIC_INTERRUPTED. This is important for a pseudo
 663      * atomic section inside a WITHOUT-INTERRUPTS.
 664      */
 665     if (SymbolValue(INTERRUPTS_ENABLED,thread) == NIL) {
 666         store_signal_data_for_later(data,handler,signal,info,context);
 667         SetSymbolValue(INTERRUPT_PENDING, T,thread);
 668         FSHOW_SIGNAL((stderr,
 669                       "/maybe_defer_handler(%x,%d): deferred\n",
 670                       (unsigned int)handler,signal));
 671         return 1;
 672     }
 673     /* a slightly confusing test. arch_pseudo_atomic_atomic() doesn't
 674      * actually use its argument for anything on x86, so this branch
 675      * may succeed even when context is null (gencgc alloc()) */
 676     if (arch_pseudo_atomic_atomic(context)) {
 677         store_signal_data_for_later(data,handler,signal,info,context);
 678         arch_set_pseudo_atomic_interrupted(context);
 679         FSHOW_SIGNAL((stderr,
 680                       "/maybe_defer_handler(%x,%d): deferred(PA)\n",
 681                       (unsigned int)handler,signal));
 682         return 1;
 683     }
 684     FSHOW_SIGNAL((stderr,
 685                   "/maybe_defer_handler(%x,%d): not deferred\n",
 686                   (unsigned int)handler,signal));
 687     return 0;
 688 }
 689
 690 static void
 691 store_signal_data_for_later (struct interrupt_data *data, void *handler,
 692                              int signal,
 693                              siginfo_t *info, os_context_t *context)
 694 {
 695     if (data->pending_handler)
 696         lose("tried to overwrite pending interrupt handler %x with %x\n",
 697              data->pending_handler, handler);
 698     if (!handler)
 699         lose("tried to defer null interrupt handler\n");
 700     data->pending_handler = handler;
 701     data->pending_signal = signal;
 702     if(info)
 703         memcpy(&(data->pending_info), info, sizeof(siginfo_t));
 704
 705     FSHOW_SIGNAL((stderr, "/store_signal_data_for_later: signal: %d\n",
 706                   signal));
 707
 708     if(context) {
 709         /* the signal mask in the context (from before we were
 710          * interrupted) is copied to be restored when
 711          * run_deferred_handler happens.  Then the usually-blocked
 712          * signals are added to the mask in the context so that we are
 713          * running with blocked signals when the handler returns */
 714         sigcopyset(&(data->pending_mask),os_context_sigmask_addr(context));
 715         sigaddset_deferrable(os_context_sigmask_addr(context));
 716     }
 717 }
 718
 719 static void
 720 maybe_now_maybe_later(int signal, siginfo_t *info, void *void_context)
 721 {
 722     os_context_t *context = arch_os_get_context(&void_context);
 723     struct thread *thread = arch_os_get_current_thread();
 724     struct interrupt_data *data = thread->interrupt_data;
 725
 726 #if defined(LISP_FEATURE_LINUX) || defined(RESTORE_FP_CONTROL_FROM_CONTEXT)
 727     os_restore_fp_control(context);
 728 #endif
 729
 730     if(!maybe_defer_handler(interrupt_handle_now,data,signal,info,context))
 731         interrupt_handle_now(signal, info, context);
 732 }
 733
 734 static void
 735 low_level_interrupt_handle_now(int signal, siginfo_t *info,
 736                                os_context_t *context)
 737 {
 738     /* No FP control fixage needed, caller has done that. */
 739     check_blockables_blocked_or_lose();
 740     check_interrupts_enabled_or_lose(context);
 741     (*interrupt_low_level_handlers[signal])(signal, info, context);
 742     /* No Darwin context fixage needed, caller does that. */
 743 }
 744
 745 static void
 746 low_level_maybe_now_maybe_later(int signal, siginfo_t *info, void *void_context)
 747 {
 748     os_context_t *context = arch_os_get_context(&void_context);
 749     struct thread *thread = arch_os_get_current_thread();
 750     struct interrupt_data *data = thread->interrupt_data;
 751
 752 #if defined(LISP_FEATURE_LINUX) || defined(RESTORE_FP_CONTROL_FROM_CONTEXT)
 753     os_restore_fp_control(context);
 754 #endif
 755
 756     if(!maybe_defer_handler(low_level_interrupt_handle_now,data,
 757                             signal,info,context))
 758         low_level_interrupt_handle_now(signal, info, context);
 759 }
 760 #endif
 761
 762 #ifdef LISP_FEATURE_SB_THREAD
 763
 764 void
 765 sig_stop_for_gc_handler(int signal, siginfo_t *info, void *void_context)
 766 {
 767     os_context_t *context = arch_os_get_context(&void_context);
 768
 769     struct thread *thread=arch_os_get_current_thread();
 770     sigset_t ss;
 771
 772     /* Test for GC_INHIBIT _first_, else we'd trap on every single
 773      * pseudo atomic until gc is finally allowed. */
 774     if (SymbolValue(GC_INHIBIT,thread) != NIL) {
 775         SetSymbolValue(STOP_FOR_GC_PENDING,T,thread);
 776         FSHOW_SIGNAL((stderr, "sig_stop_for_gc deferred (*GC-INHIBIT*)\n"));
 777         return;
 778     } else if (arch_pseudo_atomic_atomic(context)) {
 779         SetSymbolValue(STOP_FOR_GC_PENDING,T,thread);
 780         arch_set_pseudo_atomic_interrupted(context);
 781         FSHOW_SIGNAL((stderr,"sig_stop_for_gc deferred (PA)\n"));
 782         return;
 783     }
 784
 785     /* Not PA and GC not inhibited -- we can stop now. */
 786
 787     /* need the context stored so it can have registers scavenged */
 788     fake_foreign_function_call(context);
 789
 790     /* Block everything. */
 791     sigfillset(&ss);
 792     thread_sigmask(SIG_BLOCK,&ss,0);
 793
 794     /* Not pending anymore. */
 795     SetSymbolValue(GC_PENDING,NIL,thread);
 796     SetSymbolValue(STOP_FOR_GC_PENDING,NIL,thread);
 797
 798     if(thread->state!=STATE_RUNNING) {
 799         lose("sig_stop_for_gc_handler: wrong thread state: %ld\n",
 800              fixnum_value(thread->state));
 801     }
 802
 803     thread->state=STATE_SUSPENDED;
 804     FSHOW_SIGNAL((stderr,"suspended\n"));
 805
 806     sigemptyset(&ss);
 807 #if defined(SIG_RESUME_FROM_GC)
 808     sigaddset(&ss,SIG_RESUME_FROM_GC);
 809 #else
 810     sigaddset(&ss,SIG_STOP_FOR_GC);
 811 #endif
 812
 813     /* It is possible to get SIGCONT (and probably other non-blockable
 814      * signals) here. */
 815 #ifdef SIG_RESUME_FROM_GC
 816     {
 817         int sigret;
 818         do { sigwait(&ss, &sigret); }
 819         while (sigret != SIG_RESUME_FROM_GC);
 820     }
 821 #else
 822     while (sigwaitinfo(&ss,0) != SIG_STOP_FOR_GC);
 823 #endif
 824
 825     FSHOW_SIGNAL((stderr,"resumed\n"));
 826     if(thread->state!=STATE_RUNNING) {
 827         lose("sig_stop_for_gc_handler: wrong thread state on wakeup: %ld\n",
 828              fixnum_value(thread->state));
 829     }
 830
 831     undo_fake_foreign_function_call(context);
 832 }
 833 #endif
 834
 835 void
 836 interrupt_handle_now_handler(int signal, siginfo_t *info, void *void_context)
 837 {
 838     os_context_t *context = arch_os_get_context(&void_context);
 839 #if defined(LISP_FEATURE_LINUX) || defined(RESTORE_FP_CONTROL_FROM_CONTEXT)
 840     os_restore_fp_control(context);
 841 #ifndef LISP_FEATURE_WIN32
 842     if ((signal == SIGILL) || (signal == SIGBUS)
 843 #ifndef LISP_FEATURE_LINUX
 844         || (signal == SIGEMT)
 845 #endif
 846         )
 847         corruption_warning_and_maybe_lose("Signal %d recieved", signal);
 848 #endif
 849 #endif
 850     interrupt_handle_now(signal, info, context);
 851 }
 852
 853 /* manipulate the signal context and stack such that when the handler
 854  * returns, it will call function instead of whatever it was doing
 855  * previously
 856  */
 857
 858 #if (defined(LISP_FEATURE_X86) || defined(LISP_FEATURE_X86_64))
 859 extern int *context_eflags_addr(os_context_t *context);
 860 #endif
 861
 862 extern lispobj call_into_lisp(lispobj fun, lispobj *args, int nargs);
 863 extern void post_signal_tramp(void);
 864 extern void call_into_lisp_tramp(void);
 865 void
 866 arrange_return_to_lisp_function(os_context_t *context, lispobj function)
 867 {
 868 #if !(defined(LISP_FEATURE_X86) || defined(LISP_FEATURE_X86_64))
 869     void * fun=native_pointer(function);
 870     void *code = &(((struct simple_fun *) fun)->code);
 871 #endif
 872
 873     /* Build a stack frame showing `interrupted' so that the
 874      * user's backtrace makes (as much) sense (as usual) */
 875
 876     /* FIXME: what about restoring fp state? */
 877     /* FIXME: what about restoring errno? */
 878 #ifdef LISP_FEATURE_X86
 879     /* Suppose the existence of some function that saved all
 880      * registers, called call_into_lisp, then restored GP registers and
 881      * returned.  It would look something like this:
 882
 883      push   ebp
 884      mov    ebp esp
 885      pushfl
 886      pushal
 887      push   $0
 888      push   $0
 889      pushl  {address of function to call}
 890      call   0x8058db0 <call_into_lisp>
 891      addl   $12,%esp
 892      popal
 893      popfl
 894      leave
 895      ret
 896
 897      * What we do here is set up the stack that call_into_lisp would
 898      * expect to see if it had been called by this code, and frob the
 899      * signal context so that signal return goes directly to call_into_lisp,
 900      * and when that function (and the lisp function it invoked) returns,
 901      * it returns to the second half of this imaginary function which
 902      * restores all registers and returns to C
 903
 904      * For this to work, the latter part of the imaginary function
 905      * must obviously exist in reality.  That would be post_signal_tramp
 906      */
 907
 908     u32 *sp=(u32 *)*os_context_register_addr(context,reg_ESP);
 909
 910 #if defined(LISP_FEATURE_DARWIN)
 911     u32 *register_save_area = (u32 *)os_validate(0, 0x40);
 912
 913     FSHOW_SIGNAL((stderr, "/arrange_return_to_lisp_function: preparing to go to function %x, sp: %x\n", function, sp));
 914     FSHOW_SIGNAL((stderr, "/arrange_return_to_lisp_function: context: %x, &context %x\n", context, &context));
 915
 916     /* 1. os_validate (malloc/mmap) register_save_block
 917      * 2. copy register state into register_save_block
 918      * 3. put a pointer to register_save_block in a register in the context
 919      * 4. set the context's EIP to point to a trampoline which:
 920      *    a. builds the fake stack frame from the block
 921      *    b. frees the block
 922      *    c. calls the function
 923      */
 924
 925     *register_save_area = *os_context_pc_addr(context);
 926     *(register_save_area + 1) = function;
 927     *(register_save_area + 2) = *os_context_register_addr(context,reg_EDI);
 928     *(register_save_area + 3) = *os_context_register_addr(context,reg_ESI);
 929     *(register_save_area + 4) = *os_context_register_addr(context,reg_EDX);
 930     *(register_save_area + 5) = *os_context_register_addr(context,reg_ECX);
 931     *(register_save_area + 6) = *os_context_register_addr(context,reg_EBX);
 932     *(register_save_area + 7) = *os_context_register_addr(context,reg_EAX);
 933     *(register_save_area + 8) = *context_eflags_addr(context);
 934
 935     *os_context_pc_addr(context) =
 936       (os_context_register_t) call_into_lisp_tramp;
 937     *os_context_register_addr(context,reg_ECX) =
 938       (os_context_register_t) register_save_area;
 939 #else
 940
 941     /* return address for call_into_lisp: */
 942     *(sp-15) = (u32)post_signal_tramp;
 943     *(sp-14) = function;        /* args for call_into_lisp : function*/
 944     *(sp-13) = 0;               /*                           arg array */
 945     *(sp-12) = 0;               /*                           no. args */
 946     /* this order matches that used in POPAD */
 947     *(sp-11)=*os_context_register_addr(context,reg_EDI);
 948     *(sp-10)=*os_context_register_addr(context,reg_ESI);
 949
 950     *(sp-9)=*os_context_register_addr(context,reg_ESP)-8;
 951     /* POPAD ignores the value of ESP:  */
 952     *(sp-8)=0;
 953     *(sp-7)=*os_context_register_addr(context,reg_EBX);
 954
 955     *(sp-6)=*os_context_register_addr(context,reg_EDX);
 956     *(sp-5)=*os_context_register_addr(context,reg_ECX);
 957     *(sp-4)=*os_context_register_addr(context,reg_EAX);
 958     *(sp-3)=*context_eflags_addr(context);
 959     *(sp-2)=*os_context_register_addr(context,reg_EBP);
 960     *(sp-1)=*os_context_pc_addr(context);
 961
 962 #endif
 963
 964 #elif defined(LISP_FEATURE_X86_64)
 965     u64 *sp=(u64 *)*os_context_register_addr(context,reg_RSP);
 966
 967     /* return address for call_into_lisp: */
 968     *(sp-18) = (u64)post_signal_tramp;
 969
 970     *(sp-17)=*os_context_register_addr(context,reg_R15);
 971     *(sp-16)=*os_context_register_addr(context,reg_R14);
 972     *(sp-15)=*os_context_register_addr(context,reg_R13);
 973     *(sp-14)=*os_context_register_addr(context,reg_R12);
 974     *(sp-13)=*os_context_register_addr(context,reg_R11);
 975     *(sp-12)=*os_context_register_addr(context,reg_R10);
 976     *(sp-11)=*os_context_register_addr(context,reg_R9);
 977     *(sp-10)=*os_context_register_addr(context,reg_R8);
 978     *(sp-9)=*os_context_register_addr(context,reg_RDI);
 979     *(sp-8)=*os_context_register_addr(context,reg_RSI);
 980     /* skip RBP and RSP */
 981     *(sp-7)=*os_context_register_addr(context,reg_RBX);
 982     *(sp-6)=*os_context_register_addr(context,reg_RDX);
 983     *(sp-5)=*os_context_register_addr(context,reg_RCX);
 984     *(sp-4)=*os_context_register_addr(context,reg_RAX);
 985     *(sp-3)=*context_eflags_addr(context);
 986     *(sp-2)=*os_context_register_addr(context,reg_RBP);
 987     *(sp-1)=*os_context_pc_addr(context);
 988
 989     *os_context_register_addr(context,reg_RDI) =
 990         (os_context_register_t)function; /* function */
 991     *os_context_register_addr(context,reg_RSI) = 0;        /* arg. array */
 992     *os_context_register_addr(context,reg_RDX) = 0;        /* no. args */
 993 #else
 994     struct thread *th=arch_os_get_current_thread();
 995     build_fake_control_stack_frames(th,context);
 996 #endif
 997
 998 #ifdef LISP_FEATURE_X86
 999
1000 #if !defined(LISP_FEATURE_DARWIN)
1001     *os_context_pc_addr(context) = (os_context_register_t)call_into_lisp;
1002     *os_context_register_addr(context,reg_ECX) = 0;
1003     *os_context_register_addr(context,reg_EBP) = (os_context_register_t)(sp-2);
1004 #ifdef __NetBSD__
1005     *os_context_register_addr(context,reg_UESP) =
1006         (os_context_register_t)(sp-15);
1007 #else
1008     *os_context_register_addr(context,reg_ESP) = (os_context_register_t)(sp-15);
1009 #endif /* __NETBSD__ */
1010 #endif /* LISP_FEATURE_DARWIN */
1011
1012 #elif defined(LISP_FEATURE_X86_64)
1013     *os_context_pc_addr(context) = (os_context_register_t)call_into_lisp;
1014     *os_context_register_addr(context,reg_RCX) = 0;
1015     *os_context_register_addr(context,reg_RBP) = (os_context_register_t)(sp-2);
1016     *os_context_register_addr(context,reg_RSP) = (os_context_register_t)(sp-18);
1017 #else
1018     /* this much of the calling convention is common to all
1019        non-x86 ports */
1020     *os_context_pc_addr(context) = (os_context_register_t)(unsigned long)code;
1021     *os_context_register_addr(context,reg_NARGS) = 0;
1022     *os_context_register_addr(context,reg_LIP) =
1023         (os_context_register_t)(unsigned long)code;
1024     *os_context_register_addr(context,reg_CFP) =
1025         (os_context_register_t)(unsigned long)current_control_frame_pointer;
1026 #endif
1027 #ifdef ARCH_HAS_NPC_REGISTER
1028     *os_context_npc_addr(context) =
1029         4 + *os_context_pc_addr(context);
1030 #endif
1031 #ifdef LISP_FEATURE_SPARC
1032     *os_context_register_addr(context,reg_CODE) =
1033         (os_context_register_t)(fun + FUN_POINTER_LOWTAG);
1034 #endif
1035     FSHOW((stderr, "/arranged return to Lisp function (0x%lx)\n",
1036            (long)function));
1037 }
1038
1039 #ifdef LISP_FEATURE_SB_THREAD
1040
1041 /* FIXME: this function can go away when all lisp handlers are invoked
1042  * via arrange_return_to_lisp_function. */
1043 void
1044 interrupt_thread_handler(int num, siginfo_t *info, void *v_context)
1045 {
1046     os_context_t *context = (os_context_t*)arch_os_get_context(&v_context);
1047
1048     FSHOW_SIGNAL((stderr,"/interrupt_thread_handler\n"));
1049     check_blockables_blocked_or_lose();
1050
1051     /* let the handler enable interrupts again when it sees fit */
1052     sigaddset_deferrable(os_context_sigmask_addr(context));
1053     arrange_return_to_lisp_function(context,
1054                                     StaticSymbolFunction(RUN_INTERRUPTION));
1055 }
1056
1057 #endif
1058
1059 /* KLUDGE: Theoretically the approach we use for undefined alien
1060  * variables should work for functions as well, but on PPC/Darwin
1061  * we get bus error at bogus addresses instead, hence this workaround,
1062  * that has the added benefit of automatically discriminating between
1063  * functions and variables.
1064  */
1065 void
1066 undefined_alien_function(void)
1067 {
1068     funcall0(StaticSymbolFunction(UNDEFINED_ALIEN_FUNCTION_ERROR));
1069 }
1070
1071 boolean
1072 handle_guard_page_triggered(os_context_t *context,os_vm_address_t addr)
1073 {
1074     struct thread *th=arch_os_get_current_thread();
1075
1076     /* note the os_context hackery here.  When the signal handler returns,
1077      * it won't go back to what it was doing ... */
1078     if(addr >= CONTROL_STACK_GUARD_PAGE(th) &&
1079        addr < CONTROL_STACK_GUARD_PAGE(th) + os_vm_page_size) {
1080         /* We hit the end of the control stack: disable guard page
1081          * protection so the error handler has some headroom, protect the
1082          * previous page so that we can catch returns from the guard page
1083          * and restore it. */
1084         corruption_warning_and_maybe_lose("Control stack exhausted");
1085         protect_control_stack_guard_page(0);
1086         protect_control_stack_return_guard_page(1);
1087
1088         arrange_return_to_lisp_function
1089             (context, StaticSymbolFunction(CONTROL_STACK_EXHAUSTED_ERROR));
1090         return 1;
1091     }
1092     else if(addr >= CONTROL_STACK_RETURN_GUARD_PAGE(th) &&
1093             addr < CONTROL_STACK_RETURN_GUARD_PAGE(th) + os_vm_page_size) {
1094         /* We're returning from the guard page: reprotect it, and
1095          * unprotect this one. This works even if we somehow missed
1096          * the return-guard-page, and hit it on our way to new
1097          * exhaustion instead. */
1098         protect_control_stack_guard_page(1);
1099         protect_control_stack_return_guard_page(0);
1100         return 1;
1101     }
1102     else if (addr >= undefined_alien_address &&
1103              addr < undefined_alien_address + os_vm_page_size) {
1104         arrange_return_to_lisp_function
1105           (context, StaticSymbolFunction(UNDEFINED_ALIEN_VARIABLE_ERROR));
1106         return 1;
1107     }
1108     else return 0;
1109 }
1110 \f
1111 /*
1112  * noise to install handlers
1113  */
1114
1115 #ifndef LISP_FEATURE_WIN32
1116 /* In Linux 2.4 synchronous signals (sigtrap & co) can be delivered if
1117  * they are blocked, in Linux 2.6 the default handler is invoked
1118  * instead that usually coredumps. One might hastily think that adding
1119  * SA_NODEFER helps, but until ~2.6.13 if SA_NODEFER is specified then
1120  * the whole sa_mask is ignored and instead of not adding the signal
1121  * in question to the mask. That means if it's not blockable the
1122  * signal must be unblocked at the beginning of signal handlers.
1123  *
1124  * It turns out that NetBSD's SA_NODEFER doesn't DTRT in a different
1125  * way: if SA_NODEFER is set and the signal is in sa_mask, the signal
1126  * will be unblocked in the sigmask during the signal handler.  -- RMK
1127  * X-mas day, 2005
1128  */
1129 static volatile int sigaction_nodefer_works = -1;
1130
1131 #define SA_NODEFER_TEST_BLOCK_SIGNAL SIGABRT
1132 #define SA_NODEFER_TEST_KILL_SIGNAL SIGUSR1
1133
1134 static void
1135 sigaction_nodefer_test_handler(int signal, siginfo_t *info, void *void_context)
1136 {
1137     sigset_t empty, current;
1138     int i;
1139     sigemptyset(&empty);
1140     thread_sigmask(SIG_BLOCK, &empty, &current);
1141     /* There should be exactly two blocked signals: the two we added
1142      * to sa_mask when setting up the handler.  NetBSD doesn't block
1143      * the signal we're handling when SA_NODEFER is set; Linux before
1144      * 2.6.13 or so also doesn't block the other signal when
1145      * SA_NODEFER is set. */
1146     for(i = 1; i < NSIG; i++)
1147         if (sigismember(&current, i) !=
1148             (((i == SA_NODEFER_TEST_BLOCK_SIGNAL) || (i == signal)) ? 1 : 0)) {
1149             FSHOW_SIGNAL((stderr, "SA_NODEFER doesn't work, signal %d\n", i));
1150             sigaction_nodefer_works = 0;
1151         }
1152     if (sigaction_nodefer_works == -1)
1153         sigaction_nodefer_works = 1;
1154 }
1155
1156 static void
1157 see_if_sigaction_nodefer_works(void)
1158 {
1159     struct sigaction sa, old_sa;
1160
1161     sa.sa_flags = SA_SIGINFO | SA_NODEFER;
1162     sa.sa_sigaction = sigaction_nodefer_test_handler;
1163     sigemptyset(&sa.sa_mask);
1164     sigaddset(&sa.sa_mask, SA_NODEFER_TEST_BLOCK_SIGNAL);
1165     sigaddset(&sa.sa_mask, SA_NODEFER_TEST_KILL_SIGNAL);
1166     sigaction(SA_NODEFER_TEST_KILL_SIGNAL, &sa, &old_sa);
1167     /* Make sure no signals are blocked. */
1168     {
1169         sigset_t empty;
1170         sigemptyset(&empty);
1171         thread_sigmask(SIG_SETMASK, &empty, 0);
1172     }
1173     kill(getpid(), SA_NODEFER_TEST_KILL_SIGNAL);
1174     while (sigaction_nodefer_works == -1);
1175     sigaction(SA_NODEFER_TEST_KILL_SIGNAL, &old_sa, NULL);
1176 }
1177
1178 #undef SA_NODEFER_TEST_BLOCK_SIGNAL
1179 #undef SA_NODEFER_TEST_KILL_SIGNAL
1180
1181 static void
1182 unblock_me_trampoline(int signal, siginfo_t *info, void *void_context)
1183 {
1184     sigset_t unblock;
1185
1186     sigemptyset(&unblock);
1187     sigaddset(&unblock, signal);
1188     thread_sigmask(SIG_UNBLOCK, &unblock, 0);
1189     interrupt_handle_now_handler(signal, info, void_context);
1190 }
1191
1192 static void
1193 low_level_unblock_me_trampoline(int signal, siginfo_t *info, void *void_context)
1194 {
1195     sigset_t unblock;
1196
1197     sigemptyset(&unblock);
1198     sigaddset(&unblock, signal);
1199     thread_sigmask(SIG_UNBLOCK, &unblock, 0);
1200     (*interrupt_low_level_handlers[signal])(signal, info, void_context);
1201 }
1202
1203 void
1204 undoably_install_low_level_interrupt_handler (int signal,
1205                                               interrupt_handler_t handler)
1206 {
1207     struct sigaction sa;
1208
1209     if (0 > signal || signal >= NSIG) {
1210         lose("bad signal number %d\n", signal);
1211     }
1212
1213     if (ARE_SAME_HANDLER(handler, SIG_DFL))
1214         sa.sa_sigaction = handler;
1215     else if (sigismember(&deferrable_sigset,signal))
1216         sa.sa_sigaction = low_level_maybe_now_maybe_later;
1217     /* The use of a trampoline appears to break the
1218        arch_os_get_context() workaround for SPARC/Linux.  For now,
1219        don't use the trampoline (and so be vulnerable to the problems
1220        that SA_NODEFER is meant to solve. */
1221 #if !(defined(LISP_FEATURE_SPARC) && defined(LISP_FEATURE_LINUX))
1222     else if (!sigaction_nodefer_works &&
1223              !sigismember(&blockable_sigset, signal))
1224         sa.sa_sigaction = low_level_unblock_me_trampoline;
1225 #endif
1226     else
1227         sa.sa_sigaction = handler;
1228
1229     sigcopyset(&sa.sa_mask, &blockable_sigset);
1230     sa.sa_flags = SA_SIGINFO | SA_RESTART
1231         | (sigaction_nodefer_works ? SA_NODEFER : 0);
1232 #ifdef LISP_FEATURE_C_STACK_IS_CONTROL_STACK
1233     if((signal==SIG_MEMORY_FAULT)
1234 #ifdef SIG_INTERRUPT_THREAD
1235        || (signal==SIG_INTERRUPT_THREAD)
1236 #endif
1237        )
1238         sa.sa_flags |= SA_ONSTACK;
1239 #endif
1240
1241     sigaction(signal, &sa, NULL);
1242     interrupt_low_level_handlers[signal] =
1243         (ARE_SAME_HANDLER(handler, SIG_DFL) ? 0 : handler);
1244 }
1245 #endif
1246
1247 /* This is called from Lisp. */
1248 unsigned long
1249 install_handler(int signal, void handler(int, siginfo_t*, void*))
1250 {
1251 #ifndef LISP_FEATURE_WIN32
1252     struct sigaction sa;
1253     sigset_t old, new;
1254     union interrupt_handler oldhandler;
1255
1256     FSHOW((stderr, "/entering POSIX install_handler(%d, ..)\n", signal));
1257
1258     sigemptyset(&new);
1259     sigaddset(&new, signal);
1260     thread_sigmask(SIG_BLOCK, &new, &old);
1261
1262     FSHOW((stderr, "/interrupt_low_level_handlers[signal]=%x\n",
1263            (unsigned int)interrupt_low_level_handlers[signal]));
1264     if (interrupt_low_level_handlers[signal]==0) {
1265         if (ARE_SAME_HANDLER(handler, SIG_DFL) ||
1266             ARE_SAME_HANDLER(handler, SIG_IGN))
1267             sa.sa_sigaction = handler;
1268         else if (sigismember(&deferrable_sigset, signal))
1269             sa.sa_sigaction = maybe_now_maybe_later;
1270         else if (!sigaction_nodefer_works &&
1271                  !sigismember(&blockable_sigset, signal))
1272             sa.sa_sigaction = unblock_me_trampoline;
1273         else
1274             sa.sa_sigaction = interrupt_handle_now_handler;
1275
1276         sigcopyset(&sa.sa_mask, &blockable_sigset);
1277         sa.sa_flags = SA_SIGINFO | SA_RESTART |
1278             (sigaction_nodefer_works ? SA_NODEFER : 0);
1279         sigaction(signal, &sa, NULL);
1280     }
1281
1282     oldhandler = interrupt_handlers[signal];
1283     interrupt_handlers[signal].c = handler;
1284
1285     thread_sigmask(SIG_SETMASK, &old, 0);
1286
1287     FSHOW((stderr, "/leaving POSIX install_handler(%d, ..)\n", signal));
1288
1289     return (unsigned long)oldhandler.lisp;
1290 #else
1291     /* Probably-wrong Win32 hack */
1292     return 0;
1293 #endif
1294 }
1295
1296 /* This must not go through lisp as it's allowed anytime, even when on
1297  * the altstack. */
1298 void
1299 sigabrt_handler(int signal, siginfo_t *info, void *void_context)
1300 {
1301     lose("SIGABRT received.\n");
1302 }
1303
1304 void
1305 interrupt_init(void)
1306 {
1307 #ifndef LISP_FEATURE_WIN32
1308     int i;
1309     SHOW("entering interrupt_init()");
1310     see_if_sigaction_nodefer_works();
1311     sigemptyset(&deferrable_sigset);
1312     sigemptyset(&blockable_sigset);
1313     sigaddset_deferrable(&deferrable_sigset);
1314     sigaddset_blockable(&blockable_sigset);
1315
1316     /* Set up high level handler information. */
1317     for (i = 0; i < NSIG; i++) {
1318         interrupt_handlers[i].c =
1319             /* (The cast here blasts away the distinction between
1320              * SA_SIGACTION-style three-argument handlers and
1321              * signal(..)-style one-argument handlers, which is OK
1322              * because it works to call the 1-argument form where the
1323              * 3-argument form is expected.) */
1324             (void (*)(int, siginfo_t*, void*))SIG_DFL;
1325     }
1326     undoably_install_low_level_interrupt_handler(SIGABRT, sigabrt_handler);
1327     SHOW("returning from interrupt_init()");
1328 #endif
1329 }
1330
1331 #ifndef LISP_FEATURE_WIN32
1332 int
1333 siginfo_code(siginfo_t *info)
1334 {
1335     return info->si_code;
1336 }
1337 os_vm_address_t current_memory_fault_address;
1338
1339 void
1340 lisp_memory_fault_error(os_context_t *context, os_vm_address_t addr)
1341 {
1342    /* FIXME: This is lossy: if we get another memory fault (eg. from
1343     * another thread) before lisp has read this, we lose the information.
1344     * However, since this is mostly informative, we'll live with that for
1345     * now -- some address is better then no address in this case.
1346     */
1347     current_memory_fault_address = addr;
1348     /* To allow debugging memory faults in signal handlers and such. */
1349     corruption_warning_and_maybe_lose("Memory fault");
1350     arrange_return_to_lisp_function(context,
1351                                     StaticSymbolFunction(MEMORY_FAULT_ERROR));
1352 }
1353 #endif
1354
1355 static void
1356 unhandled_trap_error(os_context_t *context)
1357 {
1358     lispobj context_sap;
1359     fake_foreign_function_call(context);
1360     context_sap = alloc_sap(context);
1361 #ifndef LISP_FEATURE_WIN32
1362     thread_sigmask(SIG_SETMASK, os_context_sigmask_addr(context), 0);
1363 #endif
1364     funcall1(StaticSymbolFunction(UNHANDLED_TRAP_ERROR), context_sap);
1365     lose("UNHANDLED-TRAP-ERROR fell through");
1366 }
1367
1368 /* Common logic for trapping instructions. How we actually handle each
1369  * case is highly architecture dependent, but the overall shape is
1370  * this. */
1371 void
1372 handle_trap(os_context_t *context, int trap)
1373 {
1374     switch(trap) {
1375     case trap_PendingInterrupt:
1376         FSHOW((stderr, "/<trap pending interrupt>\n"));
1377         arch_skip_instruction(context);
1378         interrupt_handle_pending(context);
1379         break;
1380     case trap_Error:
1381     case trap_Cerror:
1382         FSHOW((stderr, "/<trap error/cerror %d>\n", trap));
1383         interrupt_internal_error(context, trap==trap_Cerror);
1384         break;
1385     case trap_Breakpoint:
1386         arch_handle_breakpoint(context);
1387         break;
1388     case trap_FunEndBreakpoint:
1389         arch_handle_fun_end_breakpoint(context);
1390         break;
1391 #ifdef trap_AfterBreakpoint
1392     case trap_AfterBreakpoint:
1393         arch_handle_after_breakpoint(context);
1394         break;
1395 #endif
1396 #ifdef trap_SingleStepAround
1397     case trap_SingleStepAround:
1398     case trap_SingleStepBefore:
1399         arch_handle_single_step_trap(context, trap);
1400         break;
1401 #endif
1402     case trap_Halt:
1403         fake_foreign_function_call(context);
1404         lose("%%PRIMITIVE HALT called; the party is over.\n");
1405     default:
1406         unhandled_trap_error(context);
1407     }
1408 }
1409