Hello.

How big a task would it be to implement asynchronous inter-thread
exceptions? In practice the feature would amount to a function:

val raise_to : exn -> Thread.t -> unit

This would be most handy for implementing eg. timeouts: just make a thread
that sleeps and raises an exception in the other thread when the time is
spent.

The GHC folks and John Reppy have done some work on spelling out the
semantics of asynchronous exceptions in Haskell. Could this be used as a
base for a similar system in a strict and impure setting like ocaml? What
would be the main difficulties, both theoretically and implementation-wise?


Lauri Alanko
la@iki.fi
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners