Comparison of hybrid minimum laxity / first-in -first-out scheduling policies for real-time multiprocessors

Abstract : In this paper we study the behavior of two policies for scheduling customers with deadlines until the beginning of service onto multiple servers. Both policies attempt to approximate the performance of the minimum laxity scheduling policy without incurring the complete overhead. This is accomplished by dividing the queue into two queues - one, of maximum size n > 0, managed using the minimum laxity policy and another of unbounded size managed in a first in first out manner. One policy, F/ML(n) places the ML queue at the front, i.e., customers finding n or more in the system enter the FIFO queue which in turn feeds the ML queue. The other policy, ML(n)/F places the ML queue at the back, i.e. arriving customers enter the ML queue and if the total number in the system exceeds n, forces one customer from the ML queue to the FIFO queue. We show that these seemingly dissimilar policies exhibit exactly the same behavior for a fixed value of n both when customers are allowed to be discarded when they miss their deadlines before entering service and when they are not allowed to be discarded. We also establish monotonicity properties for both policies. In the case that no customer is discarded, we show that the stationary customers tardiness, the difference between the departure time and deadline, is a decreasing function of n, in the sense of convex ordering. In the case that discards are allowed, we show that the number of customers lost within an interval of time is a decreasing function of n in the sense of stochastic ordering.
Type de document :
Rapport
[Research Report] RR-1237, INRIA. 1990
Liste complète des métadonnées

https://hal.inria.fr/inria-00075321
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 17:58:03
Dernière modification le : samedi 27 janvier 2018 - 01:31:04
Document(s) archivé(s) le : mardi 12 avril 2011 - 22:31:35

Fichiers

Identifiants

  • HAL Id : inria-00075321, version 1

Collections

Citation

Philippe Nain, Don Towsley. Comparison of hybrid minimum laxity / first-in -first-out scheduling policies for real-time multiprocessors. [Research Report] RR-1237, INRIA. 1990. 〈inria-00075321〉

Partager

Métriques

Consultations de la notice

235

Téléchargements de fichiers

46