Optimal Speed Profile of a DVFS Processor under Soft Deadlines

Jonatha Anselmi (1) , Bruno Gaujal (1) , Louis Sébastien Rebuffi (1)

1 POLARIS - Performance analysis and optimization of LARge Infrastructures and Systems

We consider a Dynamic Voltage and Frequency Scaling (DVFS) processor executing jobs with obsolescence deadlines: A job becomes obsolete and is removed from the system if it is not completed before its deadline. The objective is to design a dynamic speed policy for the processor that minimizes its average energy consumption plus an obsolescence cost per deadline miss. Under Poisson arrivals and exponentially distributed deadlines and job sizes, we show that this problem can be modeled as a continuous time Markov decision process (MDP) with unbounded state space and unbounded rates. While this MDP admits a continuous time optimality equation for its average cost, the standard uniformization approach is not applicable. Inspired by the scaling method introduced by Blok and Spieksma, we first define a family of truncated MDPs and we then show that the optimal speed profiles are increasing in the number of jobs in the system and are uniformly bounded by a constant. Finally, we show that these properties are inherited from the original (infinite) system. The proposed upper bound on the optimal speed profile is tight and is used to develop an extremely simple policy that accurately approximates the optimal average cost in heavy traffic conditions.

Mots clés: Energy minimization; Optimal speed; DVFS; Markov decision processes

Domaines: Probabilités [math.PR]; Performance et fiabilité [cs.PF]

Jonatha Anselmi, Bruno Gaujal, Louis Sébastien Rebuffi. Optimal Speed Profile of a DVFS Processor under Soft Deadlines. Performance Evaluation, 2021, 152, ⟨10.1016/j.peva.2021.102245⟩. ⟨hal-03364880⟩