Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Date:   Wed, 25 May 2022 07:03:28 -0700
From:   "Paul E. McKenney" <paulmck@kernel.org>
To:     Mukesh Ojha <quic_mojha@quicinc.com>
Cc:     Zqiang <qiang1.zhang@intel.com>, frederic@kernel.org,
        rcu@vger.kernel.org, linux-kernel@vger.kernel.org
Subject: Re: [PATCH] rcu: Add rnp->expmask output to show_rcu_gp_kthreads()
Message-ID: <20220525140328.GV1790663@paulmck-ThinkPad-P17-Gen-1>
Reply-To: paulmck@kernel.org
References: <20220525044503.2083630-1-qiang1.zhang@intel.com>
 <e531081f-4871-5292-6a31-782fa7228788@quicinc.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <e531081f-4871-5292-6a31-782fa7228788@quicinc.com>
Precedence: bulk

On Wed, May 25, 2022 at 10:29:23AM +0530, Mukesh Ojha wrote:
> 
> 
> On 5/25/2022 10:15 AM, Zqiang wrote:
> > Currently, for expedited rcu we only check 'rnp->exp_tasks', however
> > the 'rnp->exp_tasks' are not always exist for expedited grace period
> > that not end. this commit add 'rnp->expmask' condition.
> > 
> > Signed-off-by: Zqiang <qiang1.zhang@intel.com>
> 
> Thanks !! for the patch.
> Commit log could require wordsmith from Paul :-)

For Paul to wordsmith this commit log, he must first understand why this
change is useful, keeping in mind that show_rcu_gp_kthreads() is invoked
for normal grace periods, but not for expedited ones.

The point of ->exp_mask for debugging forward-progress issues for normal
grace periods is to understand why tasks blocking the current normal
grace period are not yet being boosted (because the expedited grace
period's boosting takes precedence).  How do these additions help you?

(Not saying that they cannot possibly help you.  I am instead saying
that you must tell me how they have helped you guys.)

							Thanx, Paul

> Reviewed-by: quic_mojha@quicinc.com
> 
> -Mukesh
> 
> > ---
> >   kernel/rcu/tree_stall.h | 6 ++++--
> >   1 file changed, 4 insertions(+), 2 deletions(-)
> > 
> > diff --git a/kernel/rcu/tree_stall.h b/kernel/rcu/tree_stall.h
> > index 2464b0eccfd0..5c4df855f2ac 100644
> > --- a/kernel/rcu/tree_stall.h
> > +++ b/kernel/rcu/tree_stall.h
> > @@ -865,13 +865,15 @@ void show_rcu_gp_kthreads(void)
> >   	rcu_for_each_node_breadth_first(rnp) {
> >   		if (ULONG_CMP_GE(READ_ONCE(rcu_state.gp_seq), READ_ONCE(rnp->gp_seq_needed)) &&
> >   		    !data_race(READ_ONCE(rnp->qsmask)) && !data_race(READ_ONCE(rnp->boost_tasks)) &&
> > -		    !data_race(READ_ONCE(rnp->exp_tasks)) && !data_race(READ_ONCE(rnp->gp_tasks)))
> > +		    !data_race(READ_ONCE(rnp->expmask)) && !data_race(READ_ONCE(rnp->exp_tasks)) &&
> > +			!data_race(READ_ONCE(rnp->gp_tasks)))
> >   			continue;
> > -		pr_info("\trcu_node %d:%d ->gp_seq %ld ->gp_seq_needed %ld ->qsmask %#lx %c%c%c%c ->n_boosts %ld\n",
> > +		pr_info("\trcu_node %d:%d ->gp_seq %ld ->gp_seq_needed %ld ->qsmask %#lx ->expmask %#lx %c%c%c%c ->n_boosts %ld\n",
> >   			rnp->grplo, rnp->grphi,
> >   			(long)data_race(READ_ONCE(rnp->gp_seq)),
> >   			(long)data_race(READ_ONCE(rnp->gp_seq_needed)),
> >   			data_race(READ_ONCE(rnp->qsmask)),
> > +			data_race(READ_ONCE(rnp->expmask)),
> >   			".b"[!!data_race(READ_ONCE(rnp->boost_kthread_task))],
> >   			".B"[!!data_race(READ_ONCE(rnp->boost_tasks))],
> >   			".E"[!!data_race(READ_ONCE(rnp->exp_tasks))],