Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Inter-thread exceptions
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Lauri Alanko <la@i...>
Subject: [Caml-list] Inter-thread exceptions

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

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
To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: