Speed-Oblivious Online Scheduling: Knowing (Precise) Speeds is not Necessary
Authors: Alexander Lindermayr, Nicole Megow, Martin Rapp
Organizations: University of Bremen, Faculty of Mathematics and Computer Science, Germany · Faculty for Informatics, Karlsruhe Institute of Technology, Germany
We consider online scheduling on unrelated (heterogeneous) machines in a speed-oblivious setting, where an algorithm is unaware of the exact job-dependent processing speeds. We show strong impossibility results for clairvoyant and non-clairvoyant algorithms and overcome them in models inspired by practical settings: (i) we provide competitive learning-augmented algorithms, assuming that (possibly erroneous) predictions on the speeds are given, and (ii) we provide competitive algorithms for the speed-ordered model, where a single global order of machines according to their unknown job-dependent speeds is known. We prove strong theoretical guarantees and evaluate our findings on a representative heterogeneous multi-core processor. These seem to be the first empirical results for scheduling algorithms with predictions that are evaluated in a non-synthetic hardware environment.
Figures & tables
Figure 1: The execution time and speedup of the big over LITTLE cores on an Arm big.LITTLE heterogeneous processor varies strongly between jobs and different input data. Variations of the speedup w.r.t. input data are large for some jobs (e.g., water-nsquared ) but small for others (e.g., fmm ).
Figure 2: Real experiments on a HiKey 970 board. The experiments are each repeated 3 times with the same workload but different random noise for speed predictions. Shaded areas show the standard deviation.
Figure 3: Distribution of the system load with speed-ordered Round Robin ( Algorithm 5 ).
Appendix figures & tables1 asset
Supplementary material from the paper’s appendix.
Appendix
Figure 4: Synthetic experiments. The experiments are each repeated 20 times with different random workloads.
Combinatorial optimization finds the best feasible choices among discrete alternatives in routing, scheduling, graph problems, and resource allocation.
Learning-augmented algorithms have emerged as a powerful paradigm to surpass traditional worst-case lower bounds by integrating potentially noisy predictions. While this framework has seen success in online scheduling, existing work primarily optimizes job latency while relying on frequent, ``blind'' preemptions. This ignores the fundamental trade-off between algorithmic performance and preemption complexity. We provide the first systematic study of learning-augmented scheduling that curbs preemption while optimizing latency. We establish that the gap between theoretical latency bounds and preemption overhead can be bridged with solid analytical foundations. Our results include O(1)-competitive algorithms for single and unrelated parallel machines with only O(1) preemptions per job under accurate predictions, with overhead scaling logarithmically with the prediction error. By providing the first bounded-preemption guarantees for unrelated and malleable machines, we extend the theoretical reach of the learning-augmented framework to more constrained and realistic settings. Finally, our algorithms are validated through experiments.
Mugen Blue, Sungjin Im, Alexander Lindermayr
University of California, Santa Cruz, US. · Institut für Mathematik, Technische Universität Berlin, Germany.
We study the classical single-machine scheduling problem of minimizing the sum of completion times of jobs in a non-clairvoyant setting, where the processing time of each job remains unknown until its completion. This is a hard problem for which no constant competitive algorithm is possible. Inspired by robust optimization and learning-augmented algorithms, we introduce a novel robustness framework that leverages structural information provided by a classification model to overcome this limitation. Specifically, we assume that jobs are partitioned into classes and we have access to the confusion matrix of the classifier, whose entry (k,ℓ) indicates the number of jobs predicted to belong to class~k but that actually belong to class~ℓ. In this manner, we are able to characterize uncertainty as a set of permutations within each predicted class, rather than as a collection of discrete numerical scenarios, avoiding the computational difficulty of classical robust metrics, such as Min-Max and Min-Max Regret. In addition to these worst-case metrics, we also consider the expected objective over all scenarios. We first propose an optimal non-adaptive strategy that is oblivious with respect to all three robust criteria. We then investigate adaptive and randomized algorithms, showing that they can outperform the optimal non-adaptive strategy when the matrix exhibits particular structural properties.
Anthony Dugois, Vincent Fagnon, Giorgio Lucarelli
Univ. Marie et Louis Pasteur, CNRS, institut FEMTO-ST, F-25000 Besançon, France · Université de Lorraine, LCOMS, Metz, France
Recently, Antoniadis et al. (ICLR 2025) proposed a framework for incorporating predictions to approximate NP-hard selection problems. Despite its simplicity, this approach tightly matches theoretical lower bounds, making its generalization highly compelling. We address an open question raised in the work of Antoniadis et al., concerning the extension of this approach to other important problems outside the class of selection problems, such as scheduling. We develop a learning-augmented algorithm for the makespan minimization problem on unrelated machines, denoted by R∥Cmax. By using predictions of heavy job assignments, we achieve a polynomial-time (1+ε)-approximation for accurate predictions that smoothly degrades to a worst-case 2-approximation as the error increases. We conclude our work with an empirical analysis of our method.
Kaito Baba, Evripidis Bampis, Giorgos Mitropoulos
The University of Tokyo, Tokyo, Japan · Sorbonne Université, CNRS, LIP6, F-75005 Paris, France