Mecánica Computacional Vol XXVIII, págs.

2543-2562 (artículo completo) Cristian García Bauza, Pablo Lotito, Lisandro Parente, Marcelo Vénere (Eds.) Tandil, Argentina, 3-6 Noviembre 2009

RED, ALGORITMO DE CONTROL DE CONGESTION EN REDES IP
Ramiro Algozino, Nahuel Alincastro, Fernando Corteggiano, Hector Magnago y Marcelo Gioda
Universidad Nacional de Rio Cuarto

Palabras Clave: RED, Control de Congesti´ n, TCP, IP. o Resumen.
El control de congesti´ n en redes IP ha sido un problema recurrente en los ultimos a˜ os. A fines de los o ´ n a˜ os 80, problemas de colapsos por congesti´ n encontrados en los primeros protocolos TCP/IP, llevaron n o a realizar estudios y nuevas propuesta de los algoritmos de control de congesti´ n extremo a extremo, los o cuales forman las bases del actual sistema de control de congesti´ n en redes TCP/IP. o La esencia de este esquema de control est´ basada en el hecho de que el emisor TCP ajusta su tasa de a env´o en funci´ n de la tasa (probabilidad) de paquetes descartados en la red, la cual es una medida de la ı o congesti´ n de la misma. o Una t´ cnica alternativa para anticiparse a la congesti´ n es la implementaci´ n de un algoritmo llamado e o o RED (Random Early Detection) que permite medir los paquetes almacenados en la cola del dispositivo m´ s solicitado y producir el descarte aleatorio en funci´ n de esa cantidad sin esperar la informaci´ n a o o remota. El objetivo de este trabajo es analizar la convergencia del modelo anal´tico de RED a trav´ s de un ı e sistema de control realimentado realizado en Simulink y compararlo con los resultados obtenidos en el simulador de redes TCP por eventos discretos, NS-2. Se utiliza este modelo y los requisitos de estabilidad y eficiencia para derivar los par´ metros adecuaa dos para la configuraci´ n de RED en un rango dado de caracter´sticas de tr´ fico y de la velocidad de o ı a transmisi´ n de la l´nea. o ı

Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www.amcaonline.org.ar

2544

R. ALGOZINO, N. ALINCASTRO, F. CORTEGGIANO, H. MAGNAGO, M. GIODA

´ 1. RED, ALGORITMO DE CONTROL DE CONGESTION EN REDES IP 1.1. Introducci´ n o Tradicionalmente la gesti´ n de colas en los routers, se realiza descartando paquetes cuando o el buffer se llena.(este mecanismo se denomina Drop-Tail). Recientemente, se han propuesto nuevos mecanismos de gesti´ n de colas, uno de los mas populares es RED (Random Early o Detection) propuesto por [3]. RED tiene el potencial de resolver algunos de los problemas encontrados en Drop-Tail tales como sincronizaci´ n de flujos TCP y correlaci´ n de los eventos o o de descarte dentro de un flujo TCP (se descartan m´ ltiples paquetes en secuencia). En RED los u paquetes son aleatoriamente descartados antes de que el buffer est´ lleno, y la probabilidad de e descarte se incrementa con el tama˜ o promedio de la cola. n RED es un mecanismo poderoso para controlar el tr´ fico. Puede proveer una mejor utilizaa ci´ n de la red que Drop-Tail si se usa apropiadamente, pero puede inducir inestabilidad en la o red e importantes perturbaciones del tr´ fico si no est´ configurado adecuadamente. La configua a raci´ n de RED ha sido un problema, en varios estudios se trata este inconveniente [2],[1],[5]. o El problema com´ n es que cada configurac´on propuesta solo es buena para unas determiu ı nadas condiciones de tr´ fico pero puede producir efectos no deseados si es usado bajo otras a condiciones. El presente trabajo simula la convergencia del modelo anal´to de RED a trav´ s de un sistema ı e de control realiamentado como el propuesto en [7] realizado en Simulink y lo compara con los resultados obtenidos en el simulador de redes TCP por eventos discretos ns-2. Se utiliza este modelo y los requisistos de estabilidad y eficiencia para derivar los par´ metros adecuados para a la configuraci´ n de RED en un rango dado de caracter´sticas de tr´ fico y velocidad de la linea. o ı a ˜ 1.2. CONTROL DE CONGESTION BASADO EN EL TAMANO DE LA COLA VISTO COMO UN SISTEMA DE CONTROL REALIMENTADO A continuaci´ n se analiza la din´ mica de control de congest´on de TCP en presencia de un o a ı m´ dulo de control de congesti´ n basado en el tama˜ o de la cola [6]. Primero desarrollaremos o o n un modelo de tama˜ o de cola promedio cuando el flujo TCP pasa a trav´ s de un sistema de colas n e con una probabilidad de descarte fija. Luego verificaremos este modelo a trav´ s de simulaciones, e a continuaci´ n combinaremos este modelo con los elementos de control de RED y derivaremos o el comportamiento en estado estacionario del sistema de control realimentado resultante y por ultimo analizaremos la establidad del sistema de control RED. ´ ˜ 1.2.1. Modelo de Tamano de Cola Promedio como una funci´ n de la media probabilistica o de descarte de paquetes En la figura 1 se muestra el sistema de n flujos TCP, que pasan a trav´ s de un enlace com´ n e u l de capacidad c. El flujo fi , 1 ≤ i ≤ n, es establecido entre Ai y Di , mientras que el tr´ fico a en sentido opuesto consiste solamente de paquetes de reconocimiento (ACKs). El enlace cuello de botella es B − C para cualquier flujo fi . Se supone tambi´ n que el n´ mero de flujos n e u se mantiene constante por un largo per´odo de tiempo y que los mismos envian datos por un ı per´odo prolongado. Se asume que el sistema implementa TCP Reno como el propuesto en [9]. ı Cada flujo fi env´a a una tasa rs,i los cuales se combinan en el nodo B y generan una cola de ı tama˜ o q. El m´ dulo de descarte en el enlace l descarta paquetes con probabilidad p la cual es n o funci´ n del tama˜ o medio de la cola q para cada flujo fi , los paquetes que no son descartados o n

Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www.amcaonline.org.ar

En este sistema de controlel n´ mero de flujos (variable controlada) puede variar en el tiempo.amcaonline. la se˜ al de realimentaci´ n es la o n o probabilidad de descarte y la variable controlada es la tasa de envio TCP [7]. R) = donde T es el throughput de un flujo TCP (en bits/seg) y depende de la probabilidad de descarte de paquetes p. el throughput de cada flujo puede ser derivado de [6]: rt. n rtj ≤ c j=1 (1) Dado que hemos asumido que el flujo TCP se mantiene por largo tiempo y que el numero de ellos no cambia.W (p) p Q(p. Cada n emisor TCP ajusta su tasa de env´o (variando el tama˜ o de la ventana) acorde a la probabilida ı n de descarte p.i. págs.Wm´x )F (p)T0 1−p b a R( 8 Wm´x + pW +2)+ a 1−p m´x a M si W (p) < Wm´x a (2) otro T (p. los emisores TCP son el sistema controlado. del n n´ mero medio de paquete reconocidos por un ACK b (usualmente 2).org. u El prop´ sito del elemento controlador es mantener el throughput () de todos los flujos por debajo o de la capacidad del enlace c.W + 2 m´x ) a p Q(p.ar . 2543-2562 (2009) 2545 Figura 1: Sistema realimentado con n flujos son enviados sobre el enlace l a una tasa rt.Mecánica Computacional Vol XXVIII. del tama˜ o m´ ximo de la u n a  M   Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www.i (p. Ri ) = T (p. Este modelo se puede ver como un sistema de control realimentado.W (p))F (p)T0 b R( 2 W (p)+1)+ 1−p Wm´x 1−p a +Q(p.i que es mas peque˜ a que la tasa de envio rs. del Round Trip Time medio R. del tama˜ o medio del paquete M (en bits). el m´ dulo de descarte es el controlador. Ri ) donde     W (p) 1−p + 2 +Q(p.

R) ≤ c/n. F. GIODA ventana de congestion soportado por el receptor Wm´x (en paquetes) y la duraci´ n del Time out o a T0 (el cual es tipicamente 5R). ALGOZINO. RT T = 470mseg. p) = m´ 1. 1 ≤ i ≤ n o En la figura 2 se muestra el throughput (T ) en funci´ n de p para el caso de un flujo TCP con Wm = 12. MAGNAGO. M. ALINCASTRO. N.i (p.j (p. H.2 seg. Mi = M y que Wm´x es lo suficientemente grande como para no influenciar en a T (p. 10 4 Trhoughput Paquetes/100 seg 10 3 10 −3 10 2 10 Tasa de pérdida (p) −2 10 −1 Figura 2: Gr´ fica de T(p) a De esta forma se puede reducir el sistema realimentado de n − f lujos en uno de un simple flujo como se muestra en la figura 3 Para determinar el estado estacionario del sistema realimentado. p. asi tenemos: rt. R). y F tienen la siguiente expresi´ n: o W (p) = Q(w. R). ın 2+b + 3b 8(1 − p) + 3bp 2+b 3b 2 (3) (4) (5) (1 − (1 − p)3 (1 + (1 − p)3 (1 − (1 − p)w−3 )) F (p) = 1 + p + 2p2 + 4p3 + 8p4 + 16p5 + 32p6 Se considera que todos los flujos tienen el mismo RTT. 1 ≤ i. cuando el sistema est´ en equilibrio necesitamos determinar la funci´ n de a o Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www.org.ar . R) = rt.i (p. q. es decir obtener los valores medios de rt . el mismo tama˜ o medio n de paquete. Q. W. Ri = R.2546 R.amcaonline. j ≤ n entonces (1) se convierte en: rt. CORTEGGIANO. y T0 = 3.

as´: n ı −1 q(p) = m´x(B.Mecánica Computacional Vol XXVIII. p ≤ p0 a A continuaci´ n se determina p0 . Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www. págs. o Para determinar q = G(p) se analiza la figura 3 a lazo abierto. R0 + q/c) = c/n : n o −1 q(p) = c(TR (p. por ejemplo puede ser Drop-Tail o RED. Si se asume que l es el unico enlace cuello a ´ de botella para todos los flujos TCP. el ancho de banda del enlace cuello de botella est´ subutilizado y a rt (p. R0 ) rt = .org. el ancho de banda del enlace est´ completamente utilizado. el valor de probabilidad de descarte al cual el r´ gimen del o e enlace cambia de subutilizado a completamente utilizado. c/n) − R0 ) −1 donde TR (p. R) < c/n. el tama˜ o medio de la cola es despreciable y R = R0 y la utilizaci´ n del enlace n o es: u(p) = T (p. La funci´ n de control H est´ dada por la o o a arquitectura del m´ dulo de descarte. es decir sin el modulo de descarte. 2543-2562 (2009) 2547 Figura 3: Sistema de control realimentado de un flujo la cola q = G(p) y la funci´ n de control p = H(q). y) es la inversa de T (p. el sistema puede estar en uno de dos estados [7]: 1) Para p > p0 . donde p es el par´ metro independiente. en tal caso. As´ R queda dado por: ı R = R0 + q/c Dependiendo del valor de p. p > p0 c/n c/n 2) Para p ≤ p0 . R) en R. a y el tama˜ o medio de la cola puede ser derivado de la condici´ n rt (p. c/n) − R0 )). entonces se descartan paquetes n n adicionales debido a overflow del buffer. Si la probabilidad de descarte p es suficientemente peque˜ a para que q(p) > B (tama˜ o del buffer). Obviamente el tama˜ o promedio de la cola no puede n ser mayor que el tama˜ o del buffer B. el Round Trip Time (RTT) promedio de un paquete es la o suma del tiempo de espera medio en la cola (q/c) del enlace l mas R0 (tiempo de propagaci´ n). c(TR (p.amcaonline. es decir u(p) = 1.ar .

un RTT u o R0 = 100 mseg (el cual no incluye el tiempo de espera en la cola). un tama˜ o medio de paquete n de 500 Bytes y un buffer de tama˜ o B = 2cR0 (se supone que el buffer es lo suficientemente n grande para evitar overflow). el n´ mero de flujos n = 20 generados por una aplicaci´ n FTP de duracion “infinita”.R0 ) . primero o se debe calcular p0 (6) iterando (2) y evaluando el valor de p0 para T = c/n y R = R0 . R = R0 : rt (p0 . N. donde la capacidad del enlace l es c = 1.407e+004 10 −4 10 4 10 10 probabilidad de descarte (p) −3 −2 10 −1 Figura 4: C´ lculo de p0 a A partir de p0 . Para poder obtener el valor de q(p) usando la ecuaci´ n (7). c/n) − R0 )). R0 ) (6) Las expresiones del tama˜ o medio de la cola y la utilizaci´ n del enlace en funci´ n de la n o o probabilidad de descarte p son: −1 a m´x(B.amcaonline. R) en p. El resultado obtenido se muestra en la figura 4. q(p) = p ≤ p0 otro (7) u(p) = 1. c(TR (p. T (p. c/n p ≤ p0 otro (8) Dada una red como la de la figura 1.org.ar . 0. F. n A continuaci´ n se analiza la din´ mica de RED como un sistema de control realimentado. 10 7 Se determina el valor de p en que T(p. ALGOZINO. ALINCASTRO. M.5Mbps. H.Ro) es igual a c/n (ec. se tiene que: −1 p0 = Tp (c/n. R0 ) = c/n −1 Denotando Tp (x. 6) Throughput T(p.0609 Y: 7. MAGNAGO.Ro) [bits/seg] 10 6 10 5 X: 0. o a Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www. es posible obtener la funci´ n de utilizaci´ n u(p) (8) mostrada en la figura 5 y o o el tama˜ o medio de la cola q(p) (7) mostrado en la figura 6. CORTEGGIANO. R) la inversa de T (p.2548 R. GIODA Si p = p0 .

org.5 0.5Mbps n Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www.amcaonline.2 0.4 0.02 0.Mecánica Computacional Vol XXVIII. para p<p0 el l comp.05 0.1 0.1 Figura 5: Utilizaci´ n del enlace o q(p) 200 Tamaño medio de la cola/Velocidad del enlace [msec] 180 160 140 120 100 80 60 40 20 0 0.03 0.3 0. utilizado u=1 1 0.05 0.09 0.06 0.1 Figura 6: Tama˜ o medio de la cola para c=1.02 0.7 0.04 0.6 0.08 0.03 0.ar .9 0.07 0.para p>po l subutilzado u<1. 2543-2562 (2009) 2549 .08 probabilidad de descarte (p) 0.07 probabilidad de descarte (p) 0.09 0.06 0.04 0.8 Utilización del enlace 0. págs.

ALGOZINO. pm´x . es decir a largo plazo el n´ mero medio de paquetes u descartados es ps y el n´ mero medio de paquetes en la cola es q s . Figura 7: Punto de equilibrio de un sistema de control realimentado donde q e es el promedio m´ vil de la cola ponderada exponecialmente.amcaonline. entonces el sistema realimentado de la figura 3 tiene un estado de equilibrio (ps . representada por q(p) = G(p) dada por (7).2. Operaci´ n en estado estacionario de RED o Retornando al sistema de control realimentado de la figura 3. Es importante considerar que el sistema reside en promedio en e o el punto de equilibrio y que no necesariamente est´ todo el tiempo en este estado.ar .org. qm´ . es que est´ condicionado o a por un lado por la ley del tama˜ o de la cola q = G(p) y por otro lado por el m´ dulo de control a n o trav´ s de la funci´ n p = H(q). qm´x .2550 R. MAGNAGO. ALINCASTRO. GIODA 1. q s ). donde q e es un estimador o o del tama˜ o medio de la cola y si el siguiente sistema de ecuaciones tiene una soluci´ n unica n o ´ (ps . a n La raz´ n de que el sistema se estabilice en el punto de equilibrio. q = G(p) p = H(q) (9) El sistema opera en promedio en (ps . M. en la secci´ n anterior se obtuvo o una expresi´ n del tama˜ o medio de la cola en estado estacionario en funci´ n de la probabilidad o n o de descarte de paquetes. F. H. qm´ ≤ q e < qm´x p = H(qe ) = (10) a ın a a ın  qm´x −qm´ 1 qm´x ≤ q e < B a Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www. Asumiendo que el m´ dulo o de descarte tiene una funci´ n de realimentaci´ n dada por p = H(q e ). q s ). En la figura 7 se ilustra el u concepto. 0 ≤ q e < qm´ ın  q e −qm´ ın pm´x . N. a A continuaci´ n se aplican estos conceptos para determinar el estado de operaci´ n del sistema o o cuando el modulo de control a utilizar es el algoritmo RED. son o ın a a par´ metros configurables de RED y B es el tama˜ o del buffer. En este caso la funci´ n de control es: o  0. qs ). CORTEGGIANO.2.

55 0 −50 0. qm´ = a a ın 12.06 0. quien indica al m´ dulo RED que cambie o nuevamente su tasa de descarte. c=1.03 0. Se modela el sistema de control realimentado como un sistema de tiempo discreto cuyo paso es un RT T = R. es decir se describir´ la din´ mica del o n a a sistema con RED. el emisor TCP reacciona a pk . 2543-2562 (2009) 2551 Se ha implementamentado en Matlab un programa para obener el punto de operaci´ n (ps . Se asume que en el tiempo tk la probabilidad de descarte es pk . se muestra la curva del tama˜ o de la cola dada por (7) y la funci´ n de control n o RED dada por (10).04 0.3.09 0. qs ) o como soluci´ n al sistema de ecuaciones (10) y (7). Punto de operación 200 Tamaño medio de la cola [Paquetes] 150 100 50 X: 0.2.5 paquetes . El incremento n o decremento en la tasa de env´o del emisor TCP produce un incremento o decremento de la ı longitud de la cola en el enlace cuello de botella l.Mecánica Computacional Vol XXVIII. Si se descarta un paquete en el enlace l.amcaonline.0402 Y: 22.5Mbps. qm´x = 37. Este sistema puede o no ser estable alrededor del punto de equilibrio dependiendo de las funciones H y G. por lo que se analizar´ la a evoluci´ n instantanea del tama˜ o de la cola en el tiempo.07 0. Por lo tanto el sistema realimentado que se pretende modelar tiene un tiempo de retardo de aproximadamente un RTT entre el momento en que la se˜ al es enviada por el modulo de control n y el momento en que el sistema controlado (emisor TCP) reacciona a esta se˜ al.05 0. págs.08 probabilidad de descarte (p) 0.1 Figura 8: Punto de operaci´ n media usando RED. n=20 o 1. este evento es detectado en el emisor TCP aproximadamente un RTT despu´ s que el paquete ha sido descartae do. El resultado es que ı Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www. Operaci´ n transitoria del control de congesti´ n RED o o En (9) se ha definido un sistema din´ mico donde los par´ metros de estado son el tama˜ o a a n medio de la cola y la tasa media de descarte de paquetes.ar . y ajusta la tasa de env´o a rk+1 . y asi el proceso se repite.1. el tama˜ o del buffer B = 75 paquetes y el tama˜ o del n n a paquete M = 500 Bytes. En el tiempo tk+1 = tk + R.org. o En la figura 8.5 paquetes. con los par´ metros sugeridos en [2] cuyos valores son: pm´x = 0.02 0. El emisor TCP ajusta su ventana de congesti´ n (por ende su tasa de env´o) dependiendo si o ı ha sensado o no descarte de paquetes.

amcaonline.k + wqk+1 Luego RED actualiza su tasa de descarte pk+1 = H(q e.k .0 = 0 y p0 = 0.org.k+1) Para realizar un estudio cuantitativo de la evoluci´ n transitoria de este sistema din´ mico se o a implement´ el modelo en Matlab mostrado en la figura 9. N.ar . ALGOZINO. o Figura 9: Sistema Dinamico con funci´ n de control RED o En la figura 10 se observa como converge el sistema al punto de equilibrio para el ejemplo de la secci´ n anterior y un valor de w = 0. EWMA (exponeno e tial weighted moving average)): A(q e. GIODA el tama˜ o de la cola en tk+1 es qk+1 = G(pk ) de acuerdo a (7). qk+1) = (1 − w)qe. las condiciones iniciales de dicho o sistema son q0 = 0. Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www. ALINCASTRO. H. MAGNAGO.002 sugerido en [3].k+1 = A(q e.2552 R. qk+1) pk+1 = H(qe. q e. luego el m´ dulo RED computa n o una nueva estimaci´ n del tama˜ o de la cola. qk+1) donde A es el promedio m´ vil ponderado exponencialmente (del ingl´ s. CORTEGGIANO.k+1) de acuerdo a su ley de control expresada en (10).k . M. F. o n q e.k+1 = A(q e. esto es un sistema din´ mico en tiempo discreto definido con las siguientes a ecuaciones de recurrencia: qk+1 = G(pk ) q e.k .

37. págs. c = 1.5Mbps.05 0.1.1.5Mps.15 0. En la figura 11 se muestra el punto de equilibrio para el a a caso en que R0 = 0.ar .343 Y: 37.5 Figura 11: Punto de operaci´ n para c=1.3431. a a Claramente es un punto inestable dado que para la funci´ n de control este valor de p no es un o punto de operaci´ n definido para RED.1.Mecánica Computacional Vol XXVIII. n = 200 usuarios (para el caso anterior n = 20) se observa que el punto de equilibrio (ps .35 X: 0.45 0 20 40 60 80 tiempo [segundos] 100 120 Figura 10: Convergencia del Sistema Otro an´ lisis es estudiar el comportamiento del sistema cuando el punto de estabilidad a est´ por encima de p m´x = 0.1 0.amcaonline. R0 =0. o Punto de operación 600 Tamaño medio de la cola [Paquetes] 500 400 300 200 100 0 −100 −200 0. 2543-2562 (2009) Evolución dinámica del sistema 80 70 60 50 40 30 20 10 0 2553 q [paquetes] y qe [paquetes] X: 52.4 Y: 22.5) est´ situado por encima de pm´x = 0.2 0.3 0.25 probabilidad de descarte (p) 0. n=200 o Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www. qs ) ≃ (0.org.1.

F. 70 60 q [paquetes] y qe [paquetes] 50 40 30 20 10 0 0 5 10 15 20 Tiempo [segundos] 25 30 35 Figura 12: Evoluci´ n temporal para n=200 o Por lo tanto. SIMULACION EN NS2 Como continuaci´ n del presente trabajo se realizaron dos simulaciones utilizando ns2. es la pendiente entre q m´ y q m´x (α = ∂q/∂p). para o comprobar la exactitud de los modelos anal´ticos obtenidos en las secciones anteriores. Se consider´ un sistema de 4 flujos TCP que pasan a trav´ s de un enlace com´ n (cuello de o e u botella) de capacidad c y se dirigen hacia un receptor tambi´ n com´ n (Sink) que produce tr´ fico e u a en sentido opuesto. este tipo de operaci´ n es peligrosa y deber´a ser evitada por medio de una o ı correcta configuraci´ n del controlador RED. MAGNAGO. Si la pendiente de la funci´ n de control RED es ın a o peque˜ a. el cual consiste solamente de paquetes de reconocimiento (ACKs). ALGOZINO. Se observa como el sistema evoluciona ın ın m´ s r´ pido que el comportamiento mostrado en la figura 10. o el tiempo de convergencia. M. el sistema es mas inestable. un sistema con gran n a pendiente. En la figura 13 se observa el comportamiento con la pendiente modificada q m´ = 12.1 y luego el propuesto en la secci´ n o o o 1. H.2. Caso contrario.5.org. N.2554 R.5 Mbps R0 = 6 ms Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www. a a ´ 2. Los parametros tanto para las simulaciones como para los c´ lculos anal´ticos usados son: a ı c = 1. CORTEGGIANO. ALINCASTRO. GIODA Esto produce oscilaciones en el tama˜ o de la cola entre 0 y el tama˜ o del buffer B como se n n observa en la figura 12. En priı mera instancia se represent´ el modelo de la secci´ n 1.amcaonline.5 a q m´ = 15. es decir que tal configuraci´ n debe evitar que el o o sistema trabaje alrededor de pm´x (punto de discontinuidad). Esta arquitectura se muestra en la figura 14. el sistema resulta en una r´ pida convergencia.2.ar .2. a Otro variable que influye en la estabilidad del sistema.

2543-2562 (2009) 2555 Evolución dinámica del sistema 80 70 60 50 40 30 20 10 0 q [paquetes] y qe [paquetes] 0 20 40 60 80 tiempo [segundos] 100 120 Figura 13: Evoluci´ n temporal o Figura 14: Arquitectura de la simulaci´ n o Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www. págs.amcaonline.Mecánica Computacional Vol XXVIII.org.ar .

con capacidad suo ficiente para que no haya overflow. MAGNAGO.1). como se mencion´ .ar . ALINCASTRO. tambi´ n habr´a que calcular el valor de la probabilidad de descarte para cada caso.5 M = 500 bytes (tama˜ o del paquete) n 2. e ı 2.amcaonline. cuyos resultados se muestran en la figura 15. N´ tese que haci´ ndolo de este modo adem´ s de tener que calcular el valor medio de o e a la cola.1. Esta probabilidad se va variando desde 0 hasta 0. N. H. Los descartes son producidos por un “m´ dulo de descarte” o que desecha paquetes de la cola con una probabilidad definida. CORTEGGIANO. la cual representa el modelo del sistema a controlar. F. ALGOZINO. Generaci´ n de la Curva de Operaci´ n o o Para graficar la curva.org. Figura 15: qmedio vs pmedio Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www. M.1. En la figura ı 16 se compara esta grafica con la curva generada por el modelo anal´tico sobre el mismo par de ejes.1. Otra posibilidad para generar esta curva es la de ir aumentando progresivamente la cantidad de nodos emisores de paquetes en vez de usar el m´ dulo de descarte y se obtendr´a una curva de caracter´sticas o ı ı similiares. se vari´ el valor de la probabilidad del m´ dulo de o o o descarte y se fue generando una tabla con el respectivo valor medio de la cola para cada valor de dicha probabilidad (Tabla 2. GIODA n = 4 (cantidad de nodos) pmax = 0.2556 R.5 maxth = 37.1. Simulaci´ n TCP/Droptail o En esta simulaci´ n el buffer de la cola del gateway es del tipo Droptail.1 minth = 12.1 (pmax) para generar la curva del tama˜ o medio de la cola en funci´ n de la n o probabilidad de descarte.

org.3 0.Mecánica Computacional Vol XXVIII.7 0.08 1677.095 877.44 0.48 0.02 0. o es decir.05 4469.02259 10552.06 3243.23 0.075 1885.01 17676.28 0.94 0.27 0. en vez de hacer droptail y de usar el m´ dulo de descarte.54 0.amcaonline.005 24027.03 8264. se le suman las bondades del algoritmo o Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www.2. salvo que ahora el buffer de la cola del gateo way.ar .0 36504. 2543-2562 (2009) 2557 Probabilidad Cola Media en Bytes 0. que al control de congesti´ n de tcp/droptail. Simulaci´ n TCP/RED o Se defini´ la misma red que en el caso anterior. qmedio Figura 16: Comparaci´ n o 2.4 0.12 0.71 0.02 0.1 0. págs.3 0.015 14530.6 0.09 1221. usa el algoritmo de control RED.025 9854.035 6940.77 0.76 0.1 793.055 3629.318 Tabla 1: pmedia vs.07 2415.045 5309.04 6128.4 0.065 2675.085 1434.02 12136.46 0.

amcaonline.1. a a 2. CORTEGGIANO.2. no sufren descarte de sus paquetes.2. n o Se ve que el valor promedio de la cola (l´nea de color rojo) se mantiene por debajo del umbral ı m´ ximo (l´nea de color rosa) y por encima del umbral m´nimo (l´nea de color azul) cuando a ı ı ı se alcanza el estado estacionario. De acuerdo con las recomendaciones de [2] y [3].5) como tres veces el umbral m´nimo (12. GIODA red. Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www.org.2 (calculada con los mismos valores o de los par´ metros que se usaron en la red anteriormente descripta) se corresponden. N´ tese que la variable indepeno o a a diente de este gr´ fico es la dependiente del gr´ fico generado para tcp/droptail. ALGOZINO. que sobrepasan el umbral m´ ximo a ı a no son influenciadas por RED y. Tambi´ n se ve que no se supera el e umbral m´ ximo. M. ALINCASTRO. MAGNAGO. ı se eligi´ el umbral m´ ximo (37.2558 R. Es evidente en esta figura que cuando la cantidad media de paquetes en el buffer supera el umbral m´nimo (12. a ˜ 2. F. Desempeno de RED En la figura 19 se puede valorar como se desempe˜ a RED en funci´ n de los valores de la cola.2. que se pueden observar sobre todo en el per´odo transitorio a ı sobre la curva de la cola instant´ nea (l´nea de color verde).5).ar .5 ı paquetes) aumenta linealmente la probabilidad de descarte. la probabilidad nunca llega a pmax. En la figura 18 se compara a la curva simulada con la curva generada anal´ticamente. Generaci´ n de la Curva de Operaci´ n o o La curva de operaci´ n de RED se muestra en la figura 17. y mean pkt size a 500 btyes para los c´ lculos de la cola media. y. H. la probabilidad o a ı m´ xima de marcado 0. por lo tanto.1. por lo tanto. Adem´ s se puede apreciar como el peso del promedio m´ vil a o permite que las r´ fagas de datos. N. Se eligieron los par´ metros de operaci´ n de RED para la posterior comparaci´ n con los a o o valores obtenidos en el modelo anal´tico.2. ı Figura 17: Curva de operaci´ n de RED o Observamos aqu´ que la curva de operaci´ n de RED obtenida mediante las simulaciones y la ı o obtenida de acuerdo al modelo planteado en la secci´ n 1.

amcaonline.ar . págs.org. 2543-2562 (2009) 2559 Figura 18: Comparaci´ n de las curvas de operaci´ n de RED o o Figura 19: Desempe˜ o de RED n Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www.Mecánica Computacional Vol XXVIII.

M. qmedio pmedia Simulado Anal´tico ı 18. se hace una comparaci´ n de los puntos de operaci´ n te´ ricos y anal´ticos.org. se observa o que el punto donde se cruzan las curvas es: qmedio: 18. GIODA 2. Del resultado de las simulaciones.3. el punto donde se cruzan las dos curvas (la o o o de tcp/droptail y la de tcp/red) es el punto de equilibrio al cual tiende el sistema si est´ bien a configurado. De o la misma se desprende que el punto donde se cruzan corresponden. Punto de Equilibrio Como se demostr´ en la introducci´ n te´ rica. H.65 paquetes pmedia: 0. Figura 20: Punto de operaci´ n de RED o Los valores de qmedio y pmedia para el caso te´ rico se obtienen de la figura 21.0228 Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www. y los paquetes totales los calculamos como todos aquellos que llegan al nodo 4. F. MAGNAGO. CORTEGGIANO.0223 0. N.2560 R.amcaonline. En la figura 20 se muestran las curvas de operacion generadas mediante la simulaci´ n.86 18.0228 Finalmente.56 0.ar . ALGOZINO. ALINCASTRO.56 paquetes pmedia: 0. obtuvimos los siguientes valores: qmedio: 18. donde paquetes descartados son los descartados en la cola entre el gateway y el sink. o est´ n muy cercanos a los a valores obtenidos. estos o o o ı valores se ven graficamente en la figura 22.0223 La probabilidad de descarte fu´ calculada como la cantidad de paquetes descartados sobre la e cantidad total de paquetes transimitidos.

ar . 2543-2562 (2009) 2561 Figura 21: Operaci´ n de RED analitica o Figura 22: Comparaci´ n puntos de equilibrio anal´tico y simulado.org.Mecánica Computacional Vol XXVIII. págs.amcaonline. o ı Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www.

[2] S. and Kuruse. Floyd. 1.ar . A Self-configuring RED Gateway.1997. M. [7] Victor Firoiu. D. D. Amherst. Shin. CORTEGGIANO. Univ. Lin and R. In Infmom’99. Floyd and V. D. 1999. Copyright © 2009 Asociación Argentina de Mecánica Computacional http://www. Technical Report CMPSCI TR 99-02. [5] D. Notes on RED in the end-to-end-interest mail list. 1998. Jacobson and M. es decir que modifique los par´ metros de RED (por ejemplo pmax . Dynamics of Random Early Detection. o a a α) en funci´ n del estado de la red (por ejemplo. ALGOZINO.2562 R. Moms. Karek. A Stchastic Model of TCP Reno Congestion Avoidance and Control. In SIGCOMM’ 97. MAGNAGO.org. 1999. [6] J. Kandlur. Marty Borden. C. A Study of Active Queue Managment for Congestion Control. IEEE Infocom 2000. Padhye. V. F. [4] V. Feng. En caso de que esto no ocurriese se sugiere utilizar a un control RED din´ mico. Fmiu. H. of Massachusetts. se podr´a reemplazar el m´ dulo de control ı o RED por alg´ n otro algoritmo que controle el sistema realimentado. Saha. u REFERENCIAS [1] W. Jacobson. ALINCASTRO. Towsley. and K. In SfGCOMM’88. Random Early Detection gateways for Congestion. [3] S. N. punto de operaci´ n). GIODA CONCLUSIONES Se puede concluir que el sistema de control RED es aplicable siempre y cuando el sistema se mantenga dentro de ciertos par´ metros.amcaonline. Congestion Avoidance and Control. o o Se concluye adem´ s que al validar mediante la herramienta de simulaci´ n ns2 el modelado a o de TCP como un sistema de control realimentado. 1988.

Sign up to vote on this title
UsefulNot useful