>From b987758d115a7260e9ff8f7453c69a6e6bc9768b Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Sun, 16 Apr 2017 08:11:14 +0900
Subject: [PATCH 07/14] advsync: Avoid indent after minipages
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
advsync/memorybarriers.tex | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/advsync/memorybarriers.tex b/advsync/memorybarriers.tex
index 270c868..8173684 100644
--- a/advsync/memorybarriers.tex
+++ b/advsync/memorybarriers.tex
@@ -1186,9 +1186,9 @@ denoted by ``st'':
st B=4, & ... & & \\
... & & & \\
\end{tabular}
+\vspace{3pt}
\end{minipage}
-\vspace{5pt}
-
+%
and can thus result in four different combinations of local values:
\vspace{5pt}
@@ -1263,9 +1263,9 @@ be used:
*A = 5;
x = *D;
\end{verbatim}
+\vspace{1pt}
\end{minipage}
-\vspace{5pt}
-
+%
but this might show up as either of the following two sequences:
\vspace{5pt}
@@ -1275,9 +1275,9 @@ but this might show up as either of the following two sequences:
STORE *A = 5, x = LOAD *D
x = LOAD *D, STORE *A = 5
\end{verbatim}
+\vspace{1pt}
\end{minipage}
-\vspace{5pt}
-
+%
the second of which will almost certainly result in a malfunction, since it set
the address \emph{after} attempting to read the register.
--
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
