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 <[email protected]> --- 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
