This tutorial explains how to reproduce the experiments discussed in the paper
A. Biondi, A. Balsini, M. Pagani, E. Rossi, M. Marinoni, G. Buttazzo - "A Framework for Supporting Real-Time Applications on Dynamic Reconfigurable FPGAs", IEEE Real-Time Systems Symposium (RTSS 2016), to appear, November 2016
This document is organized as follows:
Please follow the instructions detailed in each section. In case of problems or further questions, feel free to contact us by email.
Note: Altough the software infrastructure of this artifact is platform-independent, the instructions provided in this dcument refer to an environment setup for the Linux operating system.
The following commands and examples have been tested on the latest release of Ubuntu Linux to date (16.04).
The schedulability analyses presented in Section IV of the paper have been implemented in C++11 and make use of a linear program solver.
We strongly recommend the use of IBM CPLEX solver (tested during our experiments).
The open-source solver GNU Linear Programming Kit (GLPK) can also be used, however it is discouraged.
We report the instructions to support only these two solvers.
Warning: Despite of being free, open-source and easily installable, GLPK has several bugs that (in most of the cases) prevent to run the experiments.
The following sections describe the steps required to run the experiments discussed in Section V.
We provide two ways to replicate the experiments:
To compile and execute the experiments is it necessary to install the following three software components:
Below, we report the detailed instructions to install each of these software components.
Thanks to the abstraction provided by the LEMON library, our analysis framework is able to work with several linear program solvers. However, we report the instructions to support only IBM CPLEX and GLPK.
IBM ILOG CPLEX is a commercial software. A 90-days trial version can be freely downloaded from here.
Free academic licenses are also available.
For instance, if the 90-days trial version is used under Linux (x86_64), at the date in which these istructions have been written it is possible to download the file
COSCE1263LIN64.bin from the IBM web-site. The filename may change when newer versions of CPLEX will be released.
Once the installer has been downloaded, give it execution privileges and execute it
$ chmod +x COSCE1263LIN64.bin
$ sudo ./COSCE1263LIN64.bin
GLPK (GNU Linear Programming Kit) is typically available as a package for most Linux distributions. On a debian-based distirbution, GLPK can be installed as follows
$ sudo apt-get install libglpk-dev
Note: In order to use GLPK with LEMON, LEMON must be fully recompiled with the proper configuration. Please refer to Installing LEMON section for the detailed instructions.
CMake is typically available as a package for most Linux distributions.
On a debian-based distirbution, CMake (and the corresponding Linux bulding tools) can be installed as follows
$ sudo apt-get install cmake build-essential
LEMON stands for Library for Efficient Modeling and Optimization in Networks. It is an open-source C++ template library providing efficient implementations of common data structures and algorithms with focus on optimization methods for graphs and networks.
Limited to this analysis framework, LEMON is used as an abstraction layer to write code that is independent of the specific APIs of the linear solvers.
Warning: The current stable release of LEMON (1.3.1) has issues in identifying the CPLEX solver: the problem seems solved in the lastest (but not stable) version of the library.
Please perform the following commands to install the latest version of LEMON
First, create the folder ~/RTSS2016 and navigate in it
$ mkdir ~/RTSS2016
Then install Mercurial, clone the LEMON repository and prepare the directory to compile the library
$ sudo apt-get install mercurial
$ hg clone http://lemon.cs.elte.hu/hg/lemon
$ cd lemon
$ mkdir build
$ cd build
If IBM CPLEX is used execute the following command (please fix the path if a different version of IBM CPLEX is used)
$ cmake .. -DILOG_ROOT_DIR=/opt/ibm/ILOG/CPLEX_Studio_Community1263
Otherwise, if GLPK is used, just run cmake with no options
$ cmake ..
Finally, it is possible to make and install the LEMON library
$ sudo make install
To simplify the environment setup, a virtual machine disk is available for download at this address.
This virtual machine disk can be run through Virtual Box.
The credentials for accessing the virtual machine are the following
The virtual machine is already equipped with the GLPK linear solver: however, its use is discouraged.
We recommend the use of IMB CLPEX.
IBM CPLEX is a commercial software, hence it cannot be redistributed with the virtual machine provided for this artifact evaluation. A 90-days trial version can be freely downloaded from here. Free academic licenses are also available.
Please refer to the previous section for the instructions to install CLPEX.
Note: Once CPLEX is installed, LEMON must be recompiled with the proper configuration in order to make CPLEX the default linear solver. Please refer to the corresponding instructions.
The following steps explain how to compile and run the experiments presented in Section IV of the paper.
First, download and extract the compressed folder that contains the source code of the analyses. If the Virtual Machine is used, this step can be skipped since the folder is already available in the home directory
$ wget RTSS2016_FRED.tar.gz
$ tar xvf RTSS2016_FRED.tar.gz
Then, move into the uncompressed folder
$ cd RTSS2016_FRED
To compile the source code, two parameters are available:
For instance, the following command compiles the analysis framework with IBM CPLEX and 500 runs
$ make solver=CPLEX runs=500
Note: If the solver is switched, it is necessary to run
make clean before compiling the analysis framework with the new parameter.
The experiments presented in Figures 6, 7 and 8 of the paper can be run by launching the following command
Warning: It bears repeating that, if GLPK is used, it can happen that the experiment will hang due to the bugs discussed in the previous section. Note that this a limitation of GLPK and not of our implementation. If this happens, please kill the process and re-execute the above command.
Again, we recommend the use of IBM CPLEX to run the experiments.
The last command produces data on the standard output in order to check the execution progress.
Experimental results are stored in the following txt files:
The numbers in the output files represent the measured schedulability ratios for each tested analysis.
The output files should look structurally as follows:
The first column represents the parameter varied in the experiment (utilization factor in this example) while the other columns report the schedulability ratio for each tested analysis.
Specifically, the labels have the following meanings:
The following files can be found in the package provided with this artifact evaluation and contain the implementations of the analyses proposed in the paper.
|main.cpp||Prepares the task sets parameters and calls all the functions associated to the experiments|
|delay_bound.h/cpp||Computes the delay bounds stated by Theorem 1 and Theorem 2 in the paper|
|generator.h/cpp||Generator of task sets and platform configurations. Definition of the data structures to represent SW- and HW-tasks in FRED|
|rta_ss.h/cpp||Implementation of the response-time analysis for self-supending tasks proposed by Nelissen et al. in |
|ss_task.h||Definition of the data structure to represent a self-suspending task|