diff options
| author | Andrea Bastoni <bastoni@cs.unc.edu> | 2010-09-22 12:06:26 -0400 |
|---|---|---|
| committer | Andrea Bastoni <bastoni@cs.unc.edu> | 2010-09-22 12:06:52 -0400 |
| commit | 96e576554fb76b6162adf7c8e96e3efa3dc8b256 (patch) | |
| tree | 89f9e3005a28070eea2a042851cef596219fdfa3 /src | |
| parent | 2ab941c97d32c0f3314ec3e6482a0fc017bac918 (diff) | |
Add rtspin_edffm launcher function
It reads the parameter for a task from a text file. The format is:
- <task-id, wcet, period, phase, firstcpu, number of slices> (for task
parameters).
- <task-id, cpu, deadline, wcet, phase> (for slices).
Example:
15 2.96343109764 10 0 3 7
15 3 1.428571 1.175260 0.000000
15 7 2.857143 0.700065 1.428571
15 2 4.285714 0.504732 2.857143
15 0 5.714286 0.279637 4.285714
15 1 7.142857 0.185294 5.714286
15 4 8.571429 0.065379 7.142857
15 6 10.000000 0.053062 8.571429
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions