Re: [CHECKER] possible reiserfs deadlock in 2.6.8.1

[Herbert Poetzl]

On Tue, Sep 07, 2004 at 10:10:23PM -0700, Dawson Engler wrote:
> > On Tue, Sep 07, 2004 at 08:16:53PM -0700, Dawson Engler wrote:
> > > Hi All,

Hey Dawson!

> > > below is a possible deadlock in the linux-2.6.8.1 reiserfs code found by
> > > a static deadlock checker I'm writing.  Let me know if it looks valid

is this tool somewhere available? via CVS or similar?

I would be interested in analyzing some kernel patches
with it. if it isn't available, maybe you could check
some patches with it, and send/publish the results?

TIA,
Herbert

> > > and/or whether the output is too cryptic.    Note, one of the locks is
> > > through a struct pointer, so the deadlock depends on both acquisitions
> > > being to the same struct.
> > 
> > Not valid, for the same reason as the above.  BKL and down() do not form
> > a mutual deadlock.
> 
> You know, I actually know this, and the tool "does" take care of this.
> I think a bit mask got screwed up somewhere.  Along with my brain...
> 
> Sorry about the noise.
> -
> To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
> the body of a message to majordomo@xxxxxxxxxxxxxxx
> More majordomo info at  http://vger.kernel.org/majordomo-info.html
> Please read the FAQ at  http://www.tux.org/lkml/
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/