On Wed, Sep 28, 2022 at 11:30:40PM +0900, Akira Yokosawa wrote:
> Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
Good catches, queued and pushed both, thank you!
Thanx, Paul
> ---
> Hi Paul,
>
> I don't see any smp_store_release() in P1().
> It must be P0(). :-)
>
> Thanks, Akira
> --
> memorder/memorder.tex | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/memorder/memorder.tex b/memorder/memorder.tex
> index f85cfe6ca702..a0a87d0a8bca 100644
> --- a/memorder/memorder.tex
> +++ b/memorder/memorder.tex
> @@ -2372,7 +2372,7 @@ The only code difference is that
> has an additional \co{P2()} that does an \co{smp_store_release()} to
> the \co{x2} variable that \co{P0()} releases and \co{P1()} acquires.
> The \co{exists} clause is also adjusted to exclude executions in which
> -\co{P2()}'s \co{smp_store_release()} precedes that of \co{P1()}.
> +\co{P2()}'s \co{smp_store_release()} precedes that of \co{P0()}.
>
> Running the litmus test in
> \cref{lst:memorder:A Release-Acquire Chain With Added Store (Ordering?)}
> --
> 2.25.1
>
>
