Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx> --- memorder/memorder.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/memorder/memorder.tex b/memorder/memorder.tex index 820e718..85ba46e 100644 --- a/memorder/memorder.tex +++ b/memorder/memorder.tex @@ -1714,7 +1714,7 @@ where ``IRIW'' stands for ``independent reads of independent writes''. Because this litmus test uses only one variable, \co{P2()} and \co{P3()} must agree -on the order of \co{P0()}'s and \co{P()}'s stores. +on the order of \co{P0()}'s and \co{P1()}'s stores. In other words, if \co{P2()} believes that \co{P0()}'s store came first, then \co{P3()} had better not believe that \co{P1()}'s store came first. -- 2.10.0 -- To unsubscribe from this list: send the line "unsubscribe perfbook" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html