[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20191003135804.GU2689@paulmck-ThinkPad-P72>
Date: Thu, 3 Oct 2019 06:58:04 -0700
From: "Paul E. McKenney" <paulmck@...nel.org>
To: Peter Zijlstra <peterz@...radead.org>
Cc: Steven Rostedt <rostedt@...dmis.org>,
David Howells <dhowells@...hat.com>, rcu@...r.kernel.org,
linux-kernel@...r.kernel.org, mingo@...nel.org,
jiangshanlai@...il.com, dipankar@...ibm.com,
akpm@...ux-foundation.org, mathieu.desnoyers@...icios.com,
josh@...htriplett.org, tglx@...utronix.de, edumazet@...gle.com,
fweisbec@...il.com, oleg@...hat.com, joel@...lfernandes.org,
Bart Van Assche <bart.vanassche@....com>,
Christoph Hellwig <hch@....de>, Hannes Reinecke <hare@...e.de>,
Johannes Thumshirn <jthumshirn@...e.de>,
Shane M Seymour <shane.seymour@....com>,
"Martin K . Petersen" <martin.petersen@...cle.com>
Subject: Re: [PATCH tip/core/rcu 1/9] rcu: Upgrade rcu_swap_protected() to
rcu_replace()
On Thu, Oct 03, 2019 at 03:41:31PM +0200, Peter Zijlstra wrote:
> On Thu, Oct 03, 2019 at 06:33:15AM -0700, Paul E. McKenney wrote:
> > On Thu, Oct 03, 2019 at 09:08:50AM -0400, Steven Rostedt wrote:
> > > On Thu, 03 Oct 2019 09:39:17 +0100
> > > David Howells <dhowells@...hat.com> wrote:
> > >
> > > > paulmck@...nel.org wrote:
> > > >
> > > > > +#define rcu_replace(rcu_ptr, ptr, c) \
> > > > > +({ \
> > > > > + typeof(ptr) __tmp = rcu_dereference_protected((rcu_ptr), (c)); \
> > > > > + rcu_assign_pointer((rcu_ptr), (ptr)); \
> > > > > + __tmp; \
> > > > > +})
> > > >
> > > > Does it make sense to actually use xchg() if that's supported by the arch?
> >
> > Historically, xchg() has been quite a bit slower than a pair of assignment
> > statements, in part due to the strong memory ordering guaranteed by
> > xchg(). Has that changed? If so, then, agreed, it might make sense to
> > use xchg().
>
> Nope, still the case. xchg() is an atomic op with full ordering.
OK, let's stick with the pair of assignments, then. ;-)
Thanx, Paul
Powered by blists - more mailing lists