lkml.org 
[lkml]   [2023]   [Feb]   [23]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [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

\
 
 \ /
  Last update: 2023-03-27 00:34    [W:0.092 / U:0.060 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site