Subversion Repositories shark

Rev

Rev 1265 | Blame | Compare with Previous | Last modification | View Log | RSS feed

# 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 
#
# LOCAL SCHEDULER
#  POSIX  - DEFAULT FOR THE FRAMEWORK
#  EDF
#  RM
#
# TASK SECTION
#
# TASK TYPE:CONTRACT NUMBER:LOCAL SCHEDULER:NUMBER OF TASK:DEADLINE:WCET:TASK ACT TYPE (PAR1,PAR2,...):
# :TASK EXEC TYPE (PAR1,PAR2,...):CRITICAL SESSION (PAR1,PAR2,PAR3,PAR4);
#
# TASK TYPE
# OS - ONE_SHOT
# CT - CYCLICAL_TASK
# BT - BACKGROUND_TASK
#
# TASK EXEC TYPE
# EXEC_CONST(TIME) 
#   - CONSTANT EXEC TIME
# EXEC_MEAN(MEAN, DELTA) 
#   - VARIABLE EXEC TIME WITH CONSTANT DISTRIBUTION
#
# TASK ACTIVATION TIME
# ACT_SINGLE(START_TIME)
# ACT_PERIODIC(START_TIME, PERIOD)
# ACT_MEAN(START_TIME, MEAN, DELTA)
#
# CRITICAL SESSION
# CRIT(RES NUMBER, MEAN_START, DELTA_START, MEAN_LEN, DELTA_LEN)
# NO_CRIT
#

TOTAL_EXEC_TIME:[20][0];
# SIMULATION TOTAL TIME

CONTRACT SECTION

[0]:[0][3000]:[0][10000]:[0][3000]:[0][10000]:[0]:POSIX;
[1]:[0][6000]:[0][30000]:[0][6000]:[0][30000]:[0]:POSIX;
[2]:[0][3000]:[0][30000]:[0][3000]:[0][30000]:[0]:POSIX;
[3]:[0][6000]:[0][30000]:[0][6000]:[0][30000]:[0]:POSIX;

END

TASK SECTION

BT:[0]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([3][0]):
:EXEC_CONST([0][16000]):NO_CRIT;

BT:[1]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([4][0]):
:EXEC_CONST([0][16000]):NO_CRIT;

OS:[2]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([5][0]):
:EXEC_CONST([1][0]):NO_CRIT;

BT:[3]:POSIX:[10]:[0][0]:[0][0]:ACT_SINGLE([6][0]):
:EXEC_CONST([0][20000]):NO_CRIT;

END