aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--example/lock_example_152
-rw-r--r--example/lock_example_287
-rw-r--r--example/nolock_example_128
-rw-r--r--example/nolock_example_298
4 files changed, 261 insertions, 4 deletions
diff --git a/example/lock_example_1 b/example/lock_example_1
index 2839265..b5e9ef5 100644
--- a/example/lock_example_1
+++ b/example/lock_example_1
@@ -1 +1,51 @@
1<taskset><properties count="11" density="7.85158993665" density_q="92233435393882371160571/11747102961070953840000" hyperperiod="11747102961070953840000" utilization="7.85158993665" utilization_q="92233435393882371160571/11747102961070953840000" /><task period="221000" wcet="175446"><resources /></task><task period="249000" wcet="143983"><resources><requirement max_read_length="0" max_reads="0" max_write_length="14" max_writes="4" res_id="5" /></resources></task><task period="67000" wcet="56926"><resources><requirement max_read_length="0" max_reads="0" max_write_length="7" max_writes="4" res_id="2" /></resources></task><task period="105000" wcet="60381"><resources><requirement max_read_length="0" max_reads="0" max_write_length="15" max_writes="5" res_id="0" /></resources></task><task period="123000" wcet="69329"><resources /></task><task period="177000" wcet="144666"><resources /></task><task period="211000" wcet="142041"><resources /></task><task period="236000" wcet="167824"><resources><requirement max_read_length="0" max_reads="0" max_write_length="7" max_writes="3" res_id="4" /></resources></task><task period="240000" wcet="184243"><resources><requirement max_read_length="0" max_reads="0" max_write_length="15" max_writes="4" res_id="1" /></resources></task><task period="157000" wcet="109222"><resources><requirement max_read_length="0" max_reads="0" max_write_length="11" max_writes="5" res_id="4" /></resources></task><task period="71000" wcet="58656"><resources><requirement max_read_length="0" max_reads="0" max_write_length="15" max_writes="1" res_id="5" /></resources></task></taskset> \ No newline at end of file 1<?xml version="1.0"?>
2<taskset>
3 <properties count="11" density="7.85158993665" density_q="92233435393882371160571/11747102961070953840000" hyperperiod="11747102961070953840000" utilization="7.85158993665" utilization_q="92233435393882371160571/11747102961070953840000"/>
4 <task period="221000" wcet="175446">
5 <resources/>
6 </task>
7 <task period="249000" wcet="143983">
8 <resources>
9 <requirement max_read_length="0" max_reads="0" max_write_length="14" max_writes="4" res_id="5"/>
10 </resources>
11 </task>
12 <task period="67000" wcet="56926">
13 <resources>
14 <requirement max_read_length="0" max_reads="0" max_write_length="7" max_writes="4" res_id="2"/>
15 </resources>
16 </task>
17 <task period="105000" wcet="60381">
18 <resources>
19 <requirement max_read_length="0" max_reads="0" max_write_length="15" max_writes="5" res_id="0"/>
20 </resources>
21 </task>
22 <task period="123000" wcet="69329">
23 <resources/>
24 </task>
25 <task period="177000" wcet="144666">
26 <resources/>
27 </task>
28 <task period="211000" wcet="142041">
29 <resources/>
30 </task>
31 <task period="236000" wcet="167824">
32 <resources>
33 <requirement max_read_length="0" max_reads="0" max_write_length="7" max_writes="3" res_id="4"/>
34 </resources>
35 </task>
36 <task period="240000" wcet="184243">
37 <resources>
38 <requirement max_read_length="0" max_reads="0" max_write_length="15" max_writes="4" res_id="1"/>
39 </resources>
40 </task>
41 <task period="157000" wcet="109222">
42 <resources>
43 <requirement max_read_length="0" max_reads="0" max_write_length="11" max_writes="5" res_id="4"/>
44 </resources>
45 </task>
46 <task period="71000" wcet="58656">
47 <resources>
48 <requirement max_read_length="0" max_reads="0" max_write_length="15" max_writes="1" res_id="5"/>
49 </resources>
50 </task>
51</taskset>
diff --git a/example/lock_example_2 b/example/lock_example_2
index b49377a..1b92eb0 100644
--- a/example/lock_example_2
+++ b/example/lock_example_2
@@ -1 +1,86 @@
1<taskset><properties count="22" density="5.7599727736" density_q="1604904754577192741/278630614702440000" hyperperiod="1114522458809760000" utilization="5.7599727736" utilization_q="1604904754577192741/278630614702440000" /><task period="10000" wcet="2382"><resources><requirement max_read_length="0" max_reads="0" max_write_length="99" max_writes="3" res_id="1" /></resources></task><task period="45000" wcet="17247"><resources><requirement max_read_length="0" max_reads="0" max_write_length="74" max_writes="3" res_id="5" /></resources></task><task period="78000" wcet="17960"><resources><requirement max_read_length="0" max_reads="0" max_write_length="96" max_writes="4" res_id="1" /></resources></task><task period="60000" wcet="10573"><resources /></task><task period="32000" wcet="8164"><resources /></task><task period="39000" wcet="9989"><resources /></task><task period="33000" wcet="11992"><resources /></task><task period="42000" wcet="12914"><resources /></task><task period="46000" wcet="12877"><resources /></task><task period="46000" wcet="13775"><resources /></task><task period="74000" wcet="20500"><resources><requirement max_read_length="0" max_reads="0" max_write_length="97" max_writes="5" res_id="2" /></resources></task><task period="72000" wcet="7975"><resources /></task><task period="65000" wcet="20947"><resources /></task><task period="88000" wcet="18770"><resources /></task><task period="53000" wcet="12232"><resources /></task><task period="28000" wcet="9137"><resources><requirement max_read_length="0" max_reads="0" max_write_length="28" max_writes="1" res_id="1" /></resources></task><task period="98000" wcet="32868"><resources><requirement max_read_length="0" max_reads="0" max_write_length="63" max_writes="3" res_id="4" /></resources></task><task period="31000" wcet="11490"><resources><requirement max_read_length="0" max_reads="0" max_write_length="93" max_writes="1" res_id="3" /></resources></task><task period="16000" wcet="4587"><resources /></task><task period="63000" wcet="7244"><resources /></task><task period="80000" wcet="10495"><resources><requirement max_read_length="0" max_reads="0" max_write_length="75" max_writes="4" res_id="2" /></resources></task><task period="79000" wcet="19842"><resources /></task></taskset> \ No newline at end of file 1<?xml version="1.0"?>
2<taskset>
3 <properties count="22" density="5.7599727736" density_q="1604904754577192741/278630614702440000" hyperperiod="1114522458809760000" utilization="5.7599727736" utilization_q="1604904754577192741/278630614702440000"/>
4 <task period="10000" wcet="2382">
5 <resources>
6 <requirement max_read_length="0" max_reads="0" max_write_length="99" max_writes="3" res_id="1"/>
7 </resources>
8 </task>
9 <task period="45000" wcet="17247">
10 <resources>
11 <requirement max_read_length="0" max_reads="0" max_write_length="74" max_writes="3" res_id="5"/>
12 </resources>
13 </task>
14 <task period="78000" wcet="17960">
15 <resources>
16 <requirement max_read_length="0" max_reads="0" max_write_length="96" max_writes="4" res_id="1"/>
17 </resources>
18 </task>
19 <task period="60000" wcet="10573">
20 <resources/>
21 </task>
22 <task period="32000" wcet="8164">
23 <resources/>
24 </task>
25 <task period="39000" wcet="9989">
26 <resources/>
27 </task>
28 <task period="33000" wcet="11992">
29 <resources/>
30 </task>
31 <task period="42000" wcet="12914">
32 <resources/>
33 </task>
34 <task period="46000" wcet="12877">
35 <resources/>
36 </task>
37 <task period="46000" wcet="13775">
38 <resources/>
39 </task>
40 <task period="74000" wcet="20500">
41 <resources>
42 <requirement max_read_length="0" max_reads="0" max_write_length="97" max_writes="5" res_id="2"/>
43 </resources>
44 </task>
45 <task period="72000" wcet="7975">
46 <resources/>
47 </task>
48 <task period="65000" wcet="20947">
49 <resources/>
50 </task>
51 <task period="88000" wcet="18770">
52 <resources/>
53 </task>
54 <task period="53000" wcet="12232">
55 <resources/>
56 </task>
57 <task period="28000" wcet="9137">
58 <resources>
59 <requirement max_read_length="0" max_reads="0" max_write_length="28" max_writes="1" res_id="1"/>
60 </resources>
61 </task>
62 <task period="98000" wcet="32868">
63 <resources>
64 <requirement max_read_length="0" max_reads="0" max_write_length="63" max_writes="3" res_id="4"/>
65 </resources>
66 </task>
67 <task period="31000" wcet="11490">
68 <resources>
69 <requirement max_read_length="0" max_reads="0" max_write_length="93" max_writes="1" res_id="3"/>
70 </resources>
71 </task>
72 <task period="16000" wcet="4587">
73 <resources/>
74 </task>
75 <task period="63000" wcet="7244">
76 <resources/>
77 </task>
78 <task period="80000" wcet="10495">
79 <resources>
80 <requirement max_read_length="0" max_reads="0" max_write_length="75" max_writes="4" res_id="2"/>
81 </resources>
82 </task>
83 <task period="79000" wcet="19842">
84 <resources/>
85 </task>
86</taskset>
diff --git a/example/nolock_example_1 b/example/nolock_example_1
index 1dbeb8a..1e29389 100644
--- a/example/nolock_example_1
+++ b/example/nolock_example_1
@@ -1 +1,27 @@
1<taskset><properties count="23" density="15.4729907718" density_q="20410015300950549083507309309/1319073707335068058096800000" hyperperiod="699109064887586070791304000000" utilization="15.4729907718" utilization_q="20410015300950549083507309309/1319073707335068058096800000" /><task period="92000" wcet="77458" /><task period="231000" wcet="136533" /><task period="162000" wcet="81968" /><task period="246000" wcet="185116" /><task period="162000" wcet="91878" /><task period="223000" wcet="175137" /><task period="53000" wcet="36093" /><task period="193000" wcet="122459" /><task period="227000" wcet="134213" /><task period="236000" wcet="194596" /><task period="196000" wcet="115232" /><task period="201000" wcet="134545" /><task period="177000" wcet="117609" /><task period="64000" wcet="34458" /><task period="80000" wcet="64850" /><task period="187000" wcet="98045" /><task period="125000" wcet="105110" /><task period="244000" wcet="166497" /><task period="123000" wcet="74986" /><task period="204000" wcet="125921" /><task period="119000" wcet="83377" /><task period="112000" wcet="88028" /><task period="81000" wcet="53934" /></taskset> \ No newline at end of file 1<?xml version="1.0"?>
2<taskset>
3 <properties count="23" density="15.4729907718" density_q="20410015300950549083507309309/1319073707335068058096800000" hyperperiod="699109064887586070791304000000" utilization="15.4729907718" utilization_q="20410015300950549083507309309/1319073707335068058096800000"/>
4 <task period="92000" wcet="77458"/>
5 <task period="231000" wcet="136533"/>
6 <task period="162000" wcet="81968"/>
7 <task period="246000" wcet="185116"/>
8 <task period="162000" wcet="91878"/>
9 <task period="223000" wcet="175137"/>
10 <task period="53000" wcet="36093"/>
11 <task period="193000" wcet="122459"/>
12 <task period="227000" wcet="134213"/>
13 <task period="236000" wcet="194596"/>
14 <task period="196000" wcet="115232"/>
15 <task period="201000" wcet="134545"/>
16 <task period="177000" wcet="117609"/>
17 <task period="64000" wcet="34458"/>
18 <task period="80000" wcet="64850"/>
19 <task period="187000" wcet="98045"/>
20 <task period="125000" wcet="105110"/>
21 <task period="244000" wcet="166497"/>
22 <task period="123000" wcet="74986"/>
23 <task period="204000" wcet="125921"/>
24 <task period="119000" wcet="83377"/>
25 <task period="112000" wcet="88028"/>
26 <task period="81000" wcet="53934"/>
27</taskset>
diff --git a/example/nolock_example_2 b/example/nolock_example_2
index edf8278..e17b69d 100644
--- a/example/nolock_example_2
+++ b/example/nolock_example_2
@@ -1 +1,97 @@
1<taskset><properties count="93" density="23.8690492596" density_q="6627145063351516115645722292083155893/277645958633589084681600693034800000" hyperperiod="1110583834534356338726402772139200000" utilization="23.8690492596" utilization_q="6627145063351516115645722292083155893/277645958633589084681600693034800000" /><task period="40000" wcet="7823" /><task period="85000" wcet="21973" /><task period="69000" wcet="10891" /><task period="70000" wcet="19803" /><task period="28000" wcet="3332" /><task period="24000" wcet="4638" /><task period="80000" wcet="22214" /><task period="82000" wcet="22113" /><task period="40000" wcet="13518" /><task period="11000" wcet="4284" /><task period="52000" wcet="12860" /><task period="70000" wcet="21566" /><task period="50000" wcet="12938" /><task period="34000" wcet="5182" /><task period="95000" wcet="27380" /><task period="55000" wcet="6655" /><task period="35000" wcet="13565" /><task period="58000" wcet="14055" /><task period="22000" wcet="4461" /><task period="21000" wcet="7742" /><task period="12000" wcet="2904" /><task period="34000" wcet="5240" /><task period="47000" wcet="13541" /><task period="22000" wcet="3179" /><task period="89000" wcet="30755" /><task period="80000" wcet="22142" /><task period="89000" wcet="25017" /><task period="63000" wcet="23054" /><task period="100000" wcet="33087" /><task period="84000" wcet="18144" /><task period="66000" wcet="20519" /><task period="82000" wcet="24846" /><task period="44000" wcet="9175" /><task period="82000" wcet="23896" /><task period="95000" wcet="19420" /><task period="37000" wcet="11292" /><task period="54000" wcet="12790" /><task period="15000" wcet="4783" /><task period="49000" wcet="12355" /><task period="37000" wcet="6050" /><task period="15000" wcet="3334" /><task period="64000" wcet="12312" /><task period="73000" wcet="9294" /><task period="100000" wcet="20964" /><task period="54000" wcet="13164" /><task period="58000" wcet="18485" /><task period="59000" wcet="19738" /><task period="61000" wcet="22190" /><task period="17000" wcet="3954" /><task period="91000" wcet="33822" /><task period="19000" wcet="3152" /><task period="49000" wcet="9729" /><task period="61000" wcet="17349" /><task period="62000" wcet="7829" /><task period="90000" wcet="27242" /><task period="79000" wcet="25814" /><task period="17000" wcet="5000" /><task period="29000" wcet="10661" /><task period="38000" wcet="14647" /><task period="72000" wcet="26103" /><task period="59000" wcet="20259" /><task period="52000" wcet="16709" /><task period="55000" wcet="21465" /><task period="10000" wcet="2338" /><task period="50000" wcet="19175" /><task period="39000" wcet="7340" /><task period="82000" wcet="28919" /><task period="38000" wcet="11151" /><task period="19000" wcet="6879" /><task period="44000" wcet="8397" /><task period="32000" wcet="9285" /><task period="86000" wcet="11230" /><task period="52000" wcet="8549" /><task period="97000" wcet="38408" /><task period="60000" wcet="23572" /><task period="38000" wcet="6871" /><task period="39000" wcet="6948" /><task period="25000" wcet="8211" /><task period="60000" wcet="16720" /><task period="89000" wcet="13898" /><task period="57000" wcet="9284" /><task period="96000" wcet="34337" /><task period="12000" wcet="1349" /><task period="39000" wcet="7760" /><task period="90000" wcet="10683" /><task period="61000" wcet="7304" /><task period="45000" wcet="10028" /><task period="76000" wcet="14510" /><task period="49000" wcet="7098" /><task period="40000" wcet="6461" /><task period="32000" wcet="6894" /><task period="94000" wcet="26106" /><task period="33000" wcet="9900" /></taskset> \ No newline at end of file 1<?xml version="1.0"?>
2<taskset>
3 <properties count="93" density="23.8690492596" density_q="6627145063351516115645722292083155893/277645958633589084681600693034800000" hyperperiod="1110583834534356338726402772139200000" utilization="23.8690492596" utilization_q="6627145063351516115645722292083155893/277645958633589084681600693034800000"/>
4 <task period="40000" wcet="7823"/>
5 <task period="85000" wcet="21973"/>
6 <task period="69000" wcet="10891"/>
7 <task period="70000" wcet="19803"/>
8 <task period="28000" wcet="3332"/>
9 <task period="24000" wcet="4638"/>
10 <task period="80000" wcet="22214"/>
11 <task period="82000" wcet="22113"/>
12 <task period="40000" wcet="13518"/>
13 <task period="11000" wcet="4284"/>
14 <task period="52000" wcet="12860"/>
15 <task period="70000" wcet="21566"/>
16 <task period="50000" wcet="12938"/>
17 <task period="34000" wcet="5182"/>
18 <task period="95000" wcet="27380"/>
19 <task period="55000" wcet="6655"/>
20 <task period="35000" wcet="13565"/>
21 <task period="58000" wcet="14055"/>
22 <task period="22000" wcet="4461"/>
23 <task period="21000" wcet="7742"/>
24 <task period="12000" wcet="2904"/>
25 <task period="34000" wcet="5240"/>
26 <task period="47000" wcet="13541"/>
27 <task period="22000" wcet="3179"/>
28 <task period="89000" wcet="30755"/>
29 <task period="80000" wcet="22142"/>
30 <task period="89000" wcet="25017"/>
31 <task period="63000" wcet="23054"/>
32 <task period="100000" wcet="33087"/>
33 <task period="84000" wcet="18144"/>
34 <task period="66000" wcet="20519"/>
35 <task period="82000" wcet="24846"/>
36 <task period="44000" wcet="9175"/>
37 <task period="82000" wcet="23896"/>
38 <task period="95000" wcet="19420"/>
39 <task period="37000" wcet="11292"/>
40 <task period="54000" wcet="12790"/>
41 <task period="15000" wcet="4783"/>
42 <task period="49000" wcet="12355"/>
43 <task period="37000" wcet="6050"/>
44 <task period="15000" wcet="3334"/>
45 <task period="64000" wcet="12312"/>
46 <task period="73000" wcet="9294"/>
47 <task period="100000" wcet="20964"/>
48 <task period="54000" wcet="13164"/>
49 <task period="58000" wcet="18485"/>
50 <task period="59000" wcet="19738"/>
51 <task period="61000" wcet="22190"/>
52 <task period="17000" wcet="3954"/>
53 <task period="91000" wcet="33822"/>
54 <task period="19000" wcet="3152"/>
55 <task period="49000" wcet="9729"/>
56 <task period="61000" wcet="17349"/>
57 <task period="62000" wcet="7829"/>
58 <task period="90000" wcet="27242"/>
59 <task period="79000" wcet="25814"/>
60 <task period="17000" wcet="5000"/>
61 <task period="29000" wcet="10661"/>
62 <task period="38000" wcet="14647"/>
63 <task period="72000" wcet="26103"/>
64 <task period="59000" wcet="20259"/>
65 <task period="52000" wcet="16709"/>
66 <task period="55000" wcet="21465"/>
67 <task period="10000" wcet="2338"/>
68 <task period="50000" wcet="19175"/>
69 <task period="39000" wcet="7340"/>
70 <task period="82000" wcet="28919"/>
71 <task period="38000" wcet="11151"/>
72 <task period="19000" wcet="6879"/>
73 <task period="44000" wcet="8397"/>
74 <task period="32000" wcet="9285"/>
75 <task period="86000" wcet="11230"/>
76 <task period="52000" wcet="8549"/>
77 <task period="97000" wcet="38408"/>
78 <task period="60000" wcet="23572"/>
79 <task period="38000" wcet="6871"/>
80 <task period="39000" wcet="6948"/>
81 <task period="25000" wcet="8211"/>
82 <task period="60000" wcet="16720"/>
83 <task period="89000" wcet="13898"/>
84 <task period="57000" wcet="9284"/>
85 <task period="96000" wcet="34337"/>
86 <task period="12000" wcet="1349"/>
87 <task period="39000" wcet="7760"/>
88 <task period="90000" wcet="10683"/>
89 <task period="61000" wcet="7304"/>
90 <task period="45000" wcet="10028"/>
91 <task period="76000" wcet="14510"/>
92 <task period="49000" wcet="7098"/>
93 <task period="40000" wcet="6461"/>
94 <task period="32000" wcet="6894"/>
95 <task period="94000" wcet="26106"/>
96 <task period="33000" wcet="9900"/>
97</taskset>
generated by cgit v1.2.2 (git 2.25.0) at 2024-05-19 13:56:17 -0400