Mark's Home

Sporadic Server

 

Overview

Sporadic server is a real-time scheduling algorithm used to control the execution of processes/threads on a system. This scheduler allows one to set the maximum amount of time a process may receive in a specified time window. The basic idea is that the server is given a time budget at the server's priority that it consumes when executing on the processor, and which is replenished according to some rules.

Operation

figure

Replenishments occur one replenishment period in the future from the time the server became runnable (i.e. activation time) for the amount used since the activation time.

The maximum amount of time used by the process is limited to its available budget.

Current Status

At this point a patch to the Linux kernel (v2.6.28) exists that provides a basic version of sporadic server.

Kernel Components

Resources

Tasks