Race condition in parallel make install?
bagnara at cs.unipr.it
Sun Oct 7 19:17:16 CEST 2012
On 10/07/12 19:05, Torbjorn Granlund wrote:
> Joerg Arndt <arndt at jjj.de> writes:
> * Torbjorn Granlund <tg at gmplib.org> [Oct 07. 2012 18:03]:
> > Roberto Bagnara <bagnara at cs.unipr.it> writes:
> > I believe I discovered a race condition in the Makefiles.
> > This happened with a `make -j 4 ... install' of GMP 5.0.5
> > on Mac OS X (Darwin Kernel Version 11.4.2):
> > I never considered the possibilty of a parallel install.
> > Does that work for any package?
> Yes ;-)
> And (IMHO) it is a good idea have parallel make working.
> And indeed plain make as well as make check works. Parallel make does
> not work in the tune directory, which I don't regard as a problem.
> And I've never heard of parallel make install. If people actually use
> that, we should try to fix it.
I believe it is used. The point is not in explicitly issuing
`make -j 4 ... install' at the shell prompt, but in doing things
with the result that `-j4' is used in all make invocations,
including `make install'.
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics and Computer Science, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the gmp-devel