Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)

[Alan Stern]

On Mon, Jan 23, 2023 at 08:40:24PM +0100, Jonas Oberhauser wrote:
> 
> 
> On 1/23/2023 4:55 PM, Alan Stern wrote:
> > I'm inclined to add this check to the memory model.  Would you prefer to
> > submit it yourself as a separate patch?  Or are you happy to have it
> > merged with my patch, and if so, do you have a final, preferred form for
> > the check?
> 
> After clearing my confusion, I'm no longer sure if it should be added. If
> you're still inclined to have it, I would prefer to submit the patch, but
> I'd like to define the use-cookie relation (= (data|[~Srcu-unlock];rfe)+)
> and use it also to clarify the srcu match definition (I almost would like to
> do that anyways :D).
> Is that ok?

Write up a patch and we can all judge it.

Alan