[lkml]   [2013]   [Feb]   [13]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
    Patch in this message
    Subject[PATCH 04/16] rcu: rcutiny: Prevent RCU stall
    From: Thomas Gleixner <>

    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 <>
    Signed-off-by: Thomas Gleixner <>
    [bigeasy@linutronix: different in-irq check]
    Signed-off-by: Sebastian Andrzej Siewior <>
    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 2b0484a..bac1906 100644
    --- a/kernel/rcutiny_plugin.h
    +++ b/kernel/rcutiny_plugin.h
    @@ -552,7 +552,7 @@ static void rcu_read_unlock_special(struct task_struct *t)

    /* Hardware IRQ handlers cannot block. */
    - if (in_irq()) {
    + if (preempt_count() & (HARDIRQ_MASK | SOFTIRQ_OFFSET)) {

     \ /
      Last update: 2013-02-13 19:21    [W:6.956 / U:0.008 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site