Re: [Caml-list] BUG in unix.ml (was: strange errors when linking lwt.unix)

[David House <dhouse@janestreet.com>]

FWIW, Core (and thus async) wraps all of its [waitpid] calls in a loop
that restarts on EINTR.

On 15 March 2013 10:02, oliver <oliver@first.in-berlin.de> wrote:
> Hello,
>
> On Fri, Mar 15, 2013 at 10:18:56AM +0100, Florian Hars wrote:
>> Am 14.03.2013 18:53, schrieb Sebastien Mondet:
>> ># Unix.system "date";;
>> >Thu Mar 14 08:48:27 EST 2013
>> >Exception: Unix.Unix_error (Unix.EINTR, "waitpid", "").
>> >#
>>
>> That is just a bug in the unix library, Unix.system calls waitpid in
>>
>> caml.inria.fr/cgi-bin/viewvc.cgi/ocaml/version/4.00/otherlibs/unix/unix.ml?view=markup#l849
>>
>> instead of waitpid_non_intr
>> http://caml.inria.fr/cgi-bin/viewvc.cgi/ocaml/version/4.00/otherlibs/unix/unix.ml?view=markup#l1002
>>
>> I get the same behaviour without lwt:
>>
>>         OCaml version 4.00.1
>>
>> # #load "unix.cma";;
>> # Sys.set_signal 10 (Sys.Signal_handle
>>    (fun _ -> print_endline "A perfect ten"));;
>> - : unit = ()
>> # Unix.system "sleep 20";;
>> A perfect ten
>> Exception: Unix.Unix_error (Unix.EINTR, "waitpid", "").
>> #
>>
>> All I had to do is send a signal 10 to the ocaml process
>> from another shell.
> [...]
>
> I don't get such errors with normal OCaml-distribution 3.11.1
> and also not with opam's ocaml and 4.00.1.
>
> So it seems to be lwt-problem.
>
> Ciao,
>    Oliver
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs