|
CMU-CS-03-204
Computer Science Department
School of Computer Science, Carnegie Mellon University
CMU-CS-03-204
Scheduling Explicitly-speculative Tasks
David Petrou, Gregory R. Ganger, Garth A. Gibson
November 2003
CMU-CS-03-204.ps
CMU-CS-03-204.pdf
Keywords: Operating Systems, scheduling
Large-scale computing often consists of many speculative tasks
to test hypotheses, search for insights, and review potentially
finished products. For example, speculative tasks are issued by
bioinformaticists comparing DNA sequences and computer graphics
artists adjusting scene properties. This paper promotes a new
computing model for shared clusters and grids in which researchers
and end-users exploring search spaces disclose sets of speculative
tasks, request results as needed, and cancel unfinished tasks if
early results suggest no need to continue. Doing so matches natural
usage patterns, making users more effective, and also enables a new
class of schedulers. In simulation, we demonstrate how batchactive
schedulers significantly reduce user-observed response times relative
to conventional models in which tasks are requested one at a time
(interactively) or requested in batches without specifying which
are speculative. Over a range of simulated user behavior, for 20% of
our simulations, user-observed response time is at least two times
better under a batchactive scheduler, and about 50% better on average.
Batchactive schedulers achieve such improvements by segregating tasks
into two queues based on whether a task is speculative and scheduling
these queues separately. Moreover, we show how user costs can be
reduced under an incentive cost model of charging only for tasks
whose results are requested.
29 pages
|