'Columbia University Libraries/Information Services'
Doi
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