vvazrod / libshipyard

C library that provides functions for setting and getting scheduling parameters.

Shipyard task deployment library

This C library is used by tasks that are to be orchestrated with the Shipyard system. For more information about Shipyard, please see the server's repository.

Usage

Although it's a normal C library, it is not meant to be used like one. At least not fully. The library is packaged as a Docker image which tasks' images need to use as their base. An example Dockerfile could be as follows:

FROM varrrro/shipyard-server:latest

COPY . .

RUN gcc * -L$LIB_DIR -l$LIB_NAME -I$SRC_DIR -o task

CMD [ "./task" ]

Then, in the task's code, the developer just needs to include the library and call the set_sched function before the task's main logic. This functions obtains the scheduling parameters from environment variables and uses them to set the SCHED_DEADLINE policy. These environment variables are given to the container by the server when the task is deployed on a node.

libshipyard's Issues

Make library available as a container

Using Docker Hub, this library can be made available to all users that have to use it as base image for their real-time tasks.

• Write Dockerfile
• Link to Docker Hub

Provide scheduling attributes' getter and setter

This library needs to make public at least two functions that allow users to get or set a process scheduling attributes.

• Getter function
• Setter function
• Build the static library with Makefile