Toggle Main Menu Toggle Search

Open Access padlockePrints

Control and optimization of the SRPT service policy by frequency scaling

Lookup NU author(s): Emeritus Professor Isi Mitrani



This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer Verlag, 2018.

For re-use rights please refer to the publisher's terms and conditions.


© Springer Nature Switzerland AG. 2018. In this paper, we study a system where the speed of a processor depends on the current number of jobs. We propose a queueing model in which jobs consist of a variable number of tasks, and priority is given to the job with the fewest remaining tasks. The number of processor frequency levels determines the dimensionality of the queueing process. The objective is to evaluate the trade-offs between holding cost and energy cost when setting the processor frequency. We obtain exact results for two and three frequency levels, and accurate approximations that can be further generalized. Numerical and simulation results show the high accuracy of the approximate solutions that we propose. Our experiments suggest that a parsimonius model with only two frequency levels is sufficient, since more elaborate models provide negligible improvements when optimizing the system.

Publication metadata

Author(s): Marin A, Mitrani I, Elahi M, Williamson C

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: QEST 2018 International Conference on Quantitative Evaluation of Systems

Year of Conference: 2018

Pages: 257-272

Online publication date: 15/08/2018

Acceptance date: 15/08/2018

Date deposited: 12/11/2018

Publisher: Springer Verlag


DOI: 10.1007/978-3-319-99154-2_16

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISBN: 9783319991535