Guarantees
Abstract description of scheduler services
Example guarantees:
- RT scheduler: “3ms/10ms”, “10s by 5pm”
- Linux scheduler: “no starvation”
Guarantees & analysis determine how schedulers can be composed
Research questions:
- Which scheduling policies compose?
- What is the guarantee language?