research

The PBS Policy: Some Properties and Their Proofs

Abstract

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

    Similar works