Table of Contents
Fetching ...

A Competitive Algorithm for Throughput Maximization on Identical Machines

Benjamin Moseley, Kirk Pruhs, Clifford Stein, Rudy Zhou

TL;DR

The paper tackles online throughput maximization on $m$ identical machines under preemption, seeking a constant-competitive deterministic online algorithm for all $m>1$. It partitions jobs by laxity and combines three deterministic policies—LMNY for high-laxity, SRPT for low-laxity non-viable, and MLax for low-laxity viable—into a unifying FinalAlg, with a careful forest-schedule-based analysis to bound performance against the optimum. The key innovations include viability-based scheduling (MLax), a three-way decomposition of the problem, and a structural reduction of Opt to non-migratory forest schedules, enabling tight comparisons without speed augmentation. The main result is a deterministic $O(1)$-competitive algorithm for all $m>1$, holding for $m\ge 48$ with a simple reduction for smaller $m$, thereby resolving a two-decade open question and providing a scalable, deterministic approach to multi-machine throughput maximization in online settings.

Abstract

This paper considers the basic problem of scheduling jobs online with preemption to maximize the number of jobs completed by their deadline on $m$ identical machines. The main result is an $O(1)$ competitive deterministic algorithm for any number of machines $m >1$.

A Competitive Algorithm for Throughput Maximization on Identical Machines

TL;DR

The paper tackles online throughput maximization on identical machines under preemption, seeking a constant-competitive deterministic online algorithm for all . It partitions jobs by laxity and combines three deterministic policies—LMNY for high-laxity, SRPT for low-laxity non-viable, and MLax for low-laxity viable—into a unifying FinalAlg, with a careful forest-schedule-based analysis to bound performance against the optimum. The key innovations include viability-based scheduling (MLax), a three-way decomposition of the problem, and a structural reduction of Opt to non-migratory forest schedules, enabling tight comparisons without speed augmentation. The main result is a deterministic -competitive algorithm for all , holding for with a simple reduction for smaller , thereby resolving a two-decade open question and providing a scalable, deterministic approach to multi-machine throughput maximization in online settings.

Abstract

This paper considers the basic problem of scheduling jobs online with preemption to maximize the number of jobs completed by their deadline on identical machines. The main result is an competitive deterministic algorithm for any number of machines .

Paper Structure

This paper contains 15 sections, 19 theorems, 4 equations, 1 table.

Key Result

Theorem 1.1.1

For all $m > 1$, there exists a deterministic $O(1)$-competitive algorithm for Throughput Maximization on $m$ machines.

Theorems & Definitions (39)

  • definition thmcounterdefinition: Throughput Maximization
  • Theorem 1.1.1
  • Theorem 1.1.2
  • Lemma 1.1.3
  • definition thmcounterdefinition: SRPT
  • definition thmcounterdefinition: Viable Jobs and Pseudo-Release Time
  • Lemma 1.2.1
  • proof
  • definition thmcounterdefinition: Forest Schedule
  • Lemma 1.2.2
  • ...and 29 more