| 1,7 → 1,15 |
|---|
| # CONTRACT SECTION |
| # |
| # |
| # CONTRACT NUMBER:CMIN:TMAX:CMAX:TMIN:WORKLOAD:LOCAL SCHEDULER |
| # |
| # YOU WILL HAVE A SERVER FOR EACH SPECIFIED CONTRACT, |
| # SO IN THE TASK SECTION YOU CAN SPECIFY THE "CONTRACT NUMBER" |
| # INSTEAD OF THE SERVER NUMBER, WHICH IS CALCULATED INSIDE THE |
| # LOADER |
| # |
| # ALL THE TIME PARAMETERS INSIDE THIS FILE ARE ALWAYS EXPRESSED AS |
| # "[SECONDS][MICROSECONDS]" TO AVOID FLOATING POINT CALCULATIONS |
| # |
| # WORKLOAD |
| # 0 BOUNDED |
| # 1 INDETERMINATED |
| 51,15 → 59,15 |
|---|
| TASK SECTION |
| |
| BT:[0]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([3][0]): |
| :EXEC_CONST([0][16000]):CRIT([1],[0][500],[0][1000],[0][5000],[0][10000]); |
| :EXEC_CONST([0][16000]):NO_CRIT; |
| |
| BT:[1]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([4][0]): |
| :EXEC_CONST([0][16000]):CRIT([2],[0][500],[0][1000],[0][5000],[0][10000]); |
| :EXEC_CONST([0][16000]):NO_CRIT; |
| |
| BT:[2]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([5][0]): |
| :EXEC_CONST([0][16000]):CRIT([3],[0][500],[0][1000],[0][5000],[0][10000]); |
| :EXEC_CONST([0][16000]):NO_CRIT; |
| |
| CT:[3]:EDF:[1]:[1][0]:[0][100000]:ACT_PERIODIC([6][0],[1][0]): |
| :EXEC_CONST([0][20000]):CRIT([4],[0][500],[0][1000],[0][5000],[0][10000]); |
| BT:[3]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([6][0]): |
| :EXEC_CONST([0][20000]):NO_CRIT; |
| |
| END |