[MLton] MLton.TextIO.mkstemps
Matthew Fluet
fluet at cs.cornell.edu
Fri Dec 1 15:23:02 PST 2006
> Something that will make the problem (with the assembler unlinking the file)
> MUCH less likely to cause a problem is to include the process ID as part
> of the file name (as part of the random bytes). That way collisions are
> much less common (even though the race condition still exists).
Right. That seems reasonable.
> I was looking at the code trying to make sure that we (MLton) was never
> incorrectly unlinking the file until all uses were done. I didn't see any,
> but it wasn't completely clear to me.
I'm pretty sure we're o.k. Looking at an strace of a compilation shows
all the ulinking of .S and .c files happens at the end.
More information about the MLton
mailing list