Vous êtes sur la page 1sur 8

Files dattente (1)

F. Sur - ENSMN

Cours de Tronc Commun Scientifique

Les files dattente (1)

Introduction
Vocabulaire

Recherche Operationnelle

Caract
eristiques
Notations de Kendall
Loi de Little

Introduction

Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little

Mod
elisation dans
le cadre Markovien

Les files dattente (1)

Processus de Poisson
File M/M/1
Autres files

Un exemple

Files dattente (1)


F. Sur - ENSMN
Introduction
Vocabulaire
Caract
eristiques
Notations de Kendall
Loi de Little

Mod
elisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres files

Un exemple

Conclusion

Modelisation dans le cadre Markovien


Processus de Poisson
File M/M/1
Autres files

Un exemple

Conclusion

Frederic Sur

Ecole
des Mines de Nancy

Conclusion

www.loria.fr/sur/enseignement/RO/

1/28

2/28

Exemples de files dattente (1)

Files dattente (1)


F. Sur - ENSMN

Exemples de files dattente (2)

F. Sur - ENSMN

Introduction

Introduction

Vocabulaire

Vocabulaire

Caract
eristiques
Notations de Kendall
Loi de Little

Caract
eristiques
Notations de Kendall
Loi de Little

Mod
elisation dans
le cadre Markovien

Mod
elisation dans
le cadre Markovien

Processus de Poisson
File M/M/1
Autres files

Processus de Poisson
File M/M/1
Autres files

Un exemple

Un exemple

Conclusion

Conclusion

Noahs ark, Edward Hicks, 1846.


3/28

Files dattente (1)

4/28

Exemples de files dattente (3)

Files dattente (1)


F. Sur - ENSMN

Files dattente (1)

Exemples de files dattente (4)

F. Sur - ENSMN

et :

Introduction

Introduction

Trafic aerien

Vocabulaire
Caract
eristiques
Notations de Kendall
Loi de Little

Vocabulaire

Telecommunications (telephonie, call-centers)


Serveurs informatiques

Mod
elisation dans
le cadre Markovien

Mod
elisation dans
le cadre Markovien

...

Processus de Poisson
File M/M/1
Autres files

Un exemple

Processus de Poisson
File M/M/1
Autres files

Un exemple

Objectif : dimensionnement, organisation

Conclusion

Caract
eristiques
Notations de Kendall
Loi de Little

Conclusion

par lestimation de mesures de performance comme :


temps moyen dattente
nombre moyen de clients dans la file
nombre de serveurs occupes
St Pancras Station, Londres, AFP, dec. 2010.

probabilite que la file soit vide / pleine

File dattente ?

...

5/28

6/28

Les files dattente (1)


1
2

Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little

Files dattente (1)


F. Sur - ENSMN

Caracteristiques dun syst`eme dattente

Introduction

Modelisation dans le cadre Markovien


Processus de Poisson
File M/M/1
Autres files

Un exemple

Conclusion

Vocabulaire

Caract
eristiques
Notations de Kendall
Loi de Little
4

Mod
elisation dans
le cadre Markovien

3 2

S2

Caract
eristiques
Notations de Kendall
Loi de Little

.........

Mod
elisation dans
le cadre Markovien

File dattente

Processus de Poisson
File M/M/1
Autres files

"Clients"

Processus de Poisson
File M/M/1
Autres files

Sn

"Serveurs"

Un exemple

Conclusion

Conclusion

loi darrivee des clients ?


loi de la duree des services ?
combien de serveurs ?
quelle est la taille de la file ?
comment sorganise la file ?

7/28

F. Sur - ENSMN
Introduction

S1

Vocabulaire

Un exemple

Files dattente (1)

8/28

Les notations de Kendall (1953)

Files dattente (1)


F. Sur - ENSMN

F. Sur - ENSMN

Nombre darrivees / departs

Introduction

File (syst`eme) dattente decrite par :

Files dattente (1)

La loi de Little (1)


Arrivees

Caract
eristiques
Notations de Kendall
Loi de Little

A/B/m/N/S

A est la distribution des arrivees : stochastique ou


deterministe ;
B est la distribution des temps de service : idem ;

5
4

Processus de Poisson
File M/M/1
Autres files

Conclusion

D(t) nombre de departs pendant [0, t]


N(t) = A(t) D(t) nombre de clients au temps t

Ti : temps de sejour (attente + service) du i-`eme client

A(t)

N(u)du =

Files dattente (1)

1
0
0
1
Arrivees
0
1
0
1
0000000
1111111
0
1
7 1111111
00000000000
11111111111
0000000
0
1
00000000000
11111111111
0
1
6
00000000000
11111111111
0
00005 1
1111
0
5 1111
0000 1
0
1
0
Departs1
0
1
0
1
0
1
0
1
0
1
temps
0
1
0t
1

F. Sur - ENSMN

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

Vocabulaire

Donc :

Mod
elisation dans
le cadre Markovien

1
t

Processus de Poisson
File M/M/1
Autres files

Un exemple
Conclusion

10/28

A(t)

N(u)du =

i=1

Ti R(t)

Files dattente (1)

F. Sur - ENSMN

A(t)

N(u)du =

X
i=1

Ti R(t)
A(t)

R(t)
A(t) 1 X
N(u)du =
Ti
t A(t)
t
i=1

Hypoth`
eses : lorsque t +
R
1 t
1
esents)
t 0 N(u) N (nombre moyen de clients pr

Ti : temps de sejour (attente + service) du i-`eme client

Remarque :

Ti R(t)

La loi de Little (2)

Introduction

Caract
eristiques
Notations de Kendall
Loi de Little

X
i=1

10/28

9/28

Un exemple

A(t) nombre darrivees pendant [0, t]

Remarque :

Processus de Poisson
File M/M/1
Autres files

Conclusion

Question : sous quelles conditions peut-on faire des calculs ?

Mod
elisation dans
le cadre Markovien
temps

Un exemple

S est la discipline de service (FIFO, LIFO, RAND. . .)

11111
00000
00000
11111
4
4
00000
11111
000
111
000
111
1
3 111
10101111111111
0000000000
000
000
111
0000000000
1111111111
3
2 1
0
0000000000
1111111111
0000 2
1111
1 1111
0000

Departs

N est le nombre maximum de clients dans le syst`eme ;

Nombre darrivees / departs

Caract
eristiques
Notations de Kendall
Loi de Little

m est le nombre de serveurs ;

La loi de Little (1)

Vocabulaire

Mod
elisation dans
le cadre Markovien

o`
u:

Introduction

Vocabulaire

A(t)
t

(nombre moyen darrivees par unite de temps)



A(t)
T
ejour moyen)
i /A(t) T (temps de s
i=1

P
R(t)
t

(hypot. 1,2,3 : regime permanent ; hypot. 4 : pas de cumul)


11/28

Introduction
Vocabulaire
Caract
eristiques
Notations de Kendall
Loi de Little

Mod
elisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres files

Un exemple
Conclusion

Files dattente (1)

La loi de Little (3)

F. Sur - ENSMN

Exemple

Introduction

Proposition - loi de Little (1961)


N =T
Autre version :
Nf = T f
avec :
Nf : nombre moyen de clients dans la file dattente
Tf : temps dattente moyen (dans la file).

Vocabulaire
Caract
eristiques
Notations de Kendall
Loi de Little

Mod
elisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres files

(i.e. sans compter les clients en cours de service.)

12/28

Introduction
Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little

Files dattente (1)


F. Sur - ENSMN

Modelisation dans le cadre Markovien


Processus de Poisson
File M/M/1
Autres files

Un exemple

Conclusion

Les clients nont pas de memoire


Hypoth`
eses sur le nombre darrivees A(t) pendant [0, t] :

Mod
elisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres files

Conclusion

Caract
eristiques
Notations de Kendall
Loi de Little

Pr(A(t + h) A(t) = 1) =h0 h + o(h)

Mod
elisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres files

Conclusion

Files dattente (1)


F. Sur - ENSMN
Introduction

les nombres darrivees pendant des intervalles de temps


disjoints sont independants (phenom`ene sans memoire)

Vocabulaire

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 de param`etre t :


(t)k
k > 0, Pr(A(t) = k) = e t
k!
le temps Tarr entre deux arrivees consecutives suit une
loi exponentielle :
t > 0, Pr(Tarr = t) = e t

On dit que A(t) est un processus de Poisson.


14/28

Caract
eristiques
Notations de Kendall
Loi de Little

Un exemple

Question 1 : quel est le temps moyen dattente dune


requete ? (attention au time-out)
loi de Little : Tf = Nf / = 8/1000 sec.

Introduction

Un exemple

Vocabulaire

13/28

Les files dattente (1)

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 2 : quel est le temps moyen de traitement dune


requete ?
T Tf = (N Nf )/ = (13 8)/1000 = 5/1000 sec.

Remarque : resultat general !


pas dhypoth`ese sur la distribution des arrivees ou des
temps de services, ni sur la discipline de service.

F. Sur - ENSMN
Introduction

Un exemple
Conclusion

Files dattente (1)

15/28

Vocabulaire
Caract
eristiques
Notations de Kendall
Loi de Little

Mod
elisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres files

Un exemple
Conclusion

Files dattente (1)

Processus de Poisson

F. Sur - ENSMN

Les serveurs nont pas davantage de memoire. . .

Introduction
Vocabulaire

20

Caract
eristiques
Notations de Kendall
Loi de Little

18
16

Processus de Poisson
File M/M/1
Autres files

A(t)

12
10
8

Un exemple

Conclusion

Hypoth`
ese : la duree dun service suit une loi exponentielle.
t > 0, Pr(Tserv = t) = e t

k > 0, Pr(S(t) = k) = e t

10

20

30

40

50

60

70

80

Caract
eristiques
Notations de Kendall
Loi de Little

Processus de Poisson
File M/M/1
Autres files

Un exemple
Conclusion

(t)k
k!

90

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.)

(exemple avec = 0.2)

Propri
et
es : E (A(t)) = t, E (Tarr ) = 1/

17/28

16/28

File M/M/1
Exemple canonique : un serveur, file 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(Nt+h = n|Nt = m) = Pr(A(t +h)A(t) = nm|Nt = m)
+o(h)
donc (cf def processus de Poisson)
si m < n 1 : Pr(Nt+h = n|Nt = m) = o(h)
et : Pr(Nt+h = n|Nt = n 1) = h + o(h)

De meme (raisonnement sur les departs D(t)) :


si m > n + 1 : Pr(Nt+h = n|Nt = m) = o(h)
et : Pr(Nt+h = n|Nt = n + 1) = h + o(h)
Vocabulaire : Nt = processus de Markov `a temps continu.
18/28

Vocabulaire

Mod
elisation dans
le cadre Markovien

De mani`ere equivalente, si S(t) est le nombre de services


possibles pendant [0, t],
t, S(t) suit une loi de Poisson :

F. Sur - ENSMN
Introduction

Mod
elisation dans
le cadre Markovien

14

Files dattente (1)

Files dattente (1)


F. Sur - ENSMN
Introduction

File M/M/1 : vue comme une chane de Markov


Pr(Nt+h = n) =

Caract
eristiques
Notations de Kendall
Loi de Little

Mod
elisation dans
le cadre Markovien

(si n > 1 . . . )

Do`
u la representation :

Processus de Poisson
File M/M/1
Autres files

t


41t

Un exemple
Conclusion

h Pr(Nt = n 1) + (1 h h) Pr(Nt = n)
+h Pr(Nt = n + 1) + o(h)

Vocabulaire


42t


43t

Remarque : chane ergodique ?


Formule des coupes (regime permanent) +
p0
p1
...
pn
...

=
=

p1
p2

= pn+1

P+

19/28

3 ...

n=0 pn

Introduction
Vocabulaire
Caract
eristiques
Notations de Kendall
Loi de Little

Processus de Poisson
File M/M/1
Autres files

Un exemple
Conclusion

=1:

 n 


n, pn =
1

. . .sous la condition = / < 1


: nombre moyen darrivees pendant la duree de service.

F. Sur - ENSMN

Mod
elisation dans
le cadre Markovien

Files dattente (1)

Files dattente (1)

File M/M/1 : proprietes

F. Sur - ENSMN

Sous condition : = / < 1

Files dattente (1)

Autres files markoviennes

F. Sur - ENSMN

(convention : on ne represente pas les boucles du graphe)

Introduction

En regime permanent :

Vocabulaire

n (1

pn =
)
Nombre moyen de clients dans le syst`eme :
+
X

N=
npn =
1
n=0

Nombre moyen de clients dans la file dattente :


+
X

Introduction

M/M/3

Caract
eristiques
Notations de Kendall
Loi de Little

Mod
elisation dans
le cadre Markovien

41t

Processus de Poisson
File M/M/1
Autres files

Un exemple

Vocabulaire

42t

43t

44t

M/M/2/4

Conclusion

Mod
elisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres files

Un exemple

2
Nf =
(n 1)pn =
1
n=1

3 ...

Caract
eristiques
Notations de Kendall
Loi de Little

41

42

43

Conclusion

44

Temps de sejour moyen dans le syst`eme : (loi de Little)


T = N/ =

formule des coupes.


cf formulaire dans le polycopie.
attention, la formule de Little dit : T = N/
o`
u est le taux dentree effectif.

Et dans le cas M/M/n/K ?
T = N/ (1 p(K ))

1
1

Temps dattente moyen dans la file : (loi de Little)


Tf = Nf / =

1 2
1

20/28

21/28

Loi des departs hors du syst`eme


Attention : la loi des departs D(t) na pas de raison detre
la loi de S(t).

Files dattente (1)


F. Sur - ENSMN
Introduction
Vocabulaire
Caract
eristiques
Notations de Kendall
Loi de Little

cest le cas si les serveurs sont occupes en permanence


sinon le taux de depart est inferieur au taux de service.

Mod
elisation dans
le cadre Markovien

Exemple : cas de s serveurs, taux de service individuel .


Taux de service lorsque n serveurs sont occupes : n.

Un exemple

Les files dattente (1)


1

Introduction

Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little

Processus de Poisson
File M/M/1
Autres files

Conclusion

si n > s clients dans le syst`eme, taux s


si n < s clients dans le syst`eme : taux n < s.

22/28

F. Sur - ENSMN
Introduction
Vocabulaire
Caract
eristiques
Notations de Kendall
Loi de Little

Mod
elisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres files

Un exemple

Modelisation dans le cadre Markovien


Processus de Poisson
File M/M/1
Autres files

Un exemple

Conclusion

Justification : Si X E() et Y E() sont


independantes, alors : min(X , Y ) E( + )
Cons
equence sur la loi des departs :

Files dattente (1)

23/28

Conclusion

Files dattente (1)

Comparaison de differentes strategies

F. Sur - ENSMN

Comparaison de differentes strategies

Introduction

Des requetes sont envoyees sur un serveur, taux darrivee .


Arbitrage entre trois types de serveurs :
(ou trois types dorganisation de la file dattente dans une
administration recevant du public)
1

processeur unique tr`es puissant de taux de service m,


file M/M/1 ;

m processeurs legers independants de taux de service ,


file M/M/m commune ;

m processeurs legers independants de taux de service ,


chacun possedant une file M/M/1 dans laquelle un
nouveau service entre au hasard (proba uniforme)

Caract
eristiques
Notations de Kendall
Loi de Little

M/M/1, taux de service m, taux darrivee


T =

Mod
elisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres files

Un exemple
Conclusion

1 /(m)
1 /(m)

M/M/m, taux de service , taux darrivee


T donne par les formules du polycopie p. 63.

Vocabulaire
Caract
eristiques
Notations de Kendall
Loi de Little

Mod
elisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres files

Un exemple
Conclusion

cf formule Erlang-C.

equivaut `a m files M/M/1 de taux de service et taux


darrivee /m
T =

Question : temps de traitement moyen dune requete ?

m /(m)
1 /(m)

25/28

Files dattente (1)

Comparaison de differentes strategies

F. Sur - ENSMN

Exemple : m = 10, = 1

Introduction
Vocabulaire
10
9

Caract
eristiques
Notations de Kendall
Loi de Little

cas 1
cas 2

temps dattente

Les files dattente (1)


1

Introduction

Vocabulaire
Caracteristiques
Notations de Kendall
Loi de Little

Mod
elisation dans
le cadre Markovien

cas 3

Processus de Poisson
File M/M/1
Autres files

7
6

Un exemple

Conclusion

Modelisation dans le cadre Markovien


Processus de Poisson
File M/M/1
Autres files

Un exemple

Conclusion

2
1
0

Files dattente (1)


F. Sur - ENSMN
Introduction
Vocabulaire
Caract
eristiques
Notations de Kendall
Loi de Little

Mod
elisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres files

Un exemple

Remarque : < 10.


Explication intuitive ?
26/28

F. Sur - ENSMN
Introduction

Vocabulaire

24/28

Files dattente (1)

27/28

Conclusion

Conclusion
Deux cas vus aujourdhui :
File dattente generale : formules de Little.
File dattente Markovienne : les calculs en regime
permanent / stationnaire sont faciles.

Files dattente (1)


F. Sur - ENSMN
Introduction
Vocabulaire
Caract
eristiques
Notations de Kendall
Loi de Little

Mod
elisation dans
le cadre Markovien
Processus de Poisson
File M/M/1
Autres files

Un exemple

Prochaine s
eance :
Generalisation du cadre M/M
(processus de naissance et de mort)

M/MX (Markov par lot)


M/G (loi de service generale)
reseaux de files dattente.

28/28

Conclusion

Vous aimerez peut-être aussi