[gecode-users] Freeze with MSVC 2015 optimized build

[Filip Konvička]

Hi,

You said that you have uploaded packages recently; I assume that it was 
Gecode-4.4.0-x64-2015.msi.  I compiled and linked using this with MSVC 
2015 Update 2 and it also freezes on the testcase.  Replacing this with 
the MSVC 2013 package (Gecode-4.4.0-x64-2013.msi) works fine, even using 
the same toolset.

Cheers,
Filip

> Hi,
>
> I have updated to MSVC 2015 update 2, compiled the current Gecode trunk
> for x64, and my testcase from the beginning of this thread still freezes
> (the one from Sep 3rd 2015 - I have attached it to this mail for
> convenience).
>
> I also tried running Float::Arithmetic::Div::Sol::A and that test still
> fails.  For some reason 'make check' only runs a small subset of tests,
> so I ran this manually like this:
>
> $ test/test -test Float::Arithmetic::Div::Sol::A
> Float::Arithmetic::Div::Sol::A -
> Options: -seed 1 -test Float::Arithmetic::Div::Sol::A
>
> Another try failed with a different seed number:
> $ test/test -test Float::Arithmetic::Div
> Float::Arithmetic::Div::A +++++
> Float::Arithmetic::Div::B +++++
> Float::Arithmetic::Div::C +++++
> Float::Arithmetic::Div::Sol::A -
> Options: -seed 1975575111 -test Float::Arithmetic::Div::Sol::A
>
> Thanks,
> Filip
>
>> Christian,
>>
>> Thanks.  I was referring to this September & October thread - there were
>> issues with Gecode freezing on some FloatVar problems (my testcase and
>> your "Float::Arithmetic::Div::C") with MSVC 2015, and you said then that
>> it might be resolved by not using SSE2 (but that Guido would investigate
>> more).  We also identified a number of float tests that were failing on
>> GCC 5 (not with GCC 4.9).
>>
>> I can try re-running our tests here with the current trunk to see if
>> something changed - I just thought that I would ask directly whether you
>> did something specific to address these issues.  The failures seemed a
>> bit non-deterministic...
>>
>> Thanks,
>> Filip
>>
>>> MSVC2015 works for Gecode.4.4.0 since its initial release, I in fact
>>> uploaded packages to the Gecode website last week. Since last week
>>> (Mar 30)
>>> the update 2 to MSVC 2015 finally also compiles the trunk and the
>>> upcoming
>>> Gecode 5.0.0.
>>>
>>> Don't know about GCC, though.
>>>
>>> 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: Friday, April 1, 2016 14:41
>>> To: users at gecode.org
>>> Subject: Re: [gecode-users] Freeze with MSVC 2015 optimized build
>>>
>>> Hi Christian,
>>>
>>> Have you had any chance to look into supporting gcc 5 and MSVC 2015?
>>>
>>> Thanks,
>>> Filip
>>>
>>>> Hi Filip,
>>>>
>>>> Thanks for the information. This really looks like a gcc problem.
>>>> Guido, can you reproduce this behavior?
>>>>
>>>> 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: Friday, October 2, 2015 09:58 AM
>>>> To: users at gecode.org
>>>> Subject: Re: [gecode-users] Freeze with MSVC 2015 optimized build
>>>>
>>>> Hi,
>>>>
>>>> We were looking a bit more into 4.4.0 on Linux where we've also hit
>>>> some issues.
>>>>
>>>> All tests worked fine with gcc 4.9.3.  However, with gcc 5.2.0 many
>>>> tests failed - see the attachements for details:
>>>>      gecode-4.4.0-gcc-5.2.0-failed_tests.list
>>>>      ... list of failed tests (except two memory fails below)
>>>>      gecode-4.4.0-gcc-5.2.0-failed_tests.log
>>>>      ... log from 'test' for failed tests
>>>>
>>>> Two tests ran out of memory (allocated several GBs of memory before
>>>> getting killed by system):
>>>>      Set::Branch::Sparse::3
>>>>      Set::Channel::Sorted
>>>>
>>>> gcc details:
>>>> target=x86_64-linux-gnu
>>>> GCC_VER=5.2.0
>>>> GMP_VER=6.0.0
>>>> MPFR_VER=3.1.3
>>>> MPC_VER=1.0.3
>>>> BINUTILS_VER=2.25
>>>>
>>>> It could also be a gcc bug of course, hard to tell.
>>>>
>>>> Thanks,
>>>> Filip
>>>>
>>>
>>>
>>>
>>> _______________________________________________
>>> Gecode users mailing list
>>> users at gecode.org
>>> https://www.gecode.org/mailman/listinfo/gecode-users
>>>