diff options
Diffstat (limited to 'chapter10a/docs/example2b.svg')
| -rw-r--r-- | chapter10a/docs/example2b.svg | 48 |
1 files changed, 24 insertions, 24 deletions
diff --git a/chapter10a/docs/example2b.svg b/chapter10a/docs/example2b.svg index 8fff33d4..77ebec85 100644 --- a/chapter10a/docs/example2b.svg +++ b/chapter10a/docs/example2b.svg @@ -4,70 +4,70 @@ <!-- Generated by graphviz version 12.2.0 (20241103.1931) --> <!-- Title: Memory Pages: 1 --> -<svg width="422pt" height="98pt" - viewBox="0.00 0.00 421.75 98.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 94)"> +<svg width="510pt" height="105pt" + viewBox="0.00 0.00 509.87 105.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 101)"> <title>Memory</title> -<polygon fill="white" stroke="none" points="-4,4 -4,-94 417.75,-94 417.75,4 -4,4"/> +<polygon fill="#fafbfc" stroke="none" points="-4,4 -4,-101 505.87,-101 505.87,4 -4,4"/> <!-- P --> <g id="node1" class="node"> <title>P</title> -<polygon fill="none" stroke="black" points="179.5,-63 90,-63 90,-27 179.5,-27 179.5,-63"/> -<text text-anchor="middle" x="134.75" y="-39.95" font-family="Times New Roman,serif" font-size="14.00">Phi(memory)</text> +<polygon fill="#f5e4fa" stroke="#758191" points="223.99,-48 193.05,-66 131.17,-66 100.24,-48 131.17,-30 193.05,-30 223.99,-48"/> +<text text-anchor="middle" x="162.11" y="-43.73" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#152330">Phi(memory)</text> </g> <!-- S --> <g id="node2" class="node"> <title>S</title> -<polygon fill="none" stroke="black" points="323.75,-40 215.5,-40 215.5,-4 323.75,-4 323.75,-40"/> -<text text-anchor="middle" x="269.62" y="-16.95" font-family="Times New Roman,serif" font-size="14.00">Loop-body Store</text> +<polygon fill="#dcecff" stroke="#758191" points="407.87,-12.54 407.87,-27.46 365.73,-38 306.13,-38 263.99,-27.46 263.99,-12.54 306.13,-2 365.73,-2 407.87,-12.54"/> +<text text-anchor="middle" x="335.93" y="-15.72" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#152330">Loop-body Store</text> </g> <!-- P->S --> <g id="edge2" class="edge"> <title>P->S</title> -<path fill="none" stroke="blue" d="M179.67,-43.79C187.52,-42.69 195.84,-41.37 204.12,-39.91"/> -<polygon fill="blue" stroke="blue" points="204.65,-43.37 213.86,-38.13 203.39,-36.49 204.65,-43.37"/> +<path fill="none" stroke="#2867b2" stroke-width="1.5" d="M202.86,-35.33C202.86,-35.33 284.35,-35.33 284.35,-35.33"/> +<polygon fill="#2867b2" stroke="#2867b2" stroke-width="1.5" points="284.35,-37.78 291.35,-35.33 284.35,-32.88 284.35,-37.78"/> </g> <!-- Entry --> <g id="node3" class="node"> <title>Entry</title> -<polygon fill="none" stroke="black" points="54,-90 0,-90 0,-54 54,-54 54,-90"/> -<text text-anchor="middle" x="27" y="-66.95" font-family="Times New Roman,serif" font-size="14.00">Entry</text> +<polygon fill="#dcecff" stroke="#758191" points="60.24,-71.54 60.24,-86.46 42.59,-97 17.64,-97 0,-86.46 0,-71.54 17.64,-61 42.59,-61 60.24,-71.54"/> +<text text-anchor="middle" x="30.12" y="-74.72" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#152330">Entry</text> </g> <!-- P->Entry --> <g id="edge1" class="edge"> <title>P->Entry</title> -<path fill="none" stroke="blue" d="M89.52,-56.29C81.45,-58.35 73.12,-60.48 65.28,-62.48"/> -<polygon fill="blue" stroke="blue" points="64.54,-59.06 55.72,-64.92 66.27,-65.84 64.54,-59.06"/> +<path fill="none" stroke="#2867b2" stroke-width="1.5" d="M107.6,-52.67C67.92,-52.67 21.12,-52.67 21.12,-52.67 21.12,-52.67 21.12,-53.47 21.12,-53.47"/> +<polygon fill="#2867b2" stroke="#2867b2" stroke-width="1.5" points="18.67,-51.44 21.12,-58.44 23.57,-51.44 18.67,-51.44"/> </g> <!-- Loop --> <g id="node4" class="node"> <title>Loop</title> -<polygon fill="none" stroke="black" points="54,-36 0,-36 0,0 54,0 54,-36"/> -<text text-anchor="middle" x="27" y="-12.95" font-family="Times New Roman,serif" font-size="14.00">Loop</text> +<path fill="#ffe0ab" stroke="#758191" d="M45.12,-36C45.12,-36 15.12,-36 15.12,-36 9.12,-36 3.12,-30 3.12,-24 3.12,-24 3.12,-12 3.12,-12 3.12,-6 9.12,0 15.12,0 15.12,0 45.12,0 45.12,0 51.12,0 57.12,-6 57.12,-12 57.12,-12 57.12,-24 57.12,-24 57.12,-30 51.12,-36 45.12,-36"/> +<text text-anchor="middle" x="30.12" y="-13.72" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#152330">Loop</text> </g> <!-- P->Loop --> <g id="edge4" class="edge"> <title>P->Loop</title> -<path fill="none" stroke="black" stroke-dasharray="5,2" d="M89.52,-33.71C81.45,-31.65 73.12,-29.52 65.28,-27.52"/> -<polygon fill="black" stroke="black" points="66.27,-24.16 55.72,-25.08 64.54,-30.94 66.27,-24.16"/> +<path fill="none" stroke="#9396a3" stroke-width="1.5" stroke-dasharray="5,2" d="M105.65,-44.33C73.32,-44.33 39.12,-44.33 39.12,-44.33 39.12,-44.33 31.88,-44.33 31.88,-44.33"/> +<polygon fill="#9396a3" stroke="#9396a3" stroke-width="1.5" points="34.74,-44.82 37.6,-37.98 31.1,-41.54 34.74,-44.82"/> </g> <!-- S->P --> <g id="edge3" class="edge"> <title>S->P</title> -<path fill="none" stroke="blue" d="M215.35,-24.59C207.3,-25.84 198.98,-27.27 190.89,-28.79"/> -<polygon fill="blue" stroke="blue" points="190.29,-25.34 181.15,-30.71 191.64,-32.21 190.29,-25.34"/> +<path fill="none" stroke="#2867b2" stroke-width="1.5" d="M282.83,-32.67C282.83,-32.67 207.65,-32.67 207.65,-32.67"/> +<polygon fill="#2867b2" stroke="#2867b2" stroke-width="1.5" points="207.65,-30.22 200.65,-32.67 207.65,-35.12 207.65,-30.22"/> </g> <!-- Return --> <g id="node5" class="node"> <title>Return</title> -<polygon fill="none" stroke="black" points="413.75,-63 359.75,-63 359.75,-27 413.75,-27 413.75,-63"/> -<text text-anchor="middle" x="386.75" y="-39.95" font-family="Times New Roman,serif" font-size="14.00">Return</text> +<polygon fill="#fff1c4" stroke="#758191" points="501.87,-66 447.87,-66 447.87,-30 501.87,-30 501.87,-66"/> +<text text-anchor="middle" x="474.87" y="-43.73" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#152330">Return</text> </g> <!-- Return->P --> <g id="edge5" class="edge"> <title>Return->P</title> -<path fill="none" stroke="blue" d="M359.52,-47.07C348.49,-47.84 335.5,-48.62 323.75,-49 275.66,-50.55 263.6,-50.21 215.5,-49 207.59,-48.8 199.24,-48.49 191.04,-48.13"/> -<polygon fill="blue" stroke="blue" points="191.28,-44.64 181.12,-47.67 190.95,-51.63 191.28,-44.64"/> +<path fill="none" stroke="#2867b2" stroke-width="1.5" d="M447.39,-52C447.39,-52 227.1,-52 227.1,-52"/> +<polygon fill="#2867b2" stroke="#2867b2" stroke-width="1.5" points="227.1,-49.55 220.1,-52 227.1,-54.45 227.1,-49.55"/> </g> <!-- Return->S --> </g> |
