src/Pure/Concurrent/future.ML

     | (SOME work, deps') => SOME (work, deps'));
 
 fun execute_work NONE = ()
   | execute_work (SOME (work, deps')) = (worker_joining (fn () => execute work); join_work deps')
 and join_work deps =
-  execute_work (SYNCHRONIZED "join" (fn () => join_next deps));
+  Multithreading.with_attributes Multithreading.no_interrupts
+    (fn _ => execute_work (SYNCHRONIZED "join" (fn () => join_next deps)));
 
 in
 
 fun join_results xs =
   let