Add GUARANTEE-THREAD-MUTEX-OWNED.

diff --git a/src/runtime/runtime.pkg b/src/runtime/runtime.pkg
index 47b1729bc185d704383be67b6a7c3998498d6da1..cb91b13e00bcc13d262ff918419437ff88e48536 100644 (file)
--- a/src/runtime/runtime.pkg
+++ b/src/runtime/runtime.pkg
@@ -4992,6 +4992,7 @@ USA.
          deregister-timer-event
          detach-thread
          exit-current-thread
+         guarantee-thread-mutex-owned
          join-thread
          lock-thread-mutex
          make-thread-mutex

diff --git a/src/runtime/thread.scm b/src/runtime/thread.scm
index 9ba3ff8859a582baed62915e4c53ee626c970319..e88751ad1d282f4af35e95ae495368c75f51c89c 100644 (file)
--- a/src/runtime/thread.scm
+++ b/src/runtime/thread.scm
@@ -1039,6 +1039,13 @@ USA.
   (if (not (thread-mutex? mutex))
       (error:wrong-type-argument mutex "thread-mutex" procedure)))
 
+(define (guarantee-thread-mutex-owned mutex #!optional caller)
+  (guarantee-thread-mutex mutex 'GUARANTEE-THREAD-MUTEX-OWNED)
+  (if (not (eq? (current-thread) (thread-mutex/owner mutex)))
+      (if (default-object? caller)
+         (error "Don't own mutex:" mutex)
+         (error "Don't own mutex:" mutex caller))))
+
 (define (thread-mutex-owner mutex)
   (guarantee-thread-mutex mutex 'THREAD-MUTEX-OWNER)
   (thread-mutex/owner mutex))