Files dattente (1)

F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Cours de Tronc Commun Scientique
Recherche Operationnelle
Les les dattente (1)
Frederic Sur

Ecole des Mines de Nancy

www.loria.fr/sur/enseignement/RO/
1/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Les les dattente (1)
1 Introduction
2 Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
3 Modelisation dans le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
4 Un exemple
5 Conclusion
2/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Exemples de les dattente (1)
Noahs ark, Edward Hicks, 1846.
3/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Exemples de les dattente (2)
Immigrants queuing at Ellis Island, Bettman/Corbis, ca. 1900.
4/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Exemples de les dattente (3)
5/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Exemples de les dattente (4)
St Pancras Station, Londres, AFP, dec. 2010.
File dattente ?
6/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Exemples de les dattente (5)
et :
Trac aerien
Telecommunications (telephonie, call-centers)
Serveurs informatiques
. . .
Objectif : dimensionnement, organisation
par lestimation de mesures de performance comme :
temps moyen dattente
nombre moyen de clients dans la le
nombre de serveurs occupes
probabilite que la le soit vide / pleine
. . .
7/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Les les dattente (1)
1 Introduction
2 Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
3 Modelisation dans le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
4 Un exemple
5 Conclusion
8/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Caracteristiques dune le dattente
"Clients"
File dattente
.........
"Serveurs"
S1
1 2 3 4
S2
Sn
loi darrivee des clients ?
loi de la duree des services ?
combien de serveurs ?
quelle est la taille de la le ?
comment sorganise la le ?
9/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Les notations de Kendall (1953)
File dattente decrite par :
A/B/m/N/S
o` u :
A est la distribution des arrivees : stochastique ou
deterministe ;
B est la distribution des temps de service : idem;
m est le nombre de serveurs ;
N est le nombre maximum de clients dans le syst`eme ;
S est la discipline de service (FIFO, LIFO, RAND. . .)
Question : sous quelles conditions peut-on faire des calculs ?
10/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
La loi de Little (1)
Arrivees
Departs
temps
t
1
2
3
4
5
6
7
2
3
1
4
5
Nombre darrivees / departs
A(t) nombre darrivees pendant [0, t]
D(t) nombre de departs pendant [0, t]
N(t) = A(t) D(t) nombre de clients au temps t
T
i
: temps de sejour (attente + service) du i -`eme client
Remarque :
_
t
0
N(u)du =
A(t)

i =1
T
i
R(t)
11/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
La loi de Little (2)
_
t
0
N(u)du =
A(t)

i =1
T
i
R(t)
Donc :
1
t
_
t
0
N(u)du =
A(t)
t
1
A(t)
A(t)

i =1
T
i

R(t)
t
Hypoth`eses : lorsque t +
1
1
t
_
t
0
N(u) N (nombre moyen de clients presents par
unite de temps)
2
A(t)
t
(nombre moyen darrivees par unite de temps)
3
_

A(t)
i =1
T
i
_
/A(t) T (temps de sejour moyen)
4
R(t)
t
0
(hypoth`eses 1,2,3 : regime permanent, hypoth`ese 4 naturelle)
12/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
La loi de Little (3)
Proposition - loi de Little (1961)
N = T
Autre version :
N
f
= T
f
avec :
N
f
: nombre moyen de clients dans la le dattente
T
f
: temps dattente moyen dans la le.
Remarque : resultat general !
pas dhypoth`ese sur la distribution des arrivees ou des
temps de services, ni sur la discipline de service.
13/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Exemple
Un serveur informatique `a 5 processeurs recoit en moyenne
1000 requetes par seconde.
Ladministrateur du serveur se rend compte que le serveur
est occupe `a 100%, et quen moyenne 8 requetes sont en
attente.
Question 1 : quel est le temps moyen dattente dune
requete ? (attention au time-out)
loi de Little : T
f
= N
f
/ = 8/1000 sec.
Question 2 : quel est le temps moyen de traitement dune
requete ?
T T
f
= (N N
f
)/ = 5/1000 sec.
14/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Les les dattente (1)
1 Introduction
2 Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
3 Modelisation dans le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
4 Un exemple
5 Conclusion
15/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Les clients nont pas de memoire
Hypoth`eses sur les arrivees A(t) pendant [0, t] :
0 t
1
t
k
,, les v.a.
A(t
1
) A(0), . . . , A(t
k
) A(t
k1
) sont independantes
(phenom`ene sans memoire)
Pr(A(t + h) A(t) = 1) =
h0
h + o(h)
Pr(A(t + h) A(t) > 1) =
h0
o(h)
: taux darrivee (nombre par unite de temps).
Alors on peut montrer que
1
t, A(t) suit une loi de Poisson :
k 0, Pr(A(t) = k) = e
t
(t)
k
k!
2
le temps T
arr
entre deux arrivees suit une loi
exponentielle :
t 0, Pr(T
arr
= t) = e
t
On dit que A(t) est un processus de Poisson.
16/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Processus de Poisson
0 10 20 30 40 50 60 70 80 90
0
2
4
6
8
10
12
14
16
18
20
t
A
(
t)
(exemple avec = 0.2)
Proprietes : E(A(t)) = t, E(T
arr
) = 1/
Remarque : les hypoth`eses pour arriver `a Poisson semblent
restrictives, mais en fait le th. de Palm-Khintchine nous dit que
sous certaines conditions, le cumul de processus darrivee
non-Poissonniens tend vers un processus de Poisson.
17/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Les serveurs nont pas davantage de memoire. . .
Hypoth`ese : la duree dun service suit une loi exponentielle.
t 0, Pr(T
serv
= t) = e
t
De mani`ere equivalente, si S(t) est le nombre de services
possibles pendant [0, t],
t, S(t) suit une loi de Poisson :
k 0, Pr(S(t) = k) = e
t
(t)
k
k!
Ici est le taux de service (ou nombre moyen de services par
unite de temps) dun serveur donne.
(1/ est la duree moyenne dun service.)
18/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Loi des departs hors du syst`eme
Attention : la loi des departs D(t) na pas de raison detre
la loi de S(t).
cest le cas si les serveurs sont occupes en permanence
sinon le taux de depart est inferieur au taux de service.
Exemple : cas de s serveurs independants et sans
memoire, chacun ayant un taux de service .
Le centre de service suit alors une loi de service sans
memoire de taux s.
Loi des departs :
si n s clients dans le syst`eme, taux s
si n < s clients dans le syst`eme : taux n < s.
Justication : Si X et Y v.a. independantes, suivant la loi
exponentielle (param`etres et ),
alors min(X, Y) est une v.a. de loi expo. (param. +).
19/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
File M/M/1
Exemple canonique : un serveur, le non-bornee.
Arrivees = processus de Poisson, taux darrivee
Duree des services exponentielle, taux de service
hypoth`ese Markovienne (M) dans les deux cas
+ proba darrivee et service pendant [0, h] est o(h)
Si m < n :
Pr(N
t+h
= n|N
t
= m) = Pr(A(t +h)A(t) = mn|N
t
= m)
donc (cf def processus de Poisson)
si m < n 1 : Pr(N
t+h
= n|N
t
= m) = o(h)
et : Pr(N
t+h
= n|N
t
= n 1) = h + o(h)
De meme :
si m > n + 1 : Pr(N
t+h
= n|N
t
= m) = o(h)
et : Pr(N
t+h
= n|N
t
= n + 1) = h + o(h)
Vocabulaire : N
t
= processus de Markov `a temps continu.
20/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
File M/M/1 : calculs
Comme (probabilites totales) :
Pr(N
t+h
= n) = Pr(N
t+h
= n|N
t
= n 1) Pr(N
t
= n 1)
+Pr(N
t+h
= n|N
t
= n) Pr(N
t
= n)
+Pr(N
t+h
= n|N
t
= n + 1) Pr(N
t
= n + 1)
+Pr(N
t+h
= n|N
t
= {n 1, n, n + 1})
Pr(N
t
= {n 1, n, n + 1})
On deduit :
Pr(N
t+h
= n) = (h + o(h)) Pr(N
t
= n 1)
+(1 h + o(h))(1 h + o(h)) Pr(N
t
= n)
+(h + o(h)) Pr(N
t
= n + 1)
+o(h) Pr(N
t
> n + 1 ou N
t
< n 1)
Do` u :
Pr(N
t+h
= n) = h Pr(N
t
= n 1) + (1 h h) Pr(N
t
= n)
+h Pr(N
t
= n + 1) + o(h)
21/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
File M/M/1 : vue comme une chane de Markov
Pr(N
t+h
= n) = h Pr(N
t
= n 1) + (1 h h) Pr(N
t
= n)
+h Pr(N
t
= n + 1) + o(h) (si n 1 . . . )
Do` u la representation :
0

44
1

tt

44
2

tt

44
3

tt

33
. . .

tt
Remarque : chane ergodique ?
Formule des coupes (regime permanent) +

p
n
= 1 :
p
0
= p
1
p
1
= p
2
. . .
p
n
= p
n+1
. . .
_

_
= n, p
n
=
_

_
n

_
1

_
. . .sous la condition = / < 1
: nombre moyen darrivees pendant la duree de service.
22/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
File M/M/1 : proprietes
Sous condition : = / < 1
En regime permanent :
p
n
=
n
(1 )
Nombre moyen de clients dans le syst`eme :
N =
+

n=0
np
n
=

1
Nombre moyen de clients dans la le dattente :
N
f
=
+

n=1
(n 1)p
n
=

2
1
Temps de sejour moyen dans le syst`eme : (loi de Little)
T = N/ =
1

1
Temps dattente moyen dans la le : (loi de Little)
T
f
= N
f
/ =
1

2
1
23/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Autres les markoviennes
(convention : on ne represente pas les boucles du graphe)
M/M/3
0

44
1

tt

44
2
2
tt

44
3
3
tt

44
4
3
tt

33
. . .
3
tt
M/M/2/4
0

44
1

tt

44
2
2
tt

44
3
2
tt

44
4
2
tt
formule des coupes.
cf formulaire dans le polycopie.
attention, la formule de Little dit : T = N/
o` u est le taux dentree eectif.
Et dans le cas M/M/n/K? T = N/
_
(1 p(K))
_
24/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Les les dattente (1)
1 Introduction
2 Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
3 Modelisation dans le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
4 Un exemple
5 Conclusion
25/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Comparaison de dierentes strategies
Des requetes sont envoyees sur un serveur, taux darrivee .
Arbitrage entre trois types de serveurs :
(ou trois types dorganisation de la le dattente dans une
administration)
1
processeur unique tr`es puissant avec taux de service m,
le M/M/1 ;
2
m processeurs legers avec taux de service ,
le M/M/m;
3
m processeurs legers independants, taux de service ,
chacun possedant une le M/M/1 dans laquelle un
nouveau service entre au hasard (proba uniforme)
Question : temps de traitement dune nouvelle requete ?
26/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Comparaison de dierentes strategies
1
M/M/1, taux de service m, taux darrivee
T =
1

/(m)
1 /(m)
2
M/M/m, taux de service , taux darrivee
T donne par les formules du polycopie.
cf formule Erlang-C.
3
equivaut `a m les M/M/1, taux de service , taux
darrivee /m
T =
m

/(m)
1 /(m)
27/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Comparaison de dierentes strategies
Exemple : m = 10, = 1
3 4 5 6 7 8 9
0
1
2
3
4
5
6
7
8
9
10

t
e
m
p
s

d
a
t
t
e
n
t
e


cas 1
cas 2
cas 3
Remarque : < 10.
Explication intuitive ?
28/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Les les dattente (1)
1 Introduction
2 Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
3 Modelisation dans le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
4 Un exemple
5 Conclusion
29/30
Files dattente (1)
F. Sur - ENSMN
Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little
Modelisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres les
Un exemple
Conclusion
Conclusion
Deux cas vus aujourdhui :
File dattente generale : formules de Little.
File dattente Markovienne : modelisation par chane de
Markov, les calculs en regime permanent / stationnaire
sont faciles.
Prochaine seance :
Generalisation du cadre M/M
(processus de naissance et de mort)
M/M
X
M/G
reseaux. . .
30/30