Messages in this thread | | | Date | Thu, 23 Feb 2023 21:36:54 -0500 | From | Alan Stern <> | Subject | Re: [PATCH] tools/memory-model: Add documentation about SRCU read-side critical sections |
| |
On Fri, Feb 24, 2023 at 11:32:49AM +0900, Akira Yokosawa wrote: > Hi Alan, > > One minor nit. Please find inline comment below.
> > +The LKMM models uses the srcu-rscsi relation to model SRCU read-side > > I think you mean either: > > The LKMM models the srcu-rscsi relation ... > > or: > > The LKMM uses the srcu-rscsi relation ...
Oops! Thanks for spotting that. Yes, I meant the second one.
> With this fixed, > > Reviewed-by: Akira Yokosawa <akiyks@gmail.com>
I'll add this to the next version.
Alan
> > +critical sections. They are different from RCU read-side critical > > +sections in the following respects: > > + > [...] > > Thanks, Akira
| |