[MLton] Finished (?) MLton.Child
Wesley W. Terpstra
terpstra@gkec.tu-darmstadt.de
Thu, 25 Nov 2004 16:52:00 +0100
On Thu, Nov 25, 2004 at 09:14:43AM -0600, Henry Cejtin wrote:
> I meant to mention previously that with regards to the `race' condition on
> searching for the right element of the path, under Unix there is no race:
> you just fork and then the child tries to exec each element of the path.
> If one succeeds then you never continue with the loop. If you fall off
> the end then you failed. (One problem is that you are now in the child,
> but that is certainly the way that execvp() in the C library work.)
I was not talking about execp.
The code in question would qualify the path prior to fork then use exec.
However, the problem afaics is how to find the exact same exe that execp
would if called later. That is impossible to guarantee.
--
Wesley W. Terpstra