2020-07-31 00:41:58

by Joel Fernandes

[permalink] [raw]
Subject: [PATCH v2 1/3] rcu/tree: Add a warning if CPU being onlined did not report QS already

Add a warning if CPU being onlined did not report QS already. This is to
simplify the code in the CPU onlining path and also to make clear about
where QS is reported. The act of QS reporting in CPU onlining path is
is likely unnecessary as shown by code reading and testing with
rcutorture's TREE03 and hotplug parameters.

Cc: Paul E. McKenney <[email protected]>
Cc: Neeraj Upadhyay <[email protected]>
Suggested-by: Paul E. McKenney <[email protected]>
Signed-off-by: Joel Fernandes (Google) <[email protected]>

---
kernel/rcu/tree.c | 14 +++++++++++++-
1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/kernel/rcu/tree.c b/kernel/rcu/tree.c
index 65e1b5e92319..6b6fc28bb670 100644
--- a/kernel/rcu/tree.c
+++ b/kernel/rcu/tree.c
@@ -3996,7 +3996,19 @@ void rcu_cpu_starting(unsigned int cpu)
rcu_gpnum_ovf(rnp, rdp); /* Offline-induced counter wrap? */
rdp->rcu_onl_gp_seq = READ_ONCE(rcu_state.gp_seq);
rdp->rcu_onl_gp_flags = READ_ONCE(rcu_state.gp_flags);
- if (rnp->qsmask & mask) { /* RCU waiting on incoming CPU? */
+
+ /*
+ * Delete QS reporting from here, by June 2021, if warning does not
+ * fire, in order to make the rules for reporting QS for an offline CPUs
+ * more clear. The CPU onlining path does not need to report QS for
+ * an offline CPU. Either the QS should have reported during CPU
+ * offlining, or during rcu_gp_init() if it detected a race with either
+ * CPU offlining or task unblocking on previously offlined CPUs. Note
+ * that to avoid hotplug notifier deadlocks,the FQS loop also does not
+ * report QS for an offline CPU any longer (unless it splats due to an
+ * offline CPU blocking the GP for too long).
+ */
+ if (WARN_ON_ONCE(rnp->qsmask & mask)) { /* RCU waiting on incoming CPU? */
rcu_disable_urgency_upon_qs(rdp);
/* Report QS -after- changing ->qsmaskinitnext! */
rcu_report_qs_rnp(mask, rnp, rnp->gp_seq, flags);
--
2.28.0.163.g6104cc2f0b6-goog