Modle de performance dun serveur simple Nous supposons

  • Slides: 5
Download presentation
Modèle de performance d’un serveur simple • Nous supposons que le serveur traite une

Modèle de performance d’un serveur simple • Nous supposons que le serveur traite une requête après l’autre (sans parallisme) • Modèle de files d’attente (Queuing model) revisé 2006

Formules analytiques concernant la performance • • • Soit λ le nombre de requêtes

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 d’attente: – 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 d’attente total (attente plus temps de service, en moyenne): T revisé 2006 Le paramètre ρ = λ / μ est appellé « intensité de traffic » . Quand il approche la valeur 1 le système est congestionné Pour modèle M/G/1 où Cb est le rapport entre la déviation standard et la moyenne du temps de service Pour modèle M/M/1

Modèle d’une file d’attente en SDL • On peut programmer un modèle de file

Modèle d’une file d’attente en SDL • On peut programmer un modèle de file d’attente en SDL comme suit: – Un processus représente le serveur; il traite un signal après l’autre. – Les requêtes sont des signaux qui sont stocké dans la file d’entrée du processus jusqu’à ce qu’elle sont traitées par le processus. – On peut utiliser un Timer SDL pour modéliser le temps d’exécution du serveur. – Dans l’exemple 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 le traitement de la dernière requête est terminé. – La page suivante explique le symbole SAVE; la deuxième page donne l’exemple d’un modèle de file d’attente. revisé 2006

Le symbole SAVE de SDL • • Note: Il est suggéré de ne pas

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. L’effet 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 qu’un signal d’un autre type arrive avant de quitter cet état par une transition. Les signaux ainsi “sauvés” restent dans la file d’entrée dans l’ordre qu’ils avaient et seront disponibles pour consommation dans le prochain état (s’il 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 n’y a pas de reception spécifié, ni de symbole SAVE, ce message sera enlevé de la file sans être traité. L’exemple 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. revisé 2006

Modèle SDL d’un serveur simple • • Note: dans l’état wait, les requêtes dans

Modèle SDL d’un serveur simple • • Note: dans l’état wait, les requêtes dans la file d’entré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. revisé 2006