Le formalisme files dattente

introduction
Les problmes lis lattente dans un centre de service sont omniprsents dans notre vie. attente un guichet (caisse dans un supermarch, administration), trafic urbain ou arien, rseaux tlphoniques, circulation de pices dans un atelier, programmes dans un systme informatique,...

 Il est devenu inconcevable de construire un systme quelconque sans avoir auparavant fait lanalyse des performances. La ncessit davoir un systme bien adapt au C C nous a oblig de passer par une tape de modlisation et danalyse des performances. Un centre de service doit tre capable dabsorber le dbit moyen de clients prvu(calcul dbit moy). Mais le caractre alatoire des arrives et des temps de service rend les attentes impossibles viter compltement.

 Deux formalismes souvent utiliss dans le domaine de systmes et rseaux informatiques sont: Les rseaux de Petri une analyse qualitative la validation et la vrification d'un systme
Les rseaux de files d'attente une analyse quantitative l'valuation des performances d'un systme

processus alatoires
La thorie des processus alatoires concerne ltude mathmatique de phnomnes (physiques, biologiques ou conomiques) voluant dans le temps, et dont lvolution est de

caractre alatoire (non prvisible avec

certitude).

 Pour dfinir un processus alatoire, il faut : 1- Un espace des temps T (T R+): T = N : le processus est dit discret ; on regarde ce quil se passe `a chaque unit de temps, (ex :lancer dune pice). T = R+ : le processus est dit continu : on garde les yeux fixs sur un systme qui volue dans le temps partir dun instant t0 que lon prend pour origine des temps (t = 0).

2- Un espace des tats E:

Lensemble E peut tre:

discret : cest-`a-dire fini ou dnombrable.

non discret : par exemple E = R ou E R2 ,ou E R3

Dfinition dun Processus alatoire:

Le processus alatoire est la famille de variables alatoires (Xt) t T . Ces variables alatoires sont toutes dfinies sur un mme espace probabilis (, A, P), et valeurs dans

lespace des tats E.

chaque instant t T, on associe, non pas une valeur dterministe mais une valeur alatoire dcrite par une variable alatoire Xt valeurs dans E.

 Le plus souvent, dans le cas des files dattente,

Xt est le nombre de clients dans le systme

linstant t. On a alors :

E = N et T = R+

I.

Files d'attente

Bas sur deux entits: client et serveur un client arrive dans une file, attend un service, reoit le service, puis se dirige vers une autre file ou quitte le systme Systme simple le client attend un seule service (file simple) le client attend plusieurs service (rseau de files dattente) ce formalisme est largement utilis pour modliser des systmes dans la vie quotidienne: acheter un ticket de cinma la caisse de supermarch en informatique dans les tlcommunications

 Nous pouvons schmatiser les lments d'un systme d'attente :

 Ce systme peut tre modlis en terme de files d'attente avec les variables qui peuvent nous intresser:

1. La file simple
Constitue dune file dattente et dun ou plusieurs serveurs. Les clients arrivent de lextrieur. Patientent dans la file dattente. Reoivent un service. Quittent la station

 Une file d'attente est caractrise par :

Un flot d'arrives

Un mcanisme de service
Une salle d'attente Une discipline de service
l

"Salle" d'attente
mcanisme de service

1.1 Processus darrive

Larrive des clients la station est dcrite par un processus stochastique de comptage {N(t)t>=0}. Dfinition dun processus stochastique: Est une famille {Nt , t T} de variables alatoires dfinies sur un mme espace de probabilit. N(t) dfinit ltat du processus un instant donn t.

 Si An dsigne la variable alatoire mesurant linstant darrive du nime client dans le systme, on aura ainsi: A0 = 0 (par convention) Si Tn dsigne la variable alatoire mesurant le temps sparant larrive du (n1)i`eme client et du ni`eme client, on a alors : Tn = An An1

 Dfinition :
Un processus de comptage (Nt)t0 est un processus de renouvellement si et seulement si les variables alatoires (Tn) sont des variables indpendantes et identiquement distribues. La

loi dcrivant le temps dinterarrive suffit alors

caractriser le processus de renouvellement.

 larrive des clients une file simple est suppose dcrite par un processus de renouvellement. Le processus darrive le plus simple et le plus couramment employ est:

le processus de Poisson
Cest un processus de renouvellement qui est tel

que les interarrives sont distribues selon une loi

exponentielle.
le taux des arrives: (1/ est lintervalle moyen entre deux arrives conscutives

1.2 Temps de service

Considrons tout dabord une file serveur unique: Dn la variable alatoire mesurant linstant de dpart du nime client. Xn la variable alatoire mesurant le temps de service du nime client (temps entre le dbut et la fin du service). Linstant de dpart correspond une fin de service (Mais pas forcment un dbut de service). La distribution du temps de service la plus simple tudier est la distribution exponentielle. (nest pas suffisante pour touts les phnomnes rels)

1.3 structure et discipline de la file

1.3.1 nombre de serveurs: Une station peut disposer de plusieurs serveurs en

parallle.
C est le nombre de serveurs. larrive dun client si un serveur est libre il entre instantanment en service. Tous les serveurs sont occups et le client se place en

attente de libration lun des serveurs.

1.3.2 capacit de la file:

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

1.3.3 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 premptive (priorit ou privilge)