[gecode-users] buggy parallel search

[Christian Schulte]

Do you use anything inside your application on which we could easily blame
the bug ;-)  Such as home-brewed propagators, branchers, etc?

Seriously, would there be an opportunity to run your application on my
machine?

Christian

--
Christian Schulte, www.ict.kth.se/~cschulte/


-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Denys Duchier
Sent: Friday, February 05, 2010 3:02 PM
To: users at gecode.org
Subject: Re: [gecode-users] buggy parallel search

"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

_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users