path: root/chapter11/docs/graph1.svg

<?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">
<!-- Generated by graphviz version 12.2.0 (20241103.1931)
 -->
<!-- Title: chapter11 Pages: 1 -->
<svg width="346pt" height="714pt"
 viewBox="0.00 0.00 346.00 714.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 710)">
<title>chapter11</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-710 342,-710 342,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_Nodes</title>
<polygon fill="none" stroke="black" points="8,-8 8,-698 330,-698 330,-8 8,-8"/>
</g>
<!-- Start2 -->
<g id="node1" class="node">
<title>Start2</title>
<polygon fill="yellow" stroke="none" points="207.38,-659.5 207.38,-686 312.62,-686 312.62,-659.5 207.38,-659.5"/>
<polygon fill="none" stroke="black" points="207.38,-659.5 207.38,-686 312.62,-686 312.62,-659.5 207.38,-659.5"/>
<text text-anchor="start" x="247.25" y="-667.7" font-family="Times New Roman,serif" font-size="14.00">Start</text>
<polygon fill="none" stroke="black" points="207.38,-627 207.38,-659.5 312.62,-659.5 312.62,-627 207.38,-627"/>
<polygon fill="yellow" stroke="none" points="212.38,-632 212.38,-654.5 243.12,-654.5 243.12,-632 212.38,-632"/>
<polygon fill="none" stroke="black" points="212.38,-632 212.38,-654.5 243.12,-654.5 243.12,-632 212.38,-632"/>
<text text-anchor="start" x="215.38" y="-638.2" font-family="Times New Roman,serif" font-size="14.00">$ctrl</text>
<polygon fill="none" stroke="black" points="243.12,-632 243.12,-654.5 284.38,-654.5 284.38,-632 243.12,-632"/>
<text text-anchor="start" x="246.12" y="-638.2" font-family="Times New Roman,serif" font-size="14.00">$mem</text>
<polygon fill="none" stroke="black" points="284.38,-632 284.38,-654.5 307.62,-654.5 307.62,-632 284.38,-632"/>
<text text-anchor="start" x="287.38" y="-638.2" font-family="Times New Roman,serif" font-size="14.00">arg</text>
</g>
<!-- MemMerge -->
<g id="node2" class="node">
<title>MemMerge</title>
<polygon fill="none" stroke="black" points="195,-196 113,-196 113,-160 195,-160 195,-196"/>
<text text-anchor="middle" x="154" y="-172.95" font-family="Times New Roman,serif" font-size="14.00">MemMerge</text>
</g>
<!-- MemMerge&#45;&gt;Start2 -->
<g id="edge25" class="edge">
<title>MemMerge&#45;&gt;Start2:p1</title>
<path fill="none" stroke="blue" d="M174.24,-196.05C184.06,-205.56 195.02,-218.24 201,-232 238.55,-318.39 196.42,-352.07 221,-443 234.8,-494.06 259.62,-499.34 271,-551 277.81,-581.92 266.84,-592.84 264.27,-619.8"/>
<polygon fill="blue" stroke="blue" points="260.79,-619.34 263.82,-629.49 267.78,-619.66 260.79,-619.34"/>
<text text-anchor="middle" x="171.99" y="-198.2" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Phi_224 -->
<g id="node15" class="node">
<title>Phi_224</title>
<ellipse fill="lightyellow" stroke="black" cx="139" cy="-250" rx="52.89" ry="18"/>
<text text-anchor="middle" x="139" y="-244.95" font-family="Times New Roman,serif" font-size="14.00">MemPhi_2</text>
</g>
<!-- MemMerge&#45;&gt;Phi_224 -->
<g id="edge26" class="edge">
<title>MemMerge&#45;&gt;Phi_224</title>
<path fill="none" stroke="blue" d="M150.29,-196.3C148.71,-203.68 146.83,-212.48 145.05,-220.75"/>
<polygon fill="blue" stroke="blue" points="141.66,-219.9 142.98,-230.42 148.5,-221.37 141.66,-219.9"/>
<text text-anchor="middle" x="148.04" y="-198.45" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- Stop3 -->
<g id="node3" class="node">
<title>Stop3</title>
<polygon fill="yellow" stroke="black" points="181,-52 127,-52 127,-16 181,-16 181,-52"/>
<text text-anchor="middle" x="154" y="-28.95" font-family="Times New Roman,serif" font-size="14.00">Stop</text>
</g>
<!-- Return25 -->
<g id="node16" class="node">
<title>Return25</title>
<polygon fill="yellow" stroke="black" points="181,-124 127,-124 127,-88 181,-88 181,-124"/>
<text text-anchor="middle" x="154" y="-100.95" font-family="Times New Roman,serif" font-size="14.00">Return</text>
</g>
<!-- Stop3&#45;&gt;Return25 -->
<g id="edge1" class="edge">
<title>Stop3&#45;&gt;Return25</title>
<path fill="none" stroke="red" d="M154,-52.3C154,-59.59 154,-68.27 154,-76.46"/>
<polygon fill="red" stroke="red" points="150.5,-76.38 154,-86.38 157.5,-76.38 150.5,-76.38"/>
<text text-anchor="middle" x="151.75" y="-54.45" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- Con_4 -->
<g id="node4" class="node">
<title>Con_4</title>
<ellipse fill="none" stroke="black" cx="93" cy="-497" rx="27" ry="18"/>
<text text-anchor="middle" x="93" y="-491.95" font-family="Times New Roman,serif" font-size="14.00">#0</text>
</g>
<!-- new9 -->
<g id="node5" class="node">
<title>new9</title>
<ellipse fill="none" stroke="black" cx="50" cy="-569" rx="33.95" ry="18"/>
<text text-anchor="middle" x="50" y="-563.95" font-family="Times New Roman,serif" font-size="14.00">new S</text>
</g>
<!-- new9&#45;&gt;Start2 -->
<g id="edge2" class="edge">
<title>new9&#45;&gt;Start2:p0</title>
<path fill="none" stroke="green" d="M68.15,-584.47C94.9,-604.4 147.46,-638.35 200.14,-642.77"/>
<polygon fill="green" stroke="green" points="199.72,-646.26 209.86,-643.19 200.02,-639.26 199.72,-646.26"/>
<text text-anchor="middle" x="70.4" y="-586.62" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- Con_11 -->
<g id="node6" class="node">
<title>Con_11</title>
<ellipse fill="none" stroke="black" cx="149" cy="-569" rx="27" ry="18"/>
<text text-anchor="middle" x="149" y="-563.95" font-family="Times New Roman,serif" font-size="14.00">#2</text>
</g>
<!-- Store12 -->
<g id="node7" class="node">
<title>Store12</title>
<ellipse fill="none" stroke="black" cx="165" cy="-497" rx="27" ry="18"/>
<text text-anchor="middle" x="165" y="-491.95" font-family="Times New Roman,serif" font-size="14.00">.f =</text>
</g>
<!-- Store12&#45;&gt;Start2 -->
<g id="edge3" class="edge">
<title>Store12&#45;&gt;Start2:p1</title>
<path fill="none" stroke="blue" d="M147.77,-510.96C126.13,-528.81 94,-561.66 113,-587 152.26,-639.35 250.4,-570.87 262.52,-619.62"/>
<polygon fill="blue" stroke="blue" points="259.03,-619.93 263.59,-629.5 265.99,-619.18 259.03,-619.93"/>
<text text-anchor="middle" x="145.52" y="-513.11" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Store12&#45;&gt;new9 -->
<g id="edge4" class="edge">
<title>Store12&#45;&gt;new9</title>
<path fill="none" stroke="black" d="M145.49,-509.87C127.95,-520.55 101.87,-536.43 81.39,-548.89"/>
<polygon fill="black" stroke="black" points="79.58,-545.9 72.86,-554.09 83.22,-551.88 79.58,-545.9"/>
<text text-anchor="middle" x="147.74" y="-502.27" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- Store12&#45;&gt;Con_11 -->
<g id="edge5" class="edge">
<title>Store12&#45;&gt;Con_11</title>
<path fill="none" stroke="black" d="M161.04,-515.3C159.36,-522.68 157.35,-531.48 155.46,-539.75"/>
<polygon fill="black" stroke="black" points="152.06,-538.89 153.25,-549.42 158.89,-540.45 152.06,-538.89"/>
<text text-anchor="middle" x="158.79" y="-517.45" font-family="Helvetica,sans-Serif" font-size="8.00">3</text>
</g>
<!-- new13 -->
<g id="node8" class="node">
<title>new13</title>
<ellipse fill="none" stroke="black" cx="228" cy="-569" rx="33.95" ry="18"/>
<text text-anchor="middle" x="228" y="-563.95" font-family="Times New Roman,serif" font-size="14.00">new S</text>
</g>
<!-- new13&#45;&gt;Start2 -->
<g id="edge6" class="edge">
<title>new13&#45;&gt;Start2:p0</title>
<path fill="none" stroke="green" d="M227.89,-587.35C227.84,-596.51 227.79,-608.2 227.76,-619.69"/>
<polygon fill="green" stroke="green" points="224.26,-619.48 227.75,-629.49 231.26,-619.49 224.26,-619.48"/>
<text text-anchor="middle" x="225.64" y="-589.5" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- Store14 -->
<g id="node9" class="node">
<title>Store14</title>
<ellipse fill="none" stroke="black" cx="93" cy="-409.5" rx="27" ry="18"/>
<text text-anchor="middle" x="93" y="-404.45" font-family="Times New Roman,serif" font-size="14.00">.f =</text>
</g>
<!-- Store14&#45;&gt;Con_4 -->
<g id="edge9" class="edge">
<title>Store14&#45;&gt;Con_4</title>
<path fill="none" stroke="black" d="M93,-427.8C93,-439.16 93,-454.28 93,-467.4"/>
<polygon fill="black" stroke="black" points="89.5,-467.21 93,-477.21 96.5,-467.21 89.5,-467.21"/>
<text text-anchor="middle" x="90.75" y="-429.95" font-family="Helvetica,sans-Serif" font-size="8.00">3</text>
</g>
<!-- Store14&#45;&gt;Store12 -->
<g id="edge7" class="edge">
<title>Store14&#45;&gt;Store12</title>
<path fill="none" stroke="blue" d="M105.87,-425.79C116.73,-438.67 132.44,-457.34 144.94,-472.18"/>
<polygon fill="blue" stroke="blue" points="142.15,-474.29 151.26,-479.69 147.5,-469.79 142.15,-474.29"/>
<text text-anchor="middle" x="103.62" y="-427.94" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Store14&#45;&gt;new13 -->
<g id="edge8" class="edge">
<title>Store14&#45;&gt;new13</title>
<path fill="none" stroke="black" d="M107.31,-425.06C113.63,-431.04 121.35,-437.78 129,-443 158.55,-463.17 177.93,-451.66 201,-479 215.33,-495.99 222.06,-520.44 225.21,-539.41"/>
<polygon fill="black" stroke="black" points="221.73,-539.76 226.58,-549.18 228.66,-538.79 221.73,-539.76"/>
<text text-anchor="middle" x="109.56" y="-427.21" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- Load16 -->
<g id="node10" class="node">
<title>Load16</title>
<ellipse fill="none" stroke="black" cx="43" cy="-322" rx="27" ry="18"/>
<text text-anchor="middle" x="43" y="-316.95" font-family="Times New Roman,serif" font-size="14.00">.f</text>
</g>
<!-- Load16&#45;&gt;new9 -->
<g id="edge11" class="edge">
<title>Load16&#45;&gt;new9</title>
<path fill="none" stroke="black" d="M47,-410.5C36.94,-454.72 41.17,-507.73 45.4,-539.6"/>
<polygon fill="black" stroke="black" points="41.89,-539.81 46.78,-549.21 48.82,-538.82 41.89,-539.81"/>
<path fill="none" stroke="black" d="M46.72,-340.02C49.87,-357.49 53,-385.34 47,-408.5"/>
<text text-anchor="middle" x="44.75" y="-402.9" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- Load16&#45;&gt;Store14 -->
<g id="edge10" class="edge">
<title>Load16&#45;&gt;Store14</title>
<path fill="none" stroke="blue" d="M52.4,-339.08C59.55,-351.3 69.53,-368.37 77.81,-382.52"/>
<polygon fill="blue" stroke="blue" points="74.63,-384.03 82.7,-390.89 80.68,-380.49 74.63,-384.03"/>
<text text-anchor="middle" x="50.15" y="-341.23" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- If17 -->
<g id="node11" class="node">
<title>If17</title>
<polygon fill="yellow" stroke="none" points="238,-412.5 238,-439 314,-439 314,-412.5 238,-412.5"/>
<polygon fill="none" stroke="black" points="238,-412.5 238,-439 314,-439 314,-412.5 238,-412.5"/>
<text text-anchor="start" x="271.5" y="-420.7" font-family="Times New Roman,serif" font-size="14.00">If</text>
<polygon fill="none" stroke="black" points="238,-380 238,-412.5 314,-412.5 314,-380 238,-380"/>
<polygon fill="yellow" stroke="none" points="243,-385 243,-407.5 274.5,-407.5 274.5,-385 243,-385"/>
<polygon fill="none" stroke="black" points="243,-385 243,-407.5 274.5,-407.5 274.5,-385 243,-385"/>
<text text-anchor="start" x="246" y="-391.2" font-family="Times New Roman,serif" font-size="14.00">True</text>
<polygon fill="yellow" stroke="none" points="274.5,-385 274.5,-407.5 309,-407.5 309,-385 274.5,-385"/>
<polygon fill="none" stroke="black" points="274.5,-385 274.5,-407.5 309,-407.5 309,-385 274.5,-385"/>
<text text-anchor="start" x="277.5" y="-391.2" font-family="Times New Roman,serif" font-size="14.00">False</text>
</g>
<!-- If17&#45;&gt;Start2 -->
<g id="edge12" class="edge">
<title>If17&#45;&gt;Start2:p0</title>
<path fill="none" stroke="red" d="M301,-498C306.79,-539.34 292.85,-551.43 271,-587 261.11,-603.09 244.32,-604.88 234.83,-613.4"/>
<polygon fill="red" stroke="red" points="231.88,-611.53 229.53,-621.86 237.81,-615.25 231.88,-611.53"/>
<path fill="none" stroke="red" d="M287.84,-442.9C293,-458.69 298.44,-478.09 301,-496"/>
<text text-anchor="middle" x="298.75" y="-490.4" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- If17&#45;&gt;Start2 -->
<g id="edge13" class="edge">
<title>If17&#45;&gt;Start2:p2</title>
<path fill="none" stroke="black" d="M301,-498C306.61,-537.22 310.42,-547.63 306,-587 304.69,-598.67 301.49,-604.88 299.06,-612.05"/>
<polygon fill="black" stroke="black" points="295.7,-611.02 296.82,-621.55 302.52,-612.62 295.7,-611.02"/>
<text text-anchor="middle" x="298.75" y="-500.15" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Con_21 -->
<g id="node12" class="node">
<title>Con_21</title>
<ellipse fill="none" stroke="black" cx="165" cy="-409.5" rx="27" ry="18"/>
<text text-anchor="middle" x="165" y="-404.45" font-family="Times New Roman,serif" font-size="14.00">#1</text>
</g>
<!-- Store22 -->
<g id="node13" class="node">
<title>Store22</title>
<ellipse fill="none" stroke="black" cx="135" cy="-322" rx="27" ry="18"/>
<text text-anchor="middle" x="135" y="-316.95" font-family="Times New Roman,serif" font-size="14.00">.f =</text>
</g>
<!-- Store22&#45;&gt;new9 -->
<g id="edge15" class="edge">
<title>Store22&#45;&gt;new9</title>
<path fill="none" stroke="black" d="M113.11,-332.75C95.54,-341.64 71.49,-356.38 57,-376 48.02,-388.16 50.79,-393.87 47,-408.5"/>
<text text-anchor="middle" x="115.36" y="-334.9" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- Store22&#45;&gt;Store14 -->
<g id="edge14" class="edge">
<title>Store22&#45;&gt;Store14</title>
<path fill="none" stroke="blue" d="M126.9,-339.49C120.98,-351.55 112.81,-368.17 105.98,-382.08"/>
<polygon fill="blue" stroke="blue" points="103.01,-380.19 101.74,-390.71 109.29,-383.27 103.01,-380.19"/>
<text text-anchor="middle" x="124.65" y="-341.64" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Store22&#45;&gt;Con_21 -->
<g id="edge16" class="edge">
<title>Store22&#45;&gt;Con_21</title>
<path fill="none" stroke="black" d="M140.93,-339.89C145.04,-351.6 150.6,-367.46 155.34,-380.98"/>
<polygon fill="black" stroke="black" points="151.97,-381.94 158.58,-390.21 158.58,-379.62 151.97,-381.94"/>
<text text-anchor="middle" x="138.68" y="-342.04" font-family="Helvetica,sans-Serif" font-size="8.00">3</text>
</g>
<!-- Region23 -->
<g id="node14" class="node">
<title>Region23</title>
<polygon fill="yellow" stroke="black" points="285.5,-268 230.5,-268 230.5,-232 285.5,-232 285.5,-268"/>
<text text-anchor="middle" x="258" y="-244.95" font-family="Times New Roman,serif" font-size="14.00">Region</text>
</g>
<!-- Region23&#45;&gt;If17 -->
<g id="edge17" class="edge">
<title>Region23&#45;&gt;If17:p0</title>
<path fill="none" stroke="red" d="M258.16,-268.22C258.36,-291.29 258.68,-333.85 258.74,-372.64"/>
<polygon fill="red" stroke="red" points="255.24,-372.49 258.75,-382.49 262.24,-372.48 255.24,-372.49"/>
<text text-anchor="middle" x="255.91" y="-270.37" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Phi_224&#45;&gt;Store14 -->
<g id="edge21" class="edge">
<title>Phi_224&#45;&gt;Store14</title>
<path fill="none" stroke="blue" d="M122.4,-267.57C113.78,-277.31 104.01,-290.37 99,-304 90,-328.5 89.21,-358.4 90.25,-379.93"/>
<polygon fill="blue" stroke="blue" points="86.75,-379.98 90.9,-389.73 93.73,-379.52 86.75,-379.98"/>
<text text-anchor="middle" x="120.15" y="-269.72" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- Phi_224&#45;&gt;Store22 -->
<g id="edge20" class="edge">
<title>Phi_224&#45;&gt;Store22</title>
<path fill="none" stroke="blue" d="M138.01,-268.3C137.59,-275.59 137.1,-284.27 136.63,-292.46"/>
<polygon fill="blue" stroke="blue" points="133.14,-292.2 136.06,-302.38 140.13,-292.6 133.14,-292.2"/>
<text text-anchor="middle" x="135.76" y="-270.45" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Phi_224&#45;&gt;Region23 -->
<g id="edge19" class="edge">
<title>Phi_224&#45;&gt;Region23</title>
<path fill="none" stroke="black" stroke-dasharray="1,5" d="M191.99,-250C200.94,-250 209.88,-250 218.82,-250"/>
<polygon fill="black" stroke="black" points="218.64,-253.5 228.64,-250 218.64,-246.5 218.64,-253.5"/>
<text text-anchor="middle" x="194.24" y="-242.4" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- Return25&#45;&gt;MemMerge -->
<g id="edge24" class="edge">
<title>Return25&#45;&gt;MemMerge</title>
<path fill="none" stroke="blue" d="M154,-124.3C154,-131.59 154,-140.27 154,-148.46"/>
<polygon fill="blue" stroke="blue" points="150.5,-148.38 154,-158.38 157.5,-148.38 150.5,-148.38"/>
<text text-anchor="middle" x="151.75" y="-126.45" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Return25&#45;&gt;Load16 -->
<g id="edge23" class="edge">
<title>Return25&#45;&gt;Load16</title>
<path fill="none" stroke="black" d="M134.47,-124.14C124.31,-133.85 112.32,-146.7 104,-160 77.05,-203.06 59,-259.91 49.91,-293.26"/>
<polygon fill="black" stroke="black" points="46.62,-291.99 47.45,-302.55 53.39,-293.78 46.62,-291.99"/>
<text text-anchor="middle" x="132.22" y="-126.29" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- Return25&#45;&gt;Region23 -->
<g id="edge22" class="edge">
<title>Return25&#45;&gt;Region23</title>
<path fill="none" stroke="red" d="M172.12,-124.31C182.08,-134.28 194.34,-147.32 204,-160 218.92,-179.59 233.25,-203.54 243.4,-221.66"/>
<polygon fill="red" stroke="red" points="240.24,-223.18 248.13,-230.25 246.37,-219.8 240.24,-223.18"/>
<text text-anchor="middle" x="169.87" y="-126.46" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
</g>
</svg>