Vous êtes sur la page 1sur 45

Théorie des files d’attente

Caractérisation d’une file d’attente


Comment modéliser le système ?
Files d’attente non Markoviennes

Le formalisme files d’attente

Mohamed Escheikh

ENIT

2 août 2017

1 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Comment modéliser le système ?
Files d’attente non Markoviennes

Table des matières I

1 Théorie des files d’attente


Définition

2 Caractérisation d’une file d’attente


File d’attente simple
File d’attente multiclasses
Notation de Kendall
Mesures de performance
Théorème de Little

3 Comment modéliser le système ?


Cas d’un réseau de files d’attente
Réseau de files d’attente monoclasse/multiclasses

4 Files d’attente non Markoviennes

2 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Définition
Comment modéliser le système ?
Files d’attente non Markoviennes

Définition

Modéliser les phénomènes de partage d’accès à des ressources


Clients dans la salle d’attente d’un médecin
Voitures à péage autoroutier
Paquets dans un routeur
Requêtes à une base de données
Accès concurrent à la mémoire
etc

3 / 45
File d’attente simple
Théorie des files d’attente
File d’attente multiclasses
Caractérisation d’une file d’attente
Notation de Kendall
Comment modéliser le système ?
Mesures de performance
Files d’attente non Markoviennes
Théorème de Little

File d’attente simple

1 Processus des arrivées des clients


Le processus des arrivées des clients est caractérisé par la
distribution des interarrivées.
2 Distribution des temps de service c’est la distribution du temps
nécessaire pour satisfaire la demande de chaque client.
3 Nombre de serveurs

Dans le cas d’une file multiserveurs dès qu’un serveur se libère un des
clients en attente entre en service (si il y a des clients dans le buffer
d’attente).

4 / 45
File d’attente simple
Théorie des files d’attente
File d’attente multiclasses
Caractérisation d’une file d’attente
Notation de Kendall
Comment modéliser le système ?
Mesures de performance
Files d’attente non Markoviennes
Théorème de Little

File d’attente simple


Dans le cas d’une file multiserveurs on suppose souvent que les serveurs sont
indépendants entre eux et que la distribution du temps de service est la même
pour tous les serveurs.
4 Capacité de la file d’attente : Nombre maximum de clients dans le
système (en service ou dans le buffer d’attente)

5 / 45
File d’attente simple
Théorie des files d’attente
File d’attente multiclasses
Caractérisation d’une file d’attente
Notation de Kendall
Comment modéliser le système ?
Mesures de performance
Files d’attente non Markoviennes
Théorème de Little

File d’attente multiclasses

Il s’agit de files oú circulent plusieurs classes de client, avec des


niveaux de priorité différents.
Dans le cas d’une file multiclasses chaque classe de client se
caractérise par :
un processus d’arrivées différent
une distribution de temps de service différente
de plus les différentes classes de client sont gérées différemment
(discipline de service avec priorité) ;

6 / 45
File d’attente simple
Théorie des files d’attente
File d’attente multiclasses
Caractérisation d’une file d’attente
Notation de Kendall
Comment modéliser le système ?
Mesures de performance
Files d’attente non Markoviennes
Théorème de Little

Notation de Kendall

Il existe une nomenclature pour classer les files d’attente. Cette


nomenclature est définie de la manière suivante. Une file d’attente
spécifique est désignée par le symbole :

A/S/C/K/Z

A : distribution des interarrivées


S : distribution des services
C : nombre de serveurs
K : capacité de la file
Z : discipline de service

7 / 45
File d’attente simple
Théorie des files d’attente
File d’attente multiclasses
Caractérisation d’une file d’attente
Notation de Kendall
Comment modéliser le système ?
Mesures de performance
Files d’attente non Markoviennes
Théorème de Little

Notation de Kendall

M : distribution exponentielle
(Markov)
G : loi générale
GI : loi générale
oú A et S sont données endépendante
par : Ek : loi de Erlang-k
Hk : loi hyperexponentielle-k
Ck : loi de Cox-k
PHk : loi de type Phase à k
étages

8 / 45
File d’attente simple
Théorie des files d’attente
File d’attente multiclasses
Caractérisation d’une file d’attente
Notation de Kendall
Comment modéliser le système ?
Mesures de performance
Files d’attente non Markoviennes
Théorème de Little

Notation de Kendall

A/S/C/K/Z

Si K est omis c’est que la capacité de la file est infinie


Si Z est omis c’est qu’il s’agit d’une discipline de service FIFO
Exemples :
M/M/1 : arrivées poissonniennes, services exponentiels, 1 serveur,
capacité infinie, FIFO
M/M/1/K :arrivées poissonniennes, services exponentiels, 1 serveur,
capacité K, FIFO
M/M/C :arrivées poissonniennes, services exponentiels, C serveurs,
capacité infinie, FIFO
G/M/1 : loi des interarrivées quelconque, services exponentiels, 1 serveur,
capacité infinie, FIFO
M/G/1 : arrivées poissonniennes, Loi de service quelconque, 1 serveur,
capacité infinie, FIFO
9 / 45
File d’attente simple
Théorie des files d’attente
File d’attente multiclasses
Caractérisation d’une file d’attente
Notation de Kendall
Comment modéliser le système ?
Mesures de performance
Files d’attente non Markoviennes
Théorème de Little

Notation de Kendall
Exemples de disciplines de service
FIFO (First In First Out) :
LIFO (Last In First Out) :
RANDOM (aléatoire)
Avec priorité (préemptive, non préemptive)
ROUND ROBIN (cyclique ou tourniquet) : Le serveur travaille en
tourniquet. On définit un quantum de temps Q . Si le client termine son
service avant la fin du quantume Q, il rend la main dès qu’il a terminé et
un autre client entre en service. Sinon, il est préempté à la fin du
quantum Q, remis en fin de file et le client suivant entre en service.
La discipline de service Round Robin est utilisée pour gérer les situations
de pénurie afin de ne léser aucun client.
PROCESSOR SHARING (partage égalitaire) : c’est la limite du cas
précédent lorsque Q −→ 0. Si le taux de service (ex : bande passante) du
serveur est µ et qu’il y a n clients dans la file, chaque client est servi avec
un taux µ /n
10 / 45
File d’attente simple
Théorie des files d’attente
File d’attente multiclasses
Caractérisation d’une file d’attente
Notation de Kendall
Comment modéliser le système ?
Mesures de performance
Files d’attente non Markoviennes
Théorème de Little

Mesures de performance
L’étude d’une file d’attente ou d’un réseau de files a pour but de
calculer ou d’estimer les performances d’un système dans des
conditions de fonctionnement données. Ce calcul se fait le plus
souvent pour le régime stationnaire uniquement et les mesures les
plus fréquemment utilisées sont
N : le nombre moyen de clients présents (en attente et en
service)
Q : le nombre moyen de clients en attente
T : le temps moyen de séjour ou de réponse (attente et
service)
W : le temps moyen d’attente
U : le taux d’utilisation de chaque serveur

11 / 45
File d’attente simple
Théorie des files d’attente
File d’attente multiclasses
Caractérisation d’une file d’attente
Notation de Kendall
Comment modéliser le système ?
Mesures de performance
Files d’attente non Markoviennes
Théorème de Little

Théorème de Little

λ : taux d’arrivée du client


N : nombre moyen de clients dans le système
T : délai moyen par client dans le système
Théorème de Little : système en état d’équilibre

N=λ.T
12 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

Réseaux de files d’attente ouverts/fermés

Réseau de files d’attente ouvert

13 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

Réseaux de files d’attente ouverts/fermés

Caractérisation d’un réseau de files d’attente (ouvert)


Routage des clients dans le système (ordre dans lequel ils visitent les
différentes stations) ; dans le cas d’un routage probabiliste celui-ci est
caractérisé par des probabilités de transition Pij .

P0i : le client arrivant de l’extérieur se dirige vers la station i avec


probabilité P 0i
Pij : quand il a fini son service à la station i il se dirige vers la
station j avec probabilté Pij
Pi0 : quand il a fini son service à la station i il sort du système avec
probabilité Pi0
P P
P0i =1 , P0i + Pij =1
i6=0 j6=0

14 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

Réseaux de files d’attente ouverts/fermés


Dans un réseau fermé
les clients sont en nombre N constant
ni arrivées, ni départs de clients depuis/vers l’extérieur

15 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

Réseaux de files d’attente ouverts/fermés

Caractérisation d’un réseau fermé


N clients dans le réseau,
Probabilités de routage P ,i,j6= 0,
ij
pour chaque station : distribution du temps de service,
capacité du buffer, nombre de serveurs, politique de service.

16 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

Réseau de files d’attente monoclasse/multiclasses


Dans le cas oú le réseau est parcouru par plusieurs classes de clients, chaque
classe se distingue par :
un processus d’arrivées différent,
un routage différent,
des comportements différents à chaque station (temps de service et
discipline de service).

17 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

File à temps discret

Combien de lignes téléphoniques doit-on gérer pour que


l’attente de communication soit raisonnable ?
Combien de caisses dans un supermarché ? Comment adapter
le type de guichets (caisses rapides, etc) et leur nombre au
flux des clients ?
Comment gérer les feux de circulation dans une grande
agglomération afin d’obtenir un trafic fluide ?
Comment déterminer le nombre optimal de postes à un péage
autoroutier ?

18 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

File à temps discret

19 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

File à temps discret

20 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

File à temps discret

21 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

La file d’attente M/M/1

22 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

La file d’attente M/M/1

23 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

La file d’attente M/M/1

24 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

La file d’attente M/M/1

25 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

La file d’attente M/M/m

26 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

La file d’attente M/M/m

27 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

La file d’attente M/M/m/K avec K ≥ m

28 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

La file d’attente M/M/m/K avec K ≥ m

29 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente Cas d’un réseau de files d’attente
Comment modéliser le système ? Réseau de files d’attente monoclasse/multiclasses
Files d’attente non Markoviennes

La file d’attente M/M/m/K avec K ≥ m

30 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Comment modéliser le système ?
Files d’attente non Markoviennes

La file d’attente M/G/1

31 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Comment modéliser le système ?
Files d’attente non Markoviennes

La file d’attente M/G/1

32 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Comment modéliser le système ?
Files d’attente non Markoviennes

La file d’attente M/G(a,b)/1

33 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Comment modéliser le système ?
Files d’attente non Markoviennes

La file d’attente M/G(a,b)/1

34 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Comment modéliser le système ?
Files d’attente non Markoviennes

La file d’attente M/Ek /1

35 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Comment modéliser le système ?
Files d’attente non Markoviennes

La file d’attente M/Ek /1

36 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Comment modéliser le système ?
Files d’attente non Markoviennes

La file d’attente M/Ek /1

37 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Comment modéliser le système ?
Files d’attente non Markoviennes

La file d’attente M/Cox2/1

38 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Comment modéliser le système ?
Files d’attente non Markoviennes

La file d’attente M/Cox2/1

39 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Comment modéliser le système ?
Files d’attente non Markoviennes

La file d’attente M/Cox2/1

40 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Comment modéliser le système ?
Files d’attente non Markoviennes

Exercice
On se propose de comparer les temps moyens d’attente (ou les temps de séjour)
dans un système ouvert M/G/1 pour différentes lois de services avec le même
taux d’arrivée l .
On désire comparer 7 politiques de service pour lesquelles les paramètres et le
coût du serveur par unité de temps sont indiqués ci-dessous :

41 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Comment modéliser le système ?
Files d’attente non Markoviennes

Exercice

42 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Comment modéliser le système ?
Files d’attente non Markoviennes

Exercice

43 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Comment modéliser le système ?
Files d’attente non Markoviennes

Exercice

44 / 45
Théorie des files d’attente
Caractérisation d’une file d’attente
Comment modéliser le système ?
Files d’attente non Markoviennes

La file d’attente M/G/1

45 / 45

Vous aimerez peut-être aussi