[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <adar5ya5h4w.fsf@cisco.com>
Date: Wed, 27 May 2009 15:13:19 -0700
From: Roland Dreier <rdreier@...co.com>
To: peterz@...radead.org
Cc: lkml@...eThan.org, "H. Peter Anvin" <hpa@...or.com>,
Ingo Molnar <mingo@...e.hu>,
Thomas Gleixner <tglx@...utronix.de>,
linux-kernel@...r.kernel.org
Subject: Re: [BUG FIX] Make x86_32 uni-processor Atomic ops, Atomic
> The only objective information is posted here:
> http://lkml.org/lkml/2009/5/20/342
Not sure if you've looked at this, but it's a lockdep trace that looks
to be a valid lockdep report due to non-annotated code (I don't *think*
it's a bug). To summarize, there is the code path in
kernel/irq/spurious.c that does:
poll_spurious_irq_timer ->
poll_spurious_irqs() [from timer, with hard IRQs on] ->
poll_all_shared_irqs() [if we think an IRQ got stuck] ->
try_one_irq() ->
spin_lock(&desc->lock) [as above -- hard IRQs on]
while kernel/irq/chip.c has:
handle_level_irq() [called with hard IRQs off] ->
spin_lock(&desc->lock) [as above -- hard IRQs off]
and lockdep can't tell that the interrupt corresponding to desc has been
disabled if we ever actually reach try_one_irq(), so there's no risk of
the interrupt coming in and deadlocking while the try_one_irq() code
holds desc->lock.
Unfortunately I don't know how to annotate this...
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists