1 / 49

Université Libanaise Faculté de Génie

Université Libanaise Faculté de Génie. Université de St. Joseph Faculté d’Ingénierie. Présentation d e mémoire du DEA Réseaux de télécommunications. Sujet.

ita
Download Presentation

Université Libanaise Faculté de Génie

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Université Libanaise Faculté de Génie Université de St. Joseph Faculté d’Ingénierie Présentation de mémoire du DEA Réseaux de télécommunications Sujet Etude Analytique et par Simulation des Modèles Hybrides Combinants FEC et ARQ au Niveau Liaison pour des Liens Sans Fil et des Connexions TCP de Longues Durée Préparé par : Ing.Alaeddine AL-FAWAL Dirigé par : Dr.Chadi BARAKAT Projet effectué au sein du Projet Planète, INRIA, Sophia Antipolis, France Avril 15, 2003

  2. PLAN Cadre du Projet FEC / ARQ-SR : Définition du Modèle FEC / ARQ-SR : Simulations FEC / ARQ-SR : Modèle Analytique FEC / ARQ-SR : Optimisation ARQ-SR-Protégée-Par-FEC FEC / ARQ-Stop&Wait Perspectives Conclusions

  3. Cadre du Projet • TCP : Transport Control Protocol : • Transport fiable. • 90 % du trafic Internet • Partage équitable de la bande passante : perte = congestion Inconvénient majeur : Performance dégradée sur les liens sans fil (taux de perte élevé). • Liens sans fil : • WLAN, GSM, GPRS, UMTS, Satellite, etc. • BER élevé (pertes de non-congestion) • Sources des erreurs : atténuation, interférence, trajets-multiples, effet Doppler, handoff…

  4. Cadre du Projet • Division de la connexion : STP TCP TCP STP Niveau Liaison : • FEC, ARQ, HybridFEC/ARQ, etc Niveau Antenne :Antenne intelligente. Solutions : Niveau Transport. • Enhancing TCP : SACK, ELN, ECN, TCP Vegas Notre travail se concentre sur l’hybride FEC/ARQ-SR (Modélisation, simulation, optimisation)

  5. Cadre du Projet IP Level IP Packet N-K Units K Units Link Level N Units Redundant Units Original Units FEC : Forward Error Correction • Appliquée localement. • Code : Reed-Solomon. • Paquet divisé en K Unités. • On ajoute N-K Unités de redondance. • Le paquet est perdu si plus que N-K unités sont erronées.

  6. Cadre du Projet IP Packet IP Level X LL Frames Link Level ARQ : Automatic Repeat Request • Appliquée localement. • paquet IP = X trames LL (Link Level) • Chaque trame est acquittée par un ACK ou un NACK. • NACK la trame est retransmise localement. • retransmission maximale = persistance de ARQ (). • ARQ : Stop&Wait, Go-back-N, Selective-Repeat.

  7. Cadre du Projet ARQ FEC Avantages • Transmission fiable. • Affecte la bande passante seulement lors de l’apparition des pertes. • Réduit le taux de pertes. • Pas de retransmission = pas d’interférence avec TCP • Particulièrement Utile pour des BER élevés et des grands délai. Inconvénients • Déséquencement : ACK dupliqués. • Augmentation de RTT. • Instabilité de RTT  interférence avec TCP • Jitter • Processing over head • Consomme de la bande passante.

  8. PLAN Cadre du Projet FEC / ARQ-SR : Définition du Modèle FEC / ARQ-SR : Simulations FEC / ARQ-SR : Modèle Analytique FEC / ARQ-SR : Optimisation ARQ-SR-Protégée-Par-FEC FEC / ARQ-Stop&Wait Perspectives Conclusions

  9. FEC/ARQ-SR : Définition du Modèle FEC / ARQ-SR + in order delivery Choix des différents mécanismes : • ARQ-Selective Repeat : • Complexe, comparé à Stop&Wait et Go-Back –N. • Utilisation efficace de la bande passante • Trames retransmises back-to-back. • Evite les retransmissions inutiles. In-order delivery : • Elimine les ACKs dupliqués FEC & ARQ-SR : Pour grouper leurs avantages et minimiser leurs inconvénient lorsqu’elles sont utilisées séparément.

  10. FEC/ARQ-SR : Définition du Modèle Modèle appliqué seulement au lien sans fil FEC :une trame peut être décodée si au moins K de ses unités sont correctement reçues • ARQ-SR : • Une trame est acquittée par ACK ou NACK. • Lors de la réception de NACK (échoue de FEC), la trame est retransmise (prioritaire) • Le nombre maximal de retransmission est  (persistance de ARQ-SR)

  11. PLAN Cadre du Projet FEC / ARQ-SR : Définition du Modèle FEC / ARQ-SR : Simulations FEC / ARQ-SR : Modèle Analytique FEC / ARQ-SR : Optimisation ARQ-SR-Protégée-Par-FEC FEC / ARQ-Stop&Wait Perspectives Conclusions

  12. FEC/ARQ-SR : Simulations Simulateur • ns-2. • Implémentation du modèle : C++, OTCL, programmation orientée objet, architecture des classes de ns-2. • Paramètres de C++ attachés à ceux de OTCL. • Paramètres accessibles à travers le script .tcl. p D  K N ord X ACK_Size #./ns simulation.tcl 0.01 200ms 5 10 11 1 6 0 • 8000 simulations automatisées par matlab.

  13. FEC/ARQ-SR : Simulations Scénarios des simulations • 10 sources TCP. • Le lien sans fil est La seule bottleneck. • Processus de pertes de Bernoulli. • NewReno TCP / Delayed Ack. • Connexions de longue durée : 2000s.

  14. FEC/ARQ-SR : Simulations X meilleure utilisation K meilleure utilisation X K Scénarios des simulations Paramètres d’entrée : p, D, X, K, BP K = 10 X = 6 Taille des Pkts = 1500 bytes Paramètres à optimiser : N, .

  15. FEC/ARQ-SR : Simulations 10 connexions :FEC seule ( = 0) Utilsation = Débit • p = 0.01 (P = 0.45) • D = 20, 100, 200 ms N : Util • FEC consomme de la BP : • borne supérieure : K / N

  16. FEC/ARQ-SR : Simulations 10 connexions :ARQ-SR seule (N = K) • p = 0.01 (P = 0.45) • D = 20, 100, 200 ms • Ord = 0 , 1 • La livraison en ordre est nécessaire pour maximiser l’utilisation • Délai augmente : On a besoin d’un  plus grande. • Util = f() : est croissante

  17. FEC/ARQ-SR : Simulations 10 connexions :FEC/ARQ-SR • p = 0.01 (P = 0.45) • D = 200 ms • Ord = 1 •  = 0, … , 5 • ARQ-SR seule est mieux que FEC seule • FEC inutile

  18. FEC/ARQ-SR : Simulations 10 connexions :FEC/ARQ-SR • p = 0.001 • (P = 0.058) • D = 200 ms • Ord = 1 •  = 0, … , 5 • ARQ-SR seule est plus importante lorsque p ou D diminuent

  19. FEC/ARQ-SR : Simulations 1 connexion seule :FEC/ARQ-SR • p = 0.01 • D = 200 ms • Ord = 1 •  = 0, … , 5 FEC seule :On a besoin plus de redondances ARQ-SR seule :On a besoin d’une plus grande FEC/ARQ-SR :FEC est nécessaire pour achever une utilisation optimale.

  20. PLAN Cadre du Projet FEC / ARQ-SR : Définition du Modèle FEC / ARQ-SR : Simulations FEC / ARQ-SR : Modèle Analytique FEC / ARQ-SR : Optimisation ARQ-SR-Protégée-Par-FEC FEC / ARQ-Stop&Wait Perspectives Conclusions

  21. FEC/ARQ-SR : Modèle Analytique • Processus de pertes de Bernoulli (p). • Modèle pour TCP (longue durée 2000s). NewReno S : taille du paquet TCP. (1 – P) : pertes sur le lien sans fil. b = 2 ,Delayed ACk C. Barakat, ”TCP modeling and validation”, IEEE Network, vol. 15, no. 3, pp. 38-47, May 2001. • Utilisation du lien sans fil : B = bande passante. R = throughput de TCP. C = nb. Des connexions. α: Ce coefficient présente la partie de la bande passante gaspillée sur FEC et sur les retransmissions par ARQ-SR • Facteur à calculer :P, A et α.

  22. FEC/ARQ-SR : Modèle Analytique • Calcul de P : proba de pertes des paquets TCP • PT : proba qu’un essaie de transmission d’une trame échoue. • PF : proba que les  +1 essaies échouent. • Calcul de α :

  23. FEC/ARQ-SR : Modèle Analytique Calcul de A : valeur moyenne de RTT. • 3 quantités : • Tps pris par un paquet pour être correctement transmis sur le lien sans fil. • Délai dû à la priorité des retransmissions ARQ à l’entrée du lien sans fil. • Délai du réséquencement des paquets à la sortie du lien sans fil.

  24. FEC/ARQ-SR : Modèle Analytique Calcul de A : valeur moyenne de RTT. • 1ère étape : calcul de tps de transmission : • Hypothèses : • Tailles des ACKs de ARQ = 0. • Les trames ARQ sont rapidement acquittées. • Processing time de FEC = 0. • Queing time dans les routeurs égales à zéro. • Produit délai*bande-passante > la taille d’un paquet TCP • 2ème étape : délai dû à la priorité des retransmissions. ni = nb des trames retransmises devant la trame i

  25. FEC/ARQ-SR : Modèle Analytique Calcul de A : valeur moyenne de RTT. • 3ème étape : délai de réséquencement. F. Baccelli, E. Gelenbe, B. Plateau, “An end-to-end approach to the resequencing problem”, Journal of the ACM, vol. 31, no. 3, pp. 474-485, July 1984. 2 propositions : • Arrivée Poissoniènne (Baccelli : lien légèrement chargé) : • Arrivée déterministe :

  26. FEC/ARQ-SR : Vérification du Modèle Analytique Le modèle est implémenté dans matlab. FEC seule analyse simulation • FEC seule : modèle parfaitement vérifié • Pas du délai de réséquencement

  27. Modèle hybride : FEC/ARQ-SR Ressemblance: U très grande Ressemblance: U < 50% 2 propositions complémentaires

  28. PLAN Cadre du Projet FEC / ARQ-SR : Définition du Modèle FEC / ARQ-SR : Simulations FEC / ARQ-SR : Modèle Analytique FEC / ARQ-SR : Optimisation ARQ-SR-Protégée-Par-FEC FEC / ARQ-Stop&Wait Perspectives Conclusions

  29. FEC/ARQ-SR : Optimisation Condition de fonctionnement optimal de ARQ-SR: trame de petite taille (K petite). • PT diminue. • Retransmission d’une petite quantité Par contre Condition de fonctionnement optimal de FEC: longue trame (grande K). C. Barakat, E. Altman, ”Bandwidth tradeoff between TCP and link-level FEC”, Computer Networks, vol. 39, no. 2, pp.133-150, Jun. 2002. Optimisation = maximisation de l’utilisation. Paramètre à optimiser : K, X, N, .  Très grande .

  30. FEC/ARQ-SR : Optimisation • K = 1 : ARQ-SR seule est mieux (U optimale = (1-p) pour K = 1). • En présence de FEC, le mieux est : K = 100 (U optimale = K/Nopt).

  31. PLAN Cadre du Projet FEC / ARQ-SR : Définition du Modèle FEC / ARQ-SR : Simulations FEC / ARQ-SR : Modèle Analytique FEC / ARQ-SR : Optimisation ARQ-SR-Protégée-Par-FEC FEC / ARQ-Stop&Wait Perspectives Conclusions

  32. ARQ-SR-Protégée-Par-FEC : Définition du Modèle ARQ-SR-Protégée-Par-FEC + in order delivery FEC appliquée seulement aux trames retransmises. Idée : • Garder l’efficacité de ARQ-SR. • Diminuer la quantité de la bande consommée par FEC. • Diminuer  et par suite le RTT.

  33. ARQ-SR-Protégée-Par-FEC : Définition du Modèle • ARQ-SR : • Une trame est acquittée par ACK ou NACK. • Lors de la réception de NACK (échec de FEC), la trame est retransmise (prioritaire) • Le nombre maximal de retransmission est (persistance de ARQ-SR) • FEC : • Appliquée aux trames retransmises et non pas aux trames originales • Une trame est décodée si au moins K de ses unités sont correctement reçues

  34. ARQ-SR-Protégée-Par-FEC : Simulations Scénarios des simulations • 10 sources TCP. • Le lien sans fil est La seule bottleneck. • Processus de pertes de Bernoulli. • NewReno TCP / Delayed Ack. • Connexions de longue durée : 2000s.

  35. ARQ-SR-Protégée-Par-FEC : Simulations Scénarios des simulations Paramètres d’entrée : p, D, X, K, BP K = 10 X = 6 Taille des Pkts = 1500 bytes Paramètres à optimiser : N, .

  36. ARQ-SR-Protégée-Par-FEC : Simulations Résultats des simulations (modèle implémenté dans ns-2) P = 0.01 ; D = 200 ms ; livraison en ordre activée

  37. ARQ-SR-Protégée-Par-FEC : Modèle Analytique • Processus de pertes de Bernoulli (p). • Modèle pour TCP (longue durée 2000s). NewReno S : taille du paquet TCP. (1 – P) : pertes sur le lien sans fil. b = 2 ,Delayed ACk C. Barakat, ”TCP modeling and validation”, IEEE Network, vol. 15, no. 3, pp. 38-47, May 2001. • Utilisation du lien sans fil : B = bande passante. R = throughput de TCP. C = nb. Des connexions. α: Ce coefficient présente la partie de la bande passante gaspillée sur FEC et sur les retransmissions par ARQ-SR • Facteur à calculer :P, A et α.

  38. ARQ-SR-Protégée-Par-FEC : Modèle Analytique • Calcul de P : proba de pertes des paquets TCP Probabilité de pertes d’une trame originale Probabilité de pertes d’une trame retransmise • PF : proba que les  +1 essaies échouent. • Calcul de α :

  39. ARQ-SR-Protégée-Par-FEC : Modèle Analytique Vérification de α : • p = 0.01 •  = 5 α est parfaitement verifiée Il reste le calcul de RTT Mais Optimisation de α optimisation de l’utilisation

  40. ARQ-SR-Protégée-Par-FEC : Optimisation • Optimisation de  • Intuitivement : améliorer ARQ-SR est plus avantageux qu’améliorer FEC K petite • ARQ-SR seule est mieux : K optimale égale à 1 Le taux de FEC maximal est de K/N=0.5

  41. ARQ-SR-Protégée-Par-FEC : Optimisation Résultats des Simulations Les simulations vérifient l’analyse

  42. PLAN Cadre du Projet FEC / ARQ-SR : Définition du Modèle FEC / ARQ-SR : Simulations FEC / ARQ-SR : Modèle Analytique FEC / ARQ-SR : Optimisation ARQ-SR-Protégée-Par-FEC FEC / ARQ-Stop&Wait Perspectives Conclusions

  43. FEC-ARQ-Stop&Wait FEC / ARQ-Stop&Wait : p Délai X K  N Utilisation 0.01 2ms 6 10 5 12 19.2 Pour N = 10, 11, 13 l’utilisation de 18.8.. FEC / ARQ-SR : avec FEC/ARQ-SR, l’utilisation de 90. Avec ARQ-SR les trames sont transmises Back-to-back, mais ce n’est pas le cas pour ARQ-Stop&Wait :

  44. FEC-ARQ-Stop&Wait p D [s] δ K N ord X utilisation 0.01 1 5 10 11 1 6 90.29115 0.01 1 5 10 10 1 6 90.22511 Tps entre la transmission d’une trame et la reception de son ACK ARQ Pour des petits produits délai_bande passante : les trames sont transmises presque back-to-back

  45. PLAN Cadre du Projet FEC / ARQ-SR : Définition du Modèle FEC / ARQ-SR : Simulations FEC / ARQ-SR : Modèle Analytique FEC / ARQ-SR : Optimisation ARQ-SR-Protégée-Par-FEC FEC / ARQ-Stop&Wait Perspectives Conclusions

  46. Perspectives • L’étude peut se prolonger selon 2 axes principaux : • Des connexions TCP de courte durée. • Pas de temps pour adapter les temporisateurs avec ARQ-SR. • Des Trafics sensibles au délai et à la gigue (real time traffic, voice and video streams,…). • FEC peut être plus intéressant. • ARQ-SR-Protégée-Par FEC diminue le RTT et la gigue de ARQ-SR seule (plus petite).

  47. PLAN Cadre du Projet FEC / ARQ-SR : Définition du Modèle FEC / ARQ-SR : Simulations FEC / ARQ-SR : Modèle Analytique FEC / ARQ-SR : Optimisation ARQ-SR-Protégée-Par-FEC FEC / ARQ-Stop&Wait Perspectives Conclusions

  48. Conclusions • Implémentation de 3 modèles dans ns-2. • On a traité 2 modèles analytique. • Implémentations de 2 modèles en matlab. • Optimisation de 2 modèles. • Outils : • Théories des proba et des processus stochastiques. • ns-2 (C++, Otcl) • Matlab. • AWK. • Gnuplot Publication : Alaeddine AL FAWAL, Chadi BARAKAT, « Simulation-Based Study Of Link-Level Hybrid FEC/ARQ-SR For Wireless Links and Long-Lived TCP traffic », WiOpt’03 : Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, Sophia Antipolis, France, March 2003. Le modèle FEC/ARQ-SR complet (Analyse, Simulation et Optimisation) sera soumis dans le journal : Performance evaluation : Chadi BARAKAT, Alaeddine AL FAWAL, « Analysis of link-level hybrid FEC/ARQ-SR for wireless links and long-lived TCP traffic ».

  49. MERCI DE VOTRE ATTENTION

More Related