X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=docs%2Fgraphics%2Fpor-scheduling-relevance.svg;fp=docs%2Fgraphics%2Fpor-scheduling-relevance.svg;h=45c288624e7c13038c00a574df8f323365ef1989;hp=0000000000000000000000000000000000000000;hb=3f0145e38039475a1654974a45ad89c58e2e91e7;hpb=eb4888bdc6128a112847f8c8b93f94efc2bb9f54

diff --git a/docs/graphics/por-scheduling-relevance.svg b/docs/graphics/por-scheduling-relevance.svg
new file mode 100644
index 0000000..45c2886
--- /dev/null
+++ b/docs/graphics/por-scheduling-relevance.svg
@@ -0,0 +1,3 @@
+<?xml version="1.0" encoding="utf-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" version="1.1" viewBox="33 31 534 383" width="534pt" height="383pt" xmlns:dc="http://purl.org/dc/elements/1.1/"><metadata> Produced by OmniGraffle 6.1 <dc:date>2011-05-11 18:17:44 +0000</dc:date></metadata><defs><font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" viewBox="-1 -3 7 6" markerWidth="7" markerHeight="6" color="black"><g><path d="M 4.4999995 0 L 0 -1.6874998 L 0 1.6874998 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="-1e3" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-style="italic" font-weight="500"><font-face-src><font-face-name name="Helvetica-Oblique"/></font-face-src></font-face><font-face font-family="Monaco" font-size="9" units-per-em="1000" underline-position="-37.597656" underline-thickness="75.683594" slope="0" x-height="560.54688" cap-height="780.27344" ascent="1e3" descent="-250" font-weight="500"><font-face-src><font-face-name name="Monaco"/></font-face-src></font-face></defs><g stroke="none" stroke-opacity="1" stroke-dasharray="none" fill="none" fill-opacity="1"><title>Canvas 1</title><rect fill="white" width="588.0188" height="768.0188"/><g><title>Layer 1</title><text transform="translate(199 40.8188)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".1171875" y="11" textLength="158.765625">executed bytecode instruction</tspan></text><text transform="translate(99.4328 104.125)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".31933594" y="11" textLength="6">fi</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="6.319336" y="11" textLength="41.361328">eld insn</tspan></text><text transform="translate(253 104.125)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".4892578" y="11" textLength="50.021484">sync insn</tspan></text><text transform="translate(394 104.125)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".48242188" y="11" textLength="60.035156">invoke insn</tspan></text><text transform="translate(367 165.125)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="2.163086" y="11" textLength="28.007812">sync </tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="4.498047" y="25" textLength="20.003906">mth</tspan></text><text transform="translate(439 165.125)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="1.9804688" y="11" textLength="53.373047">threading </tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="17.99707" y="25" textLength="18.005859">call</tspan></text><line x1="261.35365" y1="54.8188" x2="140.57915" y2="104.125" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="278.5" y1="54.8188" x2="278.5" y2="104.125" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="294.64376" y1="54.8188" x2="408.35624" y2="104.125" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="123.432805" y1="118.125" x2="123.432995" y2="380.456" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="278.51266" y1="118.125" x2="278.98842" y2="381.177" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="420.0736" y1="118.125" x2="390.3534" y2="165.125" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="428.77212" y1="118.125" x2="457.45633" y2="165.125" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="381.5" y1="193.125" x2="381.5" y2="381.826" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="466" y1="193.125" x2="466" y2="382.51" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="174" y="70.125" width="204" height="14" fill="#ffd0cd" fill-opacity=".78"/><rect x="174" y="70.125" width="204" height="14" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(179 70.125)" fill="red"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="red" x="19.618164" y="11" textLength="154.76367">scheduling relevant insn type</tspan></text><rect x="46" y="232.125" width="432.976" height="14" fill="#ffd0cd" fill-opacity=".78"/><rect x="46" y="232.125" width="432.976" height="14" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(51 232.125)" fill="red"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="red" x="151.113" y="11" textLength="120.75">other runnable threads</tspan></text><rect x="245" y="259.909" width="158" height="14" fill="#ffd0cd" fill-opacity=".78"/><rect x="245" y="259.909" width="158" height="14" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(250 259.909)" fill="red"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="red" x="34.323242" y="11" textLength="79.353516">recursive locks</tspan></text><rect x="46" y="287.692" width="358" height="14" fill="#ffd0cd" fill-opacity=".78"/><rect x="46" y="287.692" width="358" height="14" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(51 287.692)" fill="red"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="red" x="134.97656" y="11" textLength="78.046875">shared objects</tspan></text><rect x="46" y="327.142" width="136.5" height="14" fill="#ffd0cd" fill-opacity=".78"/><rect x="46" y="327.142" width="136.5" height="14" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(51 327.142)" fill="red"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="red" x="5.555664" y="11" textLength="115.38867">lock protected access</tspan></text><text transform="translate(108.433 390.26)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".0126953125" y="11" textLength="234.78516">scheduling relevant instruction (registeres a </tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="234.58691" y="11" textLength="133.40039">ThreadChoiceGenerator)</tspan></text><text transform="translate(63.4328 77.125)" fill="purple"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="purple" x=".48339844" y="11" textLength="56.033203">data races</tspan></text><text transform="translate(318.5 105.125)" fill="purple"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="purple" x="4.482422" y="11" textLength="54.035156">deadlocks</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="purple" x=".4951172" y="25" textLength="62.009766">(lock races)</tspan></text><rect x="153.077" y="305.692" width="150" height="14" fill="white" fill-opacity=".74"/><text transform="translate(158.077 305.692)" fill="purple"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="purple" x=".29980469" y="11" textLength="139.40039">tracking of access threads</tspan></text><rect x="43.75" y="343.26" width="141" height="14" fill="white" fill-opacity=".74"/><text transform="translate(48.75 343.26)" fill="purple"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="purple" x=".47558594" y="11" textLength="130.04883">lock distance &amp; statistics</tspan></text><rect x="409" y="192.125" width="141" height="36" fill="white" fill-opacity=".84"/><text transform="translate(414 192.125)" fill="blue"><tspan font-family="Monaco" font-size="9" font-weight="500" fill="blue" x="0" y="9" textLength="129.62109">Thread. start(), yield()</tspan><tspan font-family="Monaco" font-size="9" font-weight="500" fill="blue" x="0" y="21" textLength="124.220215">        sleep(), join()</tspan><tspan font-family="Monaco" font-size="9" font-weight="500" fill="blue" x="0" y="33" textLength="118.819336">Object.wait(),notify()</tspan></text><text transform="translate(494.261 123.125)" fill="purple"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="purple" x=".98046875" y="11" textLength="25.347656">confi</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="purple" x="26.328125" y="11" textLength="30.691406">gured</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="purple" x=".32421875" y="25" textLength="57.351562">class/mthd</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="purple" x="4.3203125" y="39" textLength="49.359375">attributes</tspan></text><text transform="translate(72.4142 127.125)" fill="blue"><tspan font-family="Monaco" font-size="9" font-weight="500" fill="blue" x="0" y="9" textLength="43.20703">GETFIELD</tspan><tspan font-family="Monaco" font-size="9" font-weight="500" fill="blue" x="0" y="21" textLength="43.20703">PUTFIELD</tspan><tspan font-family="Monaco" font-size="9" font-weight="500" fill="blue" x="0" y="33" textLength="48.60791">GETSTATIC</tspan><tspan font-family="Monaco" font-size="9" font-weight="500" fill="blue" x="0" y="45" textLength="48.60791">PUTSTATIC</tspan><tspan font-family="Monaco" font-size="9" font-weight="500" fill="blue" x="0" y="57" textLength="32.405273">xALOAD</tspan><tspan font-family="Monaco" font-size="9" font-weight="500" fill="blue" x="0" y="69" textLength="37.806152">xASTORE</tspan></text><rect x="248" y="127.125" width="75" height="24" fill="white" fill-opacity=".74"/><text transform="translate(253 127.125)" fill="blue"><tspan font-family="Monaco" font-size="9" font-weight="500" fill="blue" x="0" y="9" textLength="64.810547">MONITORENTER</tspan><tspan font-family="Monaco" font-size="9" font-weight="500" fill="blue" x="0" y="21" textLength="59.409668">MONITOREXIT</tspan></text><rect x="392" y="127.125" width="81" height="24" fill="white" fill-opacity=".83"/><text transform="translate(397 127.125)" fill="blue"><tspan font-family="Monaco" font-size="9" font-weight="500" fill="blue" x="0" y="9" textLength="70.211426">INVOKEVIRTUAL</tspan><tspan font-family="Monaco" font-size="9" font-weight="500" fill="blue" x="0" y="21" textLength="64.810547">INVOKESTATIC</tspan></text><line x1="44.5056" y1="371.793" x2="508.586" y2="371.793" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="8,4,1,4"/></g></g></svg>