Re: more patches (for Unix signal mask)

From: Xavier Leroy (Xavier.Leroy@inria.fr)
Date: Thu May 27 1999 - 21:10:53 MET DST


Date: Thu, 27 May 1999 21:10:53 +0200
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: John Skaller <skaller@maxtal.com.au>, caml-list@inria.fr
Subject: Re: more patches (for Unix signal mask)
In-Reply-To: <3.0.6.32.19990526011623.00a6ac30@triode.net.au>; from John Skaller on Wed, May 26, 1999 at 01:16:23AM +1000

> Synchronous exceptions present enough difficulties without
> asychronous ones. A possible systemic difference is that
> while it is common to make synchronous exceptions equivalent
> to non-local gotos, that is, there's no retry, asynchronous exceptions
> should probably permit continuation.

Actually, that's how signal handlers work in Caml (like in C): a
user-specified function is called at the earliest possible moment.
However, that function may choose to raise an exception (that's what I
called and asynchronous exception), and that's where the problems
Joerg mentioned occur.

- Xavier Leroy



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:22 MET