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
75
76
77
78
79
|
<?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 3.0.0 (20220315.2325)
-->
<!-- Pages: 1 -->
<svg width="573pt" height="126pt"
viewBox="0.00 0.00 573.47 126.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 122)">
<polygon fill="#ffffff" fill-opacity="0.941176" stroke="transparent" points="-4,4 -4,-122 569.47,-122 569.47,4 -4,4"/>
<!-- free_keys -->
<g id="node1" class="node">
<title>free_keys</title>
<polygon fill="none" stroke="black" stroke-dasharray="5,2" points="285.49,-64 133.49,-64 133.49,-26 285.49,-26 285.49,-64"/>
<text text-anchor="middle" x="209.49" y="-48.8" font-family="Times,serif" font-size="14.00">Wait for free-keys</text>
<text text-anchor="middle" x="209.49" y="-33.8" font-family="Times,serif" font-size="14.00">from the scheduler</text>
</g>
<!-- released -->
<g id="node4" class="node">
<title>released</title>
<ellipse fill="none" stroke="black" cx="371.54" cy="-72" rx="50.09" ry="18"/>
<text text-anchor="middle" x="371.54" y="-68.3" font-family="Times,serif" font-size="14.00">released</text>
</g>
<!-- free_keys->released -->
<g id="edge3" class="edge">
<title>free_keys->released</title>
<path fill="none" stroke="black" d="M285.83,-57.71C295.83,-59.4 305.93,-61.1 315.5,-62.72"/>
<polygon fill="black" stroke="black" points="315.21,-66.22 325.65,-64.43 316.37,-59.31 315.21,-66.22"/>
</g>
<!-- memory -->
<g id="node2" class="node">
<title>memory</title>
<ellipse fill="none" stroke="black" cx="48.75" cy="-72" rx="48.99" ry="18"/>
<text text-anchor="middle" x="48.75" y="-68.3" font-family="Times,serif" font-size="14.00">memory</text>
</g>
<!-- memory->free_keys -->
<g id="edge1" class="edge">
<title>memory->free_keys</title>
<path fill="none" stroke="black" d="M93.54,-64.55C102.93,-62.95 113.16,-61.21 123.51,-59.45"/>
<polygon fill="black" stroke="black" points="124.18,-62.89 133.46,-57.76 123.01,-55.99 124.18,-62.89"/>
</g>
<!-- error -->
<g id="node3" class="node">
<title>error</title>
<ellipse fill="none" stroke="black" cx="48.75" cy="-18" rx="34.39" ry="18"/>
<text text-anchor="middle" x="48.75" y="-14.3" font-family="Times,serif" font-size="14.00">error</text>
</g>
<!-- error->free_keys -->
<g id="edge2" class="edge">
<title>error->free_keys</title>
<path fill="none" stroke="black" d="M81.87,-23.46C94.02,-25.53 108.48,-27.99 123.22,-30.5"/>
<polygon fill="black" stroke="black" points="123,-34.01 133.44,-32.24 124.17,-27.11 123,-34.01"/>
</g>
<!-- forgotten -->
<g id="node6" class="node">
<title>forgotten</title>
<ellipse fill="none" stroke="black" cx="511.53" cy="-72" rx="53.89" ry="18"/>
<text text-anchor="middle" x="511.53" y="-68.3" font-family="Times,serif" font-size="14.00">forgotten</text>
</g>
<!-- released->forgotten -->
<g id="edge5" class="edge">
<title>released->forgotten</title>
<path fill="none" stroke="black" d="M421.96,-72C430.1,-72 438.63,-72 447.06,-72"/>
<polygon fill="black" stroke="black" points="447.24,-75.5 457.24,-72 447.24,-68.5 447.24,-75.5"/>
</g>
<!-- rescheduled -->
<g id="node5" class="node">
<title>rescheduled</title>
<ellipse fill="none" stroke="black" cx="209.49" cy="-100" rx="67.69" ry="18"/>
<text text-anchor="middle" x="209.49" y="-96.3" font-family="Times,serif" font-size="14.00">rescheduled</text>
</g>
<!-- rescheduled->released -->
<g id="edge4" class="edge">
<title>rescheduled->released</title>
<path fill="none" stroke="black" d="M266.47,-90.21C282.51,-87.4 299.98,-84.34 315.94,-81.55"/>
<polygon fill="black" stroke="black" points="316.94,-84.93 326.18,-79.76 315.73,-78.04 316.94,-84.93"/>
</g>
</g>
</svg>
|
