author: Ted Baker<
These programs were compiled and tested using GNAT GPL version 4-1-2008 under 64-bit Linux on an Intel platform.
Use make to compile all the test programs.
Run "test_four" to generate data that can be plotted with Gnuplot on files "EDFAA.pts", etc.
To plot the data, use "make plots", and then look in subdirectory plots.
The test programs (test_xxxx) write a little to the standard output file, but write most of their output to a correspondingly named log-file "test_xxx.log".
To vary the amount of trace information logged, change the value of the variable Debug_Level that is set in each test's main progra (test_xxxx.adb). (If I get time I will some day modify the programs to accept a command line parameter to specify this.)
To implement a new scheduling policy (say "XXX"), create new files "threads-sched_XXX.ads" and "threads-sched_XXX.adb", starting from one of the pairs below. Make changes as appropriate for your policy. To test, modify one or more of the test programs below, replacing "DSS" by "XXX" at apprpriate places.
Test programs and other configurable files:
test_zero.adb - tests simulation of one periodic task, using EDF scheduling.
test_one.adb - tests simulation of one aperiodic task, using DSS schedulnig.
test_two.adb - tests simulation of a system of two tasks: one aperiodic task, using DSS scheduling, and one periodic task, using EDF scheduling.
test_three.adb - tests simulation of a system of three tasks: one aperiodic task, using DSS scheduling, and two periodic tasks, using EDF scheduling. Runs simulation four times, for different aperiodic utilization levels.
test_four.adb - repeatedly runs simulation of one aperiodic server task and ten periodic tasks, with a variety of periodic and aperiodic workloads and scheduling parameters, and three aperiodic scheduling policies (BGS = background server, PLS = polling server, and DSS = deadline sporardic server). The set of workloads is specified by a separate Ada package (see sizes.ads below). Output is in several files, which are suitable for plotting with Gnuplot. This program can take a fairly long time to run.
sizes.ads - specifies policies, workloads, etc. for test_four. You can edit this to add more policies, change workloads,etc.
test_five.adb - a crippled version of test_four, with the number of simulations reduced to one. This is helpful for debugging, to reduce the running time and amount of output.
test_six.adb - tests simulation of one aperiodic task using the polling server (PLS) policy/LI>
threads-sched_pls.adb - implementation of polling server (PLS).
threads-sched_dss.ads - interface specification for deadline sporadic server (DSS)
threads-sched_dss.ads - implementation of deadline sporadic server (DSS)
report.adb - used by test_four to generate output files for Gnuplot and LaTeX.
2008.tgz - tar-file of this directory