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

From: Peter Zijlstra
Date: Tue Feb 26 2019 - 04:30:36 EST

On Mon, Feb 25, 2019 at 09:55:17AM -0800, Paul E. McKenney wrote:
> But if you know of any code in the Linux kernel that needs to compare
> pointers, one of which might be in the process of being freed, please
> do point me at it.

I'm having the utmost difficulty of understanding why that would be a
problem. It's just a value. Freeing memory does not affect the actual
memory or any pointers to it.


None of this makes any kind of sense.