Académique Documents
Professionnel Documents
Culture Documents
Kinda Khawam
2013-2014
Introduction 1/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Plan
Introduction 2/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 3/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Phénomène d’attente
Introduction 4/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Pourquoi attend-t-on ?
Introduction 5/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 6/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 7/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 8/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Processus d’arrivée, A
Définition
Le processus d’arrivée A, décrit les interarrivées des clients en terme
de distribution de probabilité.
A(s) = P[interrarivée(t) ≤ s]
Processus de service, B
Définition
Le processus de service B, décrit les temps de service des clients en
terme de distribution de probabilité.
Nombre de serveur, m
Introduction 11/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Taille de la queue, K
Introduction 12/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Source de clients, M
Introduction 13/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Discipline de servie, e
Une fois les clients mis en attente, le système va les servir en utilisant
un schéma appelé discipline de service. On distingue :
1 FCFS (de l’anglais first come first served) ou FIFO (de l’anglais
first in first out).
2 LCFS (de l’anglais last come first served) ou LIFO (de l’anglais
last in first out)
3 SIRO (de l’anglais service in random order)
4 SJF (de l’anglais shortest job first)
5 PS (de l’anglais processor sharing)
Introduction 14/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 15/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 16/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Définition
Une file d’attente est dite multiclasse si les clients qui arrivent
appartiennent à des classes ayant chacune un processus d’arrivée et
de service différent.
Introduction 18/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 19/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 20/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Réseau téléphonique
Introduction 21/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Réseau téléphonique
Distribution Exponentielle
C’est la distribution la plus simple à étudier. On parle alors du cas
Markovien (d’où le M dans la notation de Kendall).
Exo
Une v.a. est dite exponentiellement distribuée de paramètre λ si sa
densité s’écrit :
f (t) = ke−λ.t
var[N(t)] = λt).
3 Conditionnellement à (N(t) = n), les instants d’arrivée T1 , ..., Tn
sont uniformément répartis sur [0, t]
4 Un Processus de Poisson est un processus de Markov.
Introduction 24/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 25/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 26/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 27/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
i3
1 Dans l’état i, on lance l horloge Exp(λk ).
P
2 λk = qi
F IGURE: Processus P
Markovien.
3 λ m / λ k = Pm
Introduction 28/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 29/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
m 1 m 2 m i- 1 m m
i i +1
Introduction 31/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Régime transitoire :
1 k≥1:
dPk (t)
= −(λk + µk )Pk (t) + λk−1 Pk−1 (t) + µk+1 Pk+1 (t)
dt
k=0:
dPk (t)
= −λ0 P0 (t) + µ1 P1 (t)
dt
Introduction 32/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 33/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
File M/M/1
1 Nombre d’états infini.
2 ∀i, λi = λ, µi = µ
3 charge du système : ρ = λ/µ
4 stationnarité : ρ < 1.
λeff = ∞
P
k=0 λk Pk = λ
5
6 Pk = (1 − ρ)ρk
Mesures de performances d’une M/M/1
Nombre
P∞ moyen de clients dans le système,
Ns = k=0 kPk = ρ/(1 − ρ).
NombreP moyen de clients dans la queue,
Nq = ∞ k=1 kPk+1 = ρ 2 /(1 − ρ).
100
2.5
90
80 2
70
60 1.5
Ws
Ns
50
40 1
30
20 0.5
10
0 0
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9
ρ ρ
Introduction 35/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Modélisation de la M/M/1/K
m m m m m
Introduction 36/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
1 λk = λ, k < K, λk = 0, k = K, µk = µ, 1 ≤ k ≤ K
2 ρ = λ/µ.
3 système toujours stable.
4 Pk = ρk P0 . Les Pk sont nuls pour k > K
5 ρ = 1 : Pk = 1/(K + 1). Etats équiprobables.
1−ρ
6 ρ 6= 1 : Pk = 1−ρK+1
ρk .
Introduction 37/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
1 Probabilité de blocage = PK
K +KρK+1
2 Ns = ρ
1−ρK+1
[ 1−(K+1)ρ
1−ρ ], ρ 6= 1
3 Ns = N/2, ρ = 1
4 λeff = λ(1 − PK )
5 Nq = Ns − λeff /µ
6 Ws = Ns /λeff , Wq = Nq /λeff
7 charge (trafic) offerte = λ
charge écoulée = λeff
charge bloquée = λ − λeff = λPK
Introduction 38/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Modélisation de la M/M/c
l l l l l l l l
m 2m 3m (c - 2)m (c - 1)m cm cm cm
Introduction 39/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
1 ρ = λ/µ
k
λk
2 Pk = P = ρk! P0 pour
k!µk 0
k≤c
k
λk
Pk = P = c!cρk−c P0
c!ck−c µk 0
pour k ≥ c
3 Condition d’ergodicité : ρ/c = λ/(cµ) < 1
Le taux d’arrivée doit être inférieur au taux de service total.
P0 = [ c−1 k c 1 −1
P
k=0 ρ /k! + (ρ /c!) 1−ρ/c ]
4
5 ProbabilitéP
d’attente : h i
ρc
C(c, ρ) = ∞ k=c P k = P 0 ρ
c!(1− ) c
C(c, ρ) est connue sous le nom de formule d’Erlang-C. C’est la
probabilité qu’un client arrive et trouve les c serveurs occupés
6 Pour c = 1 on retrouve le modèle M/M/1
Introduction 40/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
c+1
1 Nq = P0 ρc!c 1
(1−ρ/c)2
ρc
= Pc (c−ρ)2
2 Little :
Ns = Nq + λ/µ
λeff =λ⇒ Ws = Ns /λ
Wq = Nq /λ
3
(
P0 ≈ e−ρ ≈ 1 − ρ
ρ/c 1 ⇒ c+1
Nq ≈ c2 ρ(c−1)!
4
(
(c−1)!(c−ρ)
P0 ≈ cc
ρ/c ≈ 1 ⇒ ρ
Nq = c−ρ
Introduction 41/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Modélisation de la M/M/c/N
1 Queue de taille N − c. c serveur en // de taux de service µ chacun.
2
λ 0≤k<N
λk =
0 k≥N
3
kµ 0 ≤ k ≤ c
µk =
cµ k ≥ c
l l l l l l l
0 1 ... c -1 c c +1 ... N
m 2m (c - 1)m cm cm cm cm
Introduction 42/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
1 ρ = λ/µ
2
(
ρk
k! P0 0≤k≤c
Pk = ρk
P
c!ck−c 0
c≤k≤N
3 h i−1
Pc−1 ρk ρc 1−(ρ/c)N−c+1
+ ρ/c 6= 1
k=0 k! c! 1−ρ/c
P0 = hP i −1
ρk c
c−1
k=0 k! + ρc! (N − c + 1) ρ/c = 1
Introduction 43/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Modélisation de la M/M/N/N
1 C’est un cas particulier de la M/M/c/N où le système n’a pas de
queue d’attente (c = N).
2
λ 0≤k<N
λk =
0 k≥N
3 µk = kµ
l l l l
0 1 ... c -1 c
m 2m (c - 1)m cm
Introduction 44/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 45/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 47/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 48/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 49/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 51/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
1 − (αρ)S N−S+1 −1
S1 − ρ
P0 = + (αρ)
1 − αρ 1−ρ
3 Donner en fonction de P0 , la probabilité de blocage du trafic
prioritaire et celle du trafic à basse priorité.
Introduction 52/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 54/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 55/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 56/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 57/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 58/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Dans cette partie, vous devez estimer le taux d’arrivée λv des paquets
VoIP arrivant au routeur R1. Un appel téléphonique VoIP génère un
trafic poissonnien de paquets VoIP d’intensité 40 paquets/seconde.
Pour cela, on considère le PNM décrivant le nombre d’appels internes
en cours. Le taux d’arrivée des appels internes est λI . La durée d’un
appel interne suit une loi exponentielle de paramètre µI .
Introduction 60/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 61/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 63/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 64/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 65/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 66/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 67/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 68/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 70/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Emission =
Attente backoff + Transmission
l1
... 1 2 1 Bi Ti
l2 Backoff Tx
Xi = Bi + Ti
Introduction 71/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 72/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
L1 σW1
E[X1 ] = 8 + = 23.75 × 10−4 s
C 2
L2 σW2
E[X2 ] = 8 + = 39.75 × 10−4 s
C 2
L1 2 σ 2 W1 L1 σ W1
E[X12 ] = 64 2 + (2 W1 + 1) + 8 = 0.649 × 10−5 s
C 6 C
L2 2 σ 2 W 2 L2 σ W2
E[X22 ] = 128 2 + (2 W2 + 1) + 8 = 0.224 × 10−4 s
C 6 C
Rappel : Nk=1 k = N(N+1) , Nk=1 k2 = N(N+1)(2N+1)
P P
2 6
X et Ydeux v.a. independantes ⇒ E[XY] = E[X]E[Y]
X ∼ Exp(µ) ⇒ E[X 2 ] = µ22
λi E[Xi2 ]
Pn
File M/GI/1 multiclasse : E[W] = i=1
2(1−ρ)
Introduction 73/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 75/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 76/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 77/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 78/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 79/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 80/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 81/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 82/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 84/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 85/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 86/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
1- p
p
. . . m 1
. . . m 2
l 0
File 1 File 2
Introduction 87/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 88/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 89/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 90/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
. . .
File 2
m 2 1
. . .
1- p m 2
. . . m 1
l 0
p
File 1
Introduction 92/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 93/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 94/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
OFF ON OFF ON
Exp(m ) Exp(l )
Introduction 95/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 96/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 98/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 99/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
1 − ( kx )α k ≤ x < m
F(x) = P{Sd ≤ x} =
1 x≥m
La distribution de probabilité est :
kα kα
P{dx} = 1[k,m] (x)dx + δm (dx)
αxα+1 mα
αk−m( mk )α
La moyenne est E[Sd ] = α−1 .
Introduction 100/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Pour les réseaux Télécom, la taille maximale d’un paquet est limitée à
1502 octets ce qui donne une taille moyenne de E[Sd ] = 287 octets.
La taille moyenne du fichier WWW est E[Nd ] · E[Sd ] ≈ 7187 octets
Introduction 101/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Introduction 102/103
Présentation Description des files d’attente Formalisme des files d’attente Relation F.A./Réseaux Processus de Poisson Processus de Markov
Modèles de trafic
Introduction 103/103