Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
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
