From: Tejun Heo <tj@kernel.org>
To: Jiri Kosina <jkosina@suse.cz>
Cc: Ingo Molnar <mingo@elte.hu>,
Peter Zijlstra <peterz@infradead.org>,
Yinghai Lu <yhlu.kernel@gmail.com>,
Thomas Gleixner <tglx@linutronix.de>,
cl@linux-foundation.org, linux-kernel@vger.kernel.org
Subject: Re: irq lock inversion
Date: Fri, 06 Nov 2009 14:53:01 +0900 [thread overview]
Message-ID: <4AF3B9BD.9050300@kernel.org> (raw)
In-Reply-To: <alpine.LSU.2.00.0911051502060.9988@wotan.suse.de>
Hello, Jiri.
Jiri Kosina wrote:
> Hmm, I wonder why I don't see this lockdep warning myself with
> head on 1836d9592, even though I have
>
> CONFIG_PROVE_LOCKING=y
> CONFIG_TRACE_IRQFLAGS=y
>
> ... ?
You need pcpu_mem_free() hit vfree() to trigger the warning by
allocating a lot of small percpu areas so that allocation map inside a
chunk becomes larger than 4k and then get extended once more.
> Anyway, how about something like this? (I can't verify myself that it even
> fixes the warning, as I don't see it for some odd reason)
>
> From: Jiri Kosina <jkosina@suse.cz>
> Subject: lockdep: avoid false positives about irq-safety
>
> Commit 403a91b1 ("percpu: allow pcpu_alloc() to be called
> with IRQs off") introduced this warning:
>
> =========================================================
> [ INFO: possible irq lock inversion dependency detected ]
> 2.6.32-rc5-tip-04815-g12f0f93-dirty #745
> ---------------------------------------------------------
> hub 1-3:1.0: state 7 ports 2 chg 0000 evt 0004
> ksoftirqd/65/199 just changed the state of lock:
> (pcpu_lock){..-...}, at: [<ffffffff81130e04>] free_percpu+0x38/0x104
> but this lock took another, SOFTIRQ-unsafe lock in the past:
> (vmap_area_lock){+.+...}
>
> and interrupts could create inverse lock ordering between them.
>
> This warning is bogus -- sched_init() is being called very early with IRQs
> disabled, and the irqsave/restore code paths in pcpu_alloc() are only for early
> init. The path can never be called from irq context once the early init
> finishes. Rationale for this is explained in changelog of the commit mentioned
> above.
>
> This problem can be encountered generally in any other early code running
> with IRQs off and using irqsave/irqrestore.
>
> Reported-by: Yinghai Lu <yhlu.kernel@gmail.com>
> Signed-off-by: Jiri Kosina <jkosina@suse.cz>
Looks good to me. Ingo, what do you think?
Thanks.
--
tejun
next prev parent reply other threads:[~2009-11-06 5:53 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <86802c440911041008q4969b9bdk15b4598c40bb84bd@mail.gmail.com>
[not found] ` <4AF25FC7.4000502@kernel.org>
[not found] ` <20091105082102.GA2870@elte.hu>
[not found] ` <4AF28D7A.6020209@kernel.org>
2009-11-05 14:31 ` irq lock inversion Jiri Kosina
2009-11-06 5:53 ` Tejun Heo [this message]
2009-11-06 7:17 ` Ingo Molnar
2009-11-06 7:45 ` Tejun Heo
2009-11-06 7:58 ` Ingo Molnar
2009-11-06 8:24 ` Tejun Heo
2009-11-06 8:40 ` Ingo Molnar
2009-11-06 8:52 ` Tejun Heo
2009-11-06 16:08 ` Christoph Lameter
2009-11-06 16:38 ` Tejun Heo
2009-11-06 17:03 ` Christoph Lameter
2009-11-07 16:13 ` Peter Zijlstra
2009-11-09 5:46 ` [PATCH percpu#for-linus] percpu: fix possible deadlock via " Tejun Heo
2009-11-06 9:59 ` Jens Axboe
2009-11-08 9:38 ` Ingo Molnar
2009-11-09 15:34 ` Jens Axboe
2009-11-09 15:45 ` Ingo Molnar
2009-11-09 15:49 ` Jens Axboe
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4AF3B9BD.9050300@kernel.org \
--to=tj@kernel.org \
--cc=cl@linux-foundation.org \
--cc=jkosina@suse.cz \
--cc=linux-kernel@vger.kernel.org \
--cc=mingo@elte.hu \
--cc=peterz@infradead.org \
--cc=tglx@linutronix.de \
--cc=yhlu.kernel@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox