Messages in this thread | | | Date | Mon, 23 Jan 2023 15:34:00 -0500 | From | Alan Stern <> | Subject | Re: 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
| |