On Fri, May 26, 2023 at 10:48:49PM +0900, Akira Yokosawa wrote:
> Hi Paul,
>
> On 2023/05/22 1:24, Alan Huang wrote:
> > The two references are misplaced, this patch fixes that.
> >
> > Signed-off-by: Alan Huang <mmpgouride@xxxxxxxxx>
>
> Looks like you've lost this one.
> Please holler if you need a resend.
Ah, thank you for the reminder! I have queued and pushed it with
your Fixes and Reviewed-by. Thank you both!!!
And "Hello!" from the Brussels airport. ;-)
Thanx, Paul
> Thanks, Akira
>
> > ---
> > formal/dyntickrcu.tex | 4 ++--
> > 1 file changed, 2 insertions(+), 2 deletions(-)
> >
> > diff --git a/formal/dyntickrcu.tex b/formal/dyntickrcu.tex
> > index 42c0c55c..2d118e69 100644
> > --- a/formal/dyntickrcu.tex
> > +++ b/formal/dyntickrcu.tex
> > @@ -1132,7 +1132,7 @@ This effort provided some lessons (re)learned:
> > In this case, the documentation effort located
> > a misplaced memory barrier in
> > \co{rcu_enter_nohz()} and \co{rcu_exit_nohz()},
> > - as shown by the following patch~\cite{PaulEMcKenney2008commit:d7c0651390b6}.
> > + as shown by the following patch~\cite{PaulEMcKenney2008commit:ae66be9b71b1}.
> >
> > \begin{VerbatimU}
> > static inline void rcu_enter_nohz(void)
> > @@ -1155,7 +1155,7 @@ This effort provided some lessons (re)learned:
> > This effort located one subtle bug in
> > \co{rcu_try_flip_waitack_needed()}
> > that would have been quite difficult to test or debug, as
> > - shown by the following patch~\cite{PaulEMcKenney2008commit:ae66be9b71b1}.
> > + shown by the following patch~\cite{PaulEMcKenney2008commit:d7c0651390b6}.
> >
> > \begin{VerbatimU}
> > - if ((curr - snap) > 2 || (snap & 0x1) == 0)
