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