[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf
From: |
Peter Bex |
Subject: |
Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf |
Date: |
Tue, 18 Jun 2013 14:07:51 +0200 |
User-agent: |
Mutt/1.4.2.3i |
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
- [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Felix, 2013/06/17
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Peter Bex, 2013/06/17
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Felix, 2013/06/17
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Jim Ursetto, 2013/06/17
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Jörg F . Wittenberger, 2013/06/18
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf,
Peter Bex <=
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Jörg F . Wittenberger, 2013/06/18
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Peter Bex, 2013/06/18
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Jörg F . Wittenberger, 2013/06/19
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Peter Bex, 2013/06/21
- Re: [Chicken-hackers] [PATCH] fix incorrect type of jmp_buf, Jörg F . Wittenberger, 2013/06/21