[gecode-users] buggy parallel search

[Denys Duchier]

"Christian Schulte" <cschulte at kth.se> writes:

> Alas, it looks as if there is a bug. Which engine? Which problem? How many
> cores? Aaargh...

engine : bab with 2 threads
problem: don't know how to answer that question. it's an NLP application
         that we have developed
cores  : Core 2 Duo

I was actually chasing another bug in parallel search where gecode
segfaults when deleting a space in a worker.  I recompiled with
--enable-debug.  It often takes several tries under gdb to observe the
problem.  This time I got a different problem, which is the one I
reported.

Cheers,

--Denys