src/Pure/ML-Systems/multithreading.ML
changeset 28187 4062882c7df3
parent 28169 356fc8734741
child 28460 455ef74607d7
     1.1 --- a/src/Pure/ML-Systems/multithreading.ML	Tue Sep 09 23:30:05 2008 +0200
     1.2 +++ b/src/Pure/ML-Systems/multithreading.ML	Tue Sep 09 23:48:36 2008 +0200
     1.3 @@ -39,8 +39,11 @@
     1.4  val max_threads = ref (1: int);
     1.5  fun max_threads_value () = Int.max (! max_threads, 1);
     1.6  
     1.7 -val no_interrupts = [];
     1.8 -val regular_interrupts = [];
     1.9 +val no_interrupts =
    1.10 +  [Thread.EnableBroadcastInterrupt false, Thread.InterruptState Thread.InterruptDefer];
    1.11 +
    1.12 +val regular_interrupts =
    1.13 +  [Thread.EnableBroadcastInterrupt true, Thread.InterruptState Thread.InterruptAsynchOnce];
    1.14  
    1.15  fun with_attributes _ f x = f [] x;
    1.16