fork() and threads in ocaml 3.11

fork() and threads in ocaml 3.11

[Anastasia Gornostaeva]

Hello.

The program

open Unix
  
let os = (let f = open_process_in "uname -sr" in
          let answer = input_line f in
            ignore (close_process_in f); answer)
  
let _ =
  let f () =
    print_endline os
  in
  let t = Thread.create f () in
    Thread.join t

hangs on my FreeBSD 7.0.
I tried ocaml from yesterday's CVS, but it does not help.
How to be? 

ermine

Re: [Caml-list] fork() and threads in ocaml 3.11

[Xavier Leroy]

> The program
>
> open Unix
>
> let os = (let f = open_process_in "uname -sr" in
>           let answer = input_line f in
>             ignore (close_process_in f); answer)
>
> let _ =
>   let f () =
>     print_endline os
>   in
>   let t = Thread.create f () in
>     Thread.join t
>
> hangs on my FreeBSD 7.0.

This could be the same problem reported under MacOS X as PR#4666 in
the bug tracker.  Apparently, MacOS X doesn't allow a process having
multiple threads to perform an exec*() system call.  Maybe FreeBSD has
the same limitation.

> I tried ocaml from yesterday's CVS, but it does not help.

The "release 3.11" branch of the CVS contains a tentative fix for
PR#4666.  It isn't yet propagated to the CVS trunk.  You can get this
branch using "cvs co -r release311".

Hope this helps,

- Xavier Leroy

Re: [Caml-list] fork() and threads in ocaml 3.11

[Anastasia Gornostaeva]

On Thu, Dec 18, 2008 at 03:51:48PM +0100, Xavier Leroy wrote:

[...]

> > hangs on my FreeBSD 7.0.
> 
> This could be the same problem reported under MacOS X as PR#4666 in
> the bug tracker.  Apparently, MacOS X doesn't allow a process having
> multiple threads to perform an exec*() system call.  Maybe FreeBSD has
> the same limitation.
> 
> > I tried ocaml from yesterday's CVS, but it does not help.
> 
> The "release 3.11" branch of the CVS contains a tentative fix for
> PR#4666.  It isn't yet propagated to the CVS trunk.  You can get this
> branch using "cvs co -r release311".
>
> Hope this helps,

Oh, with this CVS it works perfectly. Thanks!

ermine