src/Pure/ML-Systems/multithreading.ML

--- a/src/Pure/ML-Systems/multithreading.ML	Wed Sep 30 09:25:18 2009 +0200
+++ b/src/Pure/ML-Systems/multithreading.ML	Wed Sep 30 11:36:12 2009 +0200
@@ -14,7 +14,7 @@
 sig
   include BASIC_MULTITHREADING
   val available: bool
-  val max_threads: int ref
+  val max_threads: int Unsynchronized.ref
   val max_threads_value: unit -> int
   val enabled: unit -> bool
   val no_interrupts: Thread.threadAttribute list
@@ -24,7 +24,7 @@
   val with_attributes: Thread.threadAttribute list -> (Thread.threadAttribute list -> 'a) -> 'a
   val sync_wait: Thread.threadAttribute list option -> Time.time option ->
     ConditionVar.conditionVar -> Mutex.mutex -> bool Exn.result
-  val trace: int ref
+  val trace: int  Unsynchronized.ref
   val tracing: int -> (unit -> string) -> unit
   val tracing_time: bool -> Time.time -> (unit -> string) -> unit
   val real_time: ('a -> unit) -> 'a -> Time.time
@@ -38,7 +38,7 @@
 (* options *)
 
 val available = false;
-val max_threads = ref (1: int);
+val max_threads =  Unsynchronized.ref (1: int);
 fun max_threads_value () = 1: int;
 fun enabled () = false;
 
@@ -57,7 +57,7 @@
 
 (* tracing *)
 
-val trace = ref (0: int);
+val trace =  Unsynchronized.ref (0: int);
 fun tracing _ _ = ();
 fun tracing_time _ _ _ = ();
 fun real_time f x = (f x; Time.zeroTime);
@@ -72,7 +72,7 @@
 
 (* serial numbers *)
 
-local val count = ref (0: int)
+local val count =  Unsynchronized.ref (0: int)
 in fun serial () = (count := ! count + 1; ! count) end;
 
 end;