Vous êtes sur la page 1sur 39

Recherche Operationnelle

Les les dattente et les reseaux de les


dattente
Jean-Francois Heche
Institut de Mathematiques

Ecole Polytechnique Federale de Lausanne


Les les dattente
Denition et classication : la notation de Kendall
La formule de Little
Les les dattente markoviennes
La le M/M/1
La le M/M/m
La le M/M/m/K
Les les dattente non markoviennes
La le M/G/1 et la formule de Pollaczek-Khinchin
Approximations pour les les G/G/m
J.-F. Heche, ROSO-EPFL Files dattente 1
Les les dattente simples
Une le dattente ou queue simple est caracterisee par
un processus darrivee de clients decrivant les instants auxquels les
clients entrent dans le syst`eme ;
un processus de service decrivant le temps requis pour servir un client ;
un nombre de serveurs, tous identiques, speciant le nombre maximal
de clients pouvant etre servis simultanement.
File (places dattente)
Serveur(s)
Processus darrivee
Processus de depart
J.-F. Heche, ROSO-EPFL Files dattente 2
`
A ces caracteristiques de base sajoutent parfois
la capacite de la le correspondant au nombre maximal de clients
pouvant etre presents `a un instant donne (aussi bien en attente quen
service) ;
la taille de la population des clients susceptibles dutiliser le serveur ;
la discipline de service decrivant lordre dans lequel les clients sont
servis.
J.-F. Heche, ROSO-EPFL Files dattente 3
Notation de Kendall
An de simplier la description des 3 ou 6 elements decrivant une le,
Kendall a introduit la notation suivante
Forme abregee : A/S/m
Forme compl`ete : A/S/m/K/P/D
o` u chaque symbole correspond, dans le meme ordre quavant, `a une
caracteristique de la le dattente :
A : processus darrivee K : capacite de la le ()
S : processus de service P : taille de la population ()
m : nombre de serveurs D : discipline de service (FIFO)
J.-F. Heche, ROSO-EPFL Files dattente 4
Pour les processus darrivee et de service, les symboles les plus courants sont
M loi exponentielle ( memoryless )
D loi deterministe (temps dinter-arrivee ou de service constants)
G loi generale (les resultats sont vrais pour toute loi)
Pour la discipline de service, ils sont
FIFO premier arrive, premier servi ( rst in, rst out )
LIFO dernier arrive, premier servi ( last in, rst out )
PS temps partage ( processor sharing )
J.-F. Heche, ROSO-EPFL Files dattente 5
Mesures de performance
Letude dune le dattente ou dun reseau de les a pour but de calculer
ou destimer les performances dun syst`eme dans des conditions de
fonctionnement donnees. Ce calcul se fait le plus souvent pour le regime
stationnaire uniquement et les mesures les plus frequemment utilisees sont

N le nombre moyen de clients presents (en attente et en service)

Q le nombre moyen de clients en attente

T le temps moyen de sejour ou de reponse (attente et service)

W le temps moyen dattente


U le taux dutilisation de chaque serveur
J.-F. Heche, ROSO-EPFL Files dattente 6
De mani`ere generale, une le est stable si et seulement si le nombre moyen
darrivees de clients par unite de temps, note , est inferieur au nombre
moyen de clients pouvant etre servis par unite de temps. Si chaque serveur
peut traiter clients par unite de temps et si le nombre de serveurs est m,
une le est stable si et seulement si
< m =

m
< 1.
Pour un syst`eme stable, on a

T =

W +

S
o` u

S est le temps moyen de service et

N =

Q+mU
o` u m est le nombre de serveurs.
J.-F. Heche, ROSO-EPFL Files dattente 7
Formule de Little
Theor`eme 1. Pour un syst`eme en regime stationnaire, le taux darrivee
des clients, le nombre moyen

N de clients dans le syst`eme et le temps moyen

T de sejour (temps moyen de reponse) sont relies par la relation

N =

T.
Preuve. Jouons `a la concierge `a la vue (tr`es) defaillante et notons
simplement les heures dentree et de sortie de clients.
Le syst`eme est vide au temps 0 et au temps t, (t) clients sont entres et
(t) sont dej`a repartis. Le taux moyen darrivee dans [0, t) est donc
(t) = (t)/t.
`
A linstant t, il y a N(t) = (t) (t) clients dans le syst`eme et, dans
J.-F. Heche, ROSO-EPFL Files dattente 8
[0, t), le cumul des temps de sejour dans le syst`eme est
(t) =
_
t
0
((s) (s)) ds =
_
t
0
N(s)ds.
Le nombre moyen de clients presents dans [0, t) et le temps moyen de
sejour dun client dans [0, t) sont

N(t) = (t)/t et

T(t) = (t)/(t).
Ainsi

N(t) = (t)/t = ((t)/(t)) ((t)/t) =



T(t) (t).
Finalement, si le syst`eme admet un regime stationnaire, on doit avoir
lim
t
(t) = , lim
t

T(t) =

T et lim
t

N(t) =

N et le resultat
suit.
J.-F. Heche, ROSO-EPFL Files dattente 9
La le dattente M/M/1
Cette le modelise un guichet unique o` u chaque client recoit un service
dont la duree est une variable exponentielle de param`etre (independante
de tout autre element aectant le syst`eme) et o` u larrivee des clients
correspond `a un processus de Poisson de taux (les temps entre deux
arrivees successives sont des variables aleatoires i.i.d. selon une loi
exponentielle de param`etre ).
Denissant letat de la le comme le nombre de clients presents, levolution
de la variable detat est une chane de Markov `a temps continu de graphe
representatif
0 1 2 3


J.-F. Heche, ROSO-EPFL Files dattente 10
La le M/M/1 est donc un processus de naissance et de mort et elle est
stable si et seulement si ce processus est ergodique, c.-`a-d. ssi
=

< 1.
Cette valeur est appelee lintensite du trac.
Pour une le stable, la distribution stationnaire est

k
= (1 )
k
k = 0, 1, . . .
et le taux dutilisation du serveur est
U = P[X > 0] = 1 P[X = 0] = 1

0
=
J.-F. Heche, ROSO-EPFL Files dattente 11
Mesures de performance : nombres moyens
Le nombre moyen de clients presents est

N =
E
[X] =

k=0
k

k
=

k=0
k(1 )
k
= (1 )

k=1
k
k1
= (1 )
d
d
_

k=1

k
_
= (1 )
d
d
_

1
_
=

1
et le nombre moyen de clients en attente est

Q =

N U =

1
=

2
1
.
J.-F. Heche, ROSO-EPFL Files dattente 12
Mesures de performance : temps moyens
Utilisant Little, on obtient, pour le temps moyen de reponse,

T =

N

=

(1 )
=
1
(1 )
=

S
1
et, pour le temps moyen dattente,

W =

Q

=

2
(1 )
=

(1 )
=

S
1
.
Remarque. On a bien

T =

W +

S.
J.-F. Heche, ROSO-EPFL Files dattente 13
La le dattente M/M/m
Dans ce mod`ele, m serveurs identiques et independants partagent les
memes places dattente. Les arrivees suivent un processus de Poisson de
param`etre et la duree de chaque service est une variable exponentielle de
param`etre .
Levolution du nombre de clients dans un tel syst`eme est egalement un
processus de naissance et de mort dont le graphe representatif est
0 1 2
2

3

m+1
m-1 m

(m1)

m

m m
J.-F. Heche, ROSO-EPFL Files dattente 14
Il nest pas surprenant dapprendre que cette le est stable ssi
=

m
< 1.
La resolution des equations de bilan permet de calculer sans trop de
diculte la distribution stationnaire de la le. Une grandeur importante
pour les les M/M/m est la probabilite quun client entrant dans le
syst`eme doive attendre. Elle est egale `a
= P[ m clients presents] =

k=m

k
=
(m)
m
m!(1 )

0
avec

0
=
_
1 +
(m)
m
m!(1 )
+
m1

k=1
(m)
k
k!
_
1
.
J.-F. Heche, ROSO-EPFL Files dattente 15
Le taux dutilisation de chaque serveur est
U = /(m) = .
Les nombres moyens de clients presents et en attente sont

N = m +

1
et

Q =

1
.
Les temps moyens de reponse et dattente sont

T =
1

_
1 +

m(1 )
_
=

S +


S
m(1 )
et

W =

m(1 )
=


S
m(1 )
.
J.-F. Heche, ROSO-EPFL Files dattente 16
La le dattente M/M/m/K
La le M/M/m/K est une le markovienne composee de m serveurs et
disposant de K places au total. Le nombre maximal de clients en attente
est donc K m. Si un client arrive alors que le syst`eme est plein, il ne peut
y entrer et doit repartir.
Levolution du nombre de clients dans un tel syst`eme est encore et toujours
un processus de naissance et de mort dont le graphe representatif est
0 1

m+1
m-1 m

(m1)

m

m m
K

m
J.-F. Heche, ROSO-EPFL Files dattente 17
La chane de Markov `a temps continu decrivant levolution du nombre de
clients ne poss`ede quun nombre ni detats. Ainsi, pour et positifs, elle
est irreductible et ergodique. Une le M/M/m/K est donc toujours stable
quel que soit lintensite du trac
=

m
.
Comme tout client arrivant alors que le syst`eme est plein doit repartir, le
taux eectif darrivee dans le syst`eme nest pas mais

=
K1

k=0

k
= (1

K
).
Ayant calcule

N et

Q, cest ce taux eectif

quil faut utiliser pour


calculer

T et

W `a laide de la formule de Little.
J.-F. Heche, ROSO-EPFL Files dattente 18
La le dattente M/G/1
Dans une le M/G/1 le temps de service ne suit plus une loi exponentielle
mais une loi non negative quelconque desperance

S et de variance
2
S
nies.
Le processus stochastique decrivant levolution du nombre de clients dans le
syst`eme nest plus une chane de Markov car le temps de service nest plus
sans memoire !
Pour obtenir un processus markovien il faudrait etendre la denition de
letat du syst`eme an dinclure egalement la duree de service dej`a recue par
le client occupant le serveur.
Une autre approche consiste `a nobserver le syst`eme quaux instants o` u un
client le quitte ! On obtient ainsi une chane de Markov sous-jacente `a
temps discret.
J.-F. Heche, ROSO-EPFL Files dattente 19
La formule de Pollaczek-Khinchin
Rappelons que le coecient de variation dune variable aleatoire X
desperance

X = 0 et decart-type
X
est C
X
=
X
/

X.
La formule de Pollaczek-Khinchin est un resultat tr`es elegant montrant que
les dierences de performance entre une le M/G/1 et une le M/M/1 se
resument `a un facteur multiplicatif !
Ainsi, le nombre moyen

Q de clients en attente dans une le M/G/1 stable
( =

S < 1) est

Q =
_
1 +C
2
S
2
_

2
1
o` u C
2
S
est le coecient de variation au carre du temps de service
(C
2
S
=
2
S
/

S
2
).
J.-F. Heche, ROSO-EPFL Files dattente 20
Indicant les performances par le type de le en question, lexpression
precedente devient

Q
M/G/1
=
_
1 +C
2
S
2
_

Q
M/M/1
.
Pour le temps moyen dattente, il sut dappliquer Little pour obtenir

W
M/G/1
=
_
1 +C
2
S
2
_

S
1
=
_
1 +C
2
S
2
_

W
M/M/1
.
Pour le calcul de

N et

T, on utilise les relations

N =

Q+U et

T =

W +

S,
le taux dutilisation du serveur etant toujours U = .
J.-F. Heche, ROSO-EPFL Files dattente 21
Remarques
0 1
Lois dErlang E
k
Lois hyperexponentielles H
k
C
2
L
o
i
c
s
t
e
D
L
o
i
e
x
p
.
M
Une variable dErlang dordre k, de symbole E
k
, est la somme de k variables
aleatoires exponentielles i.i.d. Son coecient de variation au carre est 1/k.
Une variable hyperexponentielle dordre k, de symbole H
k
, est une
combinaison convexe de k variables exponentielles independantes (de
param`etres dierents). Son coecient de variation au carre est 1.
J.-F. Heche, ROSO-EPFL Files dattente 22
Les autres les dattente simples
Les les dattente G/M/1, M/G/m, G/M/m, G/G/1, G/G/m, . . . sont
des processus stochastiques complexes, diciles voir tr`es diciles `a traiter
de mani`ere exacte et en toute generalite.
Les developpements se simplient parfois pour les les o` u m = mais les
resultats exacts existent essentiellement pour des cas particuliers.
De nombreuses approximations sont cependant disponibles, de plus ou
moins bonne qualite. Lune des plus simples est directement issue de la
formule de Pollaczek-Khinchin.
J.-F. Heche, ROSO-EPFL Files dattente 23
Approximations pour les les G/G/m
Soit le temps moyen entre deux arrivees successives de clients ( = 1/
est le taux darrivee) et

S le temps moyen de service dun client ( = 1/

S
est le taux de service).
Une le G/G/m est stable = /(m) =

S/(m ) < 1.
Dans ce cas, lutilisation moyenne de chaque serveur est U = et le
nombre moyen de clients en attente est approximativement

Q
G/G/m

_
C
2
A
+C
2
S
2
_

Q
M/M/m
o` u C
2
A
et C
2
S
sont, respectivement, les coecients de variation au carre des
temps entre deux arrivees successives et des temps de service.
J.-F. Heche, ROSO-EPFL Files dattente 24
Les reseaux de les dattente
Denition
Reseaux ouverts, fermes et mixtes
Reseaux `a forme produit
Les reseaux de Jackson
Conditions de stabilite
Distribution stationnaire
J.-F. Heche, ROSO-EPFL Files dattente 25
Reseaux de les dattente
Un reseau de les dattente est simplement un syst`eme compose dune ou
plusieurs les dattente reliees entre elles.
Les clients (dans les cas les plus simples, tous identiques ), une fois leur
service termine dans une station (le), se deplacent vers une autre station
ou quittent le syst`eme selon des r`egles de routage (deterministes ou
stochastiques).
1
2
3
Arrivees
externes
Routage
Sortie du syst`eme
J.-F. Heche, ROSO-EPFL Files dattente 26
Reseaux ouverts, fermes et mixtes
Un reseau est ouvert si tout client present ou entrant dans le syst`eme peut
le quitter.
Un reseau est ferme si les clients ne peuvent le quitter. Dans un reseau
ferme, le nombre de client est generalement xe et ces derniers sont
presents dans le syst`eme d`es le debut de son evolution.
Finalement, un reseau est mixte sil est ouvert pour certains clients et ferme
pour dautres.
Reseau ouvert Reseau ferme Reseau mixte
J.-F. Heche, ROSO-EPFL Files dattente 27
Reseaux `a forme produit
La denition la plus simple de letat dun reseau consiste `a denir letat
x(t) du syst`eme au temps t comme le vecteur (x
1
(t) . . . x
J
(t)) o` u x
j
(t)
est le nombre de clients presents `a linstant t dans la le j.
Sous certaines conditions, un reseau stable poss`ede une distribution
stationnaire

de la forme

(x) =

(x
1
. . . x
J
) =
J

j=1

j
(x
j
).
Un tel reseau est dit `a forme produit et se comporte comme J les
independantes de distribution stationnaire

j
, j = 1, . . . , J.
J.-F. Heche, ROSO-EPFL Files dattente 28
Les reseaux de Jackson
Un reseau de Jackson est compose de J les dattente ne comportant
chacune quun seul serveur de capacite innie et utilisant une discipline de
le FIFO. Chaque le fournit un service de duree exponentielle, le taux de
service de la le j etant
j
.
Les clients (appartenant tous `a la meme classe) arrivent dans le syst`eme
selon des processus de Poisson, le taux darrivee dans la le j etant
j
.
Apr`es avoir termine son service `a la station j, un client se deplace `a la
station k avec probabilite r
jk
et quitte le syst`eme avec probabilite r
j0
o` u
r
j0
= 1
J

k=1
r
jk
.
De telles r`egles denissent un routage markovien.
J.-F. Heche, ROSO-EPFL Files dattente 29
Exemple

1

2

1
r
11
= 1/4
r
13
= 1/4
r
31
= 4/5
r
23
= 2/3
r
12
= 1/2
r
30
= 1/5
r
20
= 1/3
R =
_
_
_
1/4 1/2 1/4
0 0 2/3
4/5 0 0
_
_
_
r
0
=
_
_
_
0
1/3
1/5
_
_
_
J.-F. Heche, ROSO-EPFL Files dattente 30
Conditions de stabilite
Pour quun reseau soit stable, chacune de ses les doit letre. Notant
j
le
taux eectif (ou taux moyen) darrivee dans la le j, on peut ecrire les
equations de conservation

j
=
j
+
J

i=1

i
r
ij
j = 1, . . . , J.
Sous forme matricielle, ces equations deviennent
= +R (I R) = .
J.-F. Heche, ROSO-EPFL Files dattente 31
Pour un reseau ouvert, on a lim
n
R
n
= 0 et lunique solution du
syst`eme precedent est
= (I R)
1
.
Connaissant les taux eectifs darrivee , la le j est stable si et seulement
si

j
=

j

j
< 1
et le reseau est stable si et seulement si chacune des les le composant
lest.
J.-F. Heche, ROSO-EPFL Files dattente 32
Exemple (suite)

1

2

1
r
11
= 1/4
r
13
= 1/4
r
31
= 4/5
r
23
= 2/3
r
12
= 1/2
r
30
= 1/5
r
20
= 1/3
Les equations de conservation du reseau sont

1
=
1
+
1
r
11
+
3
r
31

2
=
2
+
1
r
12

3
=
1
r
13
+
2
r
23
J.-F. Heche, ROSO-EPFL Files dattente 33

1
=
1
+
1
/4 + 4
3
/5

2
=
2
+
1
/2

3
=
1
/4 + 2
2
/3

1
=
60
17

1
+
32
17

2
=
30
17

1
+
33
17

3
=
35
17

1
+
30
17

2
Le reseau est donc stable si
1
,
2
,
1
,
2
et
3
sont tels que

1
=

1

1
< 1
2
=

2

2
< 1
2
=

3

3
< 1.
J.-F. Heche, ROSO-EPFL Files dattente 34
Distribution stationnaire
Les reseaux de Jackson sont des reseaux `a forme produit et la distribution
stationnaire dun reseau ouvert et stable est

(x) =

(x
1
. . . x
J
) =
J

j=1

j
(x
j
) =
J

j=1
(1
j
)
x
j
j
.
Un tel syst`eme se comporte donc comme J les M|M|1 independantes
dintensite respective
1
=
1
/
1
, . . . ,
J
=
J
/
J
.
Rappel. Letat x du reseau est le vecteur dont la j
e
composante, notee x
j
,
represente le nombre de clients presents dans la station j.
J.-F. Heche, ROSO-EPFL Files dattente 35
Exemple

1
= 6
2
= 4
r
21
= p

1
= 2
Les taux eectifs darrivee sont solutions de

1
=
1
+ p
2

2
=
1
.
Ainsi

1
=
2
=

1
1 p
.
J.-F. Heche, ROSO-EPFL Files dattente 36
Le reseau est stable si et seulement si

1
=

1

1
=

1
(1 p)
1
=
2
6(1 p)
< 1 p <
2
3
et

2
=

2

2
=

1
(1 p)
2
=
2
4(1 p)
< 1 p <
1
2
Pour p [0, 1/2), le reseau est stable est poss`ede une distribution
stationnaire unique.
Pour p = 1/3, on a
1
= 1/2 et
2
= 3/4 et le nombre moyen de clients en
attente devant chacune des les est

Q
1
=

2
1
1
1
= 1/2 et

Q
2
=

2
2
1
2
= 9/4.
J.-F. Heche, ROSO-EPFL Files dattente 37
Pour calculer le temps moyen de sejour dun client, on applique la formule
de Little au reseau tout entier. Le taux darrivee dans le reseau est
1
= 2
et le nombre moyen de clients presents est

N =

N
1
+

N
2
=

1
1
1
+

2
1
2
= 1 + 3 = 4.
Le temps moyen de sejour (de reponse) est donc

T =

N/
1
= 4/2 = 2.
Remarque. Les taux eectifs darrivee dans les deux les sont

1
=
2
=
1
/(1 p) = 3. Le temps moyen de sejour dans chacune delles
est donc

T
1
=

N
1
/
1
= 1/3 et

T
2
=

N
2
/
2
= 1. Un client visite en
moyenne 1/(1 p) = 3/2 fois chaque station (esperance dune variable
geometrique de param`etre p = 1/3). Le temps de reponse dun client est
donc 3/2 (

T
1
+

T
2
) = 3/2 4/3 = 2.
J.-F. Heche, ROSO-EPFL Files dattente 38

Vous aimerez peut-être aussi