Competitive Algorithms from Competitive Equilibria: Non-Clairvoyant Scheduling under Polyhedral Constraints

被引:14
作者
Im, Sungjin [1 ]
Kulkarni, Janardhan [2 ]
Munagala, Kamesh [2 ]
机构
[1] Univ Calif Merced, EECS, Merced, CA 95344 USA
[2] Duke Univ, Dept Comp Sci, Durham, NC 27708 USA
来源
STOC'14: PROCEEDINGS OF THE 46TH ANNUAL 2014 ACM SYMPOSIUM ON THEORY OF COMPUTING | 2014年
关键词
online scheduling; non-clairvoyance; polyhedral constraints; equilibria; proportional fairness; flow time; unrelated machines; PROPORTIONAL FAIRNESS; SPEED; TIME;
D O I
10.1145/2591796.2591814
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We introduce and study a general scheduling problem that we term the Packing Scheduling problem (PSP). In this problem, jobs can have different arrival times and sizes; a scheduler can process job j at rate x3, subject to arbitrary packing constraints over the set of rates (x) of the outstanding jobs. The PSP framework captures a variety of scheduling problems, including the classical problems of unrelated machines scheduling, broadcast scheduling, and scheduling jobs of different parallelizability. It also captures scheduling constraints arising in diverse modern environments ranging from individual computer architectures to data centers. More concretely, PSP models multidimensional resource requirements and parallelizability, as well as network bandwidth requirements found in data center scheduling. In this paper, we design non-clairvoyant online algorithms for PSP and its special cases- in this setting, the scheduler is unaware of the sizes of jobs. Our results are summarized as follows. " For minimizing total weighted completion time, we show a 0(1)-competitive algorithm. Surprisingly, we achieve this result by applying the well-known Proportional Fairness algorithm (PF) to perform allocations each time instant. Though PF has been extensively studied in the context of maximizing fairness in resource allocation, we present the first analysis in adversarial and general settings for optimizing job latency. Our result is also the first 0(1)-competitive algorithm for weighted completion time for several classical non clairvoyant scheduling problems. " For minimizing total weighted flow time, for any constant E > 0, any 0(n1 ')-competitive algorithm requires extra speed (resource augmentation) compared to the offline optimum. We show that PF is a 0(log n)- speed 0 (log n)-competitive non-clairvoyant algorithm, where n is the total number of jobs. We further show that there is an instance of PSP for which no non clairvoyant algorithm can be 0(nl-')-competitive with o(\/log rt) speed. " For the classical problem of minimizing total flow time for unrelated machines in the non-clairvoyant setting, we present the first online algorithm which is scalable ((1 E)-speed 0(1)-competitive for any constant E > 0). No non-trivial results were known for this setting, and the previous scalable algorithm could handle only related machines. We develop new algorithmic techniques to handle the unrelated machines setting that build on a new single machine scheduling policy. Since unrelated machine scheduling is a special case of PSP, when contrasted with the lower bound for PSP, our result also shows that PSP is significantly harder than perhaps the most general classical scheduling settings. Our results for PSP show that instantaneous fair scheduling algorithms can also be effective tools for minimizing the overall job latency, even when the scheduling decisions are non-clairvoyant and constrained by general packing constraints.
引用
收藏
页码:313 / 322
页数:10
相关论文
共 35 条
[1]  
Ahmad F, 2012, ASPLOS XVII: SEVENTEENTH INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, P61
[2]  
Anand S., 2012, P 23 ANN ACM SIAM S, P1228, DOI 10.1137/1.9781611973099.97
[3]  
[Anonymous], 2010, The Design of Approximation Algorithms, DOI DOI 10.1017/CBO9780511921735
[4]  
[Anonymous], 2004, Handbook of Scheduling-Algorithms, Models, and Performance Analysis, DOI DOI 10.1201/9780203489802.CH15
[5]  
[Anonymous], 2008, 8 USENIX S OP SYST D
[6]  
Azar Y, 2013, PROCEEDINGS OF THE TWENTY-FOURTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS (SODA 2013), P85
[7]  
Azar Y, 2011, PROCEEDINGS OF THE TWENTY-SECOND ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, P1070
[8]  
Bansal N., 2014, SODA, P55
[9]  
Bansal N, 2010, LECT NOTES COMPUT SC, V6198, P324, DOI 10.1007/978-3-642-14165-2_28
[10]  
Bansal N, 2009, PROCEEDINGS OF THE TWENTIETH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, P1238