Skip to content

Commit 335cd42

Browse files
Frederic Weisbeckergregkh
authored andcommitted
rcu: Fix racy re-initialization of irq_work causing hangs
commit 61399e0 upstream. RCU re-initializes the deferred QS irq work everytime before attempting to queue it. However there are situations where the irq work is attempted to be queued even though it is already queued. In that case re-initializing messes-up with the irq work queue that is about to be handled. The chances for that to happen are higher when the architecture doesn't support self-IPIs and irq work are then all lazy, such as with the following sequence: 1) rcu_read_unlock() is called when IRQs are disabled and there is a grace period involving blocked tasks on the node. The irq work is then initialized and queued. 2) The related tasks are unblocked and the CPU quiescent state is reported. rdp->defer_qs_iw_pending is reset to DEFER_QS_IDLE, allowing the irq work to be requeued in the future (note the previous one hasn't fired yet). 3) A new grace period starts and the node has blocked tasks. 4) rcu_read_unlock() is called when IRQs are disabled again. The irq work is re-initialized (but it's queued! and its node is cleared) and requeued. Which means it's requeued to itself. 5) The irq work finally fires with the tick. But since it was requeued to itself, it loops and hangs. Fix this with initializing the irq work only once before the CPU boots. Fixes: b41642c ("rcu: Fix rcu_read_unlock() deadloop due to IRQ work") Reported-by: kernel test robot <[email protected]> Closes: https://lore.kernel.org/oe-lkp/[email protected] Signed-off-by: Frederic Weisbecker <[email protected]> Reviewed-by: Joel Fernandes <[email protected]> Signed-off-by: Neeraj Upadhyay (AMD) <[email protected]> Signed-off-by: Greg Kroah-Hartman <[email protected]>
1 parent b859502 commit 335cd42

3 files changed

Lines changed: 9 additions & 2 deletions

File tree

kernel/rcu/tree.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4233,6 +4233,8 @@ int rcutree_prepare_cpu(unsigned int cpu)
42334233
rdp->rcu_iw_gp_seq = rdp->gp_seq - 1;
42344234
trace_rcu_grace_period(rcu_state.name, rdp->gp_seq, TPS("cpuonl"));
42354235
raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
4236+
4237+
rcu_preempt_deferred_qs_init(rdp);
42364238
rcu_spawn_rnp_kthreads(rnp);
42374239
rcu_spawn_cpu_nocb_kthread(cpu);
42384240
ASSERT_EXCLUSIVE_WRITER(rcu_state.n_online_cpus);

kernel/rcu/tree.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -488,6 +488,7 @@ static int rcu_print_task_exp_stall(struct rcu_node *rnp);
488488
static void rcu_preempt_check_blocked_tasks(struct rcu_node *rnp);
489489
static void rcu_flavor_sched_clock_irq(int user);
490490
static void dump_blkd_tasks(struct rcu_node *rnp, int ncheck);
491+
static void rcu_preempt_deferred_qs_init(struct rcu_data *rdp);
491492
static void rcu_initiate_boost(struct rcu_node *rnp, unsigned long flags);
492493
static void rcu_preempt_boost_start_gp(struct rcu_node *rnp);
493494
static bool rcu_is_callbacks_kthread(struct rcu_data *rdp);

kernel/rcu/tree_plugin.h

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -699,8 +699,6 @@ static void rcu_read_unlock_special(struct task_struct *t)
699699
cpu_online(rdp->cpu)) {
700700
// Get scheduler to re-evaluate and call hooks.
701701
// If !IRQ_WORK, FQS scan will eventually IPI.
702-
rdp->defer_qs_iw =
703-
IRQ_WORK_INIT_HARD(rcu_preempt_deferred_qs_handler);
704702
rdp->defer_qs_iw_pending = DEFER_QS_PENDING;
705703
irq_work_queue_on(&rdp->defer_qs_iw, rdp->cpu);
706704
}
@@ -840,6 +838,10 @@ dump_blkd_tasks(struct rcu_node *rnp, int ncheck)
840838
}
841839
}
842840

841+
static void rcu_preempt_deferred_qs_init(struct rcu_data *rdp)
842+
{
843+
rdp->defer_qs_iw = IRQ_WORK_INIT_HARD(rcu_preempt_deferred_qs_handler);
844+
}
843845
#else /* #ifdef CONFIG_PREEMPT_RCU */
844846

845847
/*
@@ -1039,6 +1041,8 @@ dump_blkd_tasks(struct rcu_node *rnp, int ncheck)
10391041
WARN_ON_ONCE(!list_empty(&rnp->blkd_tasks));
10401042
}
10411043

1044+
static void rcu_preempt_deferred_qs_init(struct rcu_data *rdp) { }
1045+
10421046
#endif /* #else #ifdef CONFIG_PREEMPT_RCU */
10431047

10441048
/*

0 commit comments

Comments
 (0)