Rev 1243 | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
1244 | giacomo | 1 | # CONTRACT SECTION |
2 | # |
||
3 | # CONTRACT NUMBER:CMIN:TMAX:CMAX:TMIN:WORKLOAD |
||
4 | # |
||
5 | # CONTRACT NUMBER IS THE SERVER NUMBER |
||
6 | # |
||
7 | # TASK SECTION |
||
8 | # |
||
1237 | giacomo | 9 | # TASK TYPE:SERVER NUMBER:LOCAL SCHEDULER:NUMBER OF TASK:DEADLINE:WCET:TASK ACT TYPE (PAR1,PAR2,...): |
10 | # :TASK EXEC TYPE (PAR1,PAR2,...):CRITICAL SESSION (PAR1,PAR2,PAR3,PAR4); |
||
11 | # |
||
12 | # TASK TYPE |
||
13 | # OS - ONE_SHOT |
||
14 | # CT - CYCLICAL_TASK |
||
15 | # BT - BACKGROUND_TASK |
||
16 | # |
||
17 | # TASK EXEC TYPE |
||
18 | # EXEC_CONST(TIME) |
||
19 | # - CONSTANT EXEC TIME |
||
20 | # EXEC_MEAN(MEAN, DELTA) |
||
21 | # - VARIABLE EXEC TIME WITH CONSTANT DISTRIBUTION |
||
22 | # |
||
23 | # TASK ACTIVATION TIME |
||
24 | # ACT_SINGLE(START_TIME) |
||
25 | # ACT_PERIODIC(START_TIME, PERIOD) |
||
26 | # ACT_MEAN(START_TIME, MEAN, DELTA) |
||
27 | # |
||
28 | # CRITICAL SESSION |
||
29 | # CRIT(RES NUMBER, MEAN_START, DELTA_START, MEAN_LEN, DELTA_LEN) |
||
30 | # NO_CRIT |
||
31 | # |
||
32 | |||
33 | TOTAL_EXEC_TIME:[20][0]; |
||
34 | |||
1244 | giacomo | 35 | CONTRACT SECTION |
36 | |||
37 | [0]:[0][3000]:[0][10000]:[0][3000]:[0][10000]; |
||
38 | [1]:[0][6000]:[0][30000]:[0][6000]:[0][30000]; |
||
39 | [2]:[0][3000]:[0][30000]:[0][3000]:[0][30000]; |
||
40 | [3]:[0][6000]:[0][30000]:[0][6000]:[0][30000]; |
||
41 | |||
42 | END |
||
43 | |||
44 | TASK SECTION |
||
45 | |||
46 | BT:[0]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([3][0]): |
||
47 | :EXEC_CONST([0][16000]):CRIT([1],[0][500],[0][1000],[0][5000],[0][10000]); |
||
48 | |||
49 | BT:[1]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([4][0]): |
||
1237 | giacomo | 50 | :EXEC_CONST([0][16000]):CRIT([2],[0][500],[0][1000],[0][5000],[0][10000]); |
51 | |||
1244 | giacomo | 52 | BT:[2]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([5][0]): |
53 | :EXEC_CONST([0][16000]):CRIT([3],[0][500],[0][1000],[0][5000],[0][10000]); |
||
54 | |||
55 | CT:[3]:EDF:[1]:[1][0]:[0][100000]:ACT_PERIODIC([6][0],[1][0]): |
||
56 | :EXEC_CONST([0][20000]):CRIT([4],[0][500],[0][1000],[0][5000],[0][10000]); |
||
57 | |||
1237 | giacomo | 58 | END |