Mod

1
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
Formules analytiques concernant la performance
Le paramètre ? ? / µ est appellé  intensité
de traffic . Quand il approche la
valeur 1 le système est
congestionné

• 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
où Cb est le rapport entre la déviation standard
et la moyenne du temps de service
Pour modèle M/M/1
3
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
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
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.