Received: by 2002:ac0:a594:0:0:0:0:0 with SMTP id m20-v6csp7205521imm; Sun, 20 May 2018 21:36:30 -0700 (PDT) X-Google-Smtp-Source: AB8JxZpHG7WUNI7Eo2d8hVfajiBg6PiQbPfdjjAdcN1T+k766rcYaJTs7dkNLxM0gzPwU94ZH2WV X-Received: by 2002:a63:740c:: with SMTP id p12-v6mr14460415pgc.259.1526877390017; Sun, 20 May 2018 21:36:30 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1526877389; cv=none; d=google.com; s=arc-20160816; b=hTxzSiSeQjwIiuSuMbkkI8cGhR/H4yD6dmljUkv81EDYU1g0P5DL6UMVm3YgFeB6Pk XMNnfdBPECF6WT2oW0FafySGYlGnjYdvt+LTQ6bD6ximCUvRWZEVmBk47tn06KDno1/T uSdQIcngH8PLcqHWgCdMEJGBVXw5VI+i2JAqaM+SfkDC1FhTRvBZ6Z4e3DVg3jtow2vq KiF0clibagPPjhv2spH/oJgedqVzDYZC+Vl7uYJ3WzRNssWix9ArRZk8C2HOajQuoWRw RBEEX4j1Dwbfi7XnygCcXQLfpwVxmAGxopQ4UQV7HGvcq5uX58Uzg4FuDfvpUE8ZVzbS +bog== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:references:in-reply-to:message-id:date :subject:cc:to:from:dkim-signature:arc-authentication-results; bh=AEBZ8hPxohppStbmRkL4IP+g539jgB9eBdKnxDNIJhI=; b=kal3FU2ZwrePmLJ9GW3Ah0tK2op3gwo9zvLfvfDG/qK2+FUFDI++puphZGZ/YPISUH oqjhKiDy5FCey8jUSr2R+Xde3vdPkhpCCkd2lwggHzsEY0QAG7pp0lkTunllSDfQMN/1 DWscus7cYiNutAgaVrtN0VKwJlF53n+gKgK3Il13YqyejR/ZedkKIRdBFKIxATv3kH2i CUI+B6xuCjPBRTw9XX/cMs3ctaMxlOh3KNmKTV9YRb98+p55Lh7HNaFYSk3O5lOR3iT3 vetHpmieeyeWRxGRve2RRamePEzefoglo44u4kiV2egTOwcvaBbc4BGmUUJPzMmZPskP JJ/w== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@google.com header.s=20161025 header.b=fAjmFTey; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id g7-v6si12913208plo.95.2018.05.20.21.36.15; Sun, 20 May 2018 21:36:29 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@google.com header.s=20161025 header.b=fAjmFTey; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751446AbeEUEeV (ORCPT + 99 others); Mon, 21 May 2018 00:34:21 -0400 Received: from mail-pg0-f66.google.com ([74.125.83.66]:35329 "EHLO mail-pg0-f66.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751011AbeEUEdZ (ORCPT ); Mon, 21 May 2018 00:33:25 -0400 Received: by mail-pg0-f66.google.com with SMTP id 11-v6so4165696pge.2 for ; Sun, 20 May 2018 21:33:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references; bh=AEBZ8hPxohppStbmRkL4IP+g539jgB9eBdKnxDNIJhI=; b=fAjmFTey0NdIMqGKYVjGBBzYkBcO2J3H8t7b+5ch2vHgEzzATr39dZnz4XXSGmcEWl nv7CpRCJ3BlhcowAywBSSQTeLO2YVfp0huuczv1TAhwp2z0wvJ620wzE79CEaj2HkFk8 /r6HeWR1nZGP4xTWCEbN70f66hg6t0SxSw26qQFKYHY+YZqRNyWGRlwPJU0fKecbOg2p OQq2y6SZ6mGH8YphN7q4Gi4U4J7qHdLVvfdqtDIlpFNJ29vAZLYK9Yql9e5GoTsZYeCa OdtKoOraORyaQhg7xVIoE6QuqqtXGi+k0Gf1ua/w0LA865x5732dRHN44jlVLVOLVQ7U H6ew== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references; bh=AEBZ8hPxohppStbmRkL4IP+g539jgB9eBdKnxDNIJhI=; b=Mu7cT182/W1e12/UbmnwIt4RC/kldw54enPOnFfcSL5aO4hHUMAJSLx/8/SIEImOpA P0Bm1VMb8hL/7IZXeAGgM+ykjJ2b9R3eItM+ofpF2haZLRVblH/81O9oPpgvitX6LSot zfJse1BTq3Rn3zw61O8S/Va6/D1bkOgE5EBhRPmMBxffYQfmFu8ZJnqByOe9wTrH3l6q U+GBj7evvITH5/WSkl9+bYwElaT6Csm/z2xLY+AmxXUT3UZ6Awloh806mqWqsnyhQVi8 jlAVrPRFa1szfn8O1UTcccwOgwedwOz4KAK5emZUEbGlgUldRpjftyOa7Kc1CkUoUGtN wVTg== X-Gm-Message-State: ALKqPwfMzQrCrfhZs+JNImo4B3Q+Ap4nRNislSlrnozin2zuJ1DNqOsK nnkAgysGeCv/lF0Dzxm59Y3j6CUvIpI= X-Received: by 2002:a63:721e:: with SMTP id n30-v6mr5500038pgc.30.1526877204030; Sun, 20 May 2018 21:33:24 -0700 (PDT) Received: from joelaf.mtv.corp.google.com ([2620:0:1000:1600:3122:ea9c:d178:eb]) by smtp.gmail.com with ESMTPSA id h130-v6sm37144075pfc.98.2018.05.20.21.33.23 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 20 May 2018 21:33:23 -0700 (PDT) From: Joel Fernandes X-Google-Original-From: Joel Fernandes To: linux-kernel@vger.kernel.org Cc: Joel Fernandes , "Paul E. McKenney" , Josh Triplett , Steven Rostedt , Mathieu Desnoyers , Lai Jiangshan , byungchul.park@lge.com, kernel-team@android.com Subject: [PATCH v2 4/4] rcu: Use better variable names in funnel locking loop Date: Sun, 20 May 2018 21:32:51 -0700 Message-Id: <20180521043251.120953-5-joel@joelfernandes.org> X-Mailer: git-send-email 2.17.0.441.gb46fe60e1d-goog In-Reply-To: <20180521043251.120953-1-joel@joelfernandes.org> References: <20180521043251.120953-1-joel@joelfernandes.org> Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org The funnel locking loop in rcu_start_this_gp uses rcu_root as a temporary variable while walking the combining tree. This causes a tiresome exercise of a code reader reminding themselves that rcu_root may not be root. Lets just call it rnp, and rename other variables as well to be more appropriate. Original patch: https://patchwork.kernel.org/patch/10396577/ Signed-off-by: Joel Fernandes --- kernel/rcu/tree.c | 48 ++++++++++++++++++++++++----------------------- 1 file changed, 25 insertions(+), 23 deletions(-) diff --git a/kernel/rcu/tree.c b/kernel/rcu/tree.c index 0ffd41ba304f..879c67a31116 100644 --- a/kernel/rcu/tree.c +++ b/kernel/rcu/tree.c @@ -1526,7 +1526,7 @@ static void trace_rcu_this_gp(struct rcu_node *rnp, struct rcu_data *rdp, /* * rcu_start_this_gp - Request the start of a particular grace period - * @rnp: The leaf node of the CPU from which to start. + * @rnp_start: The leaf node of the CPU from which to start. * @rdp: The rcu_data corresponding to the CPU from which to start. * @gp_seq_req: The gp_seq of the grace period to start. * @@ -1540,12 +1540,12 @@ static void trace_rcu_this_gp(struct rcu_node *rnp, struct rcu_data *rdp, * * Returns true if the GP thread needs to be awakened else false. */ -static bool rcu_start_this_gp(struct rcu_node *rnp, struct rcu_data *rdp, +static bool rcu_start_this_gp(struct rcu_node *rnp_start, struct rcu_data *rdp, unsigned long gp_seq_req) { bool ret = false; struct rcu_state *rsp = rdp->rsp; - struct rcu_node *rnp_root; + struct rcu_node *rnp, *rnp_root = NULL; /* * Use funnel locking to either acquire the root rcu_node @@ -1556,34 +1556,36 @@ static bool rcu_start_this_gp(struct rcu_node *rnp, struct rcu_data *rdp, * scan the leaf rcu_node structures. Note that rnp->lock must * not be released. */ - raw_lockdep_assert_held_rcu_node(rnp); - trace_rcu_this_gp(rnp, rdp, gp_seq_req, TPS("Startleaf")); - for (rnp_root = rnp; 1; rnp_root = rnp_root->parent) { - if (rnp_root != rnp) - raw_spin_lock_rcu_node(rnp_root); - if (ULONG_CMP_GE(rnp_root->gp_seq_needed, gp_seq_req) || - rcu_seq_started(&rnp_root->gp_seq, gp_seq_req) || - (rnp != rnp_root && - rcu_seq_state(rcu_seq_current(&rnp_root->gp_seq)))) { - trace_rcu_this_gp(rnp_root, rdp, gp_seq_req, + raw_lockdep_assert_held_rcu_node(rnp_start); + trace_rcu_this_gp(rnp_start, rdp, gp_seq_req, TPS("Startleaf")); + for (rnp = rnp_start; 1; rnp = rnp->parent) { + if (rnp != rnp_start) + raw_spin_lock_rcu_node(rnp); + if (ULONG_CMP_GE(rnp->gp_seq_needed, gp_seq_req) || + rcu_seq_started(&rnp->gp_seq, gp_seq_req) || + (rnp != rnp_start && + rcu_seq_state(rcu_seq_current(&rnp->gp_seq)))) { + trace_rcu_this_gp(rnp, rdp, gp_seq_req, TPS("Prestarted")); goto unlock_out; } - rnp_root->gp_seq_needed = gp_seq_req; - if (rcu_seq_state(rcu_seq_current(&rnp->gp_seq))) { + rnp->gp_seq_needed = gp_seq_req; + if (rcu_seq_state(rcu_seq_current(&rnp_start->gp_seq))) { /* * We just marked the leaf, and a grace period * is in progress, which means that rcu_gp_cleanup() * will see the marking. Bail to reduce contention. */ - trace_rcu_this_gp(rnp, rdp, gp_seq_req, + trace_rcu_this_gp(rnp_start, rdp, gp_seq_req, TPS("Startedleaf")); goto unlock_out; } - if (rnp_root != rnp && rnp_root->parent != NULL) - raw_spin_unlock_rcu_node(rnp_root); - if (!rnp_root->parent) + if (rnp != rnp_start && rnp->parent != NULL) + raw_spin_unlock_rcu_node(rnp); + if (!rnp->parent) { + rnp_root = rnp; break; /* At root, and perhaps also leaf. */ + } } /* If GP already in progress, just leave, otherwise start one. */ @@ -1601,11 +1603,11 @@ static bool rcu_start_this_gp(struct rcu_node *rnp, struct rcu_data *rdp, trace_rcu_grace_period(rsp->name, READ_ONCE(rsp->gp_seq), TPS("newreq")); ret = true; /* Caller must wake GP kthread. */ unlock_out: - if (rnp != rnp_root) - raw_spin_unlock_rcu_node(rnp_root); + if (rnp != rnp_start) + raw_spin_unlock_rcu_node(rnp); /* Push furthest requested GP to leaf node and rcu_data structure. */ - if (ULONG_CMP_GE(rnp_root->gp_seq_needed, gp_seq_req)) { - rnp->gp_seq_needed = gp_seq_req; + if (ULONG_CMP_GE(rnp->gp_seq_needed, gp_seq_req)) { + rnp_start->gp_seq_needed = gp_seq_req; rdp->gp_seq_needed = gp_seq_req; } return ret; -- 2.17.0.441.gb46fe60e1d-goog