# HG changeset patch
# User wenzelm
# Date 1223905717 -7200
# Node ID ed869f0196420dfa6bebab59b8a80fe2242be48a
# Parent  e73db43298a6d67824f6d92d5310b7788d5f6fe0
SimpleThread.synchronized;

diff -r e73db43298a6 -r ed869f019642 src/Pure/Concurrent/future.ML
--- a/src/Pure/Concurrent/future.ML	Mon Oct 13 15:48:36 2008 +0200
+++ b/src/Pure/Concurrent/future.ML	Mon Oct 13 15:48:37 2008 +0200
@@ -97,17 +97,7 @@
   val cond = ConditionVar.conditionVar ();
 in
 
-fun SYNCHRONIZED name e = Exn.release (uninterruptible (fn restore_attributes => fn () =>
-  let
-    val _ =
-      if Mutex.trylock lock then ()
-      else
-       (Multithreading.tracing 3 (fn () => name ^ ": locking ...");
-        Mutex.lock lock;
-        Multithreading.tracing 3 (fn () => name ^ ": ... locked"));
-    val result = Exn.capture (restore_attributes e) ();
-    val _ = Mutex.unlock lock;
-  in result end) ());
+fun SYNCHRONIZED name = SimpleThread.synchronized name lock;
 
 fun wait name = (*requires SYNCHRONIZED*)
  (Multithreading.tracing 3 (fn () => name ^ ": wait ...");