Notions de files dattente

OULD ELHASSEN

Notion de file dattente

Exemple

OULD ELHASSEN

Terminologies
On dfinit : ,, (N,w), (Ns, s), (Nq, q) :

OULD ELHASSEN

Intrt de files dattente dans les rseaux

OULD ELHASSEN

Intrt de files dattente dans les rseaux

Deux cas particuliers sont couramment rencontrs :
Si linterarrive des paquets est distribue exponentiellement et les
tailles de paquets suivent une distribution exponentielle, les rsultats
sur une file dattente M/M/1 sont directement exploitables.
Si linterarrive des paquets est distribue exponentiellement et la taille
des paquets est constante, ce systme pourra tre modlis par une file
M/D/1.

OULD ELHASSEN

Intrt de files dattente dans les rseaux

Modle MIQSS (Multiple Input Queues Single Server) CPU

OULD ELHASSEN

INTRODUCTION
Systmes informatiques
Matriel, logiciel
Jobs
partagent des ressources (CPU, Disques, fichiers ...)

Ressources utilises de faon unique un instant donn, autres

demandeurs attendent.
On s'intresse essentiellement:
dbits du systme(Job/s, IO/s)
Temps de rponse sous une charge donne.

Telecom
Interconnexion entre les rseaux
Commutation, Routage
Thorie des files d'attente permet une formalisation et une
tude quantitative.
OULD ELHASSEN

FILES D'ATTENTE
DEFINITION
Une file d'attente est caractrise par :
Un flot d'arrives
Un mcanisme de service
Une salle d'attente
Une discipline de service

"Salle" d'attente
mcanisme de
service

OULD ELHASSEN

FILES D'ATTENTE
Flot d'arrive

Suite stochastique

Tn: est le temps du neme client

Sn: la charge apporte par le neme client, service ncessaire.

Les clients arrivent successivement, un la fois, il n'y a pas

d'accumulation: 0<T1<T2<T3<......<Tn<Tn+1<...

Mcanisme de service
Nombre de serveurs et leur vitesse, sn units de temps par service.

OULD ELHASSEN

FILES D'ATTENTE
Capacit de la file d'attente:
Nombre de places possibles : limit ou illimit.
Si capacit limite: les clients supplmentaires sont perdus ou
rejoignent une autre file d'attente.
Le nombre de clients dans le systme est diffrent du nombre de
clients dans la file d'attente

OULD ELHASSEN

10

FILES D'ATTENTE
Discipline de service:
Rgle d'ordonnancement des clients au service.
- FIFO: first in first out
- LIFO : Last in first out
- PS : processor sharing, un serveur donne chaque client en attente une
'tranche' de service.
-ALEA un serveur libre choisit un client au hasard dans la file
Priorit: on ajoute une suite {Un}, n appartient N+, au flot des arrives
o Un est une variable alatoire prenant ses valeurs dans l'ensemble des
classes de priorits P. Un=i, signifie que le neme client, arrivant au temps Tn
est de la classe i.
Priorit premptive

OULD ELHASSEN

11

FILES D'ATTENTE
Notation de KENDALL A/B/C/D/E
A: statistique du processus d'arrive (M = markovien; D=dterministe;
G=gnrale)
B: statistique des lois de service (M = markovien; D=dterministe;
G=gnrale)

C: nombre de serveurs
D: nombre de clients dans le systme
E: discipline du service

OULD ELHASSEN

12

FILES D'ATTENTE
Application aux rseaux de communications et aux systmes
informatiques:
Clients = tches, programmes, paquets,
Temps de service = dure de tche
Serveur = processeur
Salle d'attente = tampon

OULD ELHASSEN

13

LOI DE LITTLE
HYPOTHESES
Lorsqu'un client, ayant termin son service, quitte le systme, il laisse,
en moyenne, derrire lui, un nombre de clients gal E(k).
Ce client a trouv en arrivant E(k) clients dj prsents et a pass dans
le systme un temps, E(T).
Nous supposons que:
- Le nombre moyen des arrives est gal au nombre moyen des dparts du systme.
- La longueur moyenne de la file lors des arrives est gale la longueur moyenne de la
file lors des dparts

OULD ELHASSEN

14

LOI DE LITTLE
ENONCE
Si on appelle, , le taux moyen des arrives on a:
{Nombre moyen de clients arrivs pendant le sjour du client dans le
systme} = E(t) = {nombre moyen de clients qu'il laisse}
Et en rgime permanent, si T temps pass dans la file :

E(k)=E(T)

N T

OULD ELHASSEN

15

LOI DE LITTLE
VALIDITE
Rgime permanent
Les formules de Little sont valides pour les files G/G/S. Elles ont un
caractre trs gnral. En effet, il n' y a aucune restriction quant :
la loi d'arrive, la loi des services, le nombre de serveurs.
Elles peuvent prendre en compte le cas o il existe plusieurs classes de
clients mais la discipline de service doit tre dfinie, nous avons
considr la discipline FIFO.

OULD ELHASSEN

16

FILE M/M/1
DEFINITION
Arrives: loi de Poisson de taux
Un serveur
Loi de service: exponentielle de paramtre m

Capacit de file: infinie

discipline de service : FIFO
Si serveur satur (r-->1):
La distribution des intervalles de temps sparant deux dpart conscutifs
de la file sature tend vers la distribution des temps de service

OULD ELHASSEN

17

FILE M/M/1
PRINCIPAUX RESULTATS
tat: nombre de clients, k, dans le systme
probabilit de l'tat Ek:
k

pk 1 1 r r k
m m

p0 1 1 r
m

Taux de trafic, r (charge, activit du serveur):

OULD ELHASSEN

18

FILE M/M/1
Condition de stabilit : activit du serveur <1

1
m

<m
Dbit d'entre dbit du serveur
temps moyen inter-arrive > temps de service moyen

OULD ELHASSEN

19

FILE M/M/1
Nombre moyen de clients dans le systme, N

N kpk k 1 r r 1 r r k r k 1
k

k 0

k 0

k 1

1
k
N 1 r r r
1 r r

k 0
1 r
1
r
N 1 r r

2
1

1 r

r
1 r

OULD ELHASSEN

20

FILE M/M/1
Nombre moyen de clients dans la file, Nq=E(n)

k 1

k 1

E (n ) k 1 pk k 11 r r k

E (n ) 1 r r

E (n ) 1 r r

k 2
k

1
r

k 1

1 r

r2

1 r

r2
E (n )
1 r

OULD ELHASSEN

21

FILE M/M/1
Temps moyen,T , pass par un clients dans systme
N : nombre de clients
: dbit d'entre, nombre de clients par seconde
T: dure d'observation
N =T
Le nombre moyen de clients dans le systme s'crit (Little):
N E ( m ) E (t )
et le nombre moyen de clients dans la file s'crit:
E (n ) E (tf )
Temps moyen, T, pass par un client dans le systme:
r 1

1 r
1 1
T=
m 1 r
T=

OULD ELHASSEN

22

FILE M/M/1
Nombre moyen de clients dans le systme:

r
1 r

Nombre moyen de clients dans la file:

r2
n
1 r
Temps moyen pass par un client dans
le systme:

1
m 1 r

OULD ELHASSEN

23

FILE M/M/1
Nombre de clients dans le systme en fonction
du taux de trafic

Nom bre de clients

120,00
100,00
80,00

60,00
40,00
20,00
0,00
0,00

0,20

0,40

0,60

0,80

1,00

Taux de trafic
OULD ELHASSEN

24

FILE M/M/1
Nombre de clients dans la file en fonction du
taux de trafic

Nom bre de clients

120,00
100,00
80,00

Nf

60,00
40,00
20,00
0,00
0,00

0,20

0,40

0,60

0,80

1,00

Taux de trafic
OULD ELHASSEN

25

FILE M/M/1
Temps moyen pass par un client dans le
systme en fonction du taux de trafic

Tem ps m oyen

200,00
150,00

100,00
50,00
0,00
0,00

0,20

0,40

0,60

0,80

1,00

Taux de trafic
OULD ELHASSEN

26

FILE M/M/1
DISCUSSION DES HYPOTHESES

Prob(1 arrive pdt DT)=Dt

Prob(1 dpart pdt DT/ serveur occup)=mDt
Les probabilits d'occurrence des vnements ne
dpendent que de l'tat du systme l'instant
d'observation:
Indpendantes de l'tat antrieur du systme
proprit markovienne
Loi exponentielle

OULD ELHASSEN

27

FILE M/M/1
Processus d'arrive:
Temps inter-arrives: variable alatoire exponentielle
Processus de Poisson
Vrification pratique hypothse de Poisson :
Bien vrifie dans un contexte informatique.
e1
e2

ei
en
Sources indpendantes
(terminaux)

Superposition

OULD ELHASSEN

Poisson

28

FILE M/M/1
Dure du service:
Temps service: variable alatoire exponentielle
Vrification pratique hypothse exponentielle :
souvent non satisfaite dans contexte informatique coefficient de
variation, c, lev.

ecart _ type
c
1
moyenne

OULD ELHASSEN

29

FILE M/M/1/N (Systmes avec attente et perte)

DEFINITION

Arrives: loi de Poisson de taux

1 serveur
Loi de service: exponentielle de paramtre m
Capacit de file: finie = N
discipline de service : FIFO

OULD ELHASSEN

30

FILE M/M/1/N (Systmes avec attente et perte)

PRINCIPAUX RESULTATS
tat: nombre de clients, k, dans le systme probabilit de l'tat Ek:
k

pk 1 1 r r k
m m

p0 1 1 r
m

Taux de trafic, r (charge, activit du serveur):

OULD ELHASSEN

31

FILE M/M/1/N (Systmes avec attente et perte)

Condition de stabilit: activit du serveur <1

1
m

<m
Dbit d'entre dbit du serveur
temps moyen inter-arrive > temps de service moyen

OULD ELHASSEN

32

FILE M/M/1/N (Systmes avec attente et perte)

Nombre moyen de clients dans le systme, N
N

kp
k 0

k 1 r r
k 0

k 0

N 1 r r r k
N 1 r r

1 r

1 r r k r k 1
k 1

1
1 r r
1 r

r
1 r

r
1 r

OULD ELHASSEN

33

FILE M/M/1/N (Systmes avec attente et perte)

Nombre moyen de clients dans la file, Nq=E(n)
N

k 1

k 1

E (n ) k 1 pk k 11 r r k

E (n ) 1 r r

E (n ) 1 r r

k 2
k

1
r

k 1

1 r

r2

1 r

r2
E (n )
1 r

OULD ELHASSEN

34

FILE M/M/1/N (Systmes avec attente et perte)

Temps moyen,T , pass par un clients dans systme

N : nombre de clients
N : nombre de clients
: dbit d'entre, nombre de clients par seconde
: dbit d'entre, nombre de clients par seconde
T: dure d'observation
T: dure d'observation
N =T
N =T
Le nombre moyen de clients dans le systme s'crit (Little):
Le nombre moyen de clients dans le systme s'c
N E ( m ) E (t )
N E ( m ) E (t )
et le nombre moyen de clients dans la file s'crit:
et le nombre moyen de clients dans la file s'crit:
E (n ) E (tff )
E (n ) E (tf )
Temps moyen, T, pass par un client dans le systme:
Temps moyen, T, pass par un client dans le syst
N r 1
N r 1
T=

T
=

1 r
1 r
1 1
1 1
T=
T
=
m 1 r
m 1 r
OULD ELHASSEN

35

FILE M/M/1/N (Systmes avec attente et perte)

Nombre moyen de clients dans le systme:

Nombre moyen de clients dans la file:

Temps moyen pass par un client dans le systme:

OULD ELHASSEN

36

FILE M/M/S
DEFINITION
Arrives: loi de Poisson de taux
S serveurs

S serveurs indpendants
Loi de service: exponentielle de paramtre m
Capacit de file: infinie
discipline de service : FIFO

m
S serveurs
OULD ELHASSEN

37

FILE M/M/S
Modlisation
Processus de naissance et mort.
Etat, Ek, o k units prsentes dans le systme (file,serveurs).
S serveurs

Taux de naissance et mort:

mk k m
m S m
k

k S et N
k S et N

OULD ELHASSEN

38

FILE M/M/S
Le graphe associ est le suivant:
dt
0

dt

dt

1
mdt

dt
k -1

2mdt

1dt) 1dt-mdt)

(k-1)mdt

dt
k

Smdt

Smdt

[1dt-k1dt] 1dt-Smdt)

OULD ELHASSEN

39

FILE M/M/S
PRINCIPAUX RESULTATS
tat: nombre de clients, k, dans le systme, probabilit de l'tat Ek:
k

1
Si k S
pk p0
k! m

1
p

k S k S S ! m p0 Si k S

Calcul de p

OULD ELHASSEN

40

FILE M/M/S
Calcul de p0

k 0

Soit en remplaant Pk , par les expressions trouves ci-dessus:

S 1 k
P0
k 0 m
S 1 k
P0
k 0 m
Posons r =

1
1

1
k ! k S m S k SS !

k
1 SS

1
k ! S ! k S S m

Sm

S 1 k 1 S S

k
P0

r 1

m
k
!
S
!
k S
k 0

Le second terme entre crochets s'crit:

SS
SS S
SS S
k
S 1
S 2
r r r r ..... r 1 r r 2 .....

S ! k S
S!
S!
OULD ELHASSEN

41

FILE M/M/S
Calcul de p0

1 r r 2 ..... ,une srie gomtrique de terme gnral: r=

Sm
Srie est convergente si :

1
1 et sa somme est gale
Sm
1-r

On peut alors crire :

SS
S!

SS S 1 SS r S
r S! r 1-r S ! 1-r
k S
k

en remplaant r par sa valeur:

SS k SS Sm
1
1
r

S! k S
S! S! m
1-
1-

S
m

Sm
Soit pour P0 :
P0

1
k

1
1
1

S! m
k 0 k ! m
1-

Sm
S 1

OULD ELHASSEN

42

FILE M/M/S
Taux de trafic, r (charge, activit du serveur):

Sm

1
Sm

Condition de stabilit:

OULD ELHASSEN

43

FILE M/M/S
Nombre moyen de guichets (serveurs) g, occups:
S

g kPk
k 0

k S 1

SPk

m
m
S

g k
P0 S kS P0
k!
S !S
k 1
k S 1
k 1
k 1

S m
g P0
kS 1

m k 1 k 1 ! k S 1 S ! S

Posons:j=k-1

OULD ELHASSEN

44

FILE M/M/S
Nombre moyen de guichets, g, occups:
Avec:j=k-1

g P0

g P0

j
j

S 1

S
m
m
S

j 0 j !
S ! j S S j

S 1 j 1 S S j

j
j 0 m j ! S ! j S S m

Le terme entre crochets reprsente l'expression

g

1
, il reste alors:
P0

OULD ELHASSEN

45

FILE M/M/S
g=/m
rsultat trs simple, principe de conservation:
flux d'arrives des clients est , personne ne disparat dans le systme, le flux de
sortie doit tre , hors saturation.
Ce nombre est gal au nombre moyen de guichets actifs g par le taux individuel de
chacun m.
m

gm
m
{g guichets occups}

OULD ELHASSEN

46

FILE M/M/S
Nombre moyen de clients , n, dans la file:
Il existe, des clients dans la file d'attente, si k>S
Soient P0 , PS i les probabilits qu'il y ait respectivement 0 et (S+i)
clients dans le systme.

n iPS i
i 0

n P0

i 0 S m

S ! Sm
S

Posons:

S 1

S i

SS
P0
S!

i 1 S m

i 1

x
Sm

ix i 1 drive de x i

OULD ELHASSEN

47

FILE M/M/S
Nombre moyen de clients , n, dans la file:
Il existe un file d'attente si k>S

xi
i 0

ix i
i 0

1
1 x
d 1
1

dx 1 x 1 x 2

d'o:
SS
n =P0

S ! Sm
1
n=

S !S m

S 1

S 1

Sm

Sm

P0

OULD ELHASSEN

48

FILE M/M/S
Temps d'attente moyen, tf, dans la file:
On utilise la formule de LITTLE

Appelons: n , le nombre moyen de clients dans la file

, le taux d'arrive des clients
tf , le temps d'attente moyen des clients dans la file

n tf
n
tf

1 1
tf
S ! S m

S 1

Sm

P0

tf

1 1
1
P

2 0
S ! m Sm

1

Sm

OULD ELHASSEN

49

FILE M/M/S
Nombre moyen de clients dans le systme:
Somme du nombre moyen de clients dans la file, n, et du nombre
moyen de clients occupant les guichets

N n g
N

m tf 1

OULD ELHASSEN

50

FILE M/M/S/N
DEFINITION
Arrives: loi de Poisson de taux
S serveurs
S serveurs indpendants

Loi de service: exponentielle de paramtre m

Capacit de file: N
discipline de service : FIFO

S serveurs
OULD ELHASSEN

51

FILE M/M/S/N
Modlisation
Processus de naissance et mort.
Etat, Ek, o k units prsentes dans le systme (file, serveurs).
S serveurs

Taux de naissance et mort:

n= , lorsque n<N
n= 0, lorsque nN
mn=nm, lorsque nS
mn=Sm, lorsque n>S

OULD ELHASSEN

52

FILE M/M/S/N
PRINCIPAUX RESULTATS
tat: nombre de clients, k, dans le systme, probabilit de l'tat Ek:
Pour NS
k

1
N
Si k S
pk p0
k! m

1
N
pk S k S S ! m p0 Si k S

Pour N>S

pk

pk

pk

pk

1
p0
k! m

Si k SS
k

k S p0 SiSiS kN
k S
S S! m
k
1
k>N p0
0 Si
Si k S
k ! m
1

k S p0
S S! m
1

Si k S

OULD ELHASSEN

53

FILE M/M/S/N
Taux de trafic, r (charge, activit du serveur):

Sm

Condition de stabilit:

1
Sm

OULD ELHASSEN

54