From 6e48796995d4dd0eb4e53847ec536675c5e2a614 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Fri, 8 Oct 1999 15:17:00 +0000
Subject: [PATCH] [project @ 1999-10-08 15:17:00 by simonmar] While fiddling
 around with concurrency & exceptions this afternoon, I
 realised an important property of raiseInThread: it is
 synchronous. The exception is raised immediately, and
 doesn't sit in some queue somewhere waiting to be raised at
 a later date.

This is important if you have eg. two threads that can kill each
other.  We can guarantee that only one of the threads gets to kill the
other, under no circumstances can there be two killThreads fired in
opposite directions at the same time.

Documented this.
---
 ghc/docs/libraries/Concurrent.sgml |   10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/ghc/docs/libraries/Concurrent.sgml b/ghc/docs/libraries/Concurrent.sgml
index 6d67bb6..e02a515 100644
--- a/ghc/docs/libraries/Concurrent.sgml
+++ b/ghc/docs/libraries/Concurrent.sgml
@@ -70,6 +70,16 @@ the thread.  The target thread will stop whatever it was doing (even
 if it was blocked on an <tt/MVar/ or other computation) and handle the
 exception.
 
+One important property of <tt/raiseInThread/ (and therefore
+<tt/killThread/) is that they are <em/synchronous/.  This means that
+after performing a <tt/raiseInThread/ operation, the calling thread
+can be certain that the target thread has received the exception.  In
+other words, the target thread cannot perform any more processing
+unless it handles the exception that has just been raised in it.  This
+is a useful property to know when dealing with race conditions: eg. if
+there are two threads that can kill each other, it is guaranteed that
+only one of the threads will get to kill the other.
+
 The <tt/ThreadId/ for the current thread can be obtained with
 <tt/myThreadId/:
 
-- 
1.7.10.4