Skip to contentSkip to conversation

memorder: Fix wrong variable citation

PATCH In review SeongJae Park 2 participants 4 messages Sep 12, 2017

lore
Share & tools
lore
#0 lore raw

PATCH 1/3 memorder: Fix wrong variable citation

---
 memorder/memorder.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
memorder/memorder.tex +2 -2
index 183c525..2da7b98 100644
@@ -704,8 +704,8 @@ as Y0, the store to \co{x1} on line~19 as Y1, and the load from
 Applying the if-then rule step by step, we know that the store to
 \co{x1} on line~19 happens after the load from \co{x1} on line~11 if
 \co{P0()}'s local variable \co{r2} is set to the value zero.
-The if-then rule would then state that the load from \co{x1} on
-line~21 happens after the store to \co{x1} on line~9.
+The if-then rule would then state that the load from \co{x0} on
+line~21 happens after the store to \co{x0} on line~9.
 In other words,
 \co{P1()}'s local variable \co{r2} is guaranteed
 to end up with the value two \emph{only if}
Signature · 1 line
2.10.0
#1 lore raw

PATCH 2/3 memorder: Remove unnecessary comma

---
 memorder/memorder.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
memorder/memorder.tex +1 -1
index 2da7b98..8511c3a 100644
@@ -1103,7 +1103,7 @@ exists (1:r2=2 /\ 0:r2=2)
 
 \subsubsection{Load Followed By Store}
 Listing~\ref{lst:memorder:Load-Buffering Litmus Test (No Ordering)}
-(\path{C-LB+o-o+o-o.litmus}),
+(\path{C-LB+o-o+o-o.litmus})
 shows the classic \emph{load-buffering} litmus test.
 Although relatively strongly ordered systems such as x86
 or the IBM Mainframe do not reorder prior loads with subsequent stores,
Signature · 1 line
2.10.0
#2 lore raw

PATCH 3/3 future/QC: Remove unnecessary duplicate

In reply to SeongJae Park
---
 future/QC.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
future/QC.tex +1 -1
index 3b01a56..e5ff74e 100644
@@ -1016,7 +1016,7 @@ Grover's algorithm.
 	and $O(n \log_2 n)$ for classic-computing search?
 	Hash tables do $O(n)$ and $O(1)$ respectively!!!
 \QuickQuizAnswer{
-	Fixed-size hash table lookup lookups are $O(n)$, not $O(1)$.
+	Fixed-size hash table lookups are $O(n)$, not $O(1)$.
 	And for a resizing hash table, fairness dictates that the overhead
 	of resizing be properly accounted for.
 
Signature · 1 line
2.10.0
#3 lore raw
In reply to SeongJae Park
Quoted 1 line · SeongJae Park

Good eyes! Applied all three, thank you!

Thanx, Paul

Quoted 22 lines
---
 memorder/memorder.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
memorder/memorder.tex +2 -2
index 183c525..2da7b98 100644
@@ -704,8 +704,8 @@ as Y0, the store to \co{x1} on line~19 as Y1, and the load from
 Applying the if-then rule step by step, we know that the store to
 \co{x1} on line~19 happens after the load from \co{x1} on line~11 if
 \co{P0()}'s local variable \co{r2} is set to the value zero.
-The if-then rule would then state that the load from \co{x1} on
-line~21 happens after the store to \co{x1} on line~9.
+The if-then rule would then state that the load from \co{x0} on
+line~21 happens after the store to \co{x0} on line~9.
 In other words,
 \co{P1()}'s local variable \co{r2} is guaranteed
 to end up with the value two \emph{only if}
Signature · 1 line
2.10.0