Lines Matching refs:thread
72 | NONE => raise Fail "Missing worker thread context");
139 val scheduler = Unsynchronized.ref (NONE: Thread.thread option);
150 val workers = Unsynchronized.ref ([]: (Thread.thread * worker_state Unsynchronized.ref) list);
163 val _ = running |> List.app (fn thread =>
164 if Standard_Thread.is_self thread then ()
165 else Standard_Thread.interrupt_unsynchronized thread);
344 (case ! scheduler of NONE => false | SOME thread => Thread.isActive thread);
518 (* task context for running thread *)
633 raise Fail "Cannot shutdown while running as worker thread"