1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
<?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: Memory Pages: 1 -->
<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="#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="#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="#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="#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="#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="#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>
<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="#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="#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="#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="#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>
</svg>
|
