X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fthread.lisp;h=512910536297338effaaa4121a36da7b0f1ef4e6;hb=174feb792c8082846666e1218c58d5b0ab3b85b0;hp=1984470365014602808e24114673643842a7f713;hpb=e365f2f7a9c66d307b48fee70778f4eaa84bdcc0;p=sbcl.git diff --git a/src/code/thread.lisp b/src/code/thread.lisp index 1984470..5129105 100644 --- a/src/code/thread.lisp +++ b/src/code/thread.lisp @@ -1,16 +1,30 @@ -(in-package :sb!thread) +(in-package "SB!THREAD") + +(defvar *session-lock*) (sb!xc:defmacro with-recursive-lock ((mutex) &body body) #!+sb-thread - (let ((cfp (gensym "CFP"))) - `(let ((,cfp (ash (sb!sys:sap-int (sb!vm::current-fp) ) -2))) + (with-unique-names (cfp) + `(let ((,cfp (sb!kernel:current-fp))) (unless (and (mutex-value ,mutex) - (SB!DI::control-stack-pointer-valid-p - (sb!sys:int-sap (ash (mutex-value ,mutex) 2)))) - (get-mutex ,mutex ,cfp)) + (sb!vm:control-stack-pointer-valid-p + (sb!sys:int-sap + (sb!kernel:get-lisp-obj-address (mutex-value ,mutex))))) + ;; this punning with MAKE-LISP-OBJ depends for its safety on + ;; the frame pointer being a lispobj-aligned integer. While + ;; it is, then MAKE-LISP-OBJ will always return a FIXNUM, so + ;; we're safe to do that. Should this ever change, this + ;; MAKE-LISP-OBJ could return something that looks like a + ;; pointer, but pointing into neverneverland, which will + ;; confuse GC completely. -- CSR, 2003-06-03 + (get-mutex ,mutex (sb!kernel:make-lisp-obj (sb!sys:sap-int ,cfp)))) (unwind-protect (progn ,@body) - (when (eql (mutex-value ,mutex) ,cfp) (release-mutex ,mutex))))) + (when (sb!sys:sap= (sb!sys:int-sap + (sb!kernel:get-lisp-obj-address + (mutex-value ,mutex))) + ,cfp) + (release-mutex ,mutex))))) #!-sb-thread `(progn ,@body))