[gecode-users] Freeze with MSVC 2015 optimized build

[Filip Konvička]

It only happens with Gecode compiled in release mode with MSVC 2015. 
There are no such official Gecode binaries, so I wasn't sure whether my 
build environment was set up correctly - but it probably is.

This is an excerpt from my original post that explains what seems to be 
triggering the problem:

 > In the test case source code there is a constant
 > "8686.9666660000003". Changing it to "8686" seems to fix the problem
 > - but even "8686.9" makes dfs freeze.  It also seems that it is the
 > branching strategy 'FLOAT_VAL_SPLIT_MAX' that is causing problems.

Regarding the build environment, I tried running some tests, and it 
seems to fail "Float::Arithmetic::Div::C":

...
Float::Arithmetic::Div::B +++++
Float::Arithmetic::Div::C -
Options: -seed 71643696 -test Float::Arithmetic::Div::C

I wonder whether this passes in your environment.  The "Div" tests seem 
to run slow.  The same test with the seed 71643693 seems to pass.

Cheers,
Filip


> Uuups, gosh. That I did not know. Right now I cannot try MSV 2013 easily as
> I am travelling. But maybe I'll check somehow.
>
> Cheers
> Christian
>
> --
> Christian Schulte, www.gecode.org/~schulte
> Professor of Computer Science, KTH, cschulte at kth.se
> Expert Researcher, SICS, cschulte at sics.se
>
> -----Original Message-----
> From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
> Of Filip Konvicka
> Sent: Thursday, September 17, 2015 05:02 PM
> To: users at gecode.org
> Subject: Re: [gecode-users] Freeze with MSVC 2015 optimized build
>
> Hi Christian,
>
> Thanks!  OK - I just know that the official Gecode 4.4.0 distribution (MSVC
> 2013) works OK, and so does the debug (non-optimized) version built from
> trunk using MSVC 2015.
>
> Cheers,
> Filip
>
>> Hi Filip,
>>
>> This seems to be an issue with Gecode and not the compiler... Guido
>> promised me that he will look into floats. Real soon, he said ;-)
>>
>> Cheers
>> Christian
>>
>> --
>> Christian Schulte, www.gecode.org/~schulte Professor of Computer
>> Science, KTH, cschulte at kth.se Expert Researcher, SICS,
>> cschulte at sics.se
>>
>> -----Original Message-----
>> From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On
>> Behalf Of Filip Konvicka
>> Sent: Thursday, September 17, 2015 03:39 PM
>> To: users at gecode.org
>> Subject: Re: [gecode-users] Freeze with MSVC 2015 optimized build
>>
>> Sure, it's the script from my original post.  I'm re-attaching it now.
>> I also used Gecode trunk (updated about September 1st) with Qt-5.5,
>> built in my Cygwin environment with MSVC 2015 RTM x64 compiler.
>>
>> Thanks,
>> Filip
>>
>>> Hi Filip,
>>>
>>> If you tell me which script you tried, I can try here (even though
>>> Gist works for me with MSVC 2015 and Qt-5.5.0, using the trunk).
>>>
>>> Cheers
>>> Christian
>>>
>>> --
>>> Christian Schulte, www.gecode.org/~schulte Professor of Computer
>>> Science, KTH, cschulte at kth.se Expert Researcher, SICS,
>>> cschulte at sics.se
>>>
>>> -----Original Message-----
>>> From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On
>>> Behalf Of Filip Konvicka
>>> Sent: Thursday, September 17, 2015 03:24 PM
>>> To: users at gecode.org
>>> Subject: Re: [gecode-users] Freeze with MSVC 2015 optimized build
>>>
>>>> I was trying to use the Qt installer but Qt does not seem to be
>>>> visible in the cygwin environment.  I'll try the source package as
>>>> you suggest, that sounds better to me.
>>>
>>> So in the end I finished using the pre-built version of Qt and I'm
>>> now able to run the script in Gist (Gist::dfs). The issue is still there.
>>> I ran 'Next Solution' - this apparently runs the search in a separate
>>> thread but never finishes (and 'Stop' does not stop the search, you
>>> have to kill the program). Inspecting the nodes one by one freezes
>>> the program during the 3rd expansion, and in this case the program
>>> stops
>> responding altogether.
>>>
>>> So my guess is this is really some tight loop somewhere in Gecode
>>> (maybe caused by a new optimization or bug in the new compiler?)
>>>
>>> Cheers,
>>> Filip
>>>
>>>
>>>
>>> _______________________________________________
>>> Gecode users mailing list
>>> users at gecode.org
>>> https://www.gecode.org/mailman/listinfo/gecode-users
>>>
>
>
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
>