public inbox for linux-kernel@vger.kernel.org
 help / color / mirror / Atom feed
From: Ingo Molnar <mingo@elte.hu>
To: Tejun Heo <tj@kernel.org>
Cc: Jiri Kosina <jkosina@suse.cz>,
	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, 6 Nov 2009 08:17:11 +0100	[thread overview]
Message-ID: <20091106071711.GA20946@elte.hu> (raw)
In-Reply-To: <4AF3B9BD.9050300@kernel.org>


* Tejun Heo <tj@kernel.org> wrote:

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

Ugh, this explanation is _BOGUS_. As i said, taking a lock with irqs 
disabled does _NOT_ mark a lock as 'irq safe' - if it did, we'd have 
false positives left and right.

Read the lockdep message please, consider all the backtraces it prints, 
it says something different.

	Ingo

  reply	other threads:[~2009-11-06  7:18 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
2009-11-06  7:17           ` Ingo Molnar [this message]
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=20091106071711.GA20946@elte.hu \
    --to=mingo@elte.hu \
    --cc=cl@linux-foundation.org \
    --cc=jkosina@suse.cz \
    --cc=linux-kernel@vger.kernel.org \
    --cc=peterz@infradead.org \
    --cc=tglx@linutronix.de \
    --cc=tj@kernel.org \
    --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