obsolete -- done in Isabelle_Process.init_options;
authorwenzelm
Sat Mar 26 14:27:58 2016 +0100 (2016-03-26)
changeset 627158312e5d8d217
parent 62714 63888e5f668b
child 62716 d80b9f4990e4
obsolete -- done in Isabelle_Process.init_options;
src/Pure/Concurrent/multithreading.ML
src/Pure/Tools/build.ML
     1.1 --- a/src/Pure/Concurrent/multithreading.ML	Sat Mar 26 14:14:23 2016 +0100
     1.2 +++ b/src/Pure/Concurrent/multithreading.ML	Sat Mar 26 14:27:58 2016 +0100
     1.3 @@ -21,7 +21,6 @@
     1.4    val with_attributes: Thread.threadAttribute list -> (Thread.threadAttribute list -> 'a) -> 'a
     1.5    val max_threads_value: unit -> int
     1.6    val max_threads_update: int -> unit
     1.7 -  val max_threads_setmp: int -> ('a -> 'b) -> 'a -> 'b
     1.8    val enabled: unit -> bool
     1.9    val sync_wait: Thread.threadAttribute list option -> Time.time option ->
    1.10      ConditionVar.conditionVar -> Mutex.mutex -> bool Exn.result
    1.11 @@ -97,20 +96,9 @@
    1.12    if m > 0 then m else Int.min (Int.max (num_processors (), 1), 8);
    1.13  
    1.14  val max_threads = ref 1;
    1.15 -
    1.16  fun max_threads_value () = ! max_threads;
    1.17 -
    1.18  fun max_threads_update m = max_threads := max_threads_result m;
    1.19  
    1.20 -fun max_threads_setmp m f x =
    1.21 -  uninterruptible (fn restore_attributes => fn () =>
    1.22 -    let
    1.23 -      val max_threads_orig = ! max_threads;
    1.24 -      val _ = max_threads_update m;
    1.25 -      val result = Exn.capture (restore_attributes f) x;
    1.26 -      val _ = max_threads := max_threads_orig;
    1.27 -    in Exn.release result end) ();
    1.28 -
    1.29  fun enabled () = max_threads_value () > 1;
    1.30  
    1.31  
     2.1 --- a/src/Pure/Tools/build.ML	Sat Mar 26 14:14:23 2016 +0100
     2.2 +++ b/src/Pure/Tools/build.ML	Sat Mar 26 14:27:58 2016 +0100
     2.3 @@ -157,7 +157,6 @@
     2.4          (List.app (build_theories symbols last_timing Path.current)
     2.5            |> session_timing name verbose
     2.6            |> Unsynchronized.setmp Output.protocol_message_fn protocol_message
     2.7 -          |> Multithreading.max_threads_setmp (Options.default_int "threads")
     2.8            |> Exn.capture);
     2.9      val res2 = Exn.capture Session.finish ();
    2.10      val _ = Par_Exn.release_all [res1, res2];