From: Lauri Alanko <la@iki.fi>
To: caml-list@inria.fr
Subject: [Caml-list] Inter-thread exceptions
Date: Tue, 3 Sep 2002 16:48:51 +0300 [thread overview]
Message-ID: <20020903164851.A26567@kruuna.Helsinki.FI> (raw)
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
next reply other threads:[~2002-09-04 11:20 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-09-03 13:48 Lauri Alanko [this message]
2002-09-04 14:43 ` Sven LUTHER
2002-09-04 15:30 ` Florian Douetteau
2002-09-05 11:30 ` Xavier Leroy
2002-09-06 18:22 ` Dmitry Bely
2002-09-09 14:15 ` Xavier Leroy
2002-09-11 20:41 ` Dmitry Bely
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20020903164851.A26567@kruuna.Helsinki.FI \
--to=la@iki.fi \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox