lkml.org 
[lkml]   [2023]   [Jan]   [23]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
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

\
 
 \ /
  Last update: 2023-03-26 23:53    [W:1.139 / U:0.116 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site