Online Non-preemptive Scheduling on Unrelated Machines with Rejections

When a computer system schedules jobs there is typically a significant cost associated with preempting a job during execution. This cost can be incurred from the expensive task of saving the memory’s state or from loading data into and out of memory. Thus, it is desirable to schedule jobs non-preemptively to avoid the costs of preemption. There is a need for non-preemptive system schedulers for desktops, servers, and data centers. Despite this need, there is a gap between theory and practice. Indeed, few non-preemptive online schedulers are known to have strong theoretical guarantees. This gap is likely due to strong lower bounds on any online algorithm for popular objectives. Indeed, typical worst-case analysis approaches, and even resource-augmented approaches such as speed augmentation, result in all algorithms having poor performance guarantees. This article considers online non-preemptive scheduling problems in the worst-case rejection model where the algorithm is allowed to reject a small fraction of jobs. By rejecting only a few jobs, this article shows that the strong lower bounds can be circumvented. This approach can be used to discover algorithmic scheduling policies with desirable worst-case guarantees. Specifically, the article presents algorithms for the following three objectives: minimizing the total flow-time, minimizing the total weighted flow-time plus energy where energy is a convex function, and minimizing the total energy under the deadline constraints. The algorithms for the first two problems have a small constant competitive ratio while rejecting only a constant fraction of jobs. For the last problem, we present a constant competitive ratio without rejection. Beyond specific results, the article asserts that alternative models beyond speed augmentation should be explored to aid in the discovery of good schedulers in the face of the requirement of being online and non-preemptive.

[1]  Nguyen Kim Thang Online Primal-Dual Algorithms with Configuration Linear Programs , 2020, ISAAC.

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

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

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

[5]  F. Frances Yao,et al.  A scheduling model for reduced CPU energy , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

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

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

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

[9]  Kirk Pruhs,et al.  Speed Scaling with an Arbitrary Power Function , 2009, TALG.

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

[11]  Kirk Pruhs,et al.  Improved Bounds for Speed Scaling in Devices Obeying the Cube-Root Rule , 2009, ICALP.

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

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

[14]  Kirk Pruhs,et al.  Speed scaling to manage energy and temperature , 2007, JACM.

[15]  Johanne Cohen,et al.  Smooth Inequalities and Equilibrium Inefficiency in Scheduling Games , 2012, WINE.

[16]  Denis Trystram,et al.  Online Non-Preemptive Scheduling in a Resource Augmentation Model Based on Duality , 2016, ESA.