0,0 → 1,72 |
# CONTRACT SECTION |
# |
# CONTRACT NUMBER:CMIN:TMAX:CMAX:TMIN:WORKLOAD:DEADLINE: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, BLOCKING_TIME) |
# NO_CRIT |
# |
|
TOTAL_EXEC_TIME:[40][900000]; |
# SIMULATION TOTAL TIME |
|
CONTRACT SECTION |
|
[0]:[0][3000]:[0][10000]:[0][3000]:[0][10000]:[0]:[0][0]:POSIX; |
[1]:[0][6000]:[0][30000]:[0][6000]:[0][30000]:[0]:[0][0]:EDF; |
[2]:[0][6000]:[0][60000]:[0][6000]:[0][60000]:[0]:[0][0]:EDF; |
|
|
END |
|
TASK SECTION |
|
BT:[0]:POSIX:[3]:[0][0]:[0][0]:ACT_SINGLE([5][0]): |
:EXEC_CONST([0][25000]):CRIT([0],[0][10000]); |
|
CT:[1]:EDF:[3]:[1][0]:[0][40000]:ACT_PERIODIC([0][0],[1][0]): |
:EXEC_CONST([0][16000]):CRIT([0],[0][10000]); |
|
CT:[2]:EDF:[7]:[1][0]:[0][40000]:ACT_PERIODIC([1][0],[1][0]): |
:EXEC_CONST([0][16000]):CRIT([0],[0][10000]); |
|
END |
|