Re: [patch 2.6.25-rc3] lockdep: add spin_lock_irq_nested()

From: Peter Zijlstra
Date: Mon Feb 25 2008 - 05:20:56 EST



On Sun, 2008-02-24 at 20:33 -0800, David Brownell wrote:
> > > > ==> LOCKDEP feature is evidently missing:
> > > > spin_lock_irq_nested(lock_ptr, lock_class)
> > >
> > > This rant is more lines than adding the API :-/ the reason for it not
> > > being there is simple, it wasn't needed up until now.
> >
> > I suspected that was the case, but for all I knew there was some
> > religious objection.
>
> Does this look about right? Or, I suppose it could just call
> the _spin_lock_irqsave_nested() routine and discard the result.

Before I look at the code, and with a notice that I haven't had my
morning juice yet...

It seems to me a spin_lock_irq_nested() thing is redundant, because:

The lock must obviously be held hardirq safe and nested implies one is
already held. Hence the context is already hardirq safe thus using
spin_lock_irq/spin_unlock_irq is wrong because it will enable irqs and
destroy the irqsafe guarantee for the parent lock.

Obviously I'm missing something here.. otherwise you wouldn't need it.

As I'm very much not familiar with the IRQ code, could you spell it out
to me?

--
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/