380 likes | 555 Views
Garantir la qualité de service temps réel: ordonnancement et gestion de files d’attente. YeQiong SONG, LORIA – INPL – Nancy Université. Plan. Mécanismes de gestion de la QdS Gestion de files d’attente Ordonnancement de messages
E N D
Garantir la qualité de service temps réel:ordonnancementetgestion de files d’attente YeQiong SONG, LORIA – INPL – Nancy Université
Plan • Mécanismes de gestion de la QdS • Gestion de files d’attente • Ordonnancement de messages • Remarques sur des méthodes d’évaluation des bornes de temps de réponse Y.Q. Song
Contrôle d’admission pour la garantie 1 - Gestion de la QdS dans un nœud de réseaux à commutation de paquets - Borner les flux d’arrivée: Leaky bucket - Gérer la saturation de buffers: RED - Ordonnancer les paquets: WFQ Y.Q. Song
2 - Mécanismes de gestion de files d’attente • TD (Tail Drop) • RED (Random Early Detection) • DLB (Double Leaks Bucket) Y.Q. Song
TD Rejet quand file pleine Simulation TD avec flux d’arrivée Poissonnien =1, taille file = 9, C = 0,8 101101111100001100011111111111111111111111111011101010010111111111011111101001111101010010100001111100111111111111111111111111111111111111110111011001101000111111101111110111111110 Y.Q. Song
RED (rejet avec probabilité) Ne rien rejeter Rejet avec Proba P Rejeter tout min max P 1 Maxp Longueur moyenne de file Y.Q. Song
RED Lg_moy = (1-Wq)*Lg_moy + Wq*lg_inst Longueur de file Lg_inst Lg_moy Temps Y.Q. Song
DLB RED TD Taille moyenne de file 4.7 4.3 9.0 Délai moyen (ms) 4.8 4.5 8.7 Taux de perte 22% 22% 20% Pertes consécutives max. 1 4 4 Pertes consécutives moy. 1 1.64 1.54 RED Simulation RED avec flux d’arrivée Poissonnien =1, taille file = 9, C = 0,8, wq = 0,2, max_p = 0,34, minth = 3, maxth = 6 111010010000111111111111111111111111111111010111111111100110011111011111111111111111111111111111110110010111011111011111111111111111110100001111000110001010111111111111111111101010 Simulation TD101101111100001100011111111111111111111111111011101010010111111111011111101001111101010010100001111100111111111111111111111111111111111111110111011001101000111111101111110111111110 Y.Q. Song
Observations Considérons un exemple de transmission de paquets de voix pour une session de téléphonie IP Congestion rejet de paquets dégradation de QdS Problème: seul taux de pertes ne permet pas de mesurer la dégradation. Pour un même taux, une longue séquence de pertes consécutives impacte plus la QdS Nouveaux modèles pour mieux spécifier la tolérance à la dégradation de QdS? Nouveaux mécanismes pour éviter de longues séquences de pertes? Modèle (m,k)-firm Double Leaks Bucket Y.Q. Song
Modèle (m,k)-firm • Temps réel dur: non respect d’une échéance entraîne des conséquences catastrophiques • Temps réel souple: non respect des échéances entraîne une diminution de performances (QdS dégradée) • Temps réel « firm »: temps réel souple mais avec le non traitement des paquets ne pouvant pas respecter leur échéances (paquets rejetés) • (m,k)-firm: respect des échéances d’au moins m parmi k paquets consécutifs quelconques [Hamdaoui95] Y.Q. Song
1 0 011 1 0 101 010 1 110 0 1 0 1 001 100 1 000 0 0 (m,k)-firm et états du system • Exemple de (2,3)-firm • k-séquence 1 0 111 1 0 Y.Q. Song
1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 . . . - k-séquence dynamique 1 0 0 1 1 1 0 1 0 1 1 1 0 1 0 ... k-séquence et expression de contraintes (3,5)-firm - k-séquence fixe = k-pattern Y.Q. Song
I I GOP (Groupe Of Pictures) P P P P P P B B B B B B B B B B B B B B B B 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 Exemple d’une application acceptant la contrainte (m,k)-firm • Flux vidéo MPEG Y.Q. Song
Maquette de tests VideoLan : générateur de trafic MPEG Y.Q. Song
Test sur maquette Vidéo initiale: Y.Q. Song
Test sur maquette Test 1: rejet de tous les paquets de type I Image fixe Y.Q. Song
Test sur maquette Test 2: rejet de tous les paquets de type P Y.Q. Song
Test sur maquette Test 3: rejet de tous les paquets de type B Y.Q. Song
Modèle R-(m,k)-firm R-(m,k)-firm est une relaxation du modèle (m,k)-firm afin d’augmenter le taux d’utilisation du serveur – un problème bien connu de l’ordonnancement est non préemptif [Thèse J. Li 07] Facteur (m,k) : pour un groupe quelconque dekpaquets consécutifs,au moins msont transmis avant un facteur de délai Facteur délai: à l’instantt, kpaquets sont émis par la source. Alors, mparmi eux doivent être transmis à la destination avantt+. une échéance par groupe de paquets au lieu d’une par paquet. Y.Q. Song
DLB (Double Leaks Bucket) Un simple lavabo avec une évacuation de trop plein Y.Q. Song
DLB RED TD Taille moyenne de file 4.7 4.3 9.0 Délai moyen (ms) 4.8 4.5 8.7 Taux de perte 22% 22% 20% Pertes consécutives max. 1 4 4 Pertes consécutives moy. 1 1.64 1.54 DLB Simulation DLB (q1=3, q2 = 6, taille de file = 9, C1 = 0,8, C2 = 0,4) 011011011011011011011011011011011011011111111111111111101101101101101101101101111111110110110110110110110110110110111111111111111111111111111101101101101101101101101101101101101101 Propriété 1: non pertes consécutives Y.Q. Song
DLB Property 2: Garantie déterministe R-(m,k)-firm pour flux (,)-borné Theorem: Pour un flux (,)-borné, si DLB est configuré selon les conditions suivantes, la contrainte R-(m,k)-firm sera respectée de façon déterministe • Condition (1) : C1+C2> ; • Condition (2): si >q2, alors sinon Y.Q. Song
3 - Ordonnancement de message Y.Q. Song
D1 P19 P18 P17 WFQ P22 P16 P15 P14 P21 P13 P12 P11 P16 P15 P14 P13 P12 P11 D2 P25 P24 P23 P25 P22 P24 P21 P23 WFQ Flux 1 : 3 Mbit/s Flux 2 : 1 Mbit/s Temps Virtuel de Départ Y.Q. Song
WFQ et temps de réponse borné • WFQ garantit à chaque source de flux i • une portion de bande passante gi proportionnelle à son coefficient de partage i • un délai maximal ssi le trafic du flux est borné par une courbe d’arrivée (si,ri)-borné et avec ri gi : Y.Q. Song
Problème de WFQ pour temps réel • WFQ est initialement conçue pour garantir la bande passante mais pas le délai ! • Pour un flux donné, plus le coefficient de partage est petit, plus le délai est grand • Problème : flux temps-réel de faible besoin en bande passante, mais nécessitant un délai étroit (Voix sur IP avec Débit=64Kb/s) • Sous-utilisation de ressources pour garantir le délai • Borne sur le délai = f(Bande passante réservée,Rafale) Y.Q. Song
(m,k)-WFQ [thèse A. Koubâa 04] • Objectifs de (m,k)-WFQ: • Prise en compte de (m,k)-firm • Utilisation plus efficace de la bande passante pour réduire Dmax • Principe de (m,k)-WFQ: • Marquage des paquets par la source selon -pattern (introduction de deux priorités) • Estampillage des paquets selon le temps virtuel de départ de WFQ Y.Q. Song
Sélection min(Fik) parmi les paquets critiques Sinon parmi les paquets optionnel Paquet Critique Paquet Optionnel Echéance Respectée Echéance Ratée Rejet du paquet Envoyer le paquet Algorithme (m,k)-WFQ Y.Q. Song
Un exemple Y.Q. Song
Performances de (m,k)-WFQ Taille de paquet constante = 1 Ko Temps de réponse maximal simulé : (m,k)-WFQ WFQ (m,k)-FIFO FIFO Voix 9,769 4776,83 20,529 48,031 Vidéo3,999 41,084 21,086 49,031 FTP3,837 18,048 21,442 49,083 Voix: 6,8% Vidéo: 5,5% Taux de rejet (m,k)-WFQ: Y.Q. Song
bits r s t Flux Critique (m, k)-Filtre MUX S (s,r)-Shaper (s,r) (k-m,k)-Filtre (b,r)-Shaper Flux Optionnel k-m k Garantie de temps de réponse de (m,k)-WFQ Le nombre maximum de paquets optionnels transmis par le serveur est l’ensemble des paquets ayant un délai inférieur à l’échéance désirée Dop: b = Dop (supposons que la bande passante du serveur g = ) Y.Q. Song
Borne de temps de réponse de (m,k)-WFQ • Les deux systèmes suivants sont équivalents • servi par un serveur WFQ • servi par un serveur (m,k)-WFQ • Borne sur le délai d’un flux (s,r)-borné servi par (m,k)-WFQ Y.Q. Song
Borne de temps de réponse de (m,k)-WFQ • Si aucun paquet optionnel n’est servi: • Pour garantir un temps de réponse entre D*min et D*max, on peut ajuster Dopqui détermine b = Dop Y.Q. Song
(m,k)-WFQ Le flux est (s,r)-borné Le flux est (s*,r*)-borné Délai Garanti par (m,k)-WFQ WFQ Y.Q. Song
4 – Remarques sur méthodes d’évaluation de bornes des temps de réponse • Flux périodique et son enveloppe majorante (,) Y.Q. Song
(si Ri < Ti) avec L’analyse de la trajectoire du « pire cas » vs. l’analyse de l’enveloppe majorante (,) Exemple de priorité fixe Y.Q. Song
Questions? Y.Q. Song