All of lore.kernel.org
 help / color / mirror / Atom feed
From: Guenter Roeck <linux@roeck-us.net>
To: Paul Burton <paul.burton@mips.com>
Cc: Ralf Baechle <ralf@linux-mips.org>,
	James Hogan <jhogan@kernel.org>,
	Benjamin Herrenschmidt <benh@kernel.crashing.org>,
	Paul Mackerras <paulus@samba.org>,
	Michael Ellerman <mpe@ellerman.id.au>,
	"linux-mips@linux-mips.org" <linux-mips@linux-mips.org>,
	"linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
	"linuxppc-dev@lists.ozlabs.org" <linuxppc-dev@lists.ozlabs.org>,
	Andrew Morton <akpm@linux-foundation.org>,
	Arnd Bergmann <arnd@arndb.de>,
	Trond Myklebust <trond.myklebust@hammerspace.com>
Subject: Re: [RFC PATCH] lib: Introduce generic __cmpxchg_u64() and use it where needed
Date: Wed, 31 Oct 2018 15:02:53 -0700	[thread overview]
Message-ID: <20181031220253.GA15505@roeck-us.net> (raw)
In-Reply-To: <20181031213240.zhh7dfcm47ucuyfl@pburton-laptop>

On Wed, Oct 31, 2018 at 09:32:43PM +0000, Paul Burton wrote:
> Hi Guenter,
> 
> On Wed, Oct 31, 2018 at 12:52:18PM -0700, Guenter Roeck wrote:
> > +/*
> > + * Generic version of __cmpxchg_u64, to be used for cmpxchg64().
> > + * Takes u64 parameters.
> > + */
> > +u64 __cmpxchg_u64(u64 *ptr, u64 old, u64 new)
> > +{
> > +	raw_spinlock_t *lock = lock_addr(ptr);
> > +	unsigned long flags;
> > +	u64 prev;
> > +
> > +	raw_spin_lock_irqsave(lock, flags);
> > +	prev = READ_ONCE(*ptr);
> > +	if (prev == old)
> > +		*ptr = new;
> > +	raw_spin_unlock_irqrestore(lock, flags);
> > +
> > +	return prev;
> > +}
> > +EXPORT_SYMBOL(__cmpxchg_u64);
> 
> This is only going to work if we know that memory modified using
> __cmpxchg_u64() is *always* modified using __cmpxchg_u64(). Without that
> guarantee there's nothing to stop some other CPU writing to *ptr after
> the READ_ONCE() above but before we write new to it.
> 
> As far as I'm aware this is not a guarantee we currently provide, so it
> would mean making that a requirement for cmpxchg64() users & auditing
> them all. That would also leave cmpxchg64() with semantics that differ
> from plain cmpxchg(), and semantics that may surprise people. In my view
> that's probably not worth it, and it would be better to avoid using
> cmpxchg64() on systems that can't properly support it.
> 

Good point. Unfortunately this is also true for the architectures with
similar implementations, ie at least sparc32 (and possibly parisc).

The alternatives I can see are
- Do not use cmpxchg64() outside architecture code (ie drop its use from
  the offending driver, and keep doing the same whenever the problem comes
  up again).
or
- Introduce something like ARCH_HAS_CMPXCHG64 and use it to determine
  if cmpxchg64 is supported or not.

Any preference ?

Thanks,
Guenter

WARNING: multiple messages have this Message-ID (diff)
From: Guenter Roeck <linux@roeck-us.net>
To: Paul Burton <paul.burton@mips.com>
Cc: "linux-mips@linux-mips.org" <linux-mips@linux-mips.org>,
	Arnd Bergmann <arnd@arndb.de>, James Hogan <jhogan@kernel.org>,
	"linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
	Ralf Baechle <ralf@linux-mips.org>,
	Paul Mackerras <paulus@samba.org>,
	Andrew Morton <akpm@linux-foundation.org>,
	"linuxppc-dev@lists.ozlabs.org" <linuxppc-dev@lists.ozlabs.org>,
	Trond Myklebust <trond.myklebust@hammerspace.com>
Subject: Re: [RFC PATCH] lib: Introduce generic __cmpxchg_u64() and use it where needed
Date: Wed, 31 Oct 2018 15:02:53 -0700	[thread overview]
Message-ID: <20181031220253.GA15505@roeck-us.net> (raw)
In-Reply-To: <20181031213240.zhh7dfcm47ucuyfl@pburton-laptop>

On Wed, Oct 31, 2018 at 09:32:43PM +0000, Paul Burton wrote:
> Hi Guenter,
> 
> On Wed, Oct 31, 2018 at 12:52:18PM -0700, Guenter Roeck wrote:
> > +/*
> > + * Generic version of __cmpxchg_u64, to be used for cmpxchg64().
> > + * Takes u64 parameters.
> > + */
> > +u64 __cmpxchg_u64(u64 *ptr, u64 old, u64 new)
> > +{
> > +	raw_spinlock_t *lock = lock_addr(ptr);
> > +	unsigned long flags;
> > +	u64 prev;
> > +
> > +	raw_spin_lock_irqsave(lock, flags);
> > +	prev = READ_ONCE(*ptr);
> > +	if (prev == old)
> > +		*ptr = new;
> > +	raw_spin_unlock_irqrestore(lock, flags);
> > +
> > +	return prev;
> > +}
> > +EXPORT_SYMBOL(__cmpxchg_u64);
> 
> This is only going to work if we know that memory modified using
> __cmpxchg_u64() is *always* modified using __cmpxchg_u64(). Without that
> guarantee there's nothing to stop some other CPU writing to *ptr after
> the READ_ONCE() above but before we write new to it.
> 
> As far as I'm aware this is not a guarantee we currently provide, so it
> would mean making that a requirement for cmpxchg64() users & auditing
> them all. That would also leave cmpxchg64() with semantics that differ
> from plain cmpxchg(), and semantics that may surprise people. In my view
> that's probably not worth it, and it would be better to avoid using
> cmpxchg64() on systems that can't properly support it.
> 

Good point. Unfortunately this is also true for the architectures with
similar implementations, ie at least sparc32 (and possibly parisc).

The alternatives I can see are
- Do not use cmpxchg64() outside architecture code (ie drop its use from
  the offending driver, and keep doing the same whenever the problem comes
  up again).
or
- Introduce something like ARCH_HAS_CMPXCHG64 and use it to determine
  if cmpxchg64 is supported or not.

Any preference ?

Thanks,
Guenter

  reply	other threads:[~2018-10-31 22:03 UTC|newest]

Thread overview: 94+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-10-31 19:52 [RFC PATCH] lib: Introduce generic __cmpxchg_u64() and use it where needed Guenter Roeck
2018-10-31 19:52 ` Guenter Roeck
2018-10-31 21:32 ` Paul Burton
2018-10-31 21:32   ` Paul Burton
2018-10-31 22:02   ` Guenter Roeck [this message]
2018-10-31 22:02     ` Guenter Roeck
2018-10-31 23:32     ` Paul Burton
2018-10-31 23:32       ` Paul Burton
2018-11-01  0:17       ` Trond Myklebust
2018-11-01  0:17         ` Trond Myklebust
2018-11-01  0:17         ` Trond Myklebust
2018-11-01 13:18         ` Mark Rutland
2018-11-01 13:18           ` Mark Rutland
2018-11-01 13:18           ` Mark Rutland
2018-11-01 14:59           ` Peter Zijlstra
2018-11-01 14:59             ` Peter Zijlstra
2018-11-01 14:59             ` Peter Zijlstra
2018-11-01 15:22             ` Trond Myklebust
2018-11-01 15:22               ` Trond Myklebust
2018-11-01 15:22               ` Trond Myklebust
2018-11-01 16:32               ` Peter Zijlstra
2018-11-01 16:32                 ` Peter Zijlstra
2018-11-01 16:32                 ` Peter Zijlstra
2018-11-01 16:59                 ` Eric Dumazet
2018-11-01 16:59                   ` Eric Dumazet
2018-11-01 16:59                   ` Eric Dumazet
2018-11-01 17:14                   ` Peter Zijlstra
2018-11-01 17:14                     ` Peter Zijlstra
2018-11-01 17:14                     ` Peter Zijlstra
2018-11-01 17:27                     ` Peter Zijlstra
2018-11-01 17:27                       ` Peter Zijlstra
2018-11-01 17:27                       ` Peter Zijlstra
2018-11-01 20:29                       ` Paul E. McKenney
2018-11-01 20:29                         ` Paul E. McKenney
2018-11-01 20:29                         ` Paul E. McKenney
2018-11-01 21:38                         ` Peter Zijlstra
2018-11-01 21:38                           ` Peter Zijlstra
2018-11-01 21:38                           ` Peter Zijlstra
2018-11-01 22:26                           ` Paul E. McKenney
2018-11-01 22:26                             ` Paul E. McKenney
2018-11-01 22:26                             ` Paul E. McKenney
2018-11-01 17:43                     ` Paul E. McKenney
2018-11-01 17:43                       ` Paul E. McKenney
2018-11-01 17:43                       ` Paul E. McKenney
2018-11-01 17:01                 ` Paul E. McKenney
2018-11-01 17:01                   ` Paul E. McKenney
2018-11-01 17:01                   ` Paul E. McKenney
2018-11-01 17:18                   ` Peter Zijlstra
2018-11-01 17:18                     ` Peter Zijlstra
2018-11-01 17:18                     ` Peter Zijlstra
2018-11-01 17:34                     ` Paul E. McKenney
2018-11-01 17:34                       ` Paul E. McKenney
2018-11-01 17:34                       ` Paul E. McKenney
2018-11-01 17:46                     ` Dmitry Vyukov
2018-11-01 17:46                       ` Dmitry Vyukov
2018-11-01 17:46                       ` Dmitry Vyukov
2018-11-01 21:45                       ` Peter Zijlstra
2018-11-01 21:45                         ` Peter Zijlstra
2018-11-01 21:45                         ` Peter Zijlstra
2018-11-02 10:56                   ` David Laight
2018-11-02 10:56                     ` David Laight
2018-11-02 10:56                     ` David Laight
2018-11-02 12:23                     ` Peter Zijlstra
2018-11-02 12:23                       ` Peter Zijlstra
2018-11-02 12:23                       ` Peter Zijlstra
2018-11-02 13:38                       ` Paul E. McKenney
2018-11-02 13:38                         ` Paul E. McKenney
2018-11-02 13:38                         ` Paul E. McKenney
2018-11-02 13:37                     ` Paul E. McKenney
2018-11-02 13:37                       ` Paul E. McKenney
2018-11-02 13:37                       ` Paul E. McKenney
2018-11-02 16:19                 ` Andrey Ryabinin
2018-11-02 16:19                   ` Andrey Ryabinin
2018-11-02 16:19                   ` Andrey Ryabinin
2018-11-05 10:38                   ` Peter Zijlstra
2018-11-05 10:38                     ` Peter Zijlstra
2018-11-05 10:38                     ` Peter Zijlstra
2018-11-05 14:24                   ` Peter Zijlstra
2018-11-05 14:24                     ` Peter Zijlstra
2018-11-05 14:24                     ` Peter Zijlstra
2018-11-01 17:51             ` [PATCH] SUNRPC: Use atomic(64)_t for seq_send(64) Paul Burton
2018-11-01 17:57               ` Trond Myklebust
2018-11-01 17:54         ` [RFC PATCH] lib: Introduce generic __cmpxchg_u64() and use it where needed Paul Burton
2018-11-01 17:54           ` Paul Burton
2018-11-01 17:54           ` Paul Burton
2018-11-01 17:54           ` Paul Burton
2018-11-01  1:18       ` Guenter Roeck
2018-11-01  1:18         ` Guenter Roeck
2018-11-01  6:30         ` Trond Myklebust
2018-11-01  6:30           ` Trond Myklebust
2018-11-01  6:30           ` Trond Myklebust
2018-11-01 15:28           ` Guenter Roeck
2018-11-01 15:28             ` Guenter Roeck
2018-11-01 15:28             ` Guenter Roeck

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=20181031220253.GA15505@roeck-us.net \
    --to=linux@roeck-us.net \
    --cc=akpm@linux-foundation.org \
    --cc=arnd@arndb.de \
    --cc=benh@kernel.crashing.org \
    --cc=jhogan@kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-mips@linux-mips.org \
    --cc=linuxppc-dev@lists.ozlabs.org \
    --cc=mpe@ellerman.id.au \
    --cc=paul.burton@mips.com \
    --cc=paulus@samba.org \
    --cc=ralf@linux-mips.org \
    --cc=trond.myklebust@hammerspace.com \
    /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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.