Subversion Repositories shark

Rev

Rev 1262 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1254 giacomo 1
# CONTRACT SECTION
2
#
3
# CONTRACT NUMBER:CMIN:TMAX:CMAX:TMIN:WORKLOAD:LOCAL SCHEDULER
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
18
#  POSIX  - DEFAULT FOR THE FRAMEWORK
19
#  EDF
20
#  RM
21
#
22
# TASK SECTION
23
#
24
# TASK TYPE:CONTRACT NUMBER:LOCAL SCHEDULER:NUMBER OF TASK:DEADLINE:WCET:TASK ACT TYPE (PAR1,PAR2,...):
25
# :TASK EXEC TYPE (PAR1,PAR2,...):CRITICAL SESSION (PAR1,PAR2,PAR3,PAR4);
26
#
27
# TASK TYPE
28
# OS - ONE_SHOT
29
# CT - CYCLICAL_TASK
30
# BT - BACKGROUND_TASK
31
#
32
# TASK EXEC TYPE
33
# EXEC_CONST(TIME)
34
#   - CONSTANT EXEC TIME
35
# EXEC_MEAN(MEAN, DELTA)
36
#   - VARIABLE EXEC TIME WITH CONSTANT DISTRIBUTION
37
#
38
# TASK ACTIVATION TIME
39
# ACT_SINGLE(START_TIME)
40
# ACT_PERIODIC(START_TIME, PERIOD)
41
# ACT_MEAN(START_TIME, MEAN, DELTA)
42
#
43
# CRITICAL SESSION
44
# CRIT(RES NUMBER, MEAN_START, DELTA_START, MEAN_LEN, DELTA_LEN)
45
# NO_CRIT
46
#
47
 
48
TOTAL_EXEC_TIME:[20][0];
49
# SIMULATION TOTAL TIME
50
 
51
CONTRACT SECTION
52
 
53
[0]:[0][3000]:[0][10000]:[0][3000]:[0][10000]:[0]:POSIX;
54
[1]:[0][6000]:[0][30000]:[0][6000]:[0][30000]:[0]:POSIX;
55
[2]:[0][3000]:[0][30000]:[0][3000]:[0][30000]:[0]:POSIX;
1262 giacomo 56
[3]:[0][6000]:[0][30000]:[0][6000]:[0][30000]:[0]:EDF;
1254 giacomo 57
 
58
END
59
 
60
TASK SECTION
61
 
62
BT:[0]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([3][0]):
63
:EXEC_CONST([0][16000]):NO_CRIT;
64
 
65
BT:[1]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([4][0]):
66
:EXEC_CONST([0][16000]):NO_CRIT;
67
 
1265 giacomo 68
OS:[2]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([5][0]):
69
:EXEC_CONST([1][0]):NO_CRIT;
1254 giacomo 70
 
1265 giacomo 71
CT:[3]:EDF:[10]:[1][0]:[0][100000]:ACT_PERIODIC([1][0],[1][0]):
1262 giacomo 72
:EXEC_CONST([0][20000]):NO_CRIT;
1254 giacomo 73
 
74
END