1.0.7.6: additional test case that fails under SB-LUTEX

 Buggrit, millenium hand and shrimp!

diff --git a/NEWS b/NEWS
index afa7fe6..9897eda 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -7,6 +7,8 @@ changes in sbcl-1.0.8 relative to sbcl-1.0.7:
     and x86-64.
   * performance bug fix: GETHASH and (SETF GETHASH) are once again
     non-consing.
+  * bug fix: threads waiting on GET-FOREGROUND can be interrupted.
+    (reported by Kristoffer Kvello)
   * bug fix: backtrace construction is now more careful when making
     lisp-objects from pointers on the stack, to avoid creating bogus
     objects that can be seen by the GC.

diff --git a/tests/threads.pure.lisp b/tests/threads.pure.lisp
index f078b5b..6b58125 100644 (file)
--- a/tests/threads.pure.lisp
+++ b/tests/threads.pure.lisp
@@ -50,3 +50,24 @@
     (condition-notify queue)
     (sleep 1)
     (assert (not (thread-alive-p thread)))))
+
+;;; GET-MUTEX should not be interruptible under WITHOUT-INTERRUPTS
+
+#+sb-thread
+(with-test (:name without-interrupts+get-mutex
+            :fails-on :sb-lutex)
+  (let* ((lock (make-mutex))
+         (foo (get-mutex lock))
+         (thread (make-thread (lambda ()
+                                (sb-sys:without-interrupts
+                                  (with-mutex (lock)
+                                    :fini))))))
+    (sleep 1)
+    (assert (thread-alive-p thread))
+    (terminate-thread thread)
+    (sleep 1)
+    (assert (thread-alive-p thread))
+    (release-mutex lock)
+    (sleep 1)
+    (assert (not (thread-alive-p thread)))
+    (assert (eq :fini (join-thread thread)))))

diff --git a/version.lisp-expr b/version.lisp-expr
index 8d02b1f..d317cdc 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"1.0.7.5"
+"1.0.7.6"