All of lore.kernel.org
 help / color / mirror / Atom feed
From: Pingfan Liu <kernelfans@gmail.com>
To: rcu@vger.kernel.org
Cc: Pingfan Liu <kernelfans@gmail.com>,
	Lai Jiangshan <jiangshanlai@gmail.com>,
	"Paul E. McKenney" <paulmck@kernel.org>,
	Frederic Weisbecker <frederic@kernel.org>,
	Josh Triplett <josh@joshtriplett.org>,
	Steven Rostedt <rostedt@goodmis.org>,
	Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Subject: [PATCH 2/2] srcu: Remove needless updating of srcu_have_cbs in srcu_gp_end()
Date: Sun, 20 Nov 2022 11:40:14 +0800	[thread overview]
Message-ID: <20221120034014.7390-3-kernelfans@gmail.com> (raw)
In-Reply-To: <20221120034014.7390-1-kernelfans@gmail.com>

At present, snp->srcu_have_cbs[idx] is updated by either
srcu_funnel_gp_start() or srcu_gp_end().

But as the code changes, now, srcu_funnel_gp_start() is called with srcu
read lock held. And its input parameter s, s = rcu_seq_snap(&ssp->srcu_gp_seq),
whose counter field always proceeds that of the srcu_gp_seq by one or two.

If the seq snap only proceeds by one, the state machine should be in
state SRCU_STATE_IDLE, the held srcu read lock will prevent the state
machine from moving ahead. So when srcu_gp_end() updates
snp->srcu_have_cbs[idx], the idx must be the past idx for
srcu_funnel_gp_start() that is cared by nobody.

So removing the unnecessary updating in srcu_gp_end().

Test info:
  Running "tools/testing/selftests/rcutorture/bin/kvm.sh --allcpus --duration 10h --configs 18*SRCU-P"
without any failure.

Signed-off-by: Pingfan Liu <kernelfans@gmail.com>
Cc: Lai Jiangshan <jiangshanlai@gmail.com>
Cc: "Paul E. McKenney" <paulmck@kernel.org>
Cc: Frederic Weisbecker <frederic@kernel.org>
Cc: Josh Triplett <josh@joshtriplett.org>
Cc: Steven Rostedt <rostedt@goodmis.org>
Cc: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
To: rcu@vger.kernel.org
---
 kernel/rcu/srcutree.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/kernel/rcu/srcutree.c b/kernel/rcu/srcutree.c
index 7df59fc8073e..c54d6c04751f 100644
--- a/kernel/rcu/srcutree.c
+++ b/kernel/rcu/srcutree.c
@@ -783,8 +783,6 @@ static void srcu_gp_end(struct srcu_struct *ssp)
 			last_lvl = snp >= ssp->level[rcu_num_lvls - 1];
 			if (last_lvl)
 				cbs = ss_state < SRCU_SIZE_BIG || snp->srcu_have_cbs[idx] == gpseq;
-			snp->srcu_have_cbs[idx] = gpseq;
-			rcu_seq_set_state(&snp->srcu_have_cbs[idx], 1);
 			sgsne = snp->srcu_gp_seq_needed_exp;
 			if (srcu_invl_snp_seq(sgsne) || ULONG_CMP_LT(sgsne, gpseq))
 				WRITE_ONCE(snp->srcu_gp_seq_needed_exp, gpseq);
-- 
2.31.1


  parent reply	other threads:[~2022-11-20  3:40 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-11-20  3:40 [PATCH 0/2] srcu: Optimize when srcu_gp_start_if_needed() holds Pingfan Liu
2022-11-20  3:40 ` [PATCH 1/2] srcu: Remove needless rcu_seq_done() check while holding read lock Pingfan Liu
2022-11-20  5:00   ` Zhang, Qiang1
2022-11-20 15:26     ` Pingfan Liu
2022-11-22  1:13   ` Paul E. McKenney
2022-11-22  9:50     ` Pingfan Liu
2022-11-20  3:40 ` Pingfan Liu [this message]
2022-11-22  1:19   ` [PATCH 2/2] srcu: Remove needless updating of srcu_have_cbs in srcu_gp_end() Paul E. McKenney
2022-11-22  9:59     ` Pingfan Liu
2022-11-22 14:45       ` Paul E. McKenney
2022-11-23 13:29         ` Pingfan Liu
2022-11-23 18:40           ` Paul E. McKenney
2022-11-20 15:20 ` [PATCH] srcu: Eliminate the case that snp_seq bigger than snap in srcu_funnel_gp_start() Pingfan Liu
2022-11-20 15:23   ` Pingfan Liu
2022-11-22  1:20     ` Paul E. McKenney

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20221120034014.7390-3-kernelfans@gmail.com \
    --to=kernelfans@gmail.com \
    --cc=frederic@kernel.org \
    --cc=jiangshanlai@gmail.com \
    --cc=josh@joshtriplett.org \
    --cc=mathieu.desnoyers@efficios.com \
    --cc=paulmck@kernel.org \
    --cc=rcu@vger.kernel.org \
    --cc=rostedt@goodmis.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.