Rodrigo Arias Mallo
815633221d
The nOS-V events are modified in two ways: 1) to create a parallel task the new VTC event must be used and 2) all task events for both normal (VTc) and parallel (VTC) tasks require an extra argument in the payload to indicate the body id. As a consequence, the nOS-V model version is now increased to 2.0.0. Additionally, all the channel PRV flags are set to PRV_SKIPDUPNULL, so duplicates are only emitted if they are not null. It solves the problem when a task switches to another task with the same body id. A new Paraver configuration is added for the body id.
70 lines
3.5 KiB
XML
70 lines
3.5 KiB
XML
<?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 8.1.0 (0)
|
|
-->
|
|
<!-- Pages: 1 -->
|
|
<svg width="432pt" height="202pt"
|
|
viewBox="0.00 0.00 432.00 202.47" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
|
|
<g id="graph0" class="graph" transform="scale(0.805048 0.805048) rotate(0) translate(4 247.5)">
|
|
<polygon fill="white" stroke="none" points="-4,4 -4,-247.5 532.61,-247.5 532.61,4 -4,4"/>
|
|
<!-- Created -->
|
|
<g id="node1" class="node">
|
|
<title>Created</title>
|
|
<ellipse fill="none" stroke="black" cx="246.61" cy="-225.5" rx="51.21" ry="18"/>
|
|
<text text-anchor="middle" x="246.61" y="-220.82" font-family="Times,serif" font-size="14.00">Created</text>
|
|
</g>
|
|
<!-- Running -->
|
|
<g id="node2" class="node">
|
|
<title>Running</title>
|
|
<ellipse fill="none" stroke="black" cx="246.61" cy="-138.5" rx="53.31" ry="18"/>
|
|
<text text-anchor="middle" x="246.61" y="-133.82" font-family="Times,serif" font-size="14.00">Running</text>
|
|
</g>
|
|
<!-- Created->Running -->
|
|
<g id="edge1" class="edge">
|
|
<title>Created->Running</title>
|
|
<path fill="none" stroke="black" d="M246.61,-207.3C246.61,-195.97 246.61,-180.86 246.61,-167.79"/>
|
|
<polygon fill="black" stroke="black" points="250.11,-167.97 246.61,-157.97 243.11,-167.97 250.11,-167.97"/>
|
|
</g>
|
|
<!-- Paused -->
|
|
<g id="node3" class="node">
|
|
<title>Paused</title>
|
|
<ellipse fill="none" stroke="black" cx="132.61" cy="-18" rx="47" ry="18"/>
|
|
<text text-anchor="middle" x="132.61" y="-13.32" font-family="Times,serif" font-size="14.00">Paused</text>
|
|
</g>
|
|
<!-- Running->Paused -->
|
|
<g id="edge2" class="edge">
|
|
<title>Running->Paused</title>
|
|
<path fill="none" stroke="black" d="M193.44,-135.87C130.26,-132.68 30.43,-123.26 7.11,-95.5 -2.75,-83.76 -1.84,-73.44 7.11,-61 22.79,-39.22 50.29,-28.57 75.56,-23.43"/>
|
|
<polygon fill="black" stroke="black" points="75.98,-26.73 85.22,-21.55 74.76,-19.84 75.98,-26.73"/>
|
|
<text text-anchor="middle" x="80.36" y="-73.58" font-family="Times,serif" font-size="14.00">BODY_FLAG_PAUSE</text>
|
|
</g>
|
|
<!-- Dead -->
|
|
<g id="node4" class="node">
|
|
<title>Dead</title>
|
|
<ellipse fill="none" stroke="black" cx="343.61" cy="-18" rx="37" ry="18"/>
|
|
<text text-anchor="middle" x="343.61" y="-13.32" font-family="Times,serif" font-size="14.00">Dead</text>
|
|
</g>
|
|
<!-- Running->Dead -->
|
|
<g id="edge4" class="edge">
|
|
<title>Running->Dead</title>
|
|
<path fill="none" stroke="black" d="M260.31,-120.77C276.79,-100.63 304.62,-66.64 323.53,-43.53"/>
|
|
<polygon fill="black" stroke="black" points="326.68,-46.22 330.3,-36.26 321.26,-41.78 326.68,-46.22"/>
|
|
</g>
|
|
<!-- Paused->Running -->
|
|
<g id="edge3" class="edge">
|
|
<title>Paused->Running</title>
|
|
<path fill="none" stroke="black" d="M148.33,-35.34C167.75,-55.52 200.96,-90.04 223.34,-113.31"/>
|
|
<polygon fill="black" stroke="black" points="220.31,-115.24 229.76,-120.02 225.35,-110.39 220.31,-115.24"/>
|
|
</g>
|
|
<!-- Dead->Running -->
|
|
<g id="edge5" class="edge">
|
|
<title>Dead->Running</title>
|
|
<path fill="none" stroke="black" d="M343.24,-36.22C342.05,-52.96 337.96,-78.31 324.61,-95.5 316.51,-105.94 305.06,-114.1 293.42,-120.34"/>
|
|
<polygon fill="black" stroke="black" points="292.09,-117.59 284.66,-125.14 295.18,-123.87 292.09,-117.59"/>
|
|
<text text-anchor="middle" x="434.11" y="-82.2" font-family="Times,serif" font-size="14.00">BODY_FLAG_RESURRECT</text>
|
|
<text text-anchor="middle" x="434.11" y="-64.95" font-family="Times,serif" font-size="14.00">iteration++</text>
|
|
</g>
|
|
</g>
|
|
</svg>
|