[pypy-svn] r77983 - pypy/extradoc/talk/pepm2011

cfbolz at codespeak.net cfbolz at codespeak.net
Fri Oct 15 15:05:30 CEST 2010

Author: cfbolz
Date: Fri Oct 15 15:05:29 2010
New Revision: 77983

add lifting example

Modified: pypy/extradoc/talk/pepm2011/paper.tex
--- pypy/extradoc/talk/pepm2011/paper.tex	(original)
+++ pypy/extradoc/talk/pepm2011/paper.tex	Fri Oct 15 15:05:29 2010
@@ -872,8 +872,21 @@
 twice, the \lstinline{liftfield} operation removes it from the static heap \emph{before}
 recursively lifting its fields.
+As an example for lifting, consider the static heap $$\{v^* \mapsto (T_1, w^*,
+v^*), w^* \mapsto (T_2, u^*, u^*)\}$$ which contains two static objects. If $v^*$
+now needs to be lifted, the following residual operations are produced:
+$v^*$ = new($T_1$)
+$w^*$ = new($T_2$)
+set($w^*$, $L$, $u^*$)
+set($w^*$, $R$, $u^*$)
+set($v^*$, $L$, $w^*$)
+set($v^*$, $R$, $v^*$)
-XXX Apply the rules of the algorithm to parts of the sample trace
+After the lifting the static heap is the empty set, because both static objects
+were lifted.
 % subsection Optimizing Traces (end)

More information about the Pypy-commit mailing list