[project @ 1999-10-08 15:17:00 by simonmar]
authorsimonmar <unknown>
Fri, 8 Oct 1999 15:17:00 +0000 (15:17 +0000)
committersimonmar <unknown>
Fri, 8 Oct 1999 15:17:00 +0000 (15:17 +0000)
commit6e48796995d4dd0eb4e53847ec536675c5e2a614
tree1d709111cc3430698a267d67c441c86795898689
parent214fe5a15ab09fd7ae5ee48c99d6acf18a17b749
[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