On-line schedulability tests for adaptive reservations in fixed priority scheduling

  • Authors:
  • Rodrigo Santos;Giuseppe Lipari;Enrico Bini;Tommaso Cucinotta

  • Affiliations:
  • Dep. Ing. Eléctrica y Computadoras, Universidad Nacional del Sur, Bahía Blanca, Argentina;Ecole Normale Supérieure, Cachan, France;Department of Automatic Control, Lund University, Lund, Sweden 221 00;Scuola Superiore Sant'Anna, Pisa, Italy 56124

  • Venue:
  • Real-Time Systems
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Adaptive reservation is a real-time scheduling technique in which each application is associated a fraction of the computational resource (a reservation) that can be dynamically adapted to the varying requirements of the application by using appropriate feedback control algorithms. An adaptive reservation is typically implemented by using an aperiodic server (e.g. sporadic server) algorithm with fixed period and variable budget. When the feedback law demands an increase of the reservation budget, the system must run a schedulability test to check if there is enough spare bandwidth to accommodate such increase. The schedulability test must be very fast, as it may be performed at each budget update, i.e. potentially at each instance of a task; yet, it must be as efficient as possible, to maximize resource usage.In this paper, we tackle the problem of performing an efficient on-line schedulability test for adaptive resource reservations in fixed priority schedulers. In the literature, a number of algorithms have been proposed for on-line admission control in fixed priority systems. We describe four of these tests, with increasing complexity and performance. In addition, we propose a novel on-line test, called Spare-Pot algorithm, which has been specifically designed for the problem at hand, and which shows a good cost/performance ratio compared to the other tests.