From cdd378d922a7bc4995c21643bf5d4d19581692ab Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Tue, 15 Jun 2010 11:27:20 +0000 Subject: [PATCH] Add a note about the interruptibility of throwTo. --- GHC/Conc.lhs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/GHC/Conc.lhs b/GHC/Conc.lhs index c1b2107..ec6e064 100644 --- a/GHC/Conc.lhs +++ b/GHC/Conc.lhs @@ -310,7 +310,8 @@ In the paper, 'throwTo' is non-blocking; but the library implementation adopts a more synchronous design in which 'throwTo' does not return until the exception is received by the target thread. The trade-off is discussed in Section 9 of the paper. Like any blocking operation, 'throwTo' is therefore interruptible (see Section 5.3 of -the paper). +the paper). Unlike other interruptible operations, however, 'throwTo' +is /always/ interruptible, even if it does not actually block. There is no guarantee that the exception will be delivered promptly, although the runtime will endeavour to ensure that arbitrary -- 1.7.10.4