diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-11-26 18:21:47 -0500 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-11-26 18:21:47 -0500 |
commit | 005f680d80e7c97ef2a34589cb2baa3e09db9f8e (patch) | |
tree | 8f7d6b7d9d7225abbb48050e95b989cdf5281d75 | |
parent | eff718df52ffeb21bff6b59a5584e5b641887832 (diff) |
Easier to inspect by hand if properly indented.
-rw-r--r-- | example/lock_example_1 | 52 | ||||
-rw-r--r-- | example/lock_example_2 | 87 | ||||
-rw-r--r-- | example/nolock_example_1 | 28 | ||||
-rw-r--r-- | example/nolock_example_2 | 98 |
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> | ||