Subject: Re: mutex fault
To: Kazushi Marukawa <firstname.lastname@example.org>
From: Manuel Bouyer <email@example.com>
Date: 12/10/2007 13:51:37
On Mon, Dec 10, 2007 at 07:23:06PM +0900, Kazushi Marukawa wrote:
> Hi Manuel,
> This is quick update. The kernel (11/21) with your patch
> was crashed. I'll atatch the trace log at the bottom.
OK, so the problem is probably somewhere else :(
> > Thanks. I'm trying this now with -O0 and -g but without
> > LOCKDEBUG.
> Now, I'm going to try the similar kernel (11/27) with
> additional LOCKDEBUG option and your patch. I needed to
> change the date of kernel source since 11/21 kernel aborted
> at the booting time with LOCKDEBUG option. 11/27 kernel is
> still aborting at the rebooting time, but I'm hoping this is
> a minor problem.
> On the other hand, I may need to try the latest kernel to
> avoid these glitches. Manuel, if you have your xenevt.c
> patch for 1.17 xenevt.c, please send it to me. Thanks.
As IPL_SOFTXENEVT has dissapeared, and xenevt.c is now using softserial,
the change I did can't work any more. As it looks like it's still not safe
to call softint_schedule() from an interrupt handler above IPL_HIGH, I may
have to introduce another Xen-specific IPL to handle it ...
Manuel Bouyer, LIP6, Universite Paris VI. Manuel.Bouyer@lip6.fr
NetBSD: 26 ans d'experience feront toujours la difference