linux-kernel.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
To: Frederic Weisbecker <frederic@kernel.org>
Cc: LKML <linux-kernel@vger.kernel.org>, Tejun Heo <tj@kernel.org>,
	Peter Zijlstra <peterz@infradead.org>,
	"David S . Miller" <davem@davemloft.net>,
	Lai Jiangshan <jiangshanlai@gmail.com>,
	Thomas Gleixner <tglx@linutronix.de>,
	Ingo Molnar <mingo@kernel.org>
Subject: Re: [PATCH 14/14] rcu: Use lockdep to assert IRQs are disabled/enabled
Date: Sat, 21 Oct 2017 14:36:09 -0700	[thread overview]
Message-ID: <20171021213609.GA2002@linux.vnet.ibm.com> (raw)
In-Reply-To: <1508460971-8731-15-git-send-email-frederic@kernel.org>

On Fri, Oct 20, 2017 at 02:56:11AM +0200, Frederic Weisbecker wrote:
> Lockdep now has an integrated IRQs disabled/enabled sanity check. Just
> use it instead of the ad-hoc RCU version.
> 
> Signed-off-by: Frederic Weisbecker <frederic@kernel.org>
> Cc: Peter Zijlstra <peterz@infradead.org>
> Cc: Ingo Molnar <mingo@kernel.org>
> Cc: Thomas Gleixner <tglx@linutronix.de>
> Cc: Paul E. McKenney <paulmck@linux.vnet.ibm.com>

Looks good to me and passes light rcutorture testing.  Feel free to
push this up with the rest of this series.

Acked-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>

> ---
>  kernel/rcu/tree.c        | 16 ++++++++--------
>  kernel/rcu/tree_plugin.h | 10 +++++-----
>  2 files changed, 13 insertions(+), 13 deletions(-)
> 
> diff --git a/kernel/rcu/tree.c b/kernel/rcu/tree.c
> index b0ad62b..7661887 100644
> --- a/kernel/rcu/tree.c
> +++ b/kernel/rcu/tree.c
> @@ -734,7 +734,7 @@ static int rcu_future_needs_gp(struct rcu_state *rsp)
>  	int idx = (READ_ONCE(rnp->completed) + 1) & 0x1;
>  	int *fp = &rnp->need_future_gp[idx];
> 
> -	RCU_LOCKDEP_WARN(!irqs_disabled(), "rcu_future_needs_gp() invoked with irqs enabled!!!");
> +	lockdep_assert_irqs_disabled();
>  	return READ_ONCE(*fp);
>  }
> 
> @@ -746,7 +746,7 @@ static int rcu_future_needs_gp(struct rcu_state *rsp)
>  static bool
>  cpu_needs_another_gp(struct rcu_state *rsp, struct rcu_data *rdp)
>  {
> -	RCU_LOCKDEP_WARN(!irqs_disabled(), "cpu_needs_another_gp() invoked with irqs enabled!!!");
> +	lockdep_assert_irqs_disabled();
>  	if (rcu_gp_in_progress(rsp))
>  		return false;  /* No, a grace period is already in progress. */
>  	if (rcu_future_needs_gp(rsp))
> @@ -773,7 +773,7 @@ static void rcu_eqs_enter_common(bool user)
>  	struct rcu_data *rdp;
>  	struct rcu_dynticks *rdtp = this_cpu_ptr(&rcu_dynticks);
> 
> -	RCU_LOCKDEP_WARN(!irqs_disabled(), "rcu_eqs_enter_common() invoked with irqs enabled!!!");
> +	lockdep_assert_irqs_disabled();
>  	trace_rcu_dyntick(TPS("Start"), rdtp->dynticks_nesting, 0);
>  	if (IS_ENABLED(CONFIG_RCU_EQS_DEBUG) &&
>  	    !user && !is_idle_task(current)) {
> @@ -840,7 +840,7 @@ static void rcu_eqs_enter(bool user)
>   */
>  void rcu_idle_enter(void)
>  {
> -	RCU_LOCKDEP_WARN(!irqs_disabled(), "rcu_idle_enter() invoked with irqs enabled!!!");
> +	lockdep_assert_irqs_disabled();
>  	rcu_eqs_enter(false);
>  }
> 
> @@ -855,7 +855,7 @@ void rcu_idle_enter(void)
>   */
>  void rcu_user_enter(void)
>  {
> -	RCU_LOCKDEP_WARN(!irqs_disabled(), "rcu_user_enter() invoked with irqs enabled!!!");
> +	lockdep_assert_irqs_disabled();
>  	rcu_eqs_enter(true);
>  }
>  #endif /* CONFIG_NO_HZ_FULL */
> @@ -880,7 +880,7 @@ void rcu_irq_exit(void)
>  {
>  	struct rcu_dynticks *rdtp;
> 
> -	RCU_LOCKDEP_WARN(!irqs_disabled(), "rcu_irq_exit() invoked with irqs enabled!!!");
> +	lockdep_assert_irqs_disabled();
>  	rdtp = this_cpu_ptr(&rcu_dynticks);
> 
>  	/* Page faults can happen in NMI handlers, so check... */
> @@ -947,7 +947,7 @@ static void rcu_eqs_exit(bool user)
>  	struct rcu_dynticks *rdtp;
>  	long long oldval;
> 
> -	RCU_LOCKDEP_WARN(!irqs_disabled(), "rcu_eqs_exit() invoked with irqs enabled!!!");
> +	lockdep_assert_irqs_disabled();
>  	rdtp = this_cpu_ptr(&rcu_dynticks);
>  	oldval = rdtp->dynticks_nesting;
>  	WARN_ON_ONCE(IS_ENABLED(CONFIG_RCU_EQS_DEBUG) && oldval < 0);
> @@ -1018,7 +1018,7 @@ void rcu_irq_enter(void)
>  	struct rcu_dynticks *rdtp;
>  	long long oldval;
> 
> -	RCU_LOCKDEP_WARN(!irqs_disabled(), "rcu_irq_enter() invoked with irqs enabled!!!");
> +	lockdep_assert_irqs_disabled();
>  	rdtp = this_cpu_ptr(&rcu_dynticks);
> 
>  	/* Page faults can happen in NMI handlers, so check... */
> diff --git a/kernel/rcu/tree_plugin.h b/kernel/rcu/tree_plugin.h
> index e012b9b..df08e5c 100644
> --- a/kernel/rcu/tree_plugin.h
> +++ b/kernel/rcu/tree_plugin.h
> @@ -325,7 +325,7 @@ static void rcu_preempt_note_context_switch(bool preempt)
>  	struct rcu_data *rdp;
>  	struct rcu_node *rnp;
> 
> -	RCU_LOCKDEP_WARN(!irqs_disabled(), "rcu_preempt_note_context_switch() invoked with interrupts enabled!!!\n");
> +	lockdep_assert_irqs_disabled();
>  	WARN_ON_ONCE(!preempt && t->rcu_read_lock_nesting > 0);
>  	if (t->rcu_read_lock_nesting > 0 &&
>  	    !t->rcu_read_unlock_special.b.blocked) {
> @@ -1421,7 +1421,7 @@ int rcu_needs_cpu(u64 basemono, u64 *nextevt)
>  	struct rcu_dynticks *rdtp = this_cpu_ptr(&rcu_dynticks);
>  	unsigned long dj;
> 
> -	RCU_LOCKDEP_WARN(!irqs_disabled(), "rcu_needs_cpu() invoked with irqs enabled!!!");
> +	lockdep_assert_irqs_disabled();
> 
>  	/* Snapshot to detect later posting of non-lazy callback. */
>  	rdtp->nonlazy_posted_snap = rdtp->nonlazy_posted;
> @@ -1470,7 +1470,7 @@ static void rcu_prepare_for_idle(void)
>  	struct rcu_state *rsp;
>  	int tne;
> 
> -	RCU_LOCKDEP_WARN(!irqs_disabled(), "rcu_prepare_for_idle() invoked with irqs enabled!!!");
> +	lockdep_assert_irqs_disabled();
>  	if (rcu_is_nocb_cpu(smp_processor_id()))
>  		return;
> 
> @@ -1525,7 +1525,7 @@ static void rcu_prepare_for_idle(void)
>   */
>  static void rcu_cleanup_after_idle(void)
>  {
> -	RCU_LOCKDEP_WARN(!irqs_disabled(), "rcu_cleanup_after_idle() invoked with irqs enabled!!!");
> +	lockdep_assert_irqs_disabled();
>  	if (rcu_is_nocb_cpu(smp_processor_id()))
>  		return;
>  	if (rcu_try_advance_all_cbs())
> @@ -2012,7 +2012,7 @@ static bool __maybe_unused rcu_nocb_adopt_orphan_cbs(struct rcu_data *my_rdp,
>  						     struct rcu_data *rdp,
>  						     unsigned long flags)
>  {
> -	RCU_LOCKDEP_WARN(!irqs_disabled(), "rcu_nocb_adopt_orphan_cbs() invoked with irqs enabled!!!");
> +	lockdep_assert_irqs_disabled();
>  	if (!rcu_is_nocb_cpu(smp_processor_id()))
>  		return false; /* Not NOCBs CPU, caller must migrate CBs. */
>  	__call_rcu_nocb_enqueue(my_rdp, rcu_segcblist_head(&rdp->cblist),
> -- 
> 2.7.4
> 

  reply	other threads:[~2017-10-21 21:36 UTC|newest]

Thread overview: 20+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-10-20  0:55 [PATCH 00/14] lockdep: Add lightweight IRQs disabled/enabled check Frederic Weisbecker
2017-10-20  0:55 ` [PATCH 01/14] lockdep: Add IRQs disabled/enabled assertion Frederic Weisbecker
2017-10-20  0:55 ` [PATCH 02/14] irq: Use lockdep to assert IRQs are disabled/enabled Frederic Weisbecker
2017-10-20  0:56 ` [PATCH 03/14] workqueue: " Frederic Weisbecker
2017-10-21 15:39   ` Tejun Heo
2017-10-20  0:56 ` [PATCH 04/14] nohz: " Frederic Weisbecker
2017-10-20  0:56 ` [PATCH 05/14] hrtimer: " Frederic Weisbecker
2017-10-20  0:56 ` [PATCH 06/14] smp: " Frederic Weisbecker
2017-10-20  0:56 ` [PATCH 07/14] x86: " Frederic Weisbecker
2017-10-22  9:20   ` Peter Zijlstra
2017-11-03 14:25     ` Frederic Weisbecker
2017-10-20  0:56 ` [PATCH 08/14] perf: " Frederic Weisbecker
2017-10-20  0:56 ` [PATCH 09/14] irq/timings: " Frederic Weisbecker
2017-10-20  0:56 ` [PATCH 10/14] irq_work: " Frederic Weisbecker
2017-10-20  0:56 ` [PATCH 11/14] sched: " Frederic Weisbecker
2017-10-20  0:56 ` [PATCH 12/14] posix-cpu-timers: " Frederic Weisbecker
2017-10-20  0:56 ` [PATCH 13/14] netpoll: " Frederic Weisbecker
2017-10-20  0:56 ` [PATCH 14/14] rcu: " Frederic Weisbecker
2017-10-21 21:36   ` Paul E. McKenney [this message]
2017-11-06 15:01 [GIT PULL] lockdep: Add lightweight IRQs disabled/enabled check v2 Frederic Weisbecker
2017-11-06 15:01 ` [PATCH 14/14] rcu: Use lockdep to assert IRQs are disabled/enabled Frederic Weisbecker

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=20171021213609.GA2002@linux.vnet.ibm.com \
    --to=paulmck@linux.vnet.ibm.com \
    --cc=davem@davemloft.net \
    --cc=frederic@kernel.org \
    --cc=jiangshanlai@gmail.com \
    --cc=linux-kernel@vger.kernel.org \
    --cc=mingo@kernel.org \
    --cc=peterz@infradead.org \
    --cc=tglx@linutronix.de \
    --cc=tj@kernel.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;
as well as URLs for NNTP newsgroup(s).