/
terminates_sc.tex
55 lines (45 loc) · 1.68 KB
/
terminates_sc.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
% \begin{frame}{Spinlock terminates under sequential consistency \onslide<4->{[Lamport 1979], \ \ \ but now we use other semantics:}}
\begin{frame}{Spinlock terminates under interleaving semantics}
\only<1-3>{
\spinlockLibClientII
\pause
\begin{minipage}[c]{0.4\linewidth}
\begin{center}
\todo{animate this?}
\scSystem
\end{center}
\end{minipage}
\vspace{0.5cm}
\pause
\begin{center}
\begin{traceenv}{1.5}{0.9}
\stepcounter{evctr}
% \setcounter{evctr}{0.5}
% \node at (\curEv-0.5, 1) {$CAS(l, 0, 1)$ \stepcounter{evctr}};
% \node at (\curEv-0.5, 0) {$CAS(l, 0, 1)$ \stepcounter{evctr}};
% \node at (\curEv-0.3, 0) {$CAS(l, 0, 1)$ \stepcounter{evctr}};
% \node at (\curEv-0.5, 1) {$\writeInst{l}{0}$ \stepcounter{evctr}};
% \node at (\curEv-0.5, 0) {$CAS(l, 0, 1)$ \stepcounter{evctr}};
% \node at (\curEv-0.5, 0) {$\writeInst{l}{0}$ \stepcounter{evctr}};
\node at (\curEv, 1) {$CAS(l, 0, 1)$ \stepcounter{evctr}};
\node at (\curEv, 0) {$CAS(l, 0, 1)$ \stepcounter{evctr}};
\node at (\curEv, 0) {$CAS(l, 0, 1)$ \stepcounter{evctr}};
\node at (\curEv, 1) {$\writeInst{l}{0}$ \stepcounter{evctr}};
\node at (\curEv, 0) {$CAS(l, 0, 1)$ \stepcounter{evctr}};
\node at (\curEv, 0) {$\writeInst{l}{0}$ \stepcounter{evctr}};
\end{traceenv}
\end{center}
}
% \only<4->{
% }
% \onslide<4>{%
% \tikz[overlay,remember picture]
% % \node[fill=white,text=\colorTitleApprox,draw=black]
% % at ([xshift=-5cm,yshift=0cm]current page.center){But now we use:};
% \myrect
% }
\end{frame}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "oopsla"
%%% End: