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.



More About This Work

Academic Units
Computer Science
Department of Computer Science, Columbia University
Columbia University Computer Science Technical Reports, CUCS-015-07
Published Here
April 28, 2011