Théorie des files d'attente
La théorie des files d'attente est une théorie mathématique relevant du domaine des probabilités, qui étudie les solutions optimales de gestion des files d’attente, ou queues[1]. Une queue est nécessaire et se créera d'elle-même si ce n'est pas anticipé, dans tous les cas où l'offre est inférieure à la demande, même temporairement. Elle peut s’appliquer à différentes situations : gestion des avions au décollage ou à l’atterrissage, attente des clients et des administrés aux guichets, ou bien encore stockage des programmes informatiques avant leur traitement. Ce domaine de recherches, né en 1917, des travaux de l’ingénieur danois Erlang sur la gestion des réseaux téléphoniques de Copenhague[2] à partir de 1908, étudie notamment les systèmes d’arrivée dans une queue, les différentes priorités de chaque nouvel arrivant, ainsi que la modélisation statistique des temps d’exécution.
C'est grâce aux apports des mathématiciens Khintchine, Palm, Kendall, Pollaczek[3] et Kolmogorov que la théorie s'est vraiment développée.
Description
modifierOn définit un système d’attente de la manière suivante : un flux d’événements qu’on appellera « clients » arrive séquentiellement en réclamant un service[4]. La théorie considère généralement le temps séparant l’arrivée des clients et la durée de service comme deux variables aléatoires (files dites « markoviennes[5] »), mais certains travaux considèrent plutôt les files déterministes, où le temps d'attente est constant. Le client se dirige vers un poste de service (serveur) dès qu’il y en a un de libre, afin d’être servi, sinon il se positionne dans une « file d’attente. »
Un système d’attente est donc composé d’un espace de service (comportant un ou plusieurs serveurs) et d'un espace d'attente dans lequel se forme une éventuelle file d'attente[5]. En informatique, on parlera de client et de serveur ; ailleurs on préférera les termes d’unité et de station.
La littérature distingue par ailleurs[5] :
- les systèmes ouverts, où la file (le nombre d'entrées en attente) est de longueur infinie, et
- les systèmes fermés, où la file d'attente est de taille finie.
Enfin, la description d'une file d'attente s'accompagne de la « discipline » ou « politique de service[5] » :
- file FIFO (First In, First Out) : premier (client) arrivé, premier servi
- pile LIFO (Last in, first out) : dernier arrivé, premier servi ;
- client le plus proche d'un serveur libre, ou Nearest neighbour
Objet de la théorie
modifierÉtant donné une file d'attente, la théorie se propose de produire un certain nombre de résultats, tels :
- la longueur moyenne de la file,
- la durée moyenne de service
- le taux moyen d'inactivité des serveurs,
- le temps moyen d'attente dans une file
- le temps moyen total de service dans le système (ou « temps de résidence » en informatique).
Elle peut étudier l'existence ou non d'un régime stationnaire, le risque de saturation du service, la discipline optimale par rapport au temps de résidence, etc.
Aspects mathématiques
modifierLoi de Little
modifierLa loi de Little énonce que le nombre moyen de clients dans un système stable est égal à leur fréquence moyenne d'arrivée multipliée par leur temps moyen passé dans le système : .
Quoique cet énoncé paraisse évident intuitivement, il n'en est pas moins remarquable, puisqu'il ne dépend ni du processus d'arrivée, ni de la discipline de service[6]. Il s'applique également à des serveurs à l'intérieur d'un serveur[7] ; la seule exigence est que le système soit stable et non-préemptif, ce qui exclut des états de transition comme la mise en route ou l'arrêt d'un serveur.
Dans certains cas, il est possible non seulement de relier la taille moyenne de la file d'attente au temps moyen d'attente, mais même de relier la loi de probabilité (et ses moments) de la taille de la file d'attente à celle du temps moyen d'attente[8].
Dans son article original de 1954, Little énonçait cette relation sans la démontrer[9],[10]. Il en donna une première démonstration en 1961[11], simplifiée depuis par Jewell[12] et Eilon[13].
Notation de Kendall
modifierIl existe de très nombreux systèmes de files d'attente. La notation de Kendall permet de décrire le système par une suite de 6 symboles a/s/C/K/m/Z[14],[15].
- a indique la loi de probabilité des instants d'arrivées, par exemple GI pour la loi générale indépendante et M pour la loi de Poisson ou la loi exponentielle.
- s indique la loi de probabilité de la durée du service (au guichet) ; on utilise les mêmes symboles que précédemment
- C indique le nombre de serveurs (nombre de guichets)
- K, c'est la capacité totale du système, c'est-à-dire le nombre C de serveurs + le nombre de places en attente
- m indique la population totale de clients (par exemple : nombre d'inscrits sur une liste électorale dans le cas d'une file d'attente à un bureau de vote)
- Z, la discipline de service, par exemple FIFO (first in, first out), LIFO (Last in, first out), Nearest neighbour, etc.
Très souvent, K est infini, m est infini, et Z en FIFO (encore dénoté par peps). Dans ce cas, les trois derniers symboles de la notation sont omis.
Quelques résultats
modifierAvec :
- fréquence moyenne d'arrivées ;
- temps moyen de service ;
- trafic offert (nombre moyen d'arrivées pendant le temps moyen de service). Attention à ne pas oublier S, le nombre de serveurs.
File M/M/1 | File M/M/S | |
---|---|---|
Probabilité système vide (P0) | ||
Probabilité d'attente (Pa) | ||
Nombre moyen de clients dans le système (<N>) | ||
Nombre moyen de clients en attente (<Na>) | ||
Nombre moyen de clients en service (au guichet) (<Ns>) | ||
Temps moyen de séjour dans le système ( ) | ||
Temps moyen d'attente ( ) | ||
Condition d'atteinte de l'équilibre (« pas d'engorgement ») |
Notes et références
modifier- A. Kaufmann et R. Cruon, Les phénomènes d'attente : théorie et applications, Paris, Dunod, , 274 p.
- Erlang a présenté sa théorie dans A. K. Erlang, « The theory of probability and telephone conversations », Nyt Tidsskrift for Matematik, b, vol. 20, puis A. Erlang, « Solution of some Problems in the Theory of Probabilities of Significance in Automatic Telephone Exchanges », Elektrotkeknikeren, vol. 13, .
- Cf. F. Pollaczek, Problèmes stochastiques posés par le phénomène de formation d'une queue d'attente à un guichet et par des phénomènes apparentés, Paris, Gauthier-Villars, coll. « Mémorial des Sciences Mathématiques, n°136 »,
- Cf. Émile Daru, « Méthodes de résolution pour quelques problèmes de files d'attente comportant des serveurs d'efficacités différentes », Revue de la Recherche Opérationnelle, vol. 2, no 8, 3e trimestre 1958
- D’après J.-M. Helary et R. Pedrono, Recherche opérationnelle — Travaux dirigés, Paris, Hermann, , 352 p. (ISBN 2-7056-5955-2), « II. Files d'attente markoviennes », p. 90.
- Cf. D. Simchi-Levi et M. A. Trick, « Introduction to "Little's Law as Viewed on Its 50th Anniversary" », Operations Research, vol. 59, no 3, , p. 535 (DOI 10.1287/opre.1110.0941)
- Cf. R. Serfozo, Introduction to Stochastic Networks, , 301 p. (ISBN 978-1-4612-7160-4, DOI 10.1007/978-1-4612-1482-3_5), « Little Laws », p. 135–154
- Cf. J. Keilson et L. D. Servi, « A distributional form of Little's Law », Operations Research Letters, vol. 7, no 5, , p. 223 (DOI 10.1016/0167-6377(88)90035-1, hdl 1721.1/5305, lire en ligne)
- D'après J. D. C. Little et S. C. Graves, Building Intuition, vol. 115, coll. « Int. Series in Op. Res. & Management Sc. », (ISBN 978-0-387-73698-3, DOI 10.1007/978-0-387-73699-0_5, lire en ligne), « Little's Law », p. 81
- Cf. Alan Cobham, « Priority Assignment in Waiting Line Problems », Operations Research, vol. 2, no 1, , p. 70–76 (DOI 10.1287/opre.2.1.70)
- Cf. J. D. C. Little, « A Proof for the Queuing Formula: L = λW », Operations Research, vol. 9, no 3, , p. 383–387 (DOI 10.1287/opre.9.3.383, JSTOR 167570)
- Cf. William S. Jewell, « A Simple Proof of: L = λW », Operations Research, vol. 15, no 6, , p. 1109–1116 (DOI 10.1287/opre.15.6.1109, JSTOR 168616)
- Cf. Samuel Eilon, « A Simpler Proof of L = λW », Operations Research, vol. 17, no 5, , p. 915–917 (DOI 10.1287/opre.17.5.915, JSTOR 168368)
- (en) David George Kendall, « Stochastic Processes Occurring in the Theory of Queues and their Analysis by the Method of the Imbedded Markov Chain », The Annals of Mathematical Statistics, vol. 24, no 3, , p. 338 (DOI 10.1214/aoms/1177728975, JSTOR 2236285).
- (en) Alec Miller Lee, « A Problem of Standards of Service (Chapter 15) », dans Applied Queueing Theory, New York, MacMillan, (ISBN 0-333-04079-1).