[pypy-svn] r77985 - pypy/extradoc/talk/pepm2011
cfbolz at codespeak.net
cfbolz at codespeak.net
Fri Oct 15 15:13:04 CEST 2010
Author: cfbolz
Date: Fri Oct 15 15:13:03 2010
New Revision: 77985
Modified:
pypy/extradoc/talk/pepm2011/escape-tracing.pdf
pypy/extradoc/talk/pepm2011/paper.tex
Log:
enhance example
Modified: pypy/extradoc/talk/pepm2011/escape-tracing.pdf
==============================================================================
Binary files. No diff available.
Modified: pypy/extradoc/talk/pepm2011/paper.tex
==============================================================================
--- pypy/extradoc/talk/pepm2011/paper.tex (original)
+++ pypy/extradoc/talk/pepm2011/paper.tex Fri Oct 15 15:13:03 2010
@@ -888,6 +888,19 @@
After the lifting the static heap is the empty set, because both static objects
were lifted.
+If from the same heap $w^*$ is lifted instead, the following operations are
+produced:
+
+\begin{lstlisting}[mathescape,xleftmargin=20pt]
+$w^*$ = new($T_2$)
+set($w^*$, $L$, $u^*$)
+set($w^*$, $R$, $u^*$)
+\end{lstlisting}
+
+The static heap afterwards is $\{v^* \mapsto (T_1, w^*, v^*)\}$.
+
+
+
% subsection Optimizing Traces (end)
\subsection{Analysis of the Algorithm}
More information about the Pypy-commit
mailing list