Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.kernel > #1196144

Re: [PATCH tip/core/rcu 19/19] rcu: Add fastpath bypassing funnel locking

From "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
Newsgroups linux.kernel
Subject Re: [PATCH tip/core/rcu 19/19] rcu: Add fastpath bypassing funnel locking
Date 2015-07-30 17:40 +0200
Message-ID <pRY67-2v3-35@gated-at.bofh.it> (permalink)
References <pNneN-3lN-1@gated-at.bofh.it> <pNneN-3lN-3@gated-at.bofh.it> <pNnot-3xc-3@gated-at.bofh.it> <pRXjI-1kU-7@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


On Thu, Jul 30, 2015 at 04:44:55PM +0200, Peter Zijlstra wrote:
> On Fri, Jul 17, 2015 at 04:29:24PM -0700, Paul E. McKenney wrote:
> 
> >  	/*
> > +	 * First try directly acquiring the root lock in order to reduce
> > +	 * latency in the common case where expedited grace periods are
> > +	 * rare.  We check mutex_is_locked() to avoid pathological levels of
> > +	 * memory contention on ->exp_funnel_mutex in the heavy-load case.
> > +	 */
> > +	rnp0 = rcu_get_root(rsp);
> > +	if (!mutex_is_locked(&rnp0->exp_funnel_mutex)) {
> > +		if (mutex_trylock(&rnp0->exp_funnel_mutex)) {
> > +			if (sync_exp_work_done(rsp, rnp0, NULL,
> > +					       &rsp->expedited_workdone0, s))
> > +				return NULL;
> > +			return rnp0;
> > +		}
> > +	}
> 
> So our 'new' locking primitives do things like:
> 
> static __always_inline int queued_spin_trylock(struct qspinlock *lock)
> {
>         if (!atomic_read(&lock->val) &&
>            (atomic_cmpxchg(&lock->val, 0, _Q_LOCKED_VAL) == 0))
>                 return 1;
>         return 0;
> }
> 
> mutexes do not do this.
> 
> Now I suppose the question is, does that extra read slow down the
> (common) uncontended case? (remember, we should optimize locks for the
> uncontended case, heavy lock contention should be fixed with better
> locking schemes, not lock implementations).
> 
> Davidlohr, Waiman, do we have data on this?
> 
> If the extra read before the cmpxchg() does not hurt, we should do the
> same for mutex and make the above redundant.

I am pretty sure that different hardware wants it done differently.  :-/
So I agree that hard data would be good.

I could probably further optimize the RCU code by checking for a
single-node tree, but I am not convinced that this is worthwhile.
However, skipping three cache misses in the uncontended case is
definitely worthwhile, hence this patch.  ;-)

							Thanx, Paul

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Back to linux.kernel | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

Re: [PATCH tip/core/rcu 19/19] rcu: Add fastpath bypassing funnel  locking Peter Zijlstra <peterz@infradead.org> - 2015-07-30 16:50 +0200
  Re: [PATCH tip/core/rcu 19/19] rcu: Add fastpath bypassing funnel  locking "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> - 2015-07-30 17:40 +0200
    Re: [PATCH tip/core/rcu 19/19] rcu: Add fastpath bypassing funnel  locking Peter Zijlstra <peterz@infradead.org> - 2015-07-30 17:50 +0200
      Re: [PATCH tip/core/rcu 19/19] rcu: Add fastpath bypassing funnel  locking Steven Rostedt <rostedt@goodmis.org> - 2015-08-03 22:10 +0200
        Re: [PATCH tip/core/rcu 19/19] rcu: Add fastpath bypassing funnel  locking Peter Zijlstra <peterz@infradead.org> - 2015-08-03 22:10 +0200
    Re: [PATCH tip/core/rcu 19/19] rcu: Add fastpath bypassing funnel  locking "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> - 2015-07-31 18:00 +0200

csiph-web