[gecode-users] Strange Error Concerning Memory

[Christian Schulte]

Hi Yunus,

 

Really no idea. But what you could do: compile your application in Debugmode (that’s why the Gecode packages also contain debug variants of its dlls) and let it run under the Microsoft debugger. Please make sure that the debugger picks up the pdb symbol files (it should by default).

 

At least you should see more with that!

 

Cheers

Christian

 

--

Christian Schulte, www.gecode.org/~schulte

Professor of Computer Science, KTH, cschulte at kth.se

Expert Researcher, SICS, cschulte at sics.se

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of Yunus Acikoz
Sent: Monday, August 8, 2016 16:23
To: users at gecode.org
Subject: [gecode-users] Strange Error Concerning Memory

 

Hello,

 

I've implemented a model that is derived from Gecode::IntMinimizeSpace. The model contains a propagator which is derived from Gecode::Propagator. My propagator holds four integer ViewArrays, each having around 15000 views. And each view in three of these arrays is assigned an advisor which is derived from Gecode::Advisor (making approximately 45000 advisors in total). This propagator also holds two integer vectors of size 15000 which I am using as labels in propagation. These two vectors are allocated from Gecode space. This little information might give an idea about the problem size.

 

At some point while solving the model with the BAB search engine, an exception is thrown and stack trace only points to the Gecode dll and nothing more. I used Microsoft's Application Verifier tool, it gives the following output:

 

 

                <avrf:logEntry Time="2016-08-05 : 10:44:39" LayerName="Exceptions" StopCode="0x650" Severity="Error">

<avrf:message>Attempt to execute code in non-executable memory (first chance).</avrf:message>

<avrf:parameter1>24c4ab54e88 - Address being accessed.</avrf:parameter1>

<avrf:parameter2>24c4ab54e88 - Code performing invalid access.</avrf:parameter2>

<avrf:parameter3>fde92fe1f0 - Exception record. Use .exr to display it.</avrf:parameter3>

<avrf:parameter4>fde92fdd00 - Context record. Use .cxr to display it.</avrf:parameter4>

<avrf:stackTrace>

<avrf:trace>vfbasics!+7ffab0f981b2 ( @ 0)</avrf:trace>

<avrf:trace>vfbasics!+7ffab0f9787e ( @ 0)</avrf:trace>

<avrf:trace>ntdll!MD5Update+a43 ( @ 0)</avrf:trace>

<avrf:trace>ntdll!RtlImageNtHeaderEx+17b ( @ 0)</avrf:trace>

<avrf:trace>ntdll!KiUserExceptionDispatcher+3a ( @ 0)</avrf:trace>

<avrf:trace>????????+0000024C4AB54E88</avrf:trace>

</avrf:stackTrace>

</avrf:logEntry>

 

 

 

I don't expect any detailed answer with this much information, but maybe you can tell me where to look or what kind of mistake I should look for in my code. Because I don't have any idea about what may be causing this.

 

Thanks,

Yunus Acikoz

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20160808/ea25bbfb/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4623 bytes
Desc: not available
URL: <http://www.gecode.org/pipermail/users/attachments/20160808/ea25bbfb/attachment.bin>