| From a08ae03951034f432122fb6abb15eb7d4d02bd8d Mon Sep 17 00:00:00 2001 |
| From: Thomas Gleixner <tglx@linutronix.de> |
| Date: Tue, 16 Oct 2012 18:36:51 +0200 |
| Subject: [PATCH 270/274] rcu: rcutiny: Prevent RCU stall |
| |
| rcu_read_unlock_special() checks in_serving_softirq() and leaves early |
| when true. On RT this is obviously wrong as softirq processing context |
| can be preempted and therefor such a task can be on the gp_tasks |
| list. Leaving early here will leave the task on the list and therefor |
| block RCU processing forever. |
| |
| This cannot happen on mainline because softirq processing context |
| cannot be preempted and therefor this can never happen at all. |
| |
| In fact this check looks quite questionable in general. Neither irq |
| context nor softirq processing context in mainline can ever be |
| preempted in mainline so the special unlock case should not ever be |
| invoked in such context. Now the only explanation might be a |
| rcu_read_unlock() being interrupted and therefor leave the rcu nest |
| count at 0 before the special unlock bit has been cleared. That looks |
| fragile. At least it's missing a big fat comment. Paul ???? |
| |
| See mainline commits: ec433f0c5 and 8762705a for further enlightment. |
| |
| Reported-by: Kristian Lehmann <krleit00@hs-esslingen.de> |
| Signed-off-by: Thomas Gleixner <tglx@linutronix.de> |
| Cc: stable-rt@vger.kernel.org |
| Signed-off-by: Steven Rostedt <rostedt@goodmis.org> |
| --- |
| kernel/rcutiny_plugin.h | 2 +- |
| 1 file changed, 1 insertion(+), 1 deletion(-) |
| |
| diff --git a/kernel/rcutiny_plugin.h b/kernel/rcutiny_plugin.h |
| index 22ecea0..97e359b 100644 |
| --- a/kernel/rcutiny_plugin.h |
| +++ b/kernel/rcutiny_plugin.h |
| @@ -572,7 +572,7 @@ static noinline void rcu_read_unlock_special(struct task_struct *t) |
| rcu_preempt_cpu_qs(); |
| |
| /* Hardware IRQ handlers cannot block. */ |
| - if (in_irq() || in_serving_softirq()) { |
| + if (preempt_count() & (HARDIRQ_MASK | SOFTIRQ_OFFSET)) { |
| local_irq_restore(flags); |
| return; |
| } |
| -- |
| 1.7.10.4 |
| |
