Subject: Re: mutex fault
To: Kazushi Marukawa <>
From: Manuel Bouyer <>
List: tech-kern
Date: 12/19/2007 20:01:13
On Wed, Dec 19, 2007 at 12:04:25AM +0900, Kazushi Marukawa wrote:
> Is your kernel crashed?  Mine didn't crash.  It looks like
> this LOCKDEBUG kernel won't crash, so I stopped this test.

It didn't crash either

> I'm now thinking Xen3 dom0 kernel on multi cores machine is
> having race condition issues.  Therefore, I made following

I don't think it's limited to multi cores machines. A dom0 kernel
is UP anyway. 

> patch to enable some pre-exist codes to avoid lock race
> conditions.  With this patch, my machine has not been
> crashed yet for 2 days, looks like pretty working.
> I know this is not the answer.  I just patched a hole.  This
> doesn't fix the source of problem.  Manuel, is it possible
> to investigate race condition issues in Xen3 dom0 kernel?

I'll try, but it's not easy.

Manuel Bouyer <>
     NetBSD: 26 ans d'experience feront toujours la difference