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 /example/lock_example_1 | |
| parent | eff718df52ffeb21bff6b59a5584e5b641887832 (diff) | |
Easier to inspect by hand if properly indented.
Diffstat (limited to 'example/lock_example_1')
| -rw-r--r-- | example/lock_example_1 | 52 |
1 files changed, 51 insertions, 1 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> | ||