memorder: Fix wrong variable citation
PATCH 1/3 memorder: Fix wrong variable citation
Signed-off-by SeongJae Park <[email protected]>
--- memorder/memorder.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)
memorder/memorder.tex +2 -2
@@ -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
PATCH 2/3 memorder: Remove unnecessary comma
Signed-off-by SeongJae Park <[email protected]>
--- memorder/memorder.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
memorder/memorder.tex +1 -1
@@ -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
PATCH 3/3 future/QC: Remove unnecessary duplicate
In reply to SeongJae ParkSigned-off-by SeongJae Park <[email protected]>
--- future/QC.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
future/QC.tex +1 -1
@@ -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
Quoted 1 line · SeongJae Park
Signed-off-by SeongJae Park <[email protected]>
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@@ -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