I tried it on Ubuntu 16.04 and indeed it showed the problem. I had been testing on Debian stable. It seems to be a race condition which only showed up because this latest change removed the delay which was "fixing" the race. I don't know why it only showed up in Ubuntu but the answer seems to be to get rid of the crow-bar thread completely.
However, I am releasing 44b7b88 as 5.7.1. The other changes can go into master and fixes-5.7.1.
David
On 26/11/2017 10:49, Makarius wrote:
On 25/11/17 22:45, Makarius wrote:
This change a24f39a95ca9 causes a new problem when building modules/IntInfAsInt:
... echo "use "./ROOT.sml";" | ../../poly -q -error-exit Error 1
Before emitting that error, it appears to "hang" for several seconds.
The build procedure is that of Isabelle, e.g.:
$ isabelle build_polyml -m32 -s sha1 polyml-git --with-gmp $ isabelle build_polyml -m64 -s sha1 polyml-git --with-gmp
I've also seen the error with manual invocation of:
./configure --enable-intinf-as-int && make clean && make compiler
This effect is somewhat non-deterministic, but it appears quite reliably on my reference machines for x86-linux and x86_64-linux (Ubuntu 12.04 LTS).
In most other system configurations it appears to work.
I have tested this once again with Ubuntu 12.04 or 14.04 systems with x86 or x86_64. The problem can happen in all combinations, but more frequently on 12.04 than 14.04 and on x86 than x86_64.
Makarius
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml