* [PATCH -perfbook] memorder: fix a typo in Listing 15.25's caption
@ 2022-10-19 8:44 Zhouyi Zhou
2022-10-19 12:47 ` Akira Yokosawa
0 siblings, 1 reply; 3+ messages in thread
From: Zhouyi Zhou @ 2022-10-19 8:44 UTC (permalink / raw)
To: perfbook, luyang.co, paulmck, akiyks; +Cc: Zhouyi Zhou
Caption of Listing 15.25 should be "Z6.2 Release-Acquire Chain (Ordering?)"
instead of "Z6.0 Release-Acquire Chain (Ordering?)"
Signed-off-by: Zhouyi Zhou <zhouzhouyi@gmail.com>
---
Hi Paul and Akira:
I guess there is a typo in caption of listing 15.25
Many thanks
Zhouyi
--
memorder/memorder.tex | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/memorder/memorder.tex b/memorder/memorder.tex
index 28319bfb..0c96d43b 100644
--- a/memorder/memorder.tex
+++ b/memorder/memorder.tex
@@ -2325,14 +2325,14 @@ prevents the \co{exists} clause on \clnref{exists} from triggering.
\begin{listing}
\input{CodeSamples/formal/litmus/C-Z6.2+o-r+a-o+o-mb-o@whole.fcv}
-\caption{Z6.0 Release-Acquire Chain (Ordering?)}
-\label{lst:memorder:Z6.0 Release-Acquire Chain (Ordering?)}
+\caption{Z6.2 Release-Acquire Chain (Ordering?)}
+\label{lst:memorder:Z6.2 Release-Acquire Chain (Ordering?)}
\end{listing}
\QuickQuiz{
Suppose we have a short release-acquire chain along with one
load-to-store link and one store-to-store link, like that shown in
- \cref{lst:memorder:Z6.0 Release-Acquire Chain (Ordering?)}.
+ \cref{lst:memorder:Z6.2 Release-Acquire Chain (Ordering?)}.
Given that there is only one of each type of non-store-to-load
link, the \co{exists} cannot trigger, right?
}\QuickQuizAnswer{
@@ -2345,7 +2345,7 @@ prevents the \co{exists} clause on \clnref{exists} from triggering.
thereof, it is necessary to have at least one full barrier
(\co{smp_mb()} or better) between each non-store-to-load link.
In
- \cref{lst:memorder:Z6.0 Release-Acquire Chain (Ordering?)},
+ \cref{lst:memorder:Z6.2 Release-Acquire Chain (Ordering?)},
preventing the \co{exists} clause from triggering therefore requires
an additional full barrier between either \co{P0()}'s or
\co{P1()}'s accesses.
--
2.34.1
^ permalink raw reply related [flat|nested] 3+ messages in thread
* Re: [PATCH -perfbook] memorder: fix a typo in Listing 15.25's caption
2022-10-19 8:44 [PATCH -perfbook] memorder: fix a typo in Listing 15.25's caption Zhouyi Zhou
@ 2022-10-19 12:47 ` Akira Yokosawa
2022-10-20 23:44 ` Paul E. McKenney
0 siblings, 1 reply; 3+ messages in thread
From: Akira Yokosawa @ 2022-10-19 12:47 UTC (permalink / raw)
To: Zhouyi Zhou, Paul E. McKenney; +Cc: perfbook, luyang.co
Hi,
On Wed, 19 Oct 2022 16:44:42 +0800, Zhouyi Zhou wrote:
> Caption of Listing 15.25 should be "Z6.2 Release-Acquire Chain (Ordering?)"
> instead of "Z6.0 Release-Acquire Chain (Ordering?)"
>
> Signed-off-by: Zhouyi Zhou <zhouzhouyi@gmail.com>
> ---
> Hi Paul and Akira:
>
> I guess there is a typo in caption of listing 15.25
Nice catch!
Reviewed-by: Akira Yokosawa <akiyks@gmail.com>
Thanks, Akira
>
> Many thanks
> Zhouyi
> --
> memorder/memorder.tex | 8 ++++----
> 1 file changed, 4 insertions(+), 4 deletions(-)
>
> diff --git a/memorder/memorder.tex b/memorder/memorder.tex
> index 28319bfb..0c96d43b 100644
> --- a/memorder/memorder.tex
> +++ b/memorder/memorder.tex
> @@ -2325,14 +2325,14 @@ prevents the \co{exists} clause on \clnref{exists} from triggering.
>
> \begin{listing}
> \input{CodeSamples/formal/litmus/C-Z6.2+o-r+a-o+o-mb-o@whole.fcv}
> -\caption{Z6.0 Release-Acquire Chain (Ordering?)}
> -\label{lst:memorder:Z6.0 Release-Acquire Chain (Ordering?)}
> +\caption{Z6.2 Release-Acquire Chain (Ordering?)}
> +\label{lst:memorder:Z6.2 Release-Acquire Chain (Ordering?)}
> \end{listing}
>
> \QuickQuiz{
> Suppose we have a short release-acquire chain along with one
> load-to-store link and one store-to-store link, like that shown in
> - \cref{lst:memorder:Z6.0 Release-Acquire Chain (Ordering?)}.
> + \cref{lst:memorder:Z6.2 Release-Acquire Chain (Ordering?)}.
> Given that there is only one of each type of non-store-to-load
> link, the \co{exists} cannot trigger, right?
> }\QuickQuizAnswer{
> @@ -2345,7 +2345,7 @@ prevents the \co{exists} clause on \clnref{exists} from triggering.
> thereof, it is necessary to have at least one full barrier
> (\co{smp_mb()} or better) between each non-store-to-load link.
> In
> - \cref{lst:memorder:Z6.0 Release-Acquire Chain (Ordering?)},
> + \cref{lst:memorder:Z6.2 Release-Acquire Chain (Ordering?)},
> preventing the \co{exists} clause from triggering therefore requires
> an additional full barrier between either \co{P0()}'s or
> \co{P1()}'s accesses.
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH -perfbook] memorder: fix a typo in Listing 15.25's caption
2022-10-19 12:47 ` Akira Yokosawa
@ 2022-10-20 23:44 ` Paul E. McKenney
0 siblings, 0 replies; 3+ messages in thread
From: Paul E. McKenney @ 2022-10-20 23:44 UTC (permalink / raw)
To: Akira Yokosawa; +Cc: Zhouyi Zhou, perfbook, luyang.co
On Wed, Oct 19, 2022 at 09:47:11PM +0900, Akira Yokosawa wrote:
> Hi,
>
> On Wed, 19 Oct 2022 16:44:42 +0800, Zhouyi Zhou wrote:
> > Caption of Listing 15.25 should be "Z6.2 Release-Acquire Chain (Ordering?)"
> > instead of "Z6.0 Release-Acquire Chain (Ordering?)"
> >
> > Signed-off-by: Zhouyi Zhou <zhouzhouyi@gmail.com>
> > ---
> > Hi Paul and Akira:
> >
> > I guess there is a typo in caption of listing 15.25
>
> Nice catch!
>
> Reviewed-by: Akira Yokosawa <akiyks@gmail.com>
Queued, thank you both!
Thanx, Paul
> > Many thanks
> > Zhouyi
> > --
> > memorder/memorder.tex | 8 ++++----
> > 1 file changed, 4 insertions(+), 4 deletions(-)
> >
> > diff --git a/memorder/memorder.tex b/memorder/memorder.tex
> > index 28319bfb..0c96d43b 100644
> > --- a/memorder/memorder.tex
> > +++ b/memorder/memorder.tex
> > @@ -2325,14 +2325,14 @@ prevents the \co{exists} clause on \clnref{exists} from triggering.
> >
> > \begin{listing}
> > \input{CodeSamples/formal/litmus/C-Z6.2+o-r+a-o+o-mb-o@whole.fcv}
> > -\caption{Z6.0 Release-Acquire Chain (Ordering?)}
> > -\label{lst:memorder:Z6.0 Release-Acquire Chain (Ordering?)}
> > +\caption{Z6.2 Release-Acquire Chain (Ordering?)}
> > +\label{lst:memorder:Z6.2 Release-Acquire Chain (Ordering?)}
> > \end{listing}
> >
> > \QuickQuiz{
> > Suppose we have a short release-acquire chain along with one
> > load-to-store link and one store-to-store link, like that shown in
> > - \cref{lst:memorder:Z6.0 Release-Acquire Chain (Ordering?)}.
> > + \cref{lst:memorder:Z6.2 Release-Acquire Chain (Ordering?)}.
> > Given that there is only one of each type of non-store-to-load
> > link, the \co{exists} cannot trigger, right?
> > }\QuickQuizAnswer{
> > @@ -2345,7 +2345,7 @@ prevents the \co{exists} clause on \clnref{exists} from triggering.
> > thereof, it is necessary to have at least one full barrier
> > (\co{smp_mb()} or better) between each non-store-to-load link.
> > In
> > - \cref{lst:memorder:Z6.0 Release-Acquire Chain (Ordering?)},
> > + \cref{lst:memorder:Z6.2 Release-Acquire Chain (Ordering?)},
> > preventing the \co{exists} clause from triggering therefore requires
> > an additional full barrier between either \co{P0()}'s or
> > \co{P1()}'s accesses.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2022-10-20 23:44 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-10-19 8:44 [PATCH -perfbook] memorder: fix a typo in Listing 15.25's caption Zhouyi Zhou
2022-10-19 12:47 ` Akira Yokosawa
2022-10-20 23:44 ` Paul E. McKenney
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.