mini-testing/anomalies

Author: hengxin

examples/paper-mini-testing/anomalies/bp-aborted-read.pdf

@@ -23,8 +23,8 @@
     }
   }
 
-  \node[txn, label = above : $t$] (t) {$\readevent(\keyxvar, 1)$};
-  \node[label = above : $t'$, txn crossed out, left = 1.20cm of t]
+  \node[txn, label = above : $T$] (t) {$\readevent(\keyxvar, 1)$};
+  \node[label = above : $T'$, txn crossed out, left = 1.20cm of t]
     (tprime) {$\readevent(\keyxvar, 0) \hpo \writeevent(\keyxvar, 1)$};
 
   \draw[wr] (tprime) to node[above]{$\WR(\keyxvar)$} (t);

examples/paper-mini-testing/anomalies/bp-aborted-read.tex

@@ -12,7 +12,7 @@
   wr/.style = {->, thick},
   txn/.style = {draw, inner sep = 3pt, align = center}]
 
-  \node[txn, label = above : $t$] (t)
+  \node[txn, label = above : $T$] (t)
     {$\readevent(\keyxvar, 0) \hpo \writeevent(\keyxvar, 0)$};
 \end{tikzpicture}
 \end{document}

examples/paper-mini-testing/anomalies/bp-future-read.pdf

@@ -15,8 +15,8 @@
     txn/.style = {rectangle, draw, inner sep = 3pt, align = center},
   }
 
-  \node[txn, label = left : $t$] (t) {$\readevent(\keyxvar, 1)$};
-  \node[txn, above = 0.50cm of t, label = left : $t'$]
+  \node[txn, label = left : $T$] (t) {$\readevent(\keyxvar, 1)$};
+  \node[txn, above = 0.50cm of t, label = left : $T'$]
     (tprime) {$\readevent(\keyxvar, 0) \hpo \writeevent(\keyxvar, 1)
       \hpo \writeevent(\keyxvar, 2)$};
 

examples/paper-mini-testing/anomalies/bp-future-read.tex

@@ -14,12 +14,12 @@
   rw/.style = {->, thick, dotted, blue},
   txn/.style = {draw, inner sep = 3pt, align = center}]
 
-  \node[txn, label = left : $t_1$]
+  \node[txn, label = left : $T_1$]
     (t1) {$\readevent(\keyxvar, 0) \hpo \writeevent(\keyxvar, 1)$};
-  \node[txn, below = 1.00cm of t1, label = left : $t_2$]
+  \node[txn, below = 1.00cm of t1, label = left : $T_2$]
     (t2) {$\readevent(\keyxvar, 1) \hpo \writeevent(\keyxvar, 2)
       \hpo \readevent(\keyyvar, 0) \hpo \writeevent(\keyyvar, 1)$};
-  \node[txn, right = 1.50cm of t1, label = below : $t_3$] (t3)
+  \node[txn, right = 1.50cm of t1, label = below : $T_3$] (t3)
     {$\readevent(\keyyvar, 1) \hpo \readevent(\keyxvar, 1)$};
 
   \draw[ww] (t1) to node[]{$\WW(\keyxvar)$} (t2);

examples/paper-mini-testing/anomalies/bp-intermediate-read.pdf

@@ -15,13 +15,13 @@
     txn/.style = {rectangle, draw, inner sep = 3pt, align = center},
   }
 
-  \node[txn, label = right : $t$] (t)
+  \node[txn, label = right : $T$] (t)
     {$\readevent(\keyxvar, 1) \hpo \readevent(\keyxvar, 2)$};
   \node[txn, above left = 1.00cm and -1.00cm of t,
-    label = left : $t_1$]
+    label = left : $T_1$]
     (t1) {$\readevent(\keyxvar, 0) \hpo \writeevent(\keyxvar, 1)$};
   \node[txn, above right = 1.00cm and -1.00cm of t,
-    label = right : $t_2$]
+    label = right : $T_2$]
     (t2) {$\readevent(\keyxvar, 0) \hpo \writeevent(\keyxvar, 2)$};
 
   \draw[wr] (t1.south) to node[above = -0.10cm, sloped]{\footnotesize $\WR(\keyxvar)$} (t.160);