From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752129AbeEODok (ORCPT ); Mon, 14 May 2018 23:44:40 -0400 Received: from mx0a-001b2d01.pphosted.com ([148.163.156.1]:46486 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752060AbeEODoj (ORCPT ); Mon, 14 May 2018 23:44:39 -0400 Date: Mon, 14 May 2018 20:46:03 -0700 From: "Paul E. McKenney" To: Joel Fernandes Cc: linux-kernel@vger.kernel.org, Josh Triplett , Steven Rostedt , Mathieu Desnoyers , Lai Jiangshan , byungchul.park@lge.com, kernel-team@android.com Subject: Re: [PATCH RFC 6/8] rcu: Add back the Startedleaf tracepoint Reply-To: paulmck@linux.vnet.ibm.com References: <20180514031541.67247-1-joel@joelfernandes.org> <20180514031541.67247-7-joel@joelfernandes.org> <20180514183823.GF26088@linux.vnet.ibm.com> <20180515005709.GE209519@joelaf.mtv.corp.google.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20180515005709.GE209519@joelaf.mtv.corp.google.com> User-Agent: Mutt/1.5.21 (2010-09-15) X-TM-AS-GCONF: 00 x-cbid: 18051503-0024-0000-0000-0000035909DD X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00009027; HX=3.00000241; KW=3.00000007; PH=3.00000004; SC=3.00000260; SDB=6.01032467; UDB=6.00527834; IPR=6.00811599; MB=3.00021117; MTD=3.00000008; XFM=3.00000015; UTC=2018-05-15 03:44:35 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 18051503-0025-0000-0000-000048041DAC Message-Id: <20180515034603.GY26088@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:,, definitions=2018-05-15_01:,, signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=0 spamscore=0 clxscore=1015 lowpriorityscore=0 impostorscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1709140000 definitions=main-1805150037 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, May 14, 2018 at 05:57:09PM -0700, Joel Fernandes wrote: > On Mon, May 14, 2018 at 11:38:23AM -0700, Paul E. McKenney wrote: > > On Sun, May 13, 2018 at 08:15:39PM -0700, Joel Fernandes (Google) wrote: > > > In recent discussion [1], the check for whether a leaf believes RCU is > > > not idle, is being added back to funnel locking code, to avoid more > > > locking. In this we are marking the leaf node for a future grace-period > > > and bailing out since a GP is currently in progress. However the > > > tracepoint is missing. Lets add it back. > > > > > > Also add a small comment about why we do this check (basically the point > > > is to avoid locking intermediate nodes unnecessarily) and clarify the > > > comments in the trace event header now that we are doing traversal of > > > one or more intermediate nodes. > > > > > > [1] http://lkml.kernel.org/r/20180513190906.GL26088@linux.vnet.ibm.com > > > > > > Signed-off-by: Joel Fernandes (Google) > > > > Looks like a good idea, but it does not apply -- which is not a surprise, > > given the change rate in this code. I hand-applied as a modification > > to c1b3f9fce26f ("rcu: Don't funnel-lock above leaf node if GP in progress") > > with attribution, but with the changes below. Please let me know if I > > am missing something. > > > > Ah, I see -- this commit depends on your earlier name-change commit. > > I therefore made this patch use the old names. > > Ok, I'll check your new tree and rebase. Sounds good! > > > --- > > > include/trace/events/rcu.h | 4 ++-- > > > kernel/rcu/tree.c | 11 ++++++++++- > > > 2 files changed, 12 insertions(+), 3 deletions(-) > > > > > > diff --git a/include/trace/events/rcu.h b/include/trace/events/rcu.h > > > index 539900a9f8c7..dc0bd11739c7 100644 > > > --- a/include/trace/events/rcu.h > > > +++ b/include/trace/events/rcu.h > > > @@ -91,8 +91,8 @@ TRACE_EVENT(rcu_grace_period, > > > * > > > * "Startleaf": Request a grace period based on leaf-node data. > > > * "Prestarted": Someone beat us to the request > > > - * "Startedleaf": Leaf-node start proved sufficient. > > > - * "Startedleafroot": Leaf-node start proved sufficient after checking root. > > > + * "Startedleaf": Leaf and one or more non-root nodes marked for future start. > > > > Actually, we only get to that trace if all we did was mark the leaf > > node, right? > > I didn't think so. In the code we are doing the check for rnp every time we > walk up the tree. So even when we are on an intermediate node, we do the > check of the node we started with. I thought that's what you wanted to do. It > makes sense to me to do so too. If we are not on the initial (usually leaf) node, then the similar check in the previous "if" statement would have sent us to unlock_out, right? (And yes, I should have said "mark the initial node" above.) Thanx, Paul > > > + * "Startedleafroot": all non-root nodes from leaf to root marked for future start. > > > > I got rid of the "non-root" part, given that we had to have marked > > the root to break out of the loop. > > Ah yes, sorry. That's absolutely true. > > thanks, > > - Joel >