From: Peter Zijlstra <peterz@infradead.org>
To: Sasha Levin <sasha.levin@oracle.com>
Cc: Thomas Gleixner <tglx@linutronix.de>,
LKML <linux-kernel@vger.kernel.org>,
Paul McKenney <paulmck@linux.vnet.ibm.com>
Subject: Re: timers: HARDIRQ-safe -> HARDIRQ-unsafe lock order detected
Date: Tue, 12 Jan 2016 21:18:56 +0100 [thread overview]
Message-ID: <20160112201856.GD6375@twins.programming.kicks-ass.net> (raw)
In-Reply-To: <56955C0F.1090005@oracle.com>
On Tue, Jan 12, 2016 at 03:03:27PM -0500, Sasha Levin wrote:
> [ 3408.703754] Call Trace:
> [ 3408.733192] rcu_read_unlock_special (kernel/rcu/tree_plugin.h:503)
> [ 3408.735155] __rcu_read_unlock (kernel/rcu/update.c:223)
> [ 3408.736090] __lock_timer (include/linux/rcupdate.h:495 include/linux/rcupdate.h:930 kernel/time/posix-timers.c:709)
I'm thinking this is one of those magic preemptible RCU bits..
---
kernel/time/posix-timers.c | 12 ++++++++++--
1 file changed, 10 insertions(+), 2 deletions(-)
diff --git a/kernel/time/posix-timers.c b/kernel/time/posix-timers.c
index 31d11ac9fa47..09e28733e725 100644
--- a/kernel/time/posix-timers.c
+++ b/kernel/time/posix-timers.c
@@ -701,17 +701,25 @@ static struct k_itimer *__lock_timer(timer_t timer_id, unsigned long *flags)
if ((unsigned long long)timer_id > INT_MAX)
return NULL;
+ /*
+ * One of the few rules of preemptible RCU is that one cannot do
+ * rcu_read_unlock() while holding a scheduler (or nested) lock when
+ * part of the read side critical section was irqs-enabled -- see
+ * rcu_read_unlock_special().
+ */
+ local_irq_safe(*flags);
rcu_read_lock();
timr = posix_timer_by_id(timer_id);
if (timr) {
- spin_lock_irqsave(&timr->it_lock, *flags);
+ spin_lock(&timr->it_lock);
if (timr->it_signal == current->signal) {
rcu_read_unlock();
return timr;
}
- spin_unlock_irqrestore(&timr->it_lock, *flags);
+ spin_unlock(&timr->it_lock);
}
rcu_read_unlock();
+ local_irq_restore(*flags);
return NULL;
}
next prev parent reply other threads:[~2016-01-12 20:19 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-01-12 20:03 timers: HARDIRQ-safe -> HARDIRQ-unsafe lock order detected Sasha Levin
2016-01-12 20:18 ` Peter Zijlstra [this message]
2016-01-12 20:52 ` Paul E. McKenney
2016-01-13 9:05 ` Thomas Gleixner
2016-01-13 16:16 ` Paul E. McKenney
2016-01-14 17:43 ` Thomas Gleixner
2016-01-14 18:18 ` Paul E. McKenney
2016-01-14 19:47 ` Thomas Gleixner
2016-01-15 1:42 ` Paul E. McKenney
2016-01-15 10:03 ` Thomas Gleixner
2016-01-15 21:11 ` Paul E. McKenney
2016-01-15 22:10 ` Paul E. McKenney
2016-01-15 23:14 ` Paul E. McKenney
2016-01-29 15:27 ` Peter Zijlstra
2016-01-31 0:28 ` Paul E. McKenney
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=20160112201856.GD6375@twins.programming.kicks-ass.net \
--to=peterz@infradead.org \
--cc=linux-kernel@vger.kernel.org \
--cc=paulmck@linux.vnet.ibm.com \
--cc=sasha.levin@oracle.com \
--cc=tglx@linutronix.de \
/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