X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=tests%2Fthreads.pure.lisp;h=5d72bd9e747ffbd8dc76065905673782cad79a9f;hb=dc38fdd88ed505af945ee951635b396e129edb28;hp=adcf13a0a9263cfc9fc1fdef14100de463dfb153;hpb=c6fecd1dcff10bce2e88f67bfade3aab3f7309ac;p=sbcl.git diff --git a/tests/threads.pure.lisp b/tests/threads.pure.lisp index adcf13a..5d72bd9 100644 --- a/tests/threads.pure.lisp +++ b/tests/threads.pure.lisp @@ -179,11 +179,9 @@ ;;; Disabled on Darwin due to deadlocks caused by apparent OS specific deadlocks, ;;; wich _appear_ to be caused by malloc() and free() not being thread safe: an -;;; interrupted malloc in one thread can apparently block a free in another. There -;;; are also some indications that pthread_mutex_lock is not re-entrant. +;;; interrupted malloc in one thread can apparently block a free in another. (with-test (:name symbol-value-in-thread.3 - :skipped-on '(not :sb-thread) - :broken-on :darwin) + :skipped-on '(not :sb-thread)) (let* ((parent *current-thread*) (semaphore (make-semaphore)) (running t) @@ -307,13 +305,10 @@ (t1 (sb-thread:make-thread (test m1 m2 s1 s2) :name "T1")) (t2 (sb-thread:make-thread (test m2 m1 s2 s1) :name "T2"))) ;; One will deadlock, and the other will then complete normally. - ;; ...except sometimes, when we get unlucky, and both will do - ;; the deadlock detection in parallel and both signal. (let ((res (list (sb-thread:join-thread t1) (sb-thread:join-thread t2)))) (assert (or (equal '(:deadlock :ok) res) - (equal '(:ok :deadlock) res) - (equal '(:deadlock :deadlock) res)))))))) + (equal '(:ok :deadlock) res)))))))) (with-test (:name deadlock-detection.2 :skipped-on '(not :sb-thread)) (let* ((m1 (sb-thread:make-mutex :name "M1"))