Modélisation des réseaux

Devan SOHIER
Files M/M : corrigé de l’exercice 2

Exercice 2 : File M /M /2/4

Etudiez une file M /M /2/4 de paramètres λ = 1 et µ = 1.

Corrigé
Cet exercice combine donc ce qu’on a vu sur les files M /M /2 et sur les files à capacité. La correction présente les
calculs sur λ et µ génériques, et les remplace en fin de calcul par les valeurs de l’énoncé. Bien sûr, vous pouvez
directement utiliser les valeurs 1 et 1.
Le graphe d’états d’une file M /M /2/4 de paramètres λ et µ est le suivant :

λ λ λ λ
0 1 2 3 4
µ 2µ 2µ 2µ

Dans l’état 1, un seul serveur travaille, au rythme µ. Dans les états 2, 3, et 4, les deux serveurs travaillent,
répondant à 2µ requêtes par unité de temps.
Ce système est stable car il est fini.
Le nombre de requêtes est borné par 4 : il ne peut pas « exploser ».
De ce graphe, on tire les équations suivantes :

λπ0 = µπ1 (0)

(λ + µ)π1 = λπ0 + 2µπ2 (1)
(λ + 2µ)π2 = λπ1 + 2µπ3 (2)
(λ + 2µ)π3 = λπ2 + 2µπ4 (3)
λπ3 = 2µπ4 (4)

On a donc d’après l’équation 0

λ
π1 = π0 = π0
µ
L’équation 1 donne :
1
π2 = ((λ + µ)π1 − λπ0 )
2µ
λ
 
1
= (λ + µ) π0 − λπ0
2µ µ
λ
 2  
1
= + λ − λ π0
2µ µ
λ2 1
= 2
π0 = π0
2µ 2

1
 De même, on trouve π3 en fonction de π0 à l’aide de l’équation 2 :
1
π3 = ((λ + 2µ)π2 − λπ1 )
2µ
λ2 λ
 
1
= (λ + 2µ) 2 π0 − λ π0
2µ 2µ µ
λ λ λ
 3 2 2
 
1
= + − π0
2µ 2µ 2 µ µ
λ3 1
= π0 = π0
4µ 3 4

L’équation 3 permet de calcul π4 :

1
π4 = (λ + 2µ)π3 − λπ2


2µ
λ3 λ2
 
1
= (λ + 2µ) 3 π0 − λ 2 π0
2µ 4µ 2µ
λ λ λ
 4 3 3
 
1
= + − π0
2µ 4µ 3 2µ 2 µ 2
λ4 1
= π0 = π0
8µ 4 8

λ
Et, enfin, l’équation 4 nous apprend que π4 = 2µ π3 , confirmant ce que nous avions déjà calculé.
Le processus est toujours le même : le système d’équations déduit du graphes d’états permet de calculer tous les πn
en fonction de π0 : on peut le résoudre explicitement si des valeurs numériques sont fournies, symboliquement si
les valeurs de λ et µ. Si le système est infini, sa résolution nécessite de manipuler des systèmes infinies, et de faire
un raisonnement par récurrence. Pour un système fini, on peut se contenter de résoudre le système d’équations par
une méthode quelconque (méthode de Gauss, travail par substitution, ou une combinaison des deux). Maintenant,
reste à calculer π0 en utilisant la propriété que, puisqu’il s’agit de probabilités d’événements disjoints couvrant
tous les états possibles du système, les πn somment à 1.
P4
On a de plus n=0 πn = 1, car les états du système forment un système complet d’événements. Donc

1 = π0 + π1 + π2 + π3 + π4
λ λ2 λ3 λ4
= π0 + π0 + 2 π0 + 3 π0 + 4 π0
µ 2µ 4µ 8µ
λ λ2 λ3 λ4
 
= π0 1 + + 2 + 3 + 4
µ 2µ 4µ 8µ
λ λ2 λ3 λ4
   
= π0 2 1 + + + + −1
2µ 4µ 2 8µ 3 16µ 4
 5
λ
© 1 − 2µ 1 − x n+1
= π0 ­2 Car, pour x , 1 1 + x + x 2 + . . . + x n = .
ª
­
λ
− 1®®
1 − 2µ 1−x
« ¬ 
32µ 5 − λ 5
= π0 −1 En multipliant par 32µ 5 le numérateur et le dénominateur.
16µ 5 − 8λ µ 4
16µ 5 + 8λ µ 4 − λ 5
 
= π0
16µ 5 − 8λ µ 4

Donc, si λ , 2µ :
16µ 5 − 8λ µ 4 8
π0 = =
16µ 5 + 8λ µ 4 − λ 5 23
Si λ = 2µ, on obtient π0 = 1
9

2
 Et, en remplaçant π0 par cette expression dans les formules trouvées ci-dessus :

16µ 4 λ − 8λ 2 µ 3 8
π1 = =
16µ 5 + 8λ µ 4 − λ 5 23
8µ 3 λ 2 − 4λ 3 µ 2 4
π2 = =
16µ 5 + 8λ µ 4 − λ 5 23
4µ 2 λ 3 − 2λ 4 µ 2
π3 = =
16µ 5 + 8λ µ 4 − λ 5 23
2µλ 4 − λ 5 1
π4 = =
16µ 5 + 8λ µ 4 − λ 5 23

Une requête est refusée si elle arrive dans le système alors que 4 requêtes sont déjà présentes. Le taux de requêtes
4 −λ 5
refusées est donc π4 = 16µ2µλ
5 +8λ µ 4 −λ 5 = 23 .
1

Dans les états 2, 3, et 4, les deux serveurs sont occupées, et la charge du système est donc 100 %. Dans l’état 1, la
charge est de 50 % puisqu’un serveur sur deux est inactif. Enfin dans l’état 0, la charge est de 0 %. Donc la charge
8µλ 4 −λ 5 +4λ 2 µ 3
moyenne est de 0π0 + 12 π1 + π2 + π3 + π4 = 1 − π0 − 12 π1 = 16µ5 +8λ µ4 −λ 5 = 1123 ' 47, 8 %.
Le nombre moyen de requêtes dans le système est :

N = 0π0 + 1π1 + 2π2 + 3π3 + 4π4

16µ 4 λ − 8λ 2 µ 3 8µ 3 λ 2 − 4λ 3 µ 2 4µ 2 λ 3 − 2λ 4 µ 2µλ 4 − λ 5
= + 2 + 3 + 4
16µ 5 + 8λ µ 4 − λ 5 16µ 5 + 8λ µ 4 − λ 5 16µ 5 + 8λ µ 4 − λ 5 16µ 5 + 8λ µ 4 − λ 5
16µ λ + 8µ λ + 4µ λ + 2µλ − 4λ
4 3 2 2 3 4 5 26
= =
16µ 5 + 8λ µ 4 − λ 5 23

Le nombre moyen de requêtes en attente est :

N f = 0π0 + 0π1 + 0π2 + π3 + 2π4

4µ 2 λ 3 − 2λ 4 µ 2µλ 4 − λ 5
= + 2
16µ 5 + 8λ µ 4 − λ 5 16µ 5 + 8λ µ 4 − λ 5
4µ λ + 2µλ − 2λ
2 3 4 5 4
= =
16µ 5 + 8λ µ 4 − λ 5 23

Dans les états 0, 1, et 2, aucune requête n’est en attente, puisque le système comprend deux serveurs. Dans l’état
3, sur les trois requêtes présentes, une est en attente ; dans l’état quatre, il y en a deux.
Le temps moyen de service est, d’après la loi de Little :

N 16µ 4 + 8µ 3 λ + 4µ 2 λ 2 + 2µλ 3 − 4λ 4 26
T = = =
λ 16µ 5 + 8λ µ 4 − λ 5 23

Et le temps moyen d’attente est, d’après la loi de Little :

Nf 4µ 2 λ 2 + 2µλ 3 − 2λ 4 4
T f = = =
λ 16µ 5 + 8λ µ 4 − λ 5 23