mirror of https://lore.kernel.org/lkml/
 help / color / mirror / Atom feed
From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
To: Alexander Gordeev <agordeev@redhat.com>
Cc: linux-kernel@vger.kernel.org
Subject: Re: [PATCH] rcu: Remove redundant rcu_is_cpu_rrupt_from_idle() function
Date: Thu, 30 Oct 2014 13:43:18 -0700	[thread overview]
Message-ID: <20141030204318.GR5718@linux.vnet.ibm.com> (raw)
In-Reply-To: <20141030175435.GC13273@agordeev.usersys.redhat.com>

On Thu, Oct 30, 2014 at 05:54:35PM +0000, Alexander Gordeev wrote:
> On Wed, Oct 29, 2014 at 05:05:24PM -0700, Paul E. McKenney wrote:
> > > > Although it is true that tiny RCU cannot hang a synchronize_rcu()
> > > > grace period, it most certainly can hang a call_rcu() grace period
> > > > in exactly the same way.
> > > 
> > > Sorry for being a pain in the neck - just want to make sure I am following.
> > 
> > No worries!
> > 
> > > I only see possibility to cause callbacks not being called for "too long"
> > > in case a system has lots of nested interrupts and rcu_idle_enter_common()
> > > is not being called from hardware interrupt context as result. How could
> > > rcu_is_cpu_rrupt_from_idle() help here?
> > 
> > Let's start assuming that something in the idle loop posts a callback,
> > and then let me see if I understand your reasoning...
> > 
> > 1.	The system is idle and stays that way, no runnable tasks.
> > 
> > 2.	An interrupt occurs.  Upon return from interrupt, rcu_irq_exit()
> > 	is invoked, which calls rcu_idle_enter_common(), which in turn
> > 	calls rcu_sched_qs(), which does a raise_softirq(RCU_SOFTIRQ).
> > 
> > 3.	The softirq happens shortly and invokes rcu_process_callbacks(),
> > 	which invokes __rcu_process_callbacks().
> > 
> > 4.	So now callbacks can be invoked.  At least they can be if
> > 	->donetail has been updated.  Which it will have been because
> > 	rcu_sched_qs() invokes rcu_qsctr_help().
> 
> Yes, that is exactly my reasoning.
> 
> > So your point that rcu_is_cpu_rrupt_from_idle() might be redundant could
> > well be valid -- sorry for being so dismissive earlier.
> >
> > > > > > Now, if you -can- get the userspace-execution indication into
> > > > > > rcu_irq_exit(), this might be of interest.  However, it might be faster
> > > > > > to simply let the scheduling-clock interrupt do the job as it currently
> > > > > > does, especially for workloads with lots of interrupts.
> > > > > > 
> > > > > > Or did you have something else in mind?
> > > > > 
> > > > > Nope. I would even leave as is tiny RCU's rcu_is_cpu_rrupt_from_idle()
> > > > > for clarity then ;)
> > > > 
> > > > Also to avoid userspace execution from preventing RCU callbacks from
> > > > ever being invoked.  ;-)
> > > 
> > > Hmm.. Am I missing something else? I did not remove the userspace check
> > > from the scheduling-clock interrupt:
> > > 
> > > @@ -250,7 +240,7 @@ void rcu_bh_qs(void)
> > >  void rcu_check_callbacks(int cpu, int user)
> > >  {
> > >  	RCU_TRACE(check_cpu_stalls());
> > > -	if (user || rcu_is_cpu_rrupt_from_idle())
> > > +	if (user)
> > >  		rcu_sched_qs();
> > >  	else if (!in_softirq())
> > >  		rcu_bh_qs();
> > 
> > Probably just me being confused.  Hopefully so, as shrinking TINY_RCU
> > further will probably be welcome.
> 
> Should I resend tiny-only patch?

Please, but also expand the commit log to contain the above reasoning.

> > Have you done any testing of this change?
> 
> Just booted to a unicore kernel and dd'ed 1G of /dev/sda to /dev/null.

OK, that is a start. Could I convince you to build a kernel?

							Thanx, Paul


  reply	other threads:[~2014-10-30 20:43 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-10-29 11:07 Alexander Gordeev
2014-10-29 12:47 ` Paul E. McKenney
2014-10-29 13:45   ` Alexander Gordeev
2014-10-29 14:34     ` Paul E. McKenney
2014-10-29 15:16       ` Alexander Gordeev
2014-10-29 15:46         ` Paul E. McKenney
2014-10-29 21:09           ` Alexander Gordeev
2014-10-30  0:05             ` Paul E. McKenney
2014-10-30 17:54               ` Alexander Gordeev
2014-10-30 20:43                 ` Paul E. McKenney [this message]
2014-10-30 21:54                   ` Alexander Gordeev
2014-10-31  3:45                     ` Paul E. McKenney
2014-10-31 14:53                       ` Alexander Gordeev
2014-10-31 14:55                         ` [PATCH v2] rcu: Remove redundant rcu_is_cpu_rrupt_from_idle() from tiny RCU Alexander Gordeev
2014-10-31 17:36                           ` 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=20141030204318.GR5718@linux.vnet.ibm.com \
    --to=paulmck@linux.vnet.ibm.com \
    --cc=agordeev@redhat.com \
    --cc=linux-kernel@vger.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

Powered by JetHome