taskgen

A taskset generation framework for the genode-Taskloader component.

Installation

Only Ubuntu 16.04 with the default python version 3.5 is supported.

git clone https://github.com/argos-research/taskgen.git
cd taskgen
make install

If you want to use the MongoDB backend & RoboMongo:

make mongodb
sudo service mongod start
make robomongo

Getting started

The core of taskgen is the distribution of task-sets to running genode-Taskloader instances. taskgen is shipped with a command line tool.

./taskgen-cli --help

Use the tool to list all available tasksets:

./taskgen-cli list --taskset

Task-sets in example.* are good starting points for testing and exploring taskgen.

We want to distribute the example.Hey0TaskSet task-set to one destination instance. The stdio.StdIOSession session prints the task-set to stdout, instead of sending it over the network.

./taskgen-cli run -d -t example.Hey0TaskSet -s stdio.StdIOSession 172.25.0.1

Documentation

• Overview up-to-date
• Command line up-to-date
• Distributors up-to-date
• Task-Sets up-to-date
• Tasks up-to-date
• Task Blocks up-to-date
• Admission Control up-to-date
• Monitors up-to-date
• Sessions up-to-date
• Dictionary to XML format up-to-date
• Qemu Startup Script up-to-date