killThread
killThread raises the
ThreadKilled exception in the
given thread (GHC only).
killThread tid = throwTo tid ThreadKilled
Raise the
ThreadKilled exception in the target thread. Note
that if the thread is prepared to catch this exception, it won't
actually kill it.
Kill all thread registered in given
ThreadMap. This version is
exposed as API. This is not called from cleanup routine. Thus it
doesn't ignore asynchronous exceptions.
Kill all thread registered in given
ThreadMap. This internal
version is only called from cleanup routine so this ignores
ThreadKilled asynchronous exception.
Registering a timeout action of killing this thread.
TimeoutThread is thrown to the thread which called this
function on timeout. Catch
TimeoutThread if you don't want to
leak the asynchronous exception to GHC RTS.
Registering a timeout action of killing this thread and unregister its
handle when the body action is killed or finished.