Adam Wierman

Scheduling for Today's Computer Systems: Bridging Theory and Practice Degree Type: Ph.D. in Computer Science
Advisor(s): Mor Harchol-Balter
Graduated: May 2007

Abstract:

Scheduling is a fundamental technique for improving performance in computer systems. From web servers to routers to operating systems, how the bottleneck device is scheduled has an enormous impact on the performance of the system as a whole. Given the immense literature studying scheduling, it is easy to think that we already understand enough about scheduling. But, modern computer system designs have highlighted a number of disconnects between traditional analytic results and the needs of system designers. In particular, the idealized policies, metrics, and models used by analytic researchers do not match the policies, metrics, and scenarios that appear in real systems.

The goal of this thesis is to take a step towards modernizing the theory of scheduling in order to provide results that apply to today's computer systems, and thus ease the burden on system designers. To accomplish this goal, we provide new results that help to bridge each of the disconnects mentioned above. We will move beyond the study of idealized policies by introducing a new analytic framework where the focus is on scheduling heuristics and techniques rather than individual policies. By moving beyond the study of individual policies, our results apply to the complex hybrid policies that are often used in practice. For example, our results enable designers to understand how the policies that favor small job sizes are affected by the fact that real systems only have estimates of job sizes. In addition, we move beyond the study of mean response time and provide results characterizing the distribution of response time and the fairness of scheduling policies. These results allow us to understand how scheduling affects QoS guarantees and whether favoring small job sizes results in large job sizes being treated unfairly. Finally, we move beyond the simplified models traditionally used in scheduling research and provide results characterizing the effectiveness of scheduling in multiserver systems and when users are interactive. These results allow us to answer questions about the how to design multiserver systems and how to choose a workload generator when evaluating new scheduling designs.

Thesis Committee:
Mor Harchol-Balter (Chair)
John Lafferty
Bruce Maggs
Alan Scheller-Wolf
Ward Whitt

Jeannette Wing, Head, Computer Science Department
Randy Bryant, Dean, School of Computer Science

Keywords:
Scheduling, queueing, fairness, tail behavior, response time, classification, multiserver, SRPT, LAS, FB, PS, FSP, PSJF, PLCFS, SJF, SMART, FOOLISH, protective, symmetric, closed system, M/G/1, web servers, routers, wireless, access points, databases

CMU-CS-07-126.pdf (3.74 MB) ( 357 pages)
Copyright Notice