Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

To: "Paul E. McKenney" <paulmck@xxxxxxxxxxxxx>
Subject: Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo
From: Peter Zijlstra <peterz@xxxxxxxxxxxxx>
Date: Tue, 26 Feb 2019 10:21:43 +0100
Cc: Andrea Parri <andrea.parri@xxxxxxxxxxxxxxxxxxxx>, linux-kernel@xxxxxxxxxxxxxxx, linux-arch@xxxxxxxxxxxxxxx, Alan Stern <stern@xxxxxxxxxxxxxxxxxxx>, Will Deacon <will.deacon@xxxxxxx>, Boqun Feng <boqun.feng@xxxxxxxxx>, Nicholas Piggin <npiggin@xxxxxxxxx>, David Howells <dhowells@xxxxxxxxxx>, Jade Alglave <j.alglave@xxxxxxxxx>, Luc Maranget <luc.maranget@xxxxxxxx>, Akira Yokosawa <akiyks@xxxxxxxxx>, Daniel Lustig <dlustig@xxxxxxxxxx>
In-reply-to: <20190225175517.GK4072@linux.ibm.com>
References: <1550617057-4911-1-git-send-email-andrea.parri@amarulasolutions.com> <20190220020117.GD11787@linux.ibm.com> <20190220092604.GD32494@hirez.programming.kicks-ass.net> <20190220131456.GA3215@andrea> <20190220132714.GI32494@hirez.programming.kicks-ass.net> <20190222112128.GA7213@andrea> <20190222130014.GY32494@hirez.programming.kicks-ass.net> <20190225175517.GK4072@linux.ibm.com>
User-agent: Mutt/1.10.1 (2018-07-13)

On Mon, Feb 25, 2019 at 09:55:17AM -0800, Paul E. McKenney wrote:
> Again, if you know of any code in the Linux kernel that would have
> problems with aggressive optimizations based on pointer provenance,
> please let me know!

I've no clue what pointer provenance is to begin with.

References:
- [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo
  - From: Andrea Parri
- Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo
  - From: Paul E. McKenney
- Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo
  - From: Peter Zijlstra
- Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo
  - From: Andrea Parri
- Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo
  - From: Peter Zijlstra
- Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo
  - From: Andrea Parri
- Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo
  - From: Peter Zijlstra
- Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo
  - From: Paul E. McKenney

Prev by Date: Re: [PATCH 0/3] sparc: Unify the system call scripts
Next by Date: Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo
Previous by thread: Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo
Next by thread: Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo
Index(es):
- Date
- Thread

[Index of Archives] [Linux Kernel] [Kernel Newbies] [x86 Platform Driver] [Netdev] [Linux Wireless] [Netfilter] [Bugtraq] [Linux Filesystems] [Yosemite Discussion] [MIPS Linux] [ARM Linux] [Linux Security] [Linux RAID] [Samba] [Device Mapper]