Skip to content

Draft: Suspension Oblivious RTA for FP scheduling (Fully Preemptive)

Athul Raj Kollarethrequested to merge
krathul/rt-proofs:suspension-fp-fp into master

This MR adds response-time bound for fixed priority scheduling in case of self-suspending tasks. The analysis assumes the following,

  1. A fully-preemptive preemption model
  2. Dynamic suspension model

Suspension oblivious analysis is used for the response-time bound.

Merge request reports