From: Lai Jiangshan <laijs@cn.fujitsu.com>
To: <linux-kernel@vger.kernel.org>,
"Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
Cc: Lai Jiangshan <laijs@cn.fujitsu.com>,
Josh Triplett <josh@joshtriplett.org>,
Steven Rostedt <rostedt@goodmis.org>,
Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Subject: [RFC PATCH 1/2] record rcu_bh quiescent state in RCU_SOFTIRQ
Date: Fri, 28 Nov 2014 17:43:32 +0800 [thread overview]
Message-ID: <1417167813-11963-2-git-send-email-laijs@cn.fujitsu.com> (raw)
In-Reply-To: <1417167813-11963-1-git-send-email-laijs@cn.fujitsu.com>
For rcu_bh in UP, rcu_process_callbacks() == a bh == QS == GP
so we can pass rcu_bh-QS and advance GP(and callbacks) in
rcu_process_callbacks().
After doing so, rcu_bh_qs() is useless since its work is handled
by rcu_process_callbacks(). So we make it as empty-function and
raise RCU_SOFTIRQ directly in call_rcu_bh().
Signed-off-by: Lai Jiangshan <laijs@cn.fujitsu.com>
---
kernel/rcu/tiny.c | 38 +++++++++++++++++---------------------
1 files changed, 17 insertions(+), 21 deletions(-)
diff --git a/kernel/rcu/tiny.c b/kernel/rcu/tiny.c
index 805b6d5..f8e19ac 100644
--- a/kernel/rcu/tiny.c
+++ b/kernel/rcu/tiny.c
@@ -72,7 +72,7 @@ static void rcu_idle_enter_common(long long newval)
current->pid, current->comm,
idle->pid, idle->comm); /* must be idle task! */
}
- rcu_sched_qs(); /* implies rcu_bh_inc() */
+ rcu_sched_qs();
barrier();
rcu_dynticks_nesting = newval;
}
@@ -186,49 +186,43 @@ EXPORT_SYMBOL(__rcu_is_watching);
#endif /* defined(CONFIG_DEBUG_LOCK_ALLOC) || defined(CONFIG_RCU_TRACE) */
/*
- * Helper function for rcu_sched_qs() and rcu_bh_qs().
+ * Helper function for rcu_sched_ctrlblk and rcu_bh_ctrlblk.
* Also irqs are disabled to avoid confusion due to interrupt handlers
* invoking call_rcu().
*/
static int rcu_qsctr_help(struct rcu_ctrlblk *rcp)
{
+ unsigned long flags;
+
+ local_irq_save(flags);
RCU_TRACE(reset_cpu_stall_ticks(rcp));
if (rcp->rcucblist != NULL &&
rcp->donetail != rcp->curtail) {
rcp->donetail = rcp->curtail;
+ local_irq_restore(flags);
return 1;
}
+ local_irq_restore(flags);
return 0;
}
/*
- * Record an rcu quiescent state. And an rcu_bh quiescent state while we
- * are at it, given that any rcu quiescent state is also an rcu_bh
- * quiescent state. Use "+" instead of "||" to defeat short circuiting.
+ * Record an rcu quiescent state.
*/
void rcu_sched_qs(void)
{
- unsigned long flags;
-
- local_irq_save(flags);
- if (rcu_qsctr_help(&rcu_sched_ctrlblk) +
- rcu_qsctr_help(&rcu_bh_ctrlblk))
+ if (rcu_qsctr_help(&rcu_sched_ctrlblk))
raise_softirq(RCU_SOFTIRQ);
- local_irq_restore(flags);
}
/*
* Record an rcu_bh quiescent state.
+ * Do nothing, since this quiescent state is temporary useless until
+ * RCU_SOFTIRQ, and RCU_SOFTIRQ will really record the quiescent state.
*/
void rcu_bh_qs(void)
{
- unsigned long flags;
-
- local_irq_save(flags);
- if (rcu_qsctr_help(&rcu_bh_ctrlblk))
- raise_softirq(RCU_SOFTIRQ);
- local_irq_restore(flags);
}
/*
@@ -240,12 +234,10 @@ void rcu_bh_qs(void)
void rcu_check_callbacks(int user)
{
RCU_TRACE(check_cpu_stalls());
- if (user)
+ if (user) {
rcu_sched_qs();
- else if (!in_softirq())
- rcu_bh_qs();
- if (user)
rcu_note_voluntary_context_switch(current);
+ }
}
/*
@@ -303,6 +295,9 @@ static void __rcu_process_callbacks(struct rcu_ctrlblk *rcp)
static void rcu_process_callbacks(struct softirq_action *unused)
{
__rcu_process_callbacks(&rcu_sched_ctrlblk);
+
+ /* Here is quiescent state for rcu_bh */
+ rcu_qsctr_help(&rcu_bh_ctrlblk);
__rcu_process_callbacks(&rcu_bh_ctrlblk);
}
@@ -367,6 +362,7 @@ EXPORT_SYMBOL_GPL(call_rcu_sched);
void call_rcu_bh(struct rcu_head *head, void (*func)(struct rcu_head *rcu))
{
__call_rcu(head, func, &rcu_bh_ctrlblk);
+ raise_softirq(RCU_SOFTIRQ);
}
EXPORT_SYMBOL_GPL(call_rcu_bh);
--
1.7.4.4
next prev parent reply other threads:[~2014-11-28 9:40 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-11-28 9:43 [RFC PATCH 0/2] tiny_rcu: simplify tiny_rcu Lai Jiangshan
2014-11-28 9:43 ` Lai Jiangshan [this message]
2014-11-28 9:43 ` [RFC PATCH 2/2] tiny_rcu: resched when call_rcu_sched() on idle_task Lai Jiangshan
2014-11-28 15:42 ` [RFC PATCH 0/2] tiny_rcu: simplify tiny_rcu Paul E. McKenney
2014-12-09 9:43 ` Lai Jiangshan
2014-12-09 9:53 ` [PATCH] tiny_rcu: directly force QS when call_rcu_[bh|sched]() on idle_task Lai Jiangshan
2014-12-09 17:02 ` 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=1417167813-11963-2-git-send-email-laijs@cn.fujitsu.com \
--to=laijs@cn.fujitsu.com \
--cc=josh@joshtriplett.org \
--cc=linux-kernel@vger.kernel.org \
--cc=mathieu.desnoyers@efficios.com \
--cc=paulmck@linux.vnet.ibm.com \
--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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®