Subversion Repositories shark

Rev

Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
1672 tullio 1
# CONTRACT SECTION
2
#
3
# CONTRACT NUMBER:CMIN:TMAX:CMAX:TMIN:WORKLOAD:DEADLINE: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
19
#  EDF
20
#  RM
21
#  NONE DEFAULT FROM THE FRAMEWORK
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
45
# CRIT(RES NUMBER, BLOCKING_TIME)
46
# NO_CRIT
47
#
48
 
49
TOTAL_EXEC_TIME:[20][0];
50
# SIMULATION TOTAL TIME
51
 
52
CONTRACT SECTION
53
 
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;
58
 
59
END
60
 
61
TASK SECTION
62
 
63
BT:[0]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([1][0]):
64
:EXEC_CONST([0][25000]):NO_CRIT;
65
 
66
BT:[1]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([2][0]):
67
:EXEC_CONST([0][16000]):NO_CRIT;
68
 
69
OS:[2]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([3][0]):
70
:EXEC_CONST([1][0]):NO_CRIT;
71
 
72
BT:[3]:POSIX:[5]:[0][0]:[0][0]:ACT_SINGLE([4][0]):
73
:EXEC_CONST([0][10000]):NO_CRIT;
74
 
75
END
76