[gecode-users] Freeze with MSVC 2015 optimized build

[Filip Konvička]

...and "Float::Arithmetic::Div::Sol::A" seems to be failing fast with 
any seed.

So it might really be my build setup - although I hope it's not as it is 
basically the same as that I've been using for years :)

Cheers,
Filip

> 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
>>