Guarantee Contributions
Created a framework for reasoning about composition of schedulers
- Derived rewrite rules
- Integrated more than 20 schedulers
Guarantees provide a model of soft real-time CPU allocation
- Independent of particular scheduling algorithms
- Developers can program to
- Users can ensure that application requirements are met