Re: [Caml-list] Race conditions with asynchronous exceptions in standard library

["Richard W.M. Jones" <rich@annexia.org>]

I don't find this surprising, and I don't think it's a problem with
OCaml or the standard library (or at least, it's not specific to OCaml).

Another solution to this which hasn't already been noted is to have
your signal write one byte on a pipe which "loops back" to the same
process, and then use a reactor / select / whatever in the main
program to catch this event.

http://cr.yp.to/docs/selfpipe.html

You might need to write such a signal handler in C to ensure it's
really safe.  In our experience, writing signal handlers correctly is
hard.  (Perhaps not as hard as all the scary stuff that happens with
threads, eg:
http://www.linuxprogrammingblog.com/threads-and-fork-think-twice-before-using-them )

Rich.

-- 
Richard Jones
Red Hat