Re: [PATCH memory-model 5/8] tools/memory-model: Provide exact SRCU semantics

Alan Stern
2023-03-22T01:13:27Z

On Wed, Mar 22, 2023 at 02:07:40AM +0100, Andrea Parri wrote:
> > +let carry-srcu-data = (data ; [~ Srcu-unlock] ; rf)*
>
> > +let carry-dep = (data ; [~ Srcu-unlock] ; rfi)*
>
> Nit: we use "~M" (no space after the unary operator) in this file, is
> there a reason for the different styles?

No reason that I know of, just lack of thought (as far as
carry-srcu-data is concerned). Feel free to change it.

Alan