2007 Reports

The PBS Policy: Some Properties and Their Proofs

Feng, Hanhua; Misra, Vishal; Rubenstein, Daniel Stuart

In this report we analyze a configurable blind scheduler containing a continuous, tunable parameter. After the definition of this policy, we prove the property of no surprising interruption, the property of no permanent starvation, and two theorems about monotonicity of this policy. This technical report contains supplemental materials for the following publication: Hanhua Feng, Vishal Misra, and Dan Rubenstein, 'PBS: A unified priority-based scheduler', Proceedings of ACM SIGMETRICS '07, 2007.