>From 4e13865babb05ec6bd0521ae74d523fd562af6ce Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Wed, 12 Jul 2017 22:49:00 +0900
Subject: [PATCH 4/6] advsync: Trivial typo fixes
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
advsync/memorybarriers.tex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/advsync/memorybarriers.tex b/advsync/memorybarriers.tex
index 10d28f0..b085443 100644
--- a/advsync/memorybarriers.tex
+++ b/advsync/memorybarriers.tex
@@ -670,7 +670,7 @@ this~\cite{JadeAlglave2011ppcmem}.
\end{figure}
Therefore, portable code relying on ordering in this case should
-add explicit ordering, for example, the \co{smp_rmb(} shown on
+add explicit ordering, for example, the \co{smp_rmb()} shown on
line~20 of
Figure~\ref{fig:advsync:Enforcing Order of Message-Passing Litmus Test}.
@@ -956,7 +956,7 @@ Figure~\ref{fig:advsync:S Address-Dependency Litmus Test}?
Because no production-quality architecture speculated writes,
it is not possible for the \co{WRITE_ONCE()} on line~10 to overwrite
the \co{WRITE_ONCE()} on line~21, meaning that the \co{exists}
-clause on line`25 cannot be satisfied, even on DEC Alpha, even
+clause on line~25 cannot be satisfied, even on DEC Alpha, even
without the \co{lockless_dereference()} that is required in the
dependent-read case.
--
2.7.4
--
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
