[PATCH] memorder: Realign OMCA visibility attribution with litmus causality

[PATCH] memorder: Realign OMCA visibility attribution with litmus causality

[Kunwu Chan]

Fix the OMCA explanatory text to attribute the two stores to P0 (not P1), matching C-MP-OMCA+o-o-o+o-rmb-o.litmus. This keeps the narrative causality aligned with the executable model.

Signed-off-by: Kunwu Chan <kunwu.chan@linux.dev>
---
 memorder/memorder.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/memorder/memorder.tex b/memorder/memorder.tex
index 8eb14a29..388903b6 100644
--- a/memorder/memorder.tex
+++ b/memorder/memorder.tex
@@ -2415,7 +2415,7 @@ value directly from the store buffer, which improves performance.
 
 	In contrast, on an other-multicopy-atomic platform, \co{P0()}
 	could see its own store early, so that there would be no constraint
-	on the order of visibility of the two stores from \co{P1()},
+	on the order of visibility of the two stores from \co{P0()},
 	which in turn allows the \co{exists} clause to trigger.
 }\QuickQuizEnd
 
-- 
2.25.1