[pypy-commit] extradoc extradoc: merge
fijal
noreply at buildbot.pypy.org
Tue Jan 10 13:59:44 CET 2012
Author: Maciej Fijalkowski <fijall at gmail.com>
Branch: extradoc
Changeset: r4006:642dcd49d458
Date: 2012-01-10 14:59 +0200
http://bitbucket.org/pypy/extradoc/changeset/642dcd49d458/
Log: merge
diff --git a/blog/draft/pycon-2012-teaser.rst b/blog/draft/pycon-2012-teaser.rst
--- a/blog/draft/pycon-2012-teaser.rst
+++ b/blog/draft/pycon-2012-teaser.rst
@@ -13,7 +13,7 @@
perform much better. In this tutorial we'll give you insights on how to push
PyPy to it's limits. We'll focus on understanding the performance
characteristics of PyPy, and learning the analysis tools in order to maximize
- your applications performance.
+ your applications performance. *This is the tutorial.*
* **Why PyPy by example**, by Maciej Fijalkowski, Alex Gaynor and Armin Rigo:
One of the goals of PyPy is to make existing Python code faster, however an
diff --git a/planning/jit.txt b/planning/jit.txt
--- a/planning/jit.txt
+++ b/planning/jit.txt
@@ -86,8 +86,6 @@
- ((turn max(x, y)/min(x, y) into MAXSD, MINSD instructions when x and y are
floats.)) (a mess, MAXSD/MINSD have different semantics WRT nan)
-- list.pop() (with no arguments) calls into delitem, rather than recognizing that
- no items need to be moved
BACKEND TASKS
-------------
diff --git a/sprintinfo/leysin-winter-2011/announcement.txt b/sprintinfo/leysin-winter-2012/announcement.txt
copy from sprintinfo/leysin-winter-2011/announcement.txt
copy to sprintinfo/leysin-winter-2012/announcement.txt
--- a/sprintinfo/leysin-winter-2011/announcement.txt
+++ b/sprintinfo/leysin-winter-2012/announcement.txt
@@ -1,30 +1,23 @@
=====================================================================
- PyPy Leysin Winter Sprint (16-22nd January 2011)
+ PyPy Leysin Winter Sprint (15-22nd January 2012)
=====================================================================
The next PyPy sprint will be in Leysin, Switzerland, for the
-seventh time. This is a fully public sprint: newcomers and topics
+eighth time. This is a fully public sprint: newcomers and topics
other than those proposed below are welcome.
------------------------------
Goals and topics of the sprint
------------------------------
-* Now that we have released 1.4, and plan to release 1.4.1 soon
- (possibly before the sprint), the sprint itself is going to be
- mainly working on fixing issues reported by various users. Of
- course this does not prevent people from showing up with a more
- precise interest in mind. If there are newcomers, we will gladly
- give introduction talks.
+* Py3k: work towards supporting Python 3 in PyPy
-* We will also work on polishing and merging the long-standing
- branches that are around, which could eventually lead to the
- next PyPy release. These branches are notably:
+* NumPyPy: work towards supporting the numpy module in PyPy
- - fast-forward (Python 2.7 support, by Benjamin, Amaury, and others)
- - jit-unroll-loops (improve JITting of smaller loops, by Hakan)
- - arm-backend (a JIT backend for ARM, by David)
- - jitypes2 (fast ctypes calls with the JIT, by Antonio).
+* JIT backends: integrate tests for ARM; look at the PowerPC 64;
+ maybe try again to write an LLVM- or GCC-based one
+
+* STM and STM-related topics; or the Concurrent Mark-n-Sweep GC
* And as usual, the main side goal is to have fun in winter sports :-)
We can take a day off for ski.
@@ -33,8 +26,9 @@
Exact times
-----------
-The work days should be 16-22 January 2011. People may arrive on
-the 15th already and/or leave on the 23rd.
+The work days should be 15-21 January 2011 (Sunday-Saturday). The
+official plans are for people to arrive on the 14th or the 15th, and to
+leave on the 22nd.
-----------------------
Location & Accomodation
@@ -56,13 +50,14 @@
expensive) and maybe the possibility to get a single room if you really want
to.
-Please register by svn:
+Please register by Mercurial::
- http://codespeak.net/svn/pypy/extradoc/sprintinfo/leysin-winter-2011/people.txt
+ https://bitbucket.org/pypy/extradoc/
+ https://bitbucket.org/pypy/extradoc/raw/extradoc/sprintinfo/leysin-winter-2012
-or on the pypy-sprint mailing list if you do not yet have check-in rights:
+or on the pypy-dev mailing list if you do not yet have check-in rights:
- http://codespeak.net/mailman/listinfo/pypy-sprint
+ http://mail.python.org/mailman/listinfo/pypy-dev
You need a Swiss-to-(insert country here) power adapter. There will be
some Swiss-to-EU adapters around -- bring a EU-format power strip if you
diff --git a/sprintinfo/leysin-winter-2012/people.txt b/sprintinfo/leysin-winter-2012/people.txt
new file mode 100644
--- /dev/null
+++ b/sprintinfo/leysin-winter-2012/people.txt
@@ -0,0 +1,60 @@
+
+People coming to the Leysin sprint Winter 2011
+==================================================
+
+People who have a ``?`` in their arrive/depart or accomodation
+column are known to be coming but there are no details
+available yet from them.
+
+
+==================== ============== =======================
+ Name Arrive/Depart Accomodation
+==================== ============== =======================
+Armin Rigo private
+David Schneider 17/22 ermina
+Antonio Cuni 16/22 ermina, might arrive on the 15th
+Romain Guillebert 15/22 ermina
+==================== ============== =======================
+
+
+People on the following list were present at previous sprints:
+
+==================== ============== =====================
+ Name Arrive/Depart Accomodation
+==================== ============== =====================
+Antonio Cuni ? ?
+Michael Foord ? ?
+Maciej Fijalkowski ? ?
+David Schneider ? ?
+Jacob Hallen ? ?
+Laura Creighton ? ?
+Hakan Ardo ? ?
+Carl Friedrich Bolz ? ?
+Samuele Pedroni ? ?
+Anders Hammarquist ? ?
+Christian Tismer ? ?
+Niko Matsakis ? ?
+Toby Watson ? ?
+Paul deGrandis ? ?
+Michael Hudson ? ?
+Anders Lehmann ? ?
+Niklaus Haldimann ? ?
+Lene Wagner ? ?
+Amaury Forgeot d'Arc ? ?
+Valentino Volonghi ? ?
+Boris Feigin ? ?
+Andrew Thompson ? ?
+Bert Freudenberg ? ?
+Beatrice Duering ? ?
+Richard Emslie ? ?
+Johan Hahn ? ?
+Stephan Diehl ? ?
+Alexander Schremmer ? ?
+Anders Chrigstroem ? ?
+Eric van Riet Paap ? ?
+Holger Krekel ? ?
+Guido Wesdorp ? ?
+Leonardo Santagada ? ?
+Alexandre Fayolle ? ?
+Sylvain Th�nault ? ?
+==================== ============== =====================
diff --git a/talk/dagstuhl2012/figures/all_numbers.png b/talk/dagstuhl2012/figures/all_numbers.png
new file mode 100644
index 0000000000000000000000000000000000000000..9076ac193fc9ba1954e24e2ae372ec7e1e1f44e6
GIT binary patch
[cut]
diff --git a/talk/dagstuhl2012/figures/metatrace01.pdf b/talk/dagstuhl2012/figures/metatrace01.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..0b7181b5a476093c16ff1233f37535378ef7bf8a
GIT binary patch
[cut]
diff --git a/talk/dagstuhl2012/figures/telco.png b/talk/dagstuhl2012/figures/telco.png
new file mode 100644
index 0000000000000000000000000000000000000000..56033389dab8bfe8211ffd4de5bfcb23cdc94b0f
GIT binary patch
[cut]
diff --git a/talk/dagstuhl2012/figures/trace-levels-metatracing.svg b/talk/dagstuhl2012/figures/trace-levels-metatracing.svg
new file mode 100644
--- /dev/null
+++ b/talk/dagstuhl2012/figures/trace-levels-metatracing.svg
@@ -0,0 +1,833 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+ xmlns:dc="http://purl.org/dc/elements/1.1/"
+ xmlns:cc="http://creativecommons.org/ns#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:svg="http://www.w3.org/2000/svg"
+ xmlns="http://www.w3.org/2000/svg"
+ xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+ xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+ width="631.4259"
+ height="572.15759"
+ id="svg2"
+ version="1.1"
+ inkscape:version="0.48.1 r9760"
+ sodipodi:docname="trace-levels-metatracing.svg"
+ inkscape:export-filename="/home/cfbolz/code/hguserdir/blog/figures/trace-levels.png"
+ inkscape:export-xdpi="90.25"
+ inkscape:export-ydpi="90.25"
+ style="enable-background:new">
+ <sodipodi:namedview
+ id="base"
+ pagecolor="#ffffff"
+ bordercolor="#666666"
+ borderopacity="1.0"
+ inkscape:pageopacity="0.0"
+ inkscape:pageshadow="2"
+ inkscape:zoom="1.2630942"
+ inkscape:cx="354.09498"
+ inkscape:cy="304.13646"
+ inkscape:document-units="px"
+ inkscape:current-layer="layer2"
+ showgrid="false"
+ inkscape:window-width="1680"
+ inkscape:window-height="1026"
+ inkscape:window-x="0"
+ inkscape:window-y="24"
+ inkscape:window-maximized="1"
+ showguides="true"
+ fit-margin-left="2"
+ fit-margin-top="2"
+ fit-margin-right="2"
+ fit-margin-bottom="1" />
+ <defs
+ id="defs4">
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend"
+ style="overflow:visible">
+ <path
+ id="path4622"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend"
+ style="overflow:visible">
+ <path
+ id="path4167"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-9"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4167-8"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-3"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4167-2"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-96"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4167-1"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-7"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4167-15"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-36"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4167-0"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-2"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4167-6"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-28"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4167-5"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-6"
+ style="overflow:visible">
+ <path
+ id="path4167-01"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-77"
+ style="overflow:visible">
+ <path
+ id="path4167-4"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-4"
+ style="overflow:visible">
+ <path
+ id="path4167-69"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-2"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4622-2"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-3"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4622-5"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-9"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4622-57"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-8"
+ style="overflow:visible">
+ <path
+ id="path4622-1"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-4-8"
+ style="overflow:visible">
+ <path
+ id="path4167-69-9"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="marker3451"
+ style="overflow:visible">
+ <path
+ id="path3453"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-4-86"
+ style="overflow:visible">
+ <path
+ id="path4167-69-7"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend-8S"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-8S"
+ style="overflow:visible">
+ <path
+ id="path4788"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend-8Si"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-8Si"
+ style="overflow:visible">
+ <path
+ id="path5101"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-4"
+ style="overflow:visible">
+ <path
+ id="path4622-53"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ </defs>
+ <metadata
+ id="metadata7">
+ <rdf:RDF>
+ <cc:Work
+ rdf:about="">
+ <dc:format>image/svg+xml</dc:format>
+ <dc:type
+ rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+ <dc:title></dc:title>
+ </cc:Work>
+ </rdf:RDF>
+ </metadata>
+ <g
+ inkscape:label="Layer 1"
+ inkscape:groupmode="layer"
+ id="layer1"
+ transform="translate(-9.7365116,-257.07322)"
+ style="display:inline">
+ <rect
+ style="color:#000000;fill:#8081ff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1.96006155;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect2985"
+ width="329.2496"
+ height="62.934772"
+ x="12.979328"
+ y="764.31604" />
+ <text
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="27.294424"
+ y="791.90527"
+ id="text2987"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan2989"
+ x="27.294424"
+ y="791.90527">CPU</tspan></text>
+ <rect
+ style="color:#000000;fill:#ccffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:2.48563313;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect2985-3"
+ width="328.78635"
+ height="211.02032"
+ x="12.979328"
+ y="482.31604" />
+ <text
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="27.294424"
+ y="509.90527"
+ id="text2987-5"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan2989-0"
+ x="27.294424"
+ y="509.90527">Interpreter</tspan><tspan
+ sodipodi:role="line"
+ x="27.294424"
+ y="534.90527"
+ id="tspan3342" /></text>
+ <rect
+ style="color:#000000;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:2.48563313;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect2985-3-6"
+ width="328.78635"
+ height="211.02032"
+ x="12.979328"
+ y="260.31604" />
+ <text
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="27.294424"
+ y="287.90527"
+ id="text2987-5-1"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan2989-0-0"
+ x="27.294424"
+ y="287.90527">User Program</tspan></text>
+ <g
+ id="g3342"
+ transform="translate(0,-60)">
+ <rect
+ style="color:#000000;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1.70599997;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect3101-96"
+ width="78.920738"
+ height="77.071976"
+ x="46.430405"
+ y="380.9437" />
+ <text
+ sodipodi:linespacing="125%"
+ id="text2987-5-6-6"
+ y="395.75009"
+ x="50.956161"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ xml:space="preserve"><tspan
+ y="395.75009"
+ x="50.956161"
+ id="tspan2989-0-4-1"
+ sodipodi:role="line">f1</tspan></text>
+ <path
+ sodipodi:nodetypes="zzz"
+ inkscape:connector-curvature="0"
+ id="path3211-7"
+ d="m 87.709958,407.63909 c 27.779202,0 27.923372,33.26568 -0.02234,33.25279 -27.945707,-0.0129 -27.756856,-33.25279 0.02234,-33.25279 z"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-mid:url(#Arrow1Lend-4);marker-end:url(#Arrow1Lend-4)" />
+ </g>
+ <g
+ transform="translate(92.491357,-133.72494)"
+ id="g3206-5-5-6">
+ <rect
+ style="color:#000000;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1.70000005;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect3101-96-4-6"
+ width="46.603455"
+ height="39.70393"
+ x="51.640251"
+ y="546.90326" />
+ <text
+ sodipodi:linespacing="125%"
+ id="text2987-5-6-6-0-3"
+ y="562.09229"
+ x="56.548615"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ xml:space="preserve"><tspan
+ y="562.09229"
+ x="56.548615"
+ id="tspan2989-0-4-1-4-7"
+ sodipodi:role="line">f2</tspan></text>
+ </g>
+ <g
+ id="g4605"
+ transform="translate(4.1414692e-7,263.24881)">
+ <g
+ transform="translate(-22,-266)"
+ id="g3206">
+ <rect
+ style="color:#000000;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect3101"
+ width="92.428955"
+ height="90.408653"
+ x="52.022858"
+ y="547.28589" />
+ <text
+ sodipodi:linespacing="125%"
+ id="text2987-5-6"
+ y="562.09229"
+ x="56.548615"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ xml:space="preserve"><tspan
+ y="562.09229"
+ x="56.548615"
+ id="tspan2989-0-4"
+ sodipodi:role="line">main_loop</tspan></text>
+ </g>
+ <path
+ sodipodi:nodetypes="zzz"
+ inkscape:connector-curvature="0"
+ id="path3211"
+ d="m 72.730983,317.98129 c 27.779197,0 27.923367,33.26568 -0.02234,33.25279 -27.945707,-0.0129 -27.756856,-33.25279 0.02234,-33.25279 z"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-mid:url(#Arrow1Lend)" />
+ </g>
+ <g
+ transform="translate(145.69796,242.03561)"
+ id="g4605-0">
+ <rect
+ y="281.28589"
+ x="6.0228596"
+ height="46.018757"
+ width="103.17617"
+ id="rect3101-9"
+ style="color:#000000;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1.50757229;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate" />
+ <text
+ xml:space="preserve"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ x="10.548616"
+ y="296.09229"
+ id="text2987-5-6-92"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan2989-0-4-3"
+ x="10.548616"
+ y="296.09229">BINARY_ADD</tspan></text>
+ </g>
+ <flowRoot
+ xml:space="preserve"
+ id="flowRoot5062"
+ style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"><flowRegion
+ id="flowRegion5064"><rect
+ id="rect5066"
+ width="839.43677"
+ height="705.08649"
+ x="-127.27922"
+ y="-361.01239" /></flowRegion><flowPara
+ id="flowPara5068" /></flowRoot> <g
+ transform="translate(105.8506,62.30214)"
+ id="g3206-86-2">
+ <rect
+ style="color:#000000;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1.847857;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect3101-9-6"
+ width="118.33421"
+ height="63.81213"
+ x="52.022858"
+ y="547.28589" />
+ <text
+ sodipodi:linespacing="125%"
+ id="text2987-5-6-92-4"
+ y="562.09229"
+ x="56.548615"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ xml:space="preserve"><tspan
+ y="562.09229"
+ x="56.548615"
+ id="tspan2989-0-4-3-7"
+ sodipodi:role="line">JUMP_IF_FALSE</tspan></text>
+ </g>
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:none;marker-end:url(#Arrow1Mend)"
+ d="m 122.73353,563.04735 28.78935,-9.09137"
+ id="path3178"
+ inkscape:connector-curvature="0" />
+ <text
+ xml:space="preserve"
+ style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
+ x="316.96429"
+ y="312.48734"
+ id="text4614"
+ sodipodi:linespacing="125%"
+ transform="translate(0,308.2677)"><tspan
+ sodipodi:role="line"
+ id="tspan4616"
+ x="316.96429"
+ y="312.48734" /></text>
+ <text
+ xml:space="preserve"
+ style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
+ x="305.89285"
+ y="315.16592"
+ id="text4618"
+ sodipodi:linespacing="125%"
+ transform="translate(0,308.2677)"><tspan
+ sodipodi:role="line"
+ id="tspan4620"
+ x="305.89285"
+ y="315.16592" /></text>
+ <text
+ xml:space="preserve"
+ style="font-size:40px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="311.78571"
+ y="318.38019"
+ id="text4622"
+ sodipodi:linespacing="125%"
+ transform="translate(0,308.2677)"><tspan
+ sodipodi:role="line"
+ id="tspan4624"
+ x="311.78571"
+ y="318.38019" /></text>
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:none;marker-end:url(#Arrow1Mend)"
+ d="m 83.536404,636.54687 26.467916,10.73006"
+ id="path3178-6-4"
+ inkscape:connector-curvature="0"
+ sodipodi:nodetypes="cc" />
+ <text
+ xml:space="preserve"
+ style="font-size:40px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="108.75043"
+ y="655.70093"
+ id="text4626-3-6"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan4628-6-4"
+ x="108.75043"
+ y="655.70093"
+ style="font-size:14px">...</tspan></text>
+ <flowRoot
+ xml:space="preserve"
+ id="flowRoot4893"
+ style="font-size:40px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ transform="translate(0,308.2677)"><flowRegion
+ id="flowRegion4895"><rect
+ id="rect4897"
+ width="112.85714"
+ height="475.71429"
+ x="697.14288"
+ y="36.237335"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" /></flowRegion><flowPara
+ id="flowPara4899" /></flowRoot> <flowRoot
+ xml:space="preserve"
+ id="flowRoot4901"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ transform="translate(0,308.2677)"><flowRegion
+ id="flowRegion4903"><rect
+ id="rect4905"
+ width="117.14286"
+ height="477.14285"
+ x="695.71429"
+ y="36.237335"
+ style="font-size:14px" /></flowRegion><flowPara
+ id="flowPara4907" /></flowRoot> <text
+ xml:space="preserve"
+ style="font-size:40px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="279.19788"
+ y="588.15918"
+ id="text4626-3-0"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan4628-6-5"
+ x="279.19788"
+ y="588.15918"
+ style="font-size:14px">...</tspan></text>
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:none;marker-end:url(#Arrow1Mend)"
+ d="m 123.3829,615.40923 31.73578,7.24791"
+ id="path3178-3"
+ inkscape:connector-curvature="0"
+ sodipodi:nodetypes="cc" />
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1.11568248px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:none;marker-end:url(#Arrow1Mend);display:inline"
+ d="m 124.90916,373.99027 45.33595,38.41103"
+ id="path3178-8"
+ inkscape:connector-curvature="0"
+ sodipodi:nodetypes="cc" />
+ </g>
+ <g
+ inkscape:groupmode="layer"
+ id="layer2"
+ inkscape:label="Layer"
+ style="display:inline"
+ transform="translate(1.1903381e-8,57.816607)">
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1.92068112px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend-4);display:inline"
+ d="m 338.94561,413.37957 87.94523,0"
+ id="path4681"
+ inkscape:connector-curvature="0"
+ sodipodi:nodetypes="cc" />
+ <g
+ style="display:inline"
+ id="g3353"
+ transform="translate(-305.73651,-312.88983)">
+ <rect
+ y="338.18433"
+ x="801.7019"
+ height="414.44675"
+ width="129.29953"
+ id="rect3078"
+ style="color:#000000;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:2.97962713;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate" />
+ <g
+ id="g3348">
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-mid:none;marker-end:url(#Arrow1Lend-4)"
+ d="m 800.0092,753.37186 c -44.19418,0 -44.18497,-46.20687 -43.59925,-163.71044 0.58573,-117.50357 -3.15152,-226.8482 43.14621,-250.34069"
+ id="path3211-7-4"
+ inkscape:connector-curvature="0"
+ sodipodi:nodetypes="czc" />
+ <text
+ sodipodi:linespacing="125%"
+ id="text2987-5-1-7"
+ y="332.08514"
+ x="804.76465"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ xml:space="preserve"><tspan
+ y="332.08514"
+ x="804.76465"
+ id="tspan2989-0-0-2"
+ sodipodi:role="line">Trace for f1</tspan></text>
+ </g>
+ <flowRoot
+ transform="translate(110,308.2677)"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ id="flowRoot4909"
+ xml:space="preserve"><flowRegion
+ id="flowRegion4911"><rect
+ ry="0"
+ style="font-size:14px"
+ y="33.380196"
+ x="696.42853"
+ height="474.28592"
+ width="123.57162"
+ id="rect4913" /></flowRegion><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara4919">ops from</flowPara><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5621">main_loop</flowPara><flowPara
+ id="flowPara4923"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" /><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5645">...</flowPara><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5651" /><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5675" /><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5671">ops from</flowPara><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5647">BINARY_ADD</flowPara><flowPara
+ id="flowPara4935"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" /><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5667">...</flowPara><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5629" /><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5665" /><flowPara
+ id="flowPara4973"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">more ops from</flowPara><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5687">main_loop</flowPara><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5677"></flowPara><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5691">...</flowPara><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5683" /><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5639">ops_from</flowPara><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5395">JUMP_IF_FALSE</flowPara><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5397">guard(...)</flowPara><flowPara
+ id="flowPara4985"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" /><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5641" /><flowPara
+ id="flowPara4987"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">jump to start</flowPara></flowRoot> </g>
+ <g
+ transform="translate(-350.96204,-156.54852)"
+ style="display:inline"
+ id="g3434">
+ <rect
+ y="542.21619"
+ x="354.40051"
+ height="56.736866"
+ width="328.9693"
+ id="rect2985-3-1"
+ style="color:#000000;fill:#ccffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:2.48563313;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate" />
+ <text
+ sodipodi:linespacing="125%"
+ id="text2987-5-9"
+ y="569.90527"
+ x="371.27411"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ xml:space="preserve"><tspan
+ y="569.90527"
+ x="371.27411"
+ id="tspan2989-0-3"
+ sodipodi:role="line">Tracer</tspan></text>
+ </g>
+ <rect
+ style="color:#000000;fill:#8080ff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1.96006155;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect2985-4"
+ width="625.20306"
+ height="62.934772"
+ x="3.2428167"
+ y="449.42621" />
+ <text
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;display:inline;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="17.557913"
+ y="477.01544"
+ id="text2987-0"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan2989-08"
+ x="17.557913"
+ y="477.01544">CPU</tspan></text>
+ </g>
+ <g
+ style="display:none"
+ inkscape:groupmode="layer"
+ id="layer3"
+ inkscape:label="arrow"
+ transform="translate(1.1903381e-8,57.816607)">
+ <path
+ style="fill:none;stroke:#000000;stroke-width:6;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend-8Si);display:inline"
+ d="m 408.82192,376.13064 c -0.71528,42.15343 -4.29616,68.30777 -135.67284,68.30777"
+ id="path4681-0"
+ inkscape:connector-curvature="0"
+ sodipodi:nodetypes="cc" />
+ </g>
+</svg>
diff --git a/talk/dagstuhl2012/figures/trace-levels-tracing.svg b/talk/dagstuhl2012/figures/trace-levels-tracing.svg
new file mode 100644
--- /dev/null
+++ b/talk/dagstuhl2012/figures/trace-levels-tracing.svg
@@ -0,0 +1,991 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+ xmlns:dc="http://purl.org/dc/elements/1.1/"
+ xmlns:cc="http://creativecommons.org/ns#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:svg="http://www.w3.org/2000/svg"
+ xmlns="http://www.w3.org/2000/svg"
+ xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+ xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+ width="527.71234"
+ height="512.15759"
+ id="svg2"
+ version="1.1"
+ inkscape:version="0.48.1 r9760"
+ sodipodi:docname="trace-levels-tracing.svg"
+ inkscape:export-filename="/home/cfbolz/code/hguserdir/blog/figures/trace-levels.png"
+ inkscape:export-xdpi="90.25"
+ inkscape:export-ydpi="90.25"
+ style="enable-background:new">
+ <sodipodi:namedview
+ id="base"
+ pagecolor="#ffffff"
+ bordercolor="#666666"
+ borderopacity="1.0"
+ inkscape:pageopacity="0.0"
+ inkscape:pageshadow="2"
+ inkscape:zoom="1.2630942"
+ inkscape:cx="374.3166"
+ inkscape:cy="256.08026"
+ inkscape:document-units="px"
+ inkscape:current-layer="layer5"
+ showgrid="false"
+ inkscape:window-width="1680"
+ inkscape:window-height="1026"
+ inkscape:window-x="0"
+ inkscape:window-y="24"
+ inkscape:window-maximized="1"
+ showguides="true"
+ fit-margin-left="2"
+ fit-margin-top="2"
+ fit-margin-right="2"
+ fit-margin-bottom="1" />
+ <defs
+ id="defs4">
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend"
+ style="overflow:visible">
+ <path
+ id="path4622"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend"
+ style="overflow:visible">
+ <path
+ id="path4167"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-9"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4167-8"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-3"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4167-2"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-96"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4167-1"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-7"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4167-15"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-36"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4167-0"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-2"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4167-6"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-28"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4167-5"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-6"
+ style="overflow:visible">
+ <path
+ id="path4167-01"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-77"
+ style="overflow:visible">
+ <path
+ id="path4167-4"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-4"
+ style="overflow:visible">
+ <path
+ id="path4167-69"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-2"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4622-2"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-3"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4622-5"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-9"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path4622-57"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-8"
+ style="overflow:visible">
+ <path
+ id="path4622-1"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-4-8"
+ style="overflow:visible">
+ <path
+ id="path4167-69-9"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="marker3451"
+ style="overflow:visible">
+ <path
+ id="path3453"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-4-86"
+ style="overflow:visible">
+ <path
+ id="path4167-69-7"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend-8S"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-8S"
+ style="overflow:visible">
+ <path
+ id="path4788"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend-8Si"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-8Si"
+ style="overflow:visible">
+ <path
+ id="path5101"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-4"
+ style="overflow:visible">
+ <path
+ id="path4622-53"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-5"
+ style="overflow:visible">
+ <path
+ id="path4622-0"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-4-7"
+ style="overflow:visible">
+ <path
+ id="path4167-69-4"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="marker6516"
+ style="overflow:visible">
+ <path
+ id="path6518"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-4-3"
+ style="overflow:visible">
+ <path
+ id="path4167-69-90"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="marker6627"
+ style="overflow:visible">
+ <path
+ id="path6629"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Lend-4-2"
+ style="overflow:visible">
+ <path
+ id="path4167-69-0"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="marker6823"
+ style="overflow:visible">
+ <path
+ id="path6825"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ <marker
+ inkscape:stockid="Arrow1Mend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Mend-56"
+ style="overflow:visible">
+ <path
+ id="path4622-14"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.4,0,0,-0.4,-4,0)"
+ inkscape:connector-curvature="0" />
+ </marker>
+ </defs>
+ <metadata
+ id="metadata7">
+ <rdf:RDF>
+ <cc:Work
+ rdf:about="">
+ <dc:format>image/svg+xml</dc:format>
+ <dc:type
+ rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+ <dc:title></dc:title>
+ </cc:Work>
+ </rdf:RDF>
+ </metadata>
+ <g
+ inkscape:label="Layer 1"
+ inkscape:groupmode="layer"
+ id="layer1"
+ transform="translate(-9.7365115,-317.07322)"
+ style="display:inline">
+ <rect
+ style="color:#000000;fill:#8081ff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1.96006155;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect2985"
+ width="329.2496"
+ height="62.934772"
+ x="12.979328"
+ y="764.31604" />
+ <text
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="27.294424"
+ y="791.90527"
+ id="text2987"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan2989"
+ x="27.294424"
+ y="791.90527">CPU</tspan></text>
+ <rect
+ style="color:#000000;fill:#ccffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:2.48563313;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect2985-3"
+ width="328.78635"
+ height="211.02032"
+ x="12.979328"
+ y="542.31604" />
+ <text
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="27.294424"
+ y="569.90527"
+ id="text2987-5"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan2989-0"
+ x="27.294424"
+ y="569.90527">Interpreter</tspan><tspan
+ sodipodi:role="line"
+ x="27.294424"
+ y="594.90527"
+ id="tspan3342" /></text>
+ <rect
+ style="color:#000000;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:2.48563313;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect2985-3-6"
+ width="328.78635"
+ height="211.02032"
+ x="12.979328"
+ y="320.31604" />
+ <g
+ id="g4605"
+ transform="translate(4.1414692e-7,323.24881)">
+ <g
+ transform="translate(-22,-266)"
+ id="g3206">
+ <rect
+ style="color:#000000;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect3101"
+ width="92.428955"
+ height="90.408653"
+ x="52.022858"
+ y="547.28589" />
+ <text
+ sodipodi:linespacing="125%"
+ id="text2987-5-6"
+ y="562.09229"
+ x="56.548615"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ xml:space="preserve"><tspan
+ y="562.09229"
+ x="56.548615"
+ id="tspan2989-0-4"
+ sodipodi:role="line">main_loop</tspan></text>
+ </g>
+ <path
+ sodipodi:nodetypes="zzz"
+ inkscape:connector-curvature="0"
+ id="path3211"
+ d="m 72.730983,317.98129 c 27.779197,0 27.923367,33.26568 -0.02234,33.25279 -27.945707,-0.0129 -27.756856,-33.25279 0.02234,-33.25279 z"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-mid:url(#Arrow1Lend)" />
+ </g>
+ <g
+ transform="translate(145.69796,302.03561)"
+ id="g4605-0">
+ <rect
+ y="281.28589"
+ x="6.0228596"
+ height="46.018757"
+ width="103.17617"
+ id="rect3101-9"
+ style="color:#000000;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1.50757229;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate" />
+ <text
+ xml:space="preserve"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ x="10.548616"
+ y="296.09229"
+ id="text2987-5-6-92"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan2989-0-4-3"
+ x="10.548616"
+ y="296.09229">BINARY_ADD</tspan></text>
+ </g>
+ <flowRoot
+ xml:space="preserve"
+ id="flowRoot5062"
+ style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"><flowRegion
+ id="flowRegion5064"><rect
+ id="rect5066"
+ width="839.43677"
+ height="705.08649"
+ x="-127.27922"
+ y="-361.01239" /></flowRegion><flowPara
+ id="flowPara5068" /></flowRoot> <g
+ transform="translate(105.8506,122.30214)"
+ id="g3206-86-2">
+ <rect
+ style="color:#000000;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1.847857;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect3101-9-6"
+ width="118.33421"
+ height="63.81213"
+ x="52.022858"
+ y="547.28589" />
+ <text
+ sodipodi:linespacing="125%"
+ id="text2987-5-6-92-4"
+ y="562.09229"
+ x="56.548615"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ xml:space="preserve"><tspan
+ y="562.09229"
+ x="56.548615"
+ id="tspan2989-0-4-3-7"
+ sodipodi:role="line">JUMP_IF_FALSE</tspan></text>
+ </g>
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:none;marker-end:url(#Arrow1Mend)"
+ d="m 122.73353,314.77965 28.78935,-9.09137"
+ id="path3178"
+ inkscape:connector-curvature="0"
+ transform="translate(0,308.2677)" />
+ <text
+ xml:space="preserve"
+ style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
+ x="316.96429"
+ y="312.48734"
+ id="text4614"
+ sodipodi:linespacing="125%"
+ transform="translate(0,308.2677)"><tspan
+ sodipodi:role="line"
+ id="tspan4616"
+ x="316.96429"
+ y="312.48734" /></text>
+ <text
+ xml:space="preserve"
+ style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
+ x="305.89285"
+ y="315.16592"
+ id="text4618"
+ sodipodi:linespacing="125%"
+ transform="translate(0,308.2677)"><tspan
+ sodipodi:role="line"
+ id="tspan4620"
+ x="305.89285"
+ y="315.16592" /></text>
+ <text
+ xml:space="preserve"
+ style="font-size:40px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="311.78571"
+ y="318.38019"
+ id="text4622"
+ sodipodi:linespacing="125%"
+ transform="translate(0,308.2677)"><tspan
+ sodipodi:role="line"
+ id="tspan4624"
+ x="311.78571"
+ y="318.38019" /></text>
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:none;marker-end:url(#Arrow1Mend)"
+ d="m 83.536404,696.54687 26.467916,10.73006"
+ id="path3178-6-4"
+ inkscape:connector-curvature="0"
+ sodipodi:nodetypes="cc" />
+ <text
+ xml:space="preserve"
+ style="font-size:40px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="108.75043"
+ y="715.70093"
+ id="text4626-3-6"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan4628-6-4"
+ x="108.75043"
+ y="715.70093"
+ style="font-size:14px">...</tspan></text>
+ <flowRoot
+ xml:space="preserve"
+ id="flowRoot4893"
+ style="font-size:40px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ transform="translate(0,308.2677)"><flowRegion
+ id="flowRegion4895"><rect
+ id="rect4897"
+ width="112.85714"
+ height="475.71429"
+ x="697.14288"
+ y="36.237335"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" /></flowRegion><flowPara
+ id="flowPara4899" /></flowRoot> <flowRoot
+ xml:space="preserve"
+ id="flowRoot4901"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ transform="translate(0,308.2677)"><flowRegion
+ id="flowRegion4903"><rect
+ id="rect4905"
+ width="117.14286"
+ height="477.14285"
+ x="695.71429"
+ y="36.237335"
+ style="font-size:14px" /></flowRegion><flowPara
+ id="flowPara4907" /></flowRoot> <text
+ xml:space="preserve"
+ style="font-size:40px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="279.19788"
+ y="648.15918"
+ id="text4626-3-0"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan4628-6-5"
+ x="279.19788"
+ y="648.15918"
+ style="font-size:14px">...</tspan></text>
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:none;marker-end:url(#Arrow1Mend)"
+ d="m 123.3829,675.40923 31.73578,7.24791"
+ id="path3178-3"
+ inkscape:connector-curvature="0"
+ sodipodi:nodetypes="cc" />
+ </g>
+ <g
+ inkscape:groupmode="layer"
+ id="layer2"
+ inkscape:label="tracing"
+ style="display:inline"
+ transform="translate(1.1920929e-7,-2.1833934)">
+ <g
+ transform="translate(-9.7365125,-314.88983)"
+ style="display:inline"
+ id="g3434">
+ <rect
+ y="542.31604"
+ x="354.97931"
+ height="211.02032"
+ width="178.36209"
+ id="rect2985-3-1"
+ style="color:#000000;fill:#ccffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:2.48563313;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate" />
+ <text
+ sodipodi:linespacing="125%"
+ id="text2987-5-9"
+ y="569.90527"
+ x="371.27411"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ xml:space="preserve"><tspan
+ y="569.90527"
+ x="371.27411"
+ id="tspan2989-0-3"
+ sodipodi:role="line">Tracer</tspan></text>
+ </g>
+ <rect
+ style="color:#000000;fill:#8080ff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1.96006155;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect2985-4"
+ width="521.4895"
+ height="62.934772"
+ x="3.2428167"
+ y="449.42621" />
+ <text
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;display:inline;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="17.557913"
+ y="477.01544"
+ id="text2987-0"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan2989-08"
+ x="17.557913"
+ y="477.01544">CPU</tspan></text>
+ <rect
+ style="color:#000000;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:2.48563313;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect2985-3-6-1"
+ width="520.37933"
+ height="211.02032"
+ x="3.2428164"
+ y="5.4262099" />
+ </g>
+ <g
+ inkscape:groupmode="layer"
+ id="layer4"
+ inkscape:label="trace"
+ style="display:none"
+ transform="translate(1.1920929e-7,-2.1833934)">
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1.92068112px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend-4);display:inline"
+ d="m 528.83844,336.58403 87.94523,0"
+ id="path4681"
+ inkscape:connector-curvature="0"
+ sodipodi:nodetypes="cc" />
+ <g
+ style="display:inline"
+ id="g3353"
+ transform="translate(-173.73651,-312.88983)">
+ <rect
+ y="338.18433"
+ x="801.7019"
+ height="414.44675"
+ width="129.29953"
+ id="rect3078"
+ style="color:#000000;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:2.97962713;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate" />
+ <g
+ id="g3348">
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-mid:none;marker-end:url(#Arrow1Lend-4)"
+ d="m 800.0092,753.37186 c -44.19418,0 -44.18497,-46.20687 -43.59925,-163.71044 0.58573,-117.50357 -3.15152,-226.8482 43.14621,-250.34069"
+ id="path3211-7-4"
+ inkscape:connector-curvature="0"
+ sodipodi:nodetypes="czc" />
+ <text
+ sodipodi:linespacing="125%"
+ id="text2987-5-1-7"
+ y="332.08514"
+ x="804.76465"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ xml:space="preserve"><tspan
+ y="332.08514"
+ x="804.76465"
+ id="tspan2989-0-0-2"
+ sodipodi:role="line">Trace for f1</tspan></text>
+ </g>
+ <flowRoot
+ transform="translate(110,308.2677)"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ id="flowRoot4909"
+ xml:space="preserve"><flowRegion
+ id="flowRegion4911"><rect
+ ry="0"
+ style="font-size:14px"
+ y="33.380196"
+ x="696.42853"
+ height="474.28592"
+ width="123.57162"
+ id="rect4913" /></flowRegion><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara4919">bytecodes from f1</flowPara><flowPara
+ id="flowPara4923"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">...</flowPara><flowPara
+ id="flowPara4933"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">BINARY_ADD</flowPara><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5389" /><flowPara
+ id="flowPara4935"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">...</flowPara><flowPara
+ id="flowPara4937"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" /><flowPara
+ id="flowPara4939"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">bytecodes from</flowPara><flowPara
+ id="flowPara4941"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">f2</flowPara><flowPara
+ id="flowPara4957"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" /><flowPara
+ id="flowPara4961"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" /><flowPara
+ id="flowPara6968"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">...</flowPara><flowPara
+ id="flowPara6966"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" /><flowPara
+ id="flowPara6958"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" /><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5425">more bytecodes</flowPara><flowPara
+ id="flowPara4973"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">from</flowPara><flowPara
+ id="flowPara4975"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">f1</flowPara><flowPara
+ id="flowPara4977"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" /><flowPara
+ id="flowPara4979"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">...</flowPara><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5395">JUMP_IF_FALSE</flowPara><flowPara
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ id="flowPara5397">guard(...)</flowPara><flowPara
+ id="flowPara4985"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" /><flowPara
+ id="flowPara4987"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">jump to start</flowPara></flowRoot> </g>
+ </g>
+ <g
+ inkscape:groupmode="layer"
+ id="layer5"
+ inkscape:label="running"
+ style="display:none"
+ transform="translate(1.1920929e-7,-2.1833934)">
+ <rect
+ style="color:#000000;fill:#8080ff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1.96006155;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect2985-4-6"
+ width="756.6264"
+ height="62.934772"
+ x="3.2428167"
+ y="449.42621" />
+ </g>
+ <g
+ style="display:none"
+ inkscape:groupmode="layer"
+ id="layer3"
+ inkscape:label="arrow"
+ transform="translate(1.1920929e-7,-2.1833934)">
+ <path
+ style="fill:none;stroke:#000000;stroke-width:6;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend-8Si);display:inline"
+ d="m 408.82192,376.13064 c -0.71528,42.15343 -4.29616,68.30777 -135.67284,68.30777"
+ id="path4681-0"
+ inkscape:connector-curvature="0"
+ sodipodi:nodetypes="cc" />
+ </g>
+ <g
+ inkscape:groupmode="layer"
+ id="layer6"
+ inkscape:label="top"
+ transform="translate(1.1920929e-7,-2.1833934)">
+ <text
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;display:inline;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="17.557913"
+ y="477.01544"
+ id="text2987-0-2"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan2989-08-0"
+ x="17.557913"
+ y="477.01544">CPU</tspan></text>
+ <text
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;display:inline;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="17.557913"
+ y="33.015442"
+ id="text2987-5-1"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan2989-0-0"
+ x="17.557913"
+ y="33.015442">User Program</tspan></text>
+ <g
+ transform="translate(-9.736511,-314.88984)"
+ style="display:inline"
+ id="g3342">
+ <rect
+ style="color:#000000;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1.70599997;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect3101-96"
+ width="78.920738"
+ height="77.071976"
+ x="46.430405"
+ y="380.9437" />
+ <text
+ sodipodi:linespacing="125%"
+ id="text2987-5-6-6"
+ y="395.75009"
+ x="50.956161"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ xml:space="preserve"><tspan
+ y="395.75009"
+ x="50.956161"
+ id="tspan2989-0-4-1"
+ sodipodi:role="line">f1</tspan></text>
+ <path
+ sodipodi:nodetypes="zzz"
+ inkscape:connector-curvature="0"
+ id="path3211-7"
+ d="m 87.709958,407.63909 c 27.779202,0 27.923372,33.26568 -0.02234,33.25279 -27.945707,-0.0129 -27.756856,-33.25279 0.02234,-33.25279 z"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-mid:url(#Arrow1Lend-4);marker-end:url(#Arrow1Lend-4)" />
+ </g>
+ <g
+ style="display:inline"
+ transform="translate(82.754845,-388.61478)"
+ id="g3206-5-5-6">
+ <rect
+ style="color:#000000;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1.70000005;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+ id="rect3101-96-4-6"
+ width="46.603455"
+ height="39.70393"
+ x="51.640251"
+ y="546.90326" />
+ <text
+ sodipodi:linespacing="125%"
+ id="text2987-5-6-6-0-3"
+ y="562.09229"
+ x="56.548615"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+ xml:space="preserve"><tspan
+ y="562.09229"
+ x="56.548615"
+ id="tspan2989-0-4-1-4-7"
+ sodipodi:role="line">f2</tspan></text>
+ </g>
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1.11568248px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:none;marker-end:url(#Arrow1Mend);display:inline"
+ d="m 115.17265,119.10043 45.33594,38.41103"
+ id="path3178-8"
+ inkscape:connector-curvature="0"
+ sodipodi:nodetypes="cc" />
+ </g>
+</svg>
diff --git a/talk/dagstuhl2012/figures/trace01.pdf b/talk/dagstuhl2012/figures/trace01.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..252b5089e72d3626e636cd02397204a464c7ca22
GIT binary patch
[cut]
diff --git a/talk/dagstuhl2012/figures/trace02.pdf b/talk/dagstuhl2012/figures/trace02.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..ece12fe0c3f96856afea26c49d92ade630db9328
GIT binary patch
[cut]
diff --git a/talk/dagstuhl2012/figures/trace03.pdf b/talk/dagstuhl2012/figures/trace03.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..04b38b8996eb2c297214c017bbe1cce1f8f64bdb
GIT binary patch
[cut]
diff --git a/talk/dagstuhl2012/figures/trace04.pdf b/talk/dagstuhl2012/figures/trace04.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..472b798aeae005652fc0d749ed6571117c5819d9
GIT binary patch
[cut]
diff --git a/talk/dagstuhl2012/figures/trace05.pdf b/talk/dagstuhl2012/figures/trace05.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..977e3bbda8d4d349f27f06fcdaa3bd100e95e1a7
GIT binary patch
[cut]
diff --git a/talk/dagstuhl2012/meta-tracing-pypy.pdf b/talk/dagstuhl2012/meta-tracing-pypy.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..910ebeedd1a286e8104d7f59848d1bfa80eed050
GIT binary patch
[cut]
diff --git a/talk/dagstuhl2012/talk.tex b/talk/dagstuhl2012/talk.tex
new file mode 100644
--- /dev/null
+++ b/talk/dagstuhl2012/talk.tex
@@ -0,0 +1,417 @@
+\documentclass[utf8x]{beamer}
+
+% This file is a solution template for:
+
+% - Talk at a conference/colloquium.
+% - Talk length is about 20min.
+% - Style is ornate.
+
+\mode<presentation>
+{
+ \usetheme{Warsaw}
+ % or ...
+
+ %\setbeamercovered{transparent}
+ % or whatever (possibly just delete it)
+}
+
+
+\usepackage[english]{babel}
+\usepackage{listings}
+\usepackage{fancyvrb}
+\usepackage{ulem}
+\usepackage{color}
+\usepackage{alltt}
+\usepackage{hyperref}
+
+\usepackage[utf8x]{inputenc}
+
+
+\newcommand\redsout[1]{{\color{red}\sout{\hbox{\color{black}{#1}}}}}
+\newcommand{\noop}{}
+
+% or whatever
+
+% Or whatever. Note that the encoding and the font should match. If T1
+% does not look nice, try deleting the line with the fontenc.
+
+
+\title{Meta-Tracing in the PyPy Project}
+
+\author[Carl Friedrich Bolz et. al.]{\emph{Carl Friedrich Bolz}\inst{1} \and Antonio Cuni\inst{1} \and Maciej Fijałkowski\inst{2} \and Michael Leuschel\inst{1} \and Samuele Pedroni\inst{3} \and Armin Rigo\inst{1} \and many~more}
+% - Give the names in the same order as the appear in the paper.
+% - Use the \inst{?} command only if the authors have different
+% affiliation.
+
+\institute[Heinrich-Heine-Universität Düsseldorf]
+{$^1$Heinrich-Heine-Universität Düsseldorf, STUPS Group, Germany \and
+
+ $^2$merlinux GmbH, Hildesheim, Germany \and
+
+ $^3$Canonical
+}
+
+\date{Foundations of Scription Languages, Dagstuhl, 5th January 2012}
+% - Either use conference name or its abbreviation.
+% - Not really informative to the audience, more for people (including
+% yourself) who are reading the slides online
+
+
+% If you have a file called "university-logo-filename.xxx", where xxx
+% is a graphic format that can be processed by latex or pdflatex,
+% resp., then you can add a logo as follows:
+
+
+
+
+% Delete this, if you do not want the table of contents to pop up at
+% the beginning of each subsection:
+%\AtBeginSubsection[]
+%{
+% \begin{frame}<beamer>
+% \frametitle{Outline}
+% \tableofcontents[currentsection,currentsubsection]
+% \end{frame}
+%}
+
+
+% If you wish to uncover everything in a step-wise fashion, uncomment
+% the following command:
+
+%\beamerdefaultoverlayspecification{<+->}
+
+
+\begin{document}
+
+\begin{frame}
+ \titlepage
+\end{frame}
+
+\begin{frame}
+ \frametitle{Good JIT Compilers for Scripting Languages are Hard}
+ \begin{itemize}
+ \item recent languages like Python, Ruby, JS, PHP have complex core semantics
+ \item many corner cases, even hard to interpret correctly
+ \item particularly in contexts where you have limited resources (like
+ academic, Open Source)
+ \end{itemize}
+ \pause
+ \begin{block}{Problems}
+ \begin{enumerate}
+ \item implement all corner-cases of semantics correctly
+ \item ... and the common cases efficiently
+ \item while maintaing reasonable simplicity in the implementation
+ \end{enumerate}
+ \end{block}
+\end{frame}
+
+\begin{frame}
+ \frametitle{Example: Attribute Reads in Python}
+ What happens when an attribute \texttt{x.m} is read? (simplified)
+ \pause
+ \begin{itemize}
+ \item check for \texttt{x.\_\_getattribute\_\_}, if there, call it
+ \pause
+ \item look for the attribute in the object's dictionary, if it's there, return it
+ \pause
+ \item walk up the MRO and look in each class' dictionary for the attribute
+ \pause
+ \item if the attribute is found, call its \texttt{\_\_get\_\_} attribute and return the result
+ \pause
+ \item if the attribute is not found, look for \texttt{x.\_\_getattr\_\_}, if there, call it
+ \pause
+ \item raise an \texttt{AttributeError}
+ \end{itemize}
+\end{frame}
+
+\begin{frame}
+ \frametitle{An Interpreter}
+ \includegraphics[scale=0.5]{figures/trace01.pdf}
+\end{frame}
+
+\begin{frame}
+ \frametitle{A Tracing JIT}
+ \includegraphics[scale=0.5]{figures/trace02.pdf}
+\end{frame}
+
+\begin{frame}
+ \frametitle{A Tracing JIT}
+ \includegraphics[scale=0.5]{figures/trace03.pdf}
+\end{frame}
+
+\begin{frame}
+ \frametitle{A Tracing JIT}
+ \includegraphics[scale=0.5]{figures/trace04.pdf}
+\end{frame}
+
+\begin{frame}
+ \frametitle{Tracing JITs}
+ Advantages:
+ \begin{itemize}
+ \item can be added to existing VM
+ \item interpreter does a lot of work
+ \item can fall back to interpreter for uncommon paths
+ \end{itemize}
+ \pause
+ \begin{block}{Problems}
+ \begin{itemize}
+ \item traces typically contain bytecodes
+ \item many scripting languages have bytecodes that contain complex logic
+ \item need to expand the bytecode in the trace into something more explicit
+ \item this duplicates the language semantics in the tracer/optimizer
+ \end{itemize}
+ \end{block}
+\end{frame}
+
+\begin{frame}
+ \frametitle{Idea of Meta-Tracing}
+ \includegraphics[scale=0.5]{figures/trace05.pdf}
+\end{frame}
+
+\begin{frame}
+ \frametitle{Meta-Tracing}
+ \includegraphics[scale=0.5]{figures/metatrace01.pdf}
+\end{frame}
+
+\begin{frame}
+ \frametitle{Meta-Tracing JITs}
+ \begin{block}{Advantages:}
+ \begin{itemize}
+ \item semantics are always like that of the interpreter
+ \item trace fully contains language semantics
+ \item meta-tracers can be reused for various interpreters
+ \end{itemize}
+ \end{block}
+ \pause
+ a few meta-tracing systems have been built:
+ \begin{itemize}
+ \item Sullivan et.al. describe a meta-tracer using the Dynamo RIO system
+ \item Yermolovich et.al. run a Lua implementation on top of a tracing JS implementation
+ \item SPUR is a tracing JIT for CLR bytecodes, which is used to speed up a JS implementation in C\#
+ \end{itemize}
+\end{frame}
+
+\begin{frame}
+ \frametitle{PyPy}
+ A general environment for implementing scripting languages
+ \pause
+ \begin{block}{Approach}
+ \begin{itemize}
+ \item write an interpreter for the language in RPython
+ \item compilable to an efficient C-based VM
+ \pause
+ \item (RPython is a restricted subset of Python)
+ \end{itemize}
+ \end{block}
+ \pause
+\end{frame}
+
+\begin{frame}
+ \frametitle{PyPy's Meta-Tracing JIT}
+ \begin{itemize}
+ \item PyPy contains a meta-tracing JIT for interpreters in RPython
+ \item needs a few source-code hints (or annotations) \emph{in the interpreter}
+ \item allows interpreter-author to express language specific type feedback
+ \item contains powerful general optimizations
+ \pause
+ \item general techniques to deal with reified frames
+ \end{itemize}
+\end{frame}
+
+
+
+\begin{frame}
+ \frametitle{Language Implementations Done with PyPy}
+ \begin{itemize}
+ \item Most complete language implemented: Python
+ \item regular expression matcher of Python standard library
+ \item A reasonably complete Prolog
+ \item Converge (previous talk)
+ \item lots of experiments (Squeak, Gameboy emulator, JS, start of a PHP, Haskell, ...)
+ \end{itemize}
+\end{frame}
+
+
+\begin{frame}
+ \frametitle{Some Benchmarks for Python}
+ \begin{itemize}
+ \item benchmarks done using PyPy's Python interpreter
+ \item about 30'000 lines of code
+ \end{itemize}
+\end{frame}
+
+\begin{frame}
+ \includegraphics[scale=0.3]{figures/all_numbers.png}
+\end{frame}
+
+\begin{frame}
+ \frametitle{Telco Benchmark}
+ \includegraphics[scale=0.3]{figures/telco.png}
+\end{frame}
+
+\begin{frame}
+ \frametitle{Conclusion}
+ \begin{itemize}
+ \item writing good JITs for recent scripting languages is too hard!
+ \item only reasonable if the language is exceptionally simple
+ \item or if somebody has a lot of money
+ \item PyPy is one point in a large design space of meta-solutions
+ \item uses tracing on the level of the interpreter (meta-tracing) to get speed
+ \pause
+ \item \textbf{In a way, the exact approach is not too important: let's write more meta-tools!}
+ \end{itemize}
+\end{frame}
+
+\begin{frame}
+ \frametitle{Thank you! Questions?}
+ \begin{itemize}
+ \item writing good JITs for recent scripting languages is too hard!
+ \item only reasonable if the language is exceptionally simple
+ \item or if somebody has a lot of money
+ \item PyPy is one point in a large design space of meta-solutions
+ \item uses tracing on the level of the interpreter (meta-tracing) to get speed
+ \item \textbf{In a way, the exact approach is not too important: let's write more meta-tools!}
+ \end{itemize}
+\end{frame}
+
+\begin{frame}
+ \frametitle{Possible Further Slides}
+ \hyperlink{necessary-hints}{\beamergotobutton{}} Getting Meta-Tracing to Work
+
+ \hyperlink{feedback}{\beamergotobutton{}} Language-Specific Runtime Feedback
+
+ \hyperlink{optimizations}{\beamergotobutton{}} Powerful General Optimizations
+
+ \hyperlink{virtualizables}{\beamergotobutton{}} Optimizing Reified Frames
+
+ \hyperlink{which-langs}{\beamergotobutton{}} Which Languages Can Meta-Tracing be Used With?
+
+ \hyperlink{OOVM}{\beamergotobutton{}} Using OO VMs as an implementation substrate
+
+ \hyperlink{PE}{\beamergotobutton{}} Comparison with Partial Evaluation
+
+\end{frame}
+
+\begin{frame}[label=necessary-hints]
+ \frametitle{Getting Meta-Tracing to Work}
+ \begin{itemize}
+ \item Interpreter author needs add some hints to the interpreter
+ \item one hint to identify the bytecode dispatch loop
+ \item one hint to identify the jump bytecode
+ \item with these in place, meta-tracing works
+ \item but produces non-optimal code
+ \end{itemize}
+\end{frame}
+
+
+\begin{frame}[label=feedback]
+ \frametitle{Language-Specific Runtime Feedback}
+ Problems of Naive Meta-Tracing:
+ \begin{itemize}
+ \item user-level types are normal instances on the implementation level
+ \item thus no runtime feedback of user-level types
+ \item tracer does not know about invariants in the interpreter
+ \end{itemize}
+ \pause
+ \begin{block}{Solution in PyPy}
+ \begin{itemize}
+ \item introduce more hints that the interpreter-author can use
+ \item hints are annotation in the interpreter
+ \item they give information to the meta-tracer
+ \pause
+ \item one to induce runtime feedback of arbitrary information (typically types)
+ \item the second one to influence constant folding
+ \end{itemize}
+ \end{block}
+\end{frame}
+
+
+\begin{frame}[label=optimizations]
+ \frametitle{Powerful General Optimizations}
+ \begin{itemize}
+ \item Very powerful general optimizations on traces
+ \pause
+ \begin{block}{Heap Optimizations}
+ \begin{itemize}
+ \item escape analysis/allocation removal
+ \item remove short-lived objects
+ \item gets rid of the overhead of boxing primitive types
+ \item also reduces overhead of constant heap accesses
+ \end{itemize}
+ \end{block}
+ \end{itemize}
+\end{frame}
+
+\begin{frame}[label=virtualizables]
+ \frametitle{Optimizing Reified Frames}
+ \begin{itemize}
+ \item Common problem in scripting languages
+ \item frames are reified in the language, i.e. can be accessed via reflection
+ \item used to implement the debugger in the language itself
+ \item or for more advanced usecases (backtracking in Smalltalk)
+ \item when using a JIT, quite expensive to keep them up-to-date
+ \pause
+ \begin{block}{Solution in PyPy}
+ \begin{itemize}
+ \item General mechanism for updating reified frames lazily
+ \item use deoptimization when frame objects are accessed by the program
+ \item interpreter just needs to mark the frame class
+ \end{itemize}
+ \end{block}
+ \end{itemize}
+\end{frame}
+
+
+\begin{frame}[label=which-langs]
+ \frametitle{Bonus: Which Languages Can Meta-Tracing be Used With?}
+ \begin{itemize}
+ \item To make meta-tracing useful, there needs to be some kind of runtime variability
+ \item that means it definitely works for all dynamically typed languages
+ \item ... but also for other languages with polymorphism that is not resolvable at compile time
+ \item most languages that have any kind of runtime work
+ \end{itemize}
+\end{frame}
+
+\begin{frame}[label=OOVM]
+ \frametitle{Bonus: Using OO VMs as an implementation substrate}
+ \begin{block}{Benefits}
+ \begin{itemize}
+ \item higher level of implementation
+ \item the VM supplies a GC and mostly a JIT
+ \item better interoperability than what the C level provides
+ \item \texttt{invokedynamic} should make it possible to get language-specific runtime feedback
+ \end{itemize}
+ \end{block}
+ \pause
+ \begin{block}{Problems}
+ \begin{itemize}
+ \item can be hard to map concepts of the scripting language to
+ the host OO VM
+ \item performance is often not improved, and can be very bad, because of this
+ semantic mismatch
+ \item getting good performance needs a huge amount of tweaking
+ \item tools not really prepared to deal with people that care about
+ the shape of the generated assembler
+ \end{itemize}
+ \end{block}
+ \pause
+\end{frame}
+
+\begin{frame}[label=PE]
+ \frametitle{Bonus: Comparison with Partial Evaluation}
+ \begin{itemize}
+ \pause
+ \item the only difference between meta-tracing and partial evaluation is that meta-tracing works
+ \pause
+ \item ... mostly kidding
+ \pause
+ \item very similar from the motivation and ideas
+ \item PE was never scaled up to perform well on large interpreters
+ \item classical PE mostly ahead of time
+ \item PE tried very carefully to select the right paths to inline and optimize
+ \item quite often this fails and inlines too much or too little
+ \item tracing is much more pragmatic: simply look what happens
+ \end{itemize}
+\end{frame}
+
+\end{document}
diff --git a/talk/icooolps2011/talk/talk.tex b/talk/icooolps2011/talk/talk.tex
--- a/talk/icooolps2011/talk/talk.tex
+++ b/talk/icooolps2011/talk/talk.tex
@@ -437,7 +437,7 @@
|{\color{gray}$index_1$ = Map.getindex($map_1$, "a")}|
|{\color{gray}guard($index_1$ != -1)}|
$storage_1$ = $inst_1$.storage
-$result_1$ = $storage_1$[$index_1$}]
+$result_1$ = $storage_1$[$index_1$]
# $inst_1$.getfield("b")
|{\color{gray}$map_2$ = $inst_1$.map|
diff --git a/talk/iwtc11/benchmarks/image/io.py b/talk/iwtc11/benchmarks/image/io.py
--- a/talk/iwtc11/benchmarks/image/io.py
+++ b/talk/iwtc11/benchmarks/image/io.py
@@ -1,4 +1,6 @@
import os, re, array
+from subprocess import Popen, PIPE, STDOUT
+
def mplayer(Image, fn='tv://', options=''):
f = os.popen('mplayer -really-quiet -noframedrop ' + options + ' '
@@ -19,18 +21,18 @@
def view(self, img):
assert img.typecode == 'B'
if not self.width:
- self.mplayer = os.popen('mplayer -really-quiet -noframedrop - ' +
- '2> /dev/null ', 'w')
- self.mplayer.write('YUV4MPEG2 W%d H%d F100:1 Ip A1:1\n' %
- (img.width, img.height))
+ w, h = img.width, img.height
+ self.mplayer = Popen(['mplayer', '-', '-benchmark',
+ '-demuxer', 'rawvideo',
+ '-rawvideo', 'w=%d:h=%d:format=y8' % (w, h),
+ '-really-quiet'],
+ stdin=PIPE, stdout=PIPE, stderr=PIPE)
+
self.width = img.width
self.height = img.height
- self.color_data = array.array('B', [127]) * (img.width * img.height / 2)
assert self.width == img.width
assert self.height == img.height
- self.mplayer.write('FRAME\n')
- img.tofile(self.mplayer)
- self.color_data.tofile(self.mplayer)
+ img.tofile(self.mplayer.stdin)
default_viewer = MplayerViewer()
More information about the pypy-commit
mailing list