Rev 1442 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 1254 | giacomo | 1 | # CONTRACT SECTION |
| 2 | # |
||
| 1442 | giacomo | 3 | # CONTRACT NUMBER:CMIN:TMAX:CMAX:TMIN:WORKLOAD:DEADLINE:LOCAL SCHEDULER |
| 1254 | giacomo | 4 | # |
| 5 | # YOU WILL HAVE A SERVER FOR EACH SPECIFIED CONTRACT, |
||
| 6 | # SO IN THE TASK SECTION YOU CAN SPECIFY THE "CONTRACT NUMBER" |
||
| 7 | # INSTEAD OF THE SERVER NUMBER, WHICH IS CALCULATED INSIDE THE |
||
| 8 | # LOADER |
||
| 9 | # |
||
| 10 | # ALL THE TIME PARAMETERS INSIDE THIS FILE ARE ALWAYS EXPRESSED AS |
||
| 11 | # "[SECONDS][MICROSECONDS]" TO AVOID FLOATING POINT CALCULATIONS |
||
| 12 | # |
||
| 13 | # WORKLOAD |
||
| 14 | # 0 BOUNDED |
||
| 15 | # 1 INDETERMINATED |
||
| 16 | # |
||
| 17 | # LOCAL SCHEDULER |
||
| 1540 | trimarchi | 18 | # POSIX |
| 1254 | giacomo | 19 | # EDF |
| 20 | # RM |
||
| 1540 | trimarchi | 21 | # NONE DEFAULT FROM THE FRAMEWORK |
| 1254 | giacomo | 22 | # |
| 23 | # TASK SECTION |
||
| 24 | # |
||
| 25 | # TASK TYPE:CONTRACT NUMBER:LOCAL SCHEDULER:NUMBER OF TASK:DEADLINE:WCET:TASK ACT TYPE (PAR1,PAR2,...): |
||
| 26 | # :TASK EXEC TYPE (PAR1,PAR2,...):CRITICAL SESSION (PAR1,PAR2,PAR3,PAR4); |
||
| 27 | # |
||
| 28 | # TASK TYPE |
||
| 29 | # OS - ONE_SHOT |
||
| 30 | # CT - CYCLICAL_TASK |
||
| 31 | # BT - BACKGROUND_TASK |
||
| 32 | # |
||
| 33 | # TASK EXEC TYPE |
||
| 34 | # EXEC_CONST(TIME) |
||
| 35 | # - CONSTANT EXEC TIME |
||
| 36 | # EXEC_MEAN(MEAN, DELTA) |
||
| 37 | # - VARIABLE EXEC TIME WITH CONSTANT DISTRIBUTION |
||
| 38 | # |
||
| 39 | # TASK ACTIVATION TIME |
||
| 40 | # ACT_SINGLE(START_TIME) |
||
| 41 | # ACT_PERIODIC(START_TIME, PERIOD) |
||
| 42 | # ACT_MEAN(START_TIME, MEAN, DELTA) |
||
| 43 | # |
||
| 44 | # CRITICAL SESSION |
||
| 1304 | giacomo | 45 | # CRIT(RES NUMBER, BLOCKING_TIME) |
| 1254 | giacomo | 46 | # NO_CRIT |
| 47 | # |
||
| 48 | |||
| 49 | TOTAL_EXEC_TIME:[20][0]; |
||
| 50 | # SIMULATION TOTAL TIME |
||
| 51 | |||
| 52 | CONTRACT SECTION |
||
| 53 | |||
| 1442 | giacomo | 54 | [0]:[0][3000]:[0][10000]:[0][3000]:[0][10000]:[0]:[0][9000]:POSIX; |
| 55 | [1]:[0][6000]:[0][30000]:[0][6000]:[0][30000]:[0]:[0][0]:POSIX; |
||
| 56 | [2]:[0][3000]:[0][30000]:[0][3000]:[0][30000]:[0]:[0][0]:POSIX; |
||
| 57 | [3]:[0][3000]:[0][20000]:[0][3000]:[0][20000]:[0]:[0][0]:POSIX; |
||
| 1254 | giacomo | 58 | |
| 59 | END |
||
| 60 | |||
| 61 | TASK SECTION |
||
| 62 | |||
| 1303 | giacomo | 63 | BT:[0]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([1][0]): |
| 1304 | giacomo | 64 | :EXEC_CONST([0][25000]):NO_CRIT; |
| 1254 | giacomo | 65 | |
| 1303 | giacomo | 66 | BT:[1]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([2][0]): |
| 1254 | giacomo | 67 | :EXEC_CONST([0][16000]):NO_CRIT; |
| 68 | |||
| 1303 | giacomo | 69 | OS:[2]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([3][0]): |
| 1265 | giacomo | 70 | :EXEC_CONST([1][0]):NO_CRIT; |
| 1254 | giacomo | 71 | |
| 1304 | giacomo | 72 | BT:[3]:POSIX:[5]:[0][0]:[0][0]:ACT_SINGLE([4][0]): |
| 73 | :EXEC_CONST([0][10000]):NO_CRIT; |
||
| 1254 | giacomo | 74 | |
| 75 | END |
||
| 1303 | giacomo | 76 |