Online Non-Preemptive Scheduling in a Resource Augmentation Model Based on Duality

Resource augmentation is a well-established model for analyzing algorithms, particularly in the online setting. It has been successfully used for providing theoretical evidence for several heuris-tics in scheduling with good performance in practice. According to this model, the algorithm is applied to a more powerful environment than that of the adversary. Several types of resource augmentation for scheduling problems have been proposed up to now, including speed augmentation , machine augmentation and more recently rejection. In this paper, we present a framework that unifies the various types of resource augmentation. Moreover, it allows generalize the notion of resource augmentation for other types of resources. Our framework is based on mathematical programming and it consists of extending the domain of feasible solutions for the algorithm with respect to the domain of the adversary. This, in turn allows the natural concept of duality for mathematical programming to be used as a tool for the analysis of the algorithm's performance. As an illustration of the above ideas, we apply this framework and we propose a primal-dual algorithm for the online scheduling problem of minimizing the total weighted flow time of jobs on unrelated machines when the preemption of jobs is not allowed. This is a well representative problem for which no online algorithm with performance guarantee is known. Specifically, a strong lower bound of Ω(√ n) exists even for the offline unweighted version of the problem on a single machine. In this paper, we first show a strong negative result even when speed augmentation is used in the online setting. Then, using the generalized framework for resource augmentation and by combining speed augmentation and rejection, we present an (1+ s)-speed O(

[1]  Stefan Dobrev,et al.  How Much Information about the Future Is Needed? , 2008, SOFSEM.

[2]  Susanne Albers,et al.  On paging with locality of reference , 2002, STOC '02.

[3]  Eric Torng,et al.  A Dynamic Programming Framework for Non-Preemptive Scheduling Problems on Multiple Machines [Extended Abstract] , 2015, SODA.

[4]  David P. Williamson,et al.  The Design of Approximation Algorithms , 2011 .

[5]  Peter J. Denning,et al.  The working set model for program behavior , 1968, CACM.

[6]  Amit Kumar,et al.  Minimizing Weighted lp-Norm of Flow-Time in the Rejection Model , 2015, FSTTCS.

[7]  Christos H. Papadimitriou,et al.  Beyond competitive analysis [on-line algorithms] , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[8]  Kirk Pruhs,et al.  Online Primal-Dual for Non-linear Optimization with Applications to Speed Scaling , 2011, WAOA.

[9]  Kirk Pruhs,et al.  The Complexity of Scheduling for p-Norms of Flow and Stretch - (Extended Abstract) , 2013, IPCO.

[10]  Kamesh Munagala,et al.  Competitive Flow Time Algorithms for Polyhedral Scheduling , 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science.

[11]  Nguyen Kim Thang,et al.  Lagrangian Duality in Online Scheduling with Resource Augmentation and Speed Scaling , 2013, ESA.

[12]  Alejandro López-Ortiz,et al.  On the Separation and Equivalence of Paging Strategies and Other Online Algorithms , 2018, Algorithmica.

[13]  Kamesh Munagala,et al.  Competitive algorithms from competitive equilibria: non-clairvoyant scheduling under polyhedral constraints , 2014, STOC.

[14]  Pierre Fraigniaud,et al.  Online computation with advice , 2009, Theor. Comput. Sci..

[15]  Kirk Pruhs,et al.  SelfishMigrate: A Scalable Algorithm for Non-clairvoyantly Scheduling Heterogeneous Processors , 2014, 2014 IEEE 55th Annual Symposium on Foundations of Computer Science.

[16]  Amit Kumar,et al.  Resource augmentation for weighted flow-time explained by dual fitting , 2012, SODA.

[17]  Prabhakar Raghavan,et al.  A Statistical Adversary for On-line Algorithms , 1991, On-Line Algorithms.

[18]  Nikhil R. Devanur,et al.  Primal Dual Gives Almost Optimal Energy-Efficient Online Algorithms , 2014, ACM Trans. Algorithms.

[19]  Cynthia A. Phillips,et al.  Optimal Time-Critical Scheduling via Resource Augmentation , 1997, STOC '97.

[20]  Sanjeev Khanna,et al.  Algorithms for minimizing weighted flow time , 2001, STOC '01.

[21]  Leah Epstein,et al.  Optimal on-line flow time with resource augmentation , 2006, Discret. Appl. Math..

[22]  Bala Kalyanasundaram,et al.  Speed is as powerful as clairvoyance , 2000, JACM.

[23]  Kirk Pruhs,et al.  Non-Preemptive Min-Sum Scheduling with Resource Augmentation , 2007, 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).

[24]  Allan Borodin,et al.  Competitive paging with locality of reference , 1991, STOC '91.

[25]  Joseph Naor,et al.  The Design of Competitive Online Algorithms via a Primal-Dual Approach , 2009, Found. Trends Theor. Comput. Sci..

[26]  Amit Kumar,et al.  Rejecting jobs to minimize load and maximum flow-time , 2014, J. Comput. Syst. Sci..

[27]  Gerhard J. Woeginger,et al.  Approximability and nonapproximability results for minimizing total flow time on a single machine , 1996, STOC '96.

[28]  淳 大堀 20世紀の名著名論:Peter J. Denning: The Working Set Model for Program Behavior , 2005 .