--- a/src/Pure/ML-Systems/multithreading.ML Wed Sep 22 17:46:59 2010 +0200
+++ b/src/Pure/ML-Systems/multithreading.ML Wed Sep 22 18:21:48 2010 +0200
@@ -14,7 +14,7 @@
sig
include BASIC_MULTITHREADING
val available: bool
- val max_threads: int Unsynchronized.ref
+ val max_threads: int 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 Unsynchronized.ref
+ val trace: int 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 = Unsynchronized.ref (1: int);
+val max_threads = ref (1: int);
fun max_threads_value () = 1: int;
fun enabled () = false;
@@ -57,7 +57,7 @@
(* tracing *)
-val trace = Unsynchronized.ref (0: int);
+val trace = 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 = Unsynchronized.ref (0: int)
+local val count = ref (0: int)
in fun serial () = (count := ! count + 1; ! count) end;
end;