All of lore.kernel.org
 help / color / mirror / Atom feed
From: Peter Zijlstra <peterz@infradead.org>
To: Eric Dumazet <eric.dumazet@gmail.com>
Cc: Trond Myklebust <trondmy@hammerspace.com>,
	"mark.rutland@arm.com" <mark.rutland@arm.com>,
	"linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
	"ralf@linux-mips.org" <ralf@linux-mips.org>,
	"jlayton@kernel.org" <jlayton@kernel.org>,
	"linuxppc-dev@lists.ozlabs.org" <linuxppc-dev@lists.ozlabs.org>,
	"bfields@fieldses.org" <bfields@fieldses.org>,
	"linux-mips@linux-mips.org" <linux-mips@linux-mips.org>,
	"linux@roeck-us.net" <linux@roeck-us.net>,
	"linux-nfs@vger.kernel.org" <linux-nfs@vger.kernel.org>,
	"akpm@linux-foundation.org" <akpm@linux-foundation.org>,
	"will.deacon@arm.com" <will.deacon@arm.com>,
	"boqun.feng@gmail.com" <boqun.feng@gmail.com>,
	"paul.burton@mips.com" <paul.burton@mips.com>,
	"anna.schumaker@netapp.com" <anna.schumaker@netapp.com>,
	"jhogan@kernel.org" <jhogan@kernel.org>,
	"netdev@vger.kernel.org" <netdev@vger.kernel.org>,
	"davem@davemloft.net" <davem@davemloft.net>,
	"arnd@arndb.de" <arnd@arndb.de>,
	"paulus@samba.org" <paulus@samba.org>,
	"mpe@ellerman.id.au" <mpe@ellerman.id.au>,
	"benh@kernel.crashing.org" <benh@kernel.crashing.org>,
	Paul McKenney <paulmck@linux.vnet.ibm.com>,
	aryabinin@virtuozzo.com, dvyukov@google.com
Subject: Re: [RFC PATCH] lib: Introduce generic __cmpxchg_u64() and use it where needed
Date: Thu, 1 Nov 2018 18:27:39 +0100	[thread overview]
Message-ID: <20181101172739.GA3196@hirez.programming.kicks-ass.net> (raw)
In-Reply-To: <20181101171432.GH3178@hirez.programming.kicks-ass.net>

On Thu, Nov 01, 2018 at 06:14:32PM +0100, Peter Zijlstra wrote:
> > This reminds me of this sooooo silly patch :/
> > 
> > https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=adb03115f4590baa280ddc440a8eff08a6be0cb7

You'd probably want to write it like so; +- some ordering stuff, that
code didn't look like it really needs the memory barriers implied by
these, but I didn't look too hard.

diff --git a/net/ipv4/route.c b/net/ipv4/route.c
index c0a9d26c06ce..11deb1d7e96b 100644
--- a/net/ipv4/route.c
+++ b/net/ipv4/route.c
@@ -485,16 +485,10 @@ u32 ip_idents_reserve(u32 hash, int segs)
 	u32 now = (u32)jiffies;
 	u32 new, delta = 0;
 
-	if (old != now && cmpxchg(p_tstamp, old, now) == old)
+	if (old != now && try_cmpxchg(p_tstamp, &old, now))
 		delta = prandom_u32_max(now - old);
 
-	/* Do not use atomic_add_return() as it makes UBSAN unhappy */
-	do {
-		old = (u32)atomic_read(p_id);
-		new = old + delta + segs;
-	} while (atomic_cmpxchg(p_id, old, new) != old);
-
-	return new - segs;
+	return atomic_fetch_add(segs + delta, p_id) + delta;
 }
 EXPORT_SYMBOL(ip_idents_reserve);
 

WARNING: multiple messages have this Message-ID (diff)
From: Peter Zijlstra <peterz@infradead.org>
To: Eric Dumazet <eric.dumazet@gmail.com>
Cc: Trond Myklebust <trondmy@hammerspace.com>,
	"mark.rutland@arm.com" <mark.rutland@arm.com>,
	"linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
	"ralf@linux-mips.org" <ralf@linux-mips.org>,
	"jlayton@kernel.org" <jlayton@kernel.org>,
	"linuxppc-dev@lists.ozlabs.org" <linuxppc-dev@lists.ozlabs.org>,
	"bfields@fieldses.org" <bfields@fieldses.org>,
	"linux-mips@linux-mips.org" <linux-mips@linux-mips.org>,
	"linux@roeck-us.net" <linux@roeck-us.net>,
	"linux-nfs@vger.kernel.org" <linux-nfs@vger.kernel.org>,
	"akpm@linux-foundation.org" <akpm@linux-foundation.org>,
	"will.deacon@arm.com" <will.deacon@arm.com>,
	"boqun.feng@gmail.com" <boqun.feng@gmail.com>,
	"paul.burton@mips.com" <paul.burton@mips.com>,
	"anna.schumaker@netapp.com" <anna.schumaker@netapp.com>,
	"jhogan@kerne
Subject: Re: [RFC PATCH] lib: Introduce generic __cmpxchg_u64() and use it where needed
Date: Thu, 1 Nov 2018 18:27:39 +0100	[thread overview]
Message-ID: <20181101172739.GA3196@hirez.programming.kicks-ass.net> (raw)
In-Reply-To: <20181101171432.GH3178@hirez.programming.kicks-ass.net>

On Thu, Nov 01, 2018 at 06:14:32PM +0100, Peter Zijlstra wrote:
> > This reminds me of this sooooo silly patch :/
> > 
> > https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=adb03115f4590baa280ddc440a8eff08a6be0cb7

You'd probably want to write it like so; +- some ordering stuff, that
code didn't look like it really needs the memory barriers implied by
these, but I didn't look too hard.

diff --git a/net/ipv4/route.c b/net/ipv4/route.c
index c0a9d26c06ce..11deb1d7e96b 100644
--- a/net/ipv4/route.c
+++ b/net/ipv4/route.c
@@ -485,16 +485,10 @@ u32 ip_idents_reserve(u32 hash, int segs)
 	u32 now = (u32)jiffies;
 	u32 new, delta = 0;
 
-	if (old != now && cmpxchg(p_tstamp, old, now) == old)
+	if (old != now && try_cmpxchg(p_tstamp, &old, now))
 		delta = prandom_u32_max(now - old);
 
-	/* Do not use atomic_add_return() as it makes UBSAN unhappy */
-	do {
-		old = (u32)atomic_read(p_id);
-		new = old + delta + segs;
-	} while (atomic_cmpxchg(p_id, old, new) != old);
-
-	return new - segs;
+	return atomic_fetch_add(segs + delta, p_id) + delta;
 }
 EXPORT_SYMBOL(ip_idents_reserve);
 

WARNING: multiple messages have this Message-ID (diff)
From: Peter Zijlstra <peterz@infradead.org>
To: Eric Dumazet <eric.dumazet@gmail.com>
Cc: "mark.rutland@arm.com" <mark.rutland@arm.com>,
	"linux-mips@linux-mips.org" <linux-mips@linux-mips.org>,
	"will.deacon@arm.com" <will.deacon@arm.com>,
	"bfields@fieldses.org" <bfields@fieldses.org>,
	"paulus@samba.org" <paulus@samba.org>,
	Trond Myklebust <trondmy@hammerspace.com>,
	"jhogan@kernel.org" <jhogan@kernel.org>,
	aryabinin@virtuozzo.com,
	Paul McKenney <paulmck@linux.vnet.ibm.com>,
	"linux@roeck-us.net" <linux@roeck-us.net>,
	"arnd@arndb.de" <arnd@arndb.de>,
	"boqun.feng@gmail.com" <boqun.feng@gmail.com>,
	dvyukov@google.com,
	"linux-nfs@vger.kernel.org" <linux-nfs@vger.kernel.org>,
	"netdev@vger.kernel.org" <netdev@vger.kernel.org>,
	"jlayton@kernel.org" <jlayton@kernel.org>,
	"linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
	"ralf@linux-mips.org" <ralf@linux-mips.org>,
	"anna.schumaker@netapp.com" <anna.schumaker@netapp.com>,
	"paul.burton@mips.com" <paul.burton@mips.com>,
	"akpm@linux-foundation.org" <akpm@linux-foundation.org>,
	"linuxppc-dev@lists.ozlabs.org" <linuxppc-dev@lists.ozlabs.org>,
	"davem@davemloft.net" <davem@davemloft.net>
Subject: Re: [RFC PATCH] lib: Introduce generic __cmpxchg_u64() and use it where needed
Date: Thu, 1 Nov 2018 18:27:39 +0100	[thread overview]
Message-ID: <20181101172739.GA3196@hirez.programming.kicks-ass.net> (raw)
In-Reply-To: <20181101171432.GH3178@hirez.programming.kicks-ass.net>

On Thu, Nov 01, 2018 at 06:14:32PM +0100, Peter Zijlstra wrote:
> > This reminds me of this sooooo silly patch :/
> > 
> > https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=adb03115f4590baa280ddc440a8eff08a6be0cb7

You'd probably want to write it like so; +- some ordering stuff, that
code didn't look like it really needs the memory barriers implied by
these, but I didn't look too hard.

diff --git a/net/ipv4/route.c b/net/ipv4/route.c
index c0a9d26c06ce..11deb1d7e96b 100644
--- a/net/ipv4/route.c
+++ b/net/ipv4/route.c
@@ -485,16 +485,10 @@ u32 ip_idents_reserve(u32 hash, int segs)
 	u32 now = (u32)jiffies;
 	u32 new, delta = 0;
 
-	if (old != now && cmpxchg(p_tstamp, old, now) == old)
+	if (old != now && try_cmpxchg(p_tstamp, &old, now))
 		delta = prandom_u32_max(now - old);
 
-	/* Do not use atomic_add_return() as it makes UBSAN unhappy */
-	do {
-		old = (u32)atomic_read(p_id);
-		new = old + delta + segs;
-	} while (atomic_cmpxchg(p_id, old, new) != old);
-
-	return new - segs;
+	return atomic_fetch_add(segs + delta, p_id) + delta;
 }
 EXPORT_SYMBOL(ip_idents_reserve);
 

  reply	other threads:[~2018-11-01 17:28 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
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 [this message]
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=20181101172739.GA3196@hirez.programming.kicks-ass.net \
    --to=peterz@infradead.org \
    --cc=akpm@linux-foundation.org \
    --cc=anna.schumaker@netapp.com \
    --cc=arnd@arndb.de \
    --cc=aryabinin@virtuozzo.com \
    --cc=benh@kernel.crashing.org \
    --cc=bfields@fieldses.org \
    --cc=boqun.feng@gmail.com \
    --cc=davem@davemloft.net \
    --cc=dvyukov@google.com \
    --cc=eric.dumazet@gmail.com \
    --cc=jhogan@kernel.org \
    --cc=jlayton@kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-mips@linux-mips.org \
    --cc=linux-nfs@vger.kernel.org \
    --cc=linux@roeck-us.net \
    --cc=linuxppc-dev@lists.ozlabs.org \
    --cc=mark.rutland@arm.com \
    --cc=mpe@ellerman.id.au \
    --cc=netdev@vger.kernel.org \
    --cc=paul.burton@mips.com \
    --cc=paulmck@linux.vnet.ibm.com \
    --cc=paulus@samba.org \
    --cc=ralf@linux-mips.org \
    --cc=trondmy@hammerspace.com \
    --cc=will.deacon@arm.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.