Performance Analysis of Modified SRPT in Multiple-Processor Multitask Scheduling

TL;DR

This paper analyzes the Modified SRPT scheduling algorithm for multi-processor multitask jobs, proving its competitive ratio and asymptotic optimality under various workload and system models, including stochastic and infinite workload scenarios.

Contribution

It introduces and analyzes M-SRPT, a simple modification of SRPT, demonstrating its optimality and competitive ratio in multiple system and workload models.

Findings

M-SRPT achieves a competitive ratio of Θ(log α + β).

M-SRPT is asymptotically optimal as traffic intensity approaches 1.

Optimality holds for systems with finite and certain infinite workload distributions.

Abstract

In this paper we study the multiple-processor multitask scheduling problem in both deterministic and stochastic models, where each job have several tasks and is complete only when all its tasks are finished. We consider and analyze Modified Shortest Remaining Processing Time (M-SRPT) scheduling algorithm, a simple modification of SRPT, which always schedules jobs according to SRPT whenever possible, while processes tasks in an arbitrary order. The M-SRPT algorithm is proved to achieve a competitive ratio of $\Theta(\log \alpha +\beta)$ for minimizing response time, where $\alpha$ denotes the ratio between maximum job workload and minimum job workload, $\beta$ represents the ratio between maximum non-preemptive task workload and minimum job workload. In addition, the competitive ratio achieved is shown to be optimal (up to a constant factor), when there are constant number of machines. We further consider the problem under Poisson arrival and general workload distribution (\ie, M/GI/$N$ system), and show that M-SRPT achieves asymptotic optimal mean response time when the traffic intensity $\rho$ approaches $1$, if job size distribution has finite support. Beyond finite job workload, the asymptotic optimality of M-SRPT also holds for infinite job size distributions with certain probabilistic assumptions, for example, M/M/$N$ system with finite task workload. As a special case, we show that M-SRPT is asymptotic optimal in M/M/$1$ model, in which the task size distribution is allowed to have infinite support.