diff options
Diffstat (limited to 'example/lock_example_2')
| -rw-r--r-- | example/lock_example_2 | 87 |
1 files changed, 86 insertions, 1 deletions
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> | ||