Module edf

Module edf 

Source
Expand description

RTAs for earliest-deadline first (EDF) scheduling

This module collects RTAs for the EDF policy.

§Citation

The provided analyses are based on the following paper:

Please cite the paper when using functionality from this module for academic work.

Modules§

floating_nonpreemptive
RTA for EDF scheduling with floating non-preemptive sections (EDF-NPS)
fully_nonpreemptive
RTA for EDF scheduling with fully non-preemptive jobs (NP-EDF)
fully_preemptive
RTA for EDF scheduling with fully preemptive jobs (EDF)
limited_preemptive
RTA for EDF scheduling with limited-preemptive jobs (LP-EDF)