Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf

[Peter Bex]

On Tue, Jun 18, 2013 at 02:04:32PM +0200, Jörg F. Wittenberger wrote:
> On Jun 18 2013, Jim Ursetto wrote:
> 
> >On Jun 17, 2013, at 2:06 AM, Felix 
> ><address@hidden> wrote:
> >>
> >>This is quite a serious bug, and I recommend putting the patch into
> >>the stability branch.
> 
> Congratulations to this catch!
> 
> While I'm not sure that this was really the reason, I can't see any other.
> I had long standing problems with threads dropped from the waiting queue
> at random.  Couldn't find the reason.  Since yesterdays update the problem
> appears gone with no other code changes.

Great to hear!

I know you've used Valgrind on CHICKEN in the past.  Does it not detect
this problem, or have you not tried it recently?

Maybe we could start using Valgrind in the Salmonella runs.. Not sure if
that would skew the test results, though...

Cheers,
Peter
-- 
http://www.more-magic.net