X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ftarget-signal.lisp;h=c555dd2f57b83034c8ecaf0932b114d321d9e3eb;hb=b1cd84e0503ff29d72a860ea1709c87f721412ed;hp=aaebc764afadad9ea70cb05925f220be31287472;hpb=fd324a9d981355d8bc10d2bd469cb54c4c9108fd;p=sbcl.git diff --git a/src/code/target-signal.lisp b/src/code/target-signal.lisp index aaebc76..c555dd2 100644 --- a/src/code/target-signal.lisp +++ b/src/code/target-signal.lisp @@ -11,24 +11,36 @@ (in-package "SB!UNIX") +(defmacro with-interrupt-bindings (&body body) + `(let + ;; KLUDGE: Whatever is on the PCL stacks before the interrupt + ;; handler runs doesn't really matter, since we're not on the + ;; same call stack, really -- and if we don't bind these (esp. + ;; the cache one) we can get a bogus metacircle if an interrupt + ;; handler calls a GF that was being computed when the interrupt + ;; hit. + ((sb!pcl::*cache-miss-values-stack* nil) + (sb!pcl::*dfun-miss-gfs-on-stack* nil)) + ,@body)) + (defun invoke-interruption (function) - (without-interrupts - ;; Reset signal mask: the C-side handler has blocked all - ;; deferrable interrupts before arranging return to lisp. This is - ;; safe because we can't get a pending interrupt before we unblock - ;; signals. - ;; - ;; FIXME: Should we not reset the _entire_ mask, just restore it - ;; to the state before we got the interrupt? - (reset-signal-mask) - ;; Tell INTERRUPT-THREAD it's ok to re-enable interrupts. - (let ((*in-interruption* t)) - (funcall function)))) - -(defmacro in-interruption ((&rest args) &body body) + (with-interrupt-bindings + (without-interrupts + ;; Reset signal mask: the C-side handler has blocked all + ;; deferrable interrupts before arranging return to lisp. This is + ;; safe because we can't get a pending interrupt before we unblock + ;; signals. + ;; + ;; FIXME: Should we not reset the _entire_ mask, but just + ;; restore it to the state before we got the interrupt? + (reset-signal-mask) + (allow-with-interrupts (funcall function))))) + +(defmacro in-interruption ((&key) &body body) #!+sb-doc "Convenience macro on top of INVOKE-INTERRUPTION." - `(invoke-interruption (lambda () ,@body) ,@args)) + `(dx-flet ((interruption () ,@body)) + (invoke-interruption #'interruption))) ;;;; system calls that deal with signals