[gecode-users] Bugs in Gecode/J

[Malcolm Ryan]

I don't mean to hassle you, but I just need to know whether you think  
you can help me with this problem. I am working towards a close paper  
deadline and I need to know whether to stick with Gecode/J in the hope  
that we will be able to sort out these problems, or whether I need to  
look for another solution.

Thanks,

Malcolm

On 16/04/2008, at 9:37 PM, Malcolm Ryan wrote:

> 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
>
>
> <hs_err_pid13779.log>
>
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users