[gecode-users] Bugs in Gecode/J

[Malcolm Ryan]

I've moved everything over to one of our Linux boxes and the problems  
have changed. I'm now using the following java:

java version "1.6.0_04"
Java(TM) SE Runtime Environment (build 1.6.0_04-b12)
Java HotSpot(TM) Server VM (build 10.0-b19, mixed mode)

I'm getting intermittent crashes with the message:

#
# An unexpected error has been detected by Java Runtime Environment:
#
#  SIGSEGV (0xb) at pc=0x2f605c9f, pid=13779, tid=3084274576
#
# Java VM: Java HotSpot(TM) Server VM (10.0-b19 mixed mode linux-x86)
# Problematic frame:
# C  [libgecodesearch.so.12+0x1c9f]  _ZN6Gecode6Search3DFS4nextEv+0x2af
#
# An error report file with more information is saved as:
# /tmp_amd/adams/import/1/malcolmr/exps/aiide08/hs_err_pid13779.log
#
# If you would like to submit a bug report, please visit:
#   http://java.sun.com/webapps/bugreport/crash.jsp
# The crash happened outside the Java Virtual Machine in native code.
# See problematic frame for where to report the bug.
#

I've attached the hs_err_pid*.log file. If you want to try it  
yourself, there is a new jar file at:
http://www.cse.unsw.edu.au/~malcolmr/aiide08.jar.
I've made it automatically run one of the problematic experiments. So  
all you need to do is:
jar -xf aiide08.jar Maps
java -cp aiide08.jar -Xmx2G exps.PatricksExperiment

Sometimes it runs fine. Sometimes it crashes. You may need to try it  
10 times or so.

Malcolm


-------------- next part --------------
A non-text attachment was scrubbed...
Name: hs_err_pid13779.log
Type: application/octet-stream
Size: 16196 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20080416/6bebe1b7/attachment.obj>
-------------- next part --------------