[Gecode-bugs] [Bug 44] Solving the same problem multiple times eventually crashes Gecode/J
bugzilla-daemon at ps.uni-sb.de
bugzilla-daemon at ps.uni-sb.de
Tue Sep 19 13:25:09 CEST 2006
http://www.gecode.org/bugzilla/show_bug.cgi?id=44
------- Comment #1 from anders.musikka at gmail.com 2006-09-19 13:25 -------
Some more information:
Using this main-function:
public static void main(String[] args) {
for (int i = 0; i < 10000; ++i)
{
{
Options opt = new Options("Queens");
opt.size = 6;
opt.gui = true;
opt.parse(args);
Queens queens = new Queens(opt.size);
opt.doSearch(queens);
}
System.out.println("Ran iteration " +
String.valueOf(i));
try
{
System.gc();
Thread.sleep(1);
}
catch (Exception e)
{
return;
}
}
}
makes the program work again (probably by luck). My interpretation is that the
problem lies with swig or JNI and its interaction with the java memory system.
--
Configure bugmail: http://www.gecode.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug, or are watching the QA contact.
More information about the Gecode-bugs
mailing list