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@xxxxxxxxx> 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
