Priority Scheduling in the M/G/1 with Preemption Overhead
For queueing theorists and system designers, this paper addresses a long-standing gap by incorporating preemption overhead into response time analysis, enabling more realistic scheduling decisions.
This work provides the first response time distribution analysis of an M/G/1 queue under preemptive priority scheduling with stochastic preemption overhead, deriving a recursive Laplace transform formula for response time moments. The analysis introduces a new theoretical tool, the job joint transform, to handle overhead in a generalizable manner.
Virtually all practical settings where preemptive scheduling is employed are susceptible to preemption overhead, and accounting for these overheads is necessary to make informed scheduling design decisions. However, preemption overhead is almost never accounted for in queueing-theoretic analyses of preemptive scheduling policies. This is true even for simple preemptive policies in simple queueing models: even the stability region, let alone the response time distribution, is difficult to analyze under overhead. In this work, we give the first response time distribution analysis of an M/G/1 under a preemptive scheduling policy with preemption overhead. Specifically, we consider class-based preemptive priority, where a stochastic overhead is incurred when pausing or resuming a job. We derive a recursive formula for the Laplace transform of response time for jobs of any given class, from which all response time moments can be extracted. Beyond the specific policy and model we analyze, our broader aim is to provide a first step towards a general framework for analyzing queues with preemption overhead. To that end, we perform much of our analysis in a way that applies to a wide variety of overhead models by introducing a new theoretical tool called the job joint transform.