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

Alan Stern
2023-01-23T20:34:06Z

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