Revisé 2006 Modèle de performance dun serveur simple Nous supposons que le serveur traite une requête après lautre (sans parallisme) Modèle de files dattente.

Présentation au sujet: "Revisé 2006 Modèle de performance dun serveur simple Nous supposons que le serveur traite une requête après lautre (sans parallisme) Modèle de files dattente."— Transcription de la présentation:

1 revisé 2006 Modèle de performance dun serveur simple Nous supposons que le serveur traite une requête après lautre (sans parallisme) Modèle de files dattente (Queuing model)

2 revisé 2006 Formules analytiques concernant la performance Soit λ le nombre de requêtes qui arrivent par seconde (en moyenne) Soit μ le nombre de requêtes que le serveur peut servir par seconde (en moyenne) Il existent différents modèles de files dattente: –Modèle M/M/1 : arrivées aléatoires (M) / distribution du temps de service est exponentiel (Markovien) / un serveur (1) –Modèle M/G/1 : M / distribution du temps de service est quelquonque (Général) / 1 Nombre de requêtes dans le système (en moyenne): N Temps dattente total (attente plus temps de service, en moyenne): T Pour modèle M/G/1 Pour modèle M/M/1 Le paramètre ρ = λ / μ est appellé « intensité de traffic ». Quand il approche la valeur 1 le système est congestionné où C b est le rapport entre la déviation standard et la moyenne du temps de service

3 revisé 2006 Modèle dune file dattente en SDL On peut programmer un modèle de file dattente en SDL comme suit: –Un processus représente le serveur; il traite un signal après lautre. –Les requêtes sont des signaux qui sont stocké dans la file dentrée du processus jusquà ce quelle sont traitées par le processus. –On peut utiliser un Timer SDL pour modéliser le temps dexécution du serveur. –Dans lexemple donné ci-dessous, on utilise le symbole SAVE de SDL pour ne pas perdre les requêtes qui arrivent pendant que le processus attend le signal du Timer qui indique que le traitement de la dernière requête est terminé. –La page suivante explique le symbole SAVE; la deuxième page donne lexemple dun modèle de file dattente.

4 revisé 2006 Le symbole SAVE de SDL Note: Il est suggéré de ne pas utiliser ce symbole, si possible. Son utilisation résulte souvent en des spécifications difficiles à comprendre. Leffet du symbole SAVE utilisé dans un état est que les signaux du type indiqué dans le SAVE ne sont pas consommés dans létat en question. Le processus doit donc attendre quun signal dun autre type arrive avant de quitter cet état par une transition. Les signaux ainsi sauvés restent dans la file dentrée dans lordre quils avaient et seront disponibles pour consommation dans le prochain état (sil ne sont pas sauvés dans cet état, là aussi). Note: En SDL, si un processus est dans un état où pour le type de message au sommet de la file il ny a pas de reception spécifié, ni de symbole SAVE, ce message sera enlevé de la file sans être traité. Lexemple ci-dessous spécifie que les signaux de type Code sont sauvés dans tous les états, sauf létat Idle. Donc ils peuvent seulement être consommés dans létat Idle.

5 revisé 2006 Modèle SDL dun serveur simple Note: dans létat wait, les requêtes dans la file dentrée du processus sont sauvegardés Ceci est on modèle avec un temps de service constant, égal à 2. Cela est un cas particulier du modèle M/G/1, la déviation standard étant zéro.