Bill Allombert on Fri, 19 Oct 2012 11:11:22 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: temporary files under win32


On Fri, Oct 19, 2012 at 10:49:28AM +0200, Loïc Grenié wrote:
> 2012/10/19 Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>:
> 
> > The second is that there is a race condition of some sort.
> > If you create 4 directories, each with a copy of gp.exe and start each
> > of them in parallel, MPQS is much more reliable, so this suggest some race
> > condition.
> 
>     Indeed, get_files *is* racy. I'll try to implement getpid() and some
>   sort of getuid() (maybe constant, maybe not). I've no native win32
>   compilers, so my tests will not be perfect.

Are you sure pari_unique_dir() is racy ?

Maybe we should fix get_file not to be racy.
We should remove fix pari_unique_dir/pari_unique_filename.
pari_unique_filename is only used to implement pip on DOS EMX which will not
be missed.

pari_unique_dir could be replaced by pari_create_unique_dir() which create the
directory (I think it is already the case though).

Cheers,
Bill.