Tema 5: Teora de colas

Ezequiel Lpez Rubio Departamento de Lenguajes y Ciencias de la Computacin Universidad de Mlaga

Sumario
Conceptos bsicos Cola M | M | 1 Cola M | M | c Cola M | M | 1 | k Redes de colas
Redes de Jackson abiertas Redes de Jackson cerradas

Conceptos bsicos

Concepto de cola
Una cola es una lnea de espera para determinado servicio
Este servicio lo proporciona uno o varios dependientes

La teora de colas analiza la causa de la formacin de la cola, que es la existencia de momentos en los que hay una mayor demanda de servicio que la capacidad de servicio

Clasificacin de sistemas de colas

Llamaremos clientes, trabajos o tareas a los que demandan servicio, y dependientes, empleados o servidores a los que ofrecen servicio Un sistema de colas viene dado por varias caractersticas:
1 Modelo de llegada de clientes, El ndice de llegadas ser el nmero medio de llegadas por unidad de tiempo, Alternativamente podemos usar el tiempo entre llegadas, que es el tiempo medio entre llegadas sucesivas

Clasificacin de sistemas de colas

2 Modelo de servicio, Puede venir dado por el tiempo de servicio o por el nmero de clientes atendidos por unidad de tiempo, Tendremos una variable aleatoria o bien un servicio determinista, Aqu supondremos que el modelo de servicio es independiente del de llegada 3 Disciplina de la cola, Establece el orden en que se va atendiendo a los clientes:
Por orden de llegada (FIFO) Por orden inverso al de llegada (LIFO) Seleccin aleatoria (RANDOM) Segn prioridades (PRIORITY, PR), Dos subtipos:
Con interrupcin, Si llega un cliente de ms prioridad, el trabajo que se estaba sirviendo se interrumpe para atenderlo Sin interrupcin, No se pueden interrumpir los trabajos Dentro de cada clase de prioridad se podrn aplicar disciplinas LIFO, FIFO o RANDOM,

Clasificacin de sistemas de colas

4 Capacidad del sistema, Es el nmero mximo de clientes que puede haber en el sistema (finito o infinito), Si llega un cliente y el sistema est lleno, se marcha, 5 Nmero de canales de servicio, Es el nmero de dependientes, Puede haber una cola para cada dependiente o bien una sola cola global 6 Nmero de estados de servicio, Puede haber varias partes en las que se subdivide el trabajo (estados), cada una con su cola y su dependiente, que deben ser completadas sucesivamente, P, ej,, tres estados:

Notacin de Kendall
La notacin de Kendall nos permite escribir resumidamente todas las caractersticas que hemos estudiado, Un sistema de colas se notar como: A | B | X | Y | Z | V, donde:
A es el modelo de llegadas, Valores posibles:
M=tiempos entre llegadas exponenciales D=tiempos entre llegadas deterministas G=tiempos entre llegadas generales (cualquier distribucin)

B es el modelo de servicio, Puede tomar los mismos valores que A

Notacin de Kendall
X es el nmero de dependientes (servidores) Y es la capacidad del sistema (nmero mximo de clientes en el sistema), Se puede omitir si es infinita Z es la disciplina, Se puede omitir si es FIFO V es el nmero de estados de servicio, Se puede omitir si es 1

Por ejemplo, M | M | 1 | | FIFO | 1 se escribe abreviadamente M | M | 1

Medidas de rendimiento
Una vez descrito el sistema, nuestro objetivo es evaluar su rendimiento, Para ello tenemos varias medidas de rendimiento:
Nmero medio de clientes en el sistema, notado L Tiempo medio de espera de los clientes, W Nmero medio de clientes en la cola, Lq Tiempo medio de espera en cola de los clientes, Wq

Cola M | M | 1

Descripcin del modelo

Hay una sola cola, cuya capacidad es infinita, y un solo servidor, La disciplina ser FIFO Las llegadas se producen segn un proceso de Poisson de razn , donde es el nmero medio de llegadas por unidad de tiempo y 1/ es el tiempo medio entre llegadas, Los tiempos entre llegadas se distribuirn exponencialmente, Exp() Los tiempos entre servicios tambin se distribuirn exponencialmente, Exp(), de tal manera que es el nmero medio de clientes que el servidor es capaz de atender por unidad de tiempo y 1/ es el tiempo medio de servicio

Condicin de no saturacin
Se demuestra que si , el sistema se satura, es decir, el nmero de clientes en la cola crece indefinidamente con el tiempo, Por consiguiente, la condicin de no saturacin ser:

< 1, donde =
Nosotros slo estudiaremos las colas que no se saturan, Cuando una cola no se satura, tambin se dice que alcanza el estado estacionario,

Probabilidades
El parmetro se llama carga, flujo o intensidad de trfico del sistema, puesto que mide la relacin entre la cantidad de trabajos que llegan y la capacidad de procesarlos Suponiendo que el sistema no se satura, se deduce la siguiente frmula para las probabilidades pn de que haya n clientes en el sistema, donde nN:
pn = (1 )
n

Medidas de rendimiento
El nmero medio de clientes en el sistema, L, se calcula as:

L = j p j = j (1 ) = (1 ) j j
j j =0 j =0 j =0

Sumamos la serie aritmtico-geomtrica: S = + 2 2 + 3 3 + 4 4 + ... S = 2 2 3 3 4 + ...

2

(1 )S = +

+ + + ... =
3 4

L = (1 )

= (1 )2 1

Medidas de rendimiento
La utilizacin del dependiente, notada U, es la fraccin de tiempo (en tanto por uno) que el dependiente permanece ocupado, Para hallarla, nos valemos de que cuando no hay saturacin, el nmero medio de clientes que entran en el sistema debe ser igual al nmero medio de clientes que salen de l:

= U U =

Como para deducir la anterior frmula no hemos usado ninguna caracterstica especial del modelo de entrada ni del de salida, dicha frmula es vlida para colas G | G | 1

Medidas de rendimiento
El tiempo medio de respuesta W es el tiempo medio que un trabajo permanece en el sistema, Si suponemos que un trabajo, al llegar al sistema, se encuentra con que hay por delante de l otros j trabajos, el tiempo medio que tardar en salir del sistema ser j+1 veces el tiempo medio de servicio, Por lo tanto:

W = ( j + 1)
j =0

pj = j
j =0

pj +
j =0

pj =

Tiempo que se pasa en el sistema si hay j por delante al llegar

Probabilidad de que haya j por delante al llegar

Medidas de rendimiento
Podemos simplificar algo ms: L 1 1 W= + = El tiempo medio de espera en la cola Wq se hallar restando a W el tiempo que tarda en ser servido el trabajo (esto es vlido para cualquier tipo de cola): 1 Wq = W

En el caso particular de una cola M | M | 1, obtenemos:

Wq =

Ejemplo
Unos mecnicos llegan a una media de 10 por hora a recoger piezas de repuesto, Estas piezas se las da un dependiente pagado con 5 /hora y que tarda como media 5 min en servir, Cada hora que tiene que esperar un mecnico (en el sistema) le cuesta al taller 10 , Queremos saber si merece la pena contratar a un ayudante de dependiente, pagado con 4/hora, de forma que el tiempo medio de servicio se reduzca a 4 min Nota: Al resolver un problema de colas, tener siempre muy presente la coherencia de unidades

Ejemplo
Tenemos dos opciones: En ambos casos, = 10 clientes/h Opcin 1 (sin ayudante):
10 1 10 = 12 = 5 mecnicos 1 = ; L1 = 12 1 1 1 10 12
Sin ayudante: 1/1 = 5 min = 1/12 h Con ayudante: 1/2 = 4 min = 1/15 h

Por tanto, perdemos 5(10/h) = 50/h

Ejemplo
Opcin 2 (con ayudante):
10 1 10 = 15 = 2 mecnicos 2 = ; L1 = 15 1 1 1 10 15

Por tanto, perdemos 2(10/h) = 20/h debido a la espera de los mecnicos, Pero tambin perdemos 4/h debido al sueldo del ayudante, Por tanto, las prdidas totales son 24/h En la opcin 1 perdemos 50/h y en la opcin 2 perdemos 24/h, con lo cual la ms ventajosa es la opcin 2,

Ms medidas de rendimiento
El nmero medio de trabajos en la cola Lq, se calcula restndole a L el nmero medio de trabajos que estn siendo servidos:

2 Lq = L (1 p0 ) = L = = 1 1
W (t ) = e t / W

Probabilidad de que un cliente que llega pase ms de t unidades de tiempo en el sistema: Probabilidad de que un cliente que llega pase ms de t unidades de tiempo en la cola: Wq (t ) = e t / W

Ejemplos
Ejemplo: Un canal de comunicacin se usa para enviar datos desde unos ordenadores fuente a uno central, Cada fuente enva paquetes de datos segn un proceso de Poisson de razn 2 paquetes/seg, Adems cada fuente enva independientemente de las otras, Todos los paquetes son idnticos, esperan en una cola comn y despus se transmiten de uno en uno, Los tiempos de transmisin se distribuyen exponencialmente, con media 25 mseg, Determinar el nmero mximo de fuentes que se pueden conectar al canal de tal manera que:

Ejemplos
1 El canal no se sature
Si tenemos k fuentes, llegarn a la cola 2k paquetes/seg, Por otro lado, 1/ = 0,025 seg = 40 paquetes/seg El canal no se satura cuando <1:

2k k = = = < 1 k < 20 fuentes 40 20

Ejemplos
2 En media los paquetes no pasen en el sistema ms de 100 mseg
Tal como ocurra en el apartado anterior, llegarn a la cola 2k paquetes/seg, y tendremos = 40 paquetes/seg Nos exigen W0,1 seg:

1 1 W= = 0,1 k 15 fuentes 40 2k

Ejemplos
3 En el estado estacionario se garantice que al menos el 95% de los paquetes tenga un tiempo de respuesta que no exceda de 100 mseg
Tal como ocurra en el apartado anterior, llegarn a la cola 2k paquetes/seg, y tendremos = 40 paquetes/seg Nos exigen que la probabilidad de que un paquete pase ms de 100 mseg en el sistema sea inferior al 5%, es decir, W(100 mseg)0,05:

W (0,1) 0,05 e 0,1(40 2 k ) 0,05 0,2k 4 ln 0,05

4 + ln 0,05 k k 5,021 k 5 fuentes (ya que k N) 0,2

Ejemplos
Ejemplo: Supongamos que una cola M|M|1 con parmetros y se sustituye por n colas M|M|1 independientes de parmetros /n y /n, Es decir, dividimos la carga de trabajo y la capacidad de proceso en n partes iguales, Evaluar el efecto del cambio usando como medidas de rendimiento el tiempo medio de respuesta y el nmero medio de trabajos en el sistema

/n /n

/n

/n

Ejemplos
Alternativa 1 (una sola cola), 1=, 1= :
1 1 = 1 1 Alternativa 2 (n colas independientes), 2=/n, 2=/n : W1 =

1 L1 = = 1 1

2 2 n =n =n =n =n = nL1 L2 = 1 2 1 i =1 1 2 1 n

Ejemplos
W2 = 1 = 2 2 1 1 =n = nW1 n n

Como la alternativa 1 tiene menores valores para ambas medidas de rendimiento, concluimos que la dicha alternativa es mejor Esto nos indica que lo mejor es no dividir la capacidad de procesamiento, es decir, tener un nico servidor que atienda a todos los clientes

Teorema de Little
Sea un sistema de colas con cualquier distribucin de llegadas y servicios y cualquier estructura, Sean L el nmero de trabajos presentes en el sistema en el estado estacionario, W es tiempo medio de respuesta en el estado estacionario y la razn de llegadas al sistema, Entonces:

L = W

Teorema de Little
Explicacin intuitiva: Supongamos que cobramos 1 a cada trabajo por cada unidad de tiempo que pasa en el sistema, Habra dos maneras equivalentes de medir las ganancias:
Colocando un recaudador a la entrada del sistema, le cobrar como media W a cada uno de los trabajos que vea pasar por unidad de tiempo Cada vez que transcurre una unidad de tiempo, cobro 1 a cada uno de los L trabajos que como media hay en ese instante en el sistema

Teorema de Little
Si aplico el teorema a la cola, dejando fuera del sistema al servidor, obtengo el siguiente resultado, tambin muy til:

Lq = Wq
Las dos frmulas obtenidas nos sirven para ayudarnos a obtener los valores de las medidas de rendimiento, aunque necesitaremos otras ecuaciones para poder conseguir resultados explcitos

Cola M | M | c

Descripcin del modelo

Hay una sola cola, cuya capacidad es infinita, y c servidores, La disciplina ser FIFO Las llegadas se producen segn un proceso de Poisson de razn , donde es el nmero medio de llegadas por unidad de tiempo y 1/ es el tiempo medio entre llegadas, Los tiempos entre llegadas se distribuirn exponencialmente, Exp() Los tiempos de servicio tambin se distribuirn exponencialmente, Exp(), de tal manera que es el nmero medio de clientes que cada servidor es capaz de atender por unidad de tiempo y 1/ es el tiempo medio de servicio

Condicin de no saturacin
Se demuestra que si c, el sistema se satura, es decir, el nmero de clientes en la cola crece indefinidamente con el tiempo, Por consiguiente, la condicin de no saturacin ser:

< 1, donde = c
Nosotros slo estudiaremos las colas que no se saturan, Cuando una cola no se satura, tambin se dice que alcanza el estado estacionario,

Probabilidades
Suponiendo que el sistema no se satura, se deducen las siguientes frmulas para las probabilidades pn de que haya n clientes en el sistema, donde nN:
c (c ) = + p0 c!(1 ) n =0 n!
c c c 1 n

(c )n p 0 , si n = 0,1,..., c n! pn = c n c p , en otro caso 0 c!

Medidas de rendimiento
Nmero medio de clientes en cola: c c c +1 p 0 Lq = 2 c!(1 ) Usamos razonamientos ya vistos para obtener:
W = Wq +
L q = W q

L = W

Otras medidas de rendimiento

Nmero medio de servidores ocupados, S, En el estado estacionario, la razn de las salidas ser igual a la razn de las llegadas:

S = S = = c
Probabilidad de que un trabajo tenga que esperar para recibir su servicio (frmula de retraso de Erlang): c c c p0 q= c!(1 )

Ejemplos
Ejemplo: Usando L como medida de rendimiento, comparar estas dos alternativas:
Alternativa 1: Alternativa 2:

/2 /2

Ejemplos
Alternativa 1:
L1 =

Alternativa 2:
2 =
2

= = 2
2
2 2 1 n

2 (2 ) + p02 = 2!(1 ) n =0 n!

Ejemplos
4 + 2 2 + 4 4 4 p02 = 2(1 ) + 1 + 2 = 2(1 )
2 2 1 2

2 + 2 1 p02 = 2(1 ) = 1 +

1 2 L2 = W2 = Wq 2 + = Wq 2 + = Wq 2 + 2 2 4 3 p02 2 3 (1 ) + 2 L2 = Lq 2 + 2 = + 2 = 2 2 (1 ) (1 + ) 2(1 )

Ejemplos
2 3 2 3 + 2 2 3 2 L2 = = + 2 = (1 )(1 + ) (1 )(1 + ) (1 )(1 + )

Para que la alternativa 1 sea mejor, ha de cumplirse que L1<L2: 2 2 < > 0 1 < 1 (1 + )(1 ) 1 1+ Como <1 siempre se cumple, tendremos que la alternativa 1 siempre es mejor, Es decir, no conviene dividir la capacidad de procesamiento en dos servidores
1+ < 2 < 1

Ejemplos
Ejemplo: Usando el nmero medio de clientes en el sistema como medida de rendimiento, comparar estas dos alternativas:

Alternativa 1:
/2 /2 /2 /2

Alternativa 2:

/2 /2

Ejemplos
Alternativa 1 (ntese que hay 2 colas): 1 2 L1 = 2 = , donde = 1 1 1 Alternativa 2 (es la alternativa 2 del ejemplo anterior): 2 = = = 2
2

2 L2 = (1 )(1 + )

Ejemplos
Para que la alternativa 2 sea mejor, ha de cumplirse que L1>L2:
2 2 2 1 > > 0 1 > 1 (1 + )(1 ) 1 1+
1+ > 1 > 0

Como >0 siempre se cumple, tendremos que la alternativa 2 siempre es mejor, Es decir, no conviene poner dos colas, sino tener una nica cola global

Ejemplos
Ejemplo: En una copistera se dispone de 3 mquinas fotocopiadoras a disposicin del pblico, Cada mquina es capaz de servir, por trmino medio, 8 trabajos cada hora, A la copistera llegan como promedio 5 clientes a la hora, Parmetros del sistema: = 5 clientes/h, = 8 clientes/h, c = 3 servidores, El sistema no se satura porque <1,
5 5 = = = c 38 24

Ejemplos
Cul es la probabilidad de que las tres mquinas estn libres a la vez?
c 1 cc c (c )n + p0 = c! (1 ) n! n=0 1 2 33 3 (3 )n = + 3! (1 ) n! n =0
1

33 3 (3 )0 + (3 )1 + (3 )2 + 3! (1 ) 0! 1! 2!

5 25 125 = +1+ + 2432 8 128

304 0,5342706 569

Cul es el nmero medio de clientes en la cola?

3 4 304 c c c +1 p0 3 569 302 = = 0,00722643 clientes Lq = 2 2 41791 c! (1 ) 3! (1 )

Ejemplos
Cul es el tiempo medio de espera en la cola?
Wq = Lq = 302 52 = 0,00144529 h 541791 35979

Cul es el tiempo medio de espera en el sistema?

52 1 514 W = Wq + = + = 0,126445 h 35979 8 4065 1

Cul es el nmero medio de clientes en el sistema?

514 514 L = W = 5 = 0.632226 clientes 4065 813

Cola M | M | 1 | k

Descripcin del modelo

Hay una sola cola, cuya disciplina ser FIFO, La capacidad del sistema es limitada, de tal modo que slo puede haber k clientes como mximo en el sistema, Por lo tanto, el nmero mximo de clientes en la cola es k1, Si un cliente llega y el sistema est lleno, es rechazado y nunca ms regresa Las llegadas se producen segn un proceso de Poisson de razn , Los tiempos entre llegadas se distribuirn exponencialmente, Exp() Los tiempos entre servicios tambin se distribuirn exponencialmente, Exp(), de tal manera que es el nmero medio de clientes que el servidor es capaz de atender por unidad de tiempo

Probabilidades
El sistema nunca se satura, ya que la capacidad es limitada Se deduce la siguiente frmula para las probabilidades pn de que haya n clientes en el sistema, donde n{0, 1, 2, , k}:
n (1 ) , si 1 k +1 pn = 1 1 k + 1 , si = 1

Probabilidades
El valor de determina cmo varan los pn:
Si <1, los estados ms probables son los de menor nmero de clientes, porque la oferta de servicio supera a la demanda Si >1, los estados ms probables son los de mayor nmero de clientes, porque la demanda de servicio supera a la oferta Si =1, todos los estados son equiprobables, Podemos llegar a la frmula del caso =1 aplicando la regla de LHpital al lmite para 1 de la frmula del caso 1

Si hacemos k, llegamos al modelo M | M | 1

Medidas de rendimiento
Tasa efectiva de llegadas, ef, Es el nmero medio de clientes admitidos al sistema por unidad de tiempo de entre los que intentan entrar (ef<): ef = (1 p k ) Nmero medio de clientes en el sistema (este valor siempre debe ser inferior a k):
(k + 1) k +1 , si 1 1 1 k +1 L= k 2 , si = 1

Medidas de rendimiento
Podemos obtener las dems medidas de rendimiento mediante razonamientos ya vistos, teniendo en cuenta que la tasa efectiva de llegadas al sistema es ef:
W = Wq +
Lq = ef Wq

L = ef W

Ejemplo
A un taller mecnico llegan vehculos para el cambio de pastillas de freno, Los coches llegan a un promedio de 18 a la hora segn un proceso de Poisson, El espacio fsico del taller slo permite que haya 4 vehculos, y las ordenanzas municipales prohben esperar fuera, El taller puede servir a un promedio de 6 coches por hora de acuerdo a una distribucin exponencial, Parmetros del sistema: = 18 vehculos/h, = 6 vehculos/h, k = 4 vehculos

18 =3 6

Ejemplo
Cul es la probabilidad de que no haya ningn vehculo en el taller?

0 (1 ) 1 3 2 1 p0 = = = = 0,00826446 4 +1 4 +1 242 121 1 1 3

1

Cul es el promedio de vehculos que hay en el taller?

L=

(k + 1) k +1 =
1 k +1

(4 + 1)34+1 = 3 1 3 1 34 +1

3 1215 426 = 3,5206611 vehculos 2 242 121

Ejemplo
Cunto tiempo pasa por trmino medio un coche en el taller? k (1 ) = ef = (1 pk ) = 1 k +1 1
34 ( 2 ) 720 = 181 5,950413 clientes/h 5 1 3 121
W= L

ef

121 = 426 = 71 0,5916666 horas 720 720 120 121

426

Ejemplo
Cunto tiempo esperan por trmino medio en la cola los coches?
71 1 17 Wq = W = = = 0,425 horas 120 6 40 1

Cul es la longitud media de la cola?

720 17 306 Lq = ef Wq = = 2,52893 vehculos 121 40 121

Redes de colas

Redes de colas
Una red de colas es un sistema donde existen varias colas y los trabajos van fluyendo de una cola a otra Ejemplos:
Fabricacin (trabajos=artculos) Oficinas (trabajos=documentos) Redes de comunicaciones (trabajos=paquetes) Sistemas operativos multitarea (trabajos=tareas)

Enrutado de trabajos
Criterios para decidir a qu cola se dirige un trabajo que acaba de salir de otra:
Probabilstico: se elige una ruta u otra en funcin de una probabilidad (puede haber distintos tipos de trabajos, cada uno con sus probabilidades) Determinista: cada clase de trabajo se dirige a una cola fija

Tipos de redes de colas

Se distinguen dos tipos de redes de colas:
Abiertas: Cada trabajo entra al sistema en un momento dado, y tras pasar por una o ms colas, sale del sistema, Dos subtipos:
Acclicas: Un trabajo nunca puede volver a la misma cola (no existen ciclos) Cclicas: Hay bucles en la red

Cerradas: Los trabajos ni entran ni salen del sistema, Por lo tanto permanecen circulando por el interior del sistema indefinidamente, Usualmente existe un nmero fijo de trabajos,

Red abierta acclica

Red abierta cclica

Red cerrada

Redes de Jackson abiertas

Definicin
Una red de colas abierta se dice que es de Jackson sii:
Slo hay una clase de trabajos Los enrutados son probabilsticos, donde rij 0 es la probabilidad de ir al nodo j despus de haber salido del nodo i, Por otro lado, ri0 es la probabilidad de abandonar del sistema despus de haber salido del nodo i, donde ri0 = 1 jrij Cada nodo i es una cola .|M|ci

La tasa de llegadas externas al nodo i se notar i El nmero total de nodos de la red se notar K

Ecuaciones de equilibrio
Dado que el flujo total de entrada a un nodo debe ser igual al flujo total de salida del nodo, tendremos que:
i = i + j rji , i {1,..., K }
j =1 K

Las K ecuaciones anteriores forman un sistema lineal con solucin nica, que resolveremos para hallar las tasas de llegada a cada nodo i

Condicin de no saturacin
Para que ninguna de las colas del sistema se sature, es preciso que se cumpla la siguiente condicin:

i i { ,2,..., K }, i < 1, donde i = 1 ci i

Nota: Se trata de la condicin de no saturacin del modelo M|M|c, aplicada a cada uno de los nodos por separado

Teorema de Jackson para redes abiertas

Teorema: Sea una red de Jackson abierta que cumple la condicin de no saturacin, Entonces en el estado estacionario, la distribucin del nmero de clientes en cada nodo es la que sigue:

p(n) = pi ( ni ), n1 ,, nK 0
i =1

donde pi(ni) es la probabilidad de que haya ni clientes en el nodo i, calculada segn las ecuaciones del modelo M|M|c

Consecuencias del teorema

Corolario: Las medidas de rendimiento para cada nodo se calculan segn las ecuaciones del modelo M|M|c, Adems se tendrn las siguientes medidas:
Tasa global de salidas del sistema (throughput), que es el nmero medio de trabajos que salen del sistema por unidad de tiempo, Coincide con el nmero de trabajos que entran en el sistema:

red = i
i =1

Consecuencias del teorema

Nmero medio de trabajos en el sistema, Lred, que es la suma de los nmero medios de trabajos en cada uno de los nodos:

Lred = Li
i =1

Tiempo medio en el sistema, Wred, que es el tiempo medio que pasa una tarea desde que entra en la red hasta que sale de ella:

Wred =

red

Lred

Consecuencias del teorema

Razn de visitas al nodo i, Vi, que es el nmero medio de veces que un trabajo visita el nodo i desde que entra en la red hasta que sale:

i i { ,2,..., K }, Vi = 1 red
Nota: en una red acclica habr de cumplirse que Vi1 i{1,2,,,,,K}, ya que cada tarea visitar cada nodo a lo sumo una vez

Ejemplo (red acclica)

1,5

1
0, 8

0,2

2
0 ,6

0,4

5
1

0,5

i = 2 i {1,2,..,6}

Ejemplo (red acclica)

Ecuaciones de equilibrio:

1 = 1; 2 = 1r12 ; 3 = 1r13 ; 4 = 3r 34 ; 5 = 3r 35 + 6 r65 ; 6 = 6

En el ejemplo, 1=1,5; r12=0,2; r13=0,8; r34=0,6; r35=0,4; 6=0,5; r65=1; con lo cual la solucin es:

1 = 1,5; 2 = 0,3; 3 = 1,2; 4 = 0,72; 5 = 0,98; 6 = 0,5

Ejemplo (red acclica)

Condicin de no saturacin (se cumple porque i<1): i = i 1 = 0,75; 2 = 0,15; 3 = 0,6; i

4 = 0,36; 5 = 0,49; 6 = 0,25

Medidas de rendimiento (ecuaciones del modelo M|M|1):

i Li = 1 i

L1 = 3; L2 0,1764; L3 = 1,5;

L4 = 0,5625; L5 0,9607; L6 0,3333

Ejemplo (red acclica)

1 Wi = W1 = 2; W2 0,5882; W3 = 1,25; i i

W4 = 0,78125; W5 0,9803; W6 0,6666

Wqi = Wi

Wq1 = 1,5; Wq 2 0,0882; Wq 3 = 0,75;

Wq 4 = 0,28125; Wq 5 0,4803; Wq 6 0,1666

Red abierta cclica

0,2

0,3
7 0,

2
0 ,1

0,8

0,9

i = 3 i {1,2,4} i = 4 i {3,5}
0,6

Ejemplo (red cclica)

Ecuaciones de equilibrio:

1 = 1; 2 = 1r12 ; 3 = 3 + 1r13 + 5 r53 ; 4 = 3r 34 ; 5 = 3r 35

En el ejemplo, 1=0,2; r12=0,3; r13=0,7; 3=0,8; r53=0,6; r34=0,1; r35=0,9; con lo cual la solucin es:

1 = 0,2; 2 = 0,06; 3 2,0434; 4 0,2043; 5 1,8391

Ejemplo (red cclica)

Condicin de no saturacin (se cumple porque i<1): i = i 1 0,0666; 2 = 0,02; 3 0,5108; i

4 0,0681; 5 0,4597
Medidas de rendimiento (ecuaciones del modelo M|M|1):

i Li = 1 i

L1 0,0714; L2 0,0204; L3 1,0443;

L4 0,0731; L5 0,8511

Ejemplo (red cclica)

Wi = 1 W1 0,3571; W2 0,3401; W3 = 0,5111; i i

W4 0,3576; W5 0,4627 Wqi = Wi 1 Wq1 0,0238; Wq 2 0,0068; Wq 3 0,2611;

Wq 4 = 0,0243; Wq 5 0,2127

Redes de Jackson cerradas

Definicin
Una red de colas cerrada se dice que es de Jackson sii:
Slo hay una clase de trabajos Los enrutados son probabilsticos, donde rij 0 es la probabilidad de ir al nodo j despus de haber salido del nodo i, Cada nodo i es una cola .|M|ci Hay una cantidad constante M de trabajos en el sistema

El nmero total de nodos de la red se notar K

Ecuaciones de equilibrio
Dado que el flujo total de entrada a un nodo debe ser igual al flujo total de salida del nodo, tendremos que:
= *j rji , i {1,..., K }
* i j =1 K

Las K ecuaciones anteriores forman un sistema lineal indeterminado con un grado de libertad, que resolveremos para hallar las tasas de llegada relativas a cada nodo i*, Para ello fijaremos un valor positivo arbitrario para una incgnita, por ejemplo 1*=1

Anlisis del valor medio

Hallaremos las siguientes medidas de rendimiento para M tareas en el sistema:
Li(M)=Nmero medio de tareas en el nodo i Wi(M)=Tiempo medio que cada tarea pasa en el nodo i cada vez que lo visita i(M)=Tasa real de salidas del nodo i

Se trata de un algoritmo iterativo que va calculando Li(m), Wi(m) para valores crecientes de m a partir de m=0

Anlisis del valor medio

Las ecuaciones son:
1 L j (m 1) W j ( m) = , + j c j j L j ( m) = m *jW j (m) j {1,..., K } m {1,..., M }

i=1 Wi (m)
K * i

, j {1,..., K } m {1,..., M }

j ( m) =

L j ( m) W j ( m)

, j {1,..., K } m {1,..., M }

L j (0) = 0, j {1,..., K }

Red cerrada
1

0 ,3

0,7

i = 5 i {1,2,..,6}

Ejemplo (red cerrada)

Ecuaciones de equilibrio:
* * 1 = * r31 + * r41; * = 1 r12 ; 3 4 2 * * = * r23 ; * = 1 r 14 3 2 4

En el ejemplo, r12=0,3; r14=0,7; r23=1; r31=1; r41=1; con lo cual la solucin es, tomando 1*=1:
* 1 = 1; * = 0,3; 2

* = 0,3; * = 0,7 3 4

Ejemplo (red cerrada)

W j ( m) =
L1 ( m) = m L2 ( m) = m L3 ( m) = m L4 ( m) = m

1 + L j ( m 1) 5

, j {1,...,4}

W1 ( m) W1 ( m) + 0,3 W2 ( m) + 0,3 W3 ( m) + 0,7 W4 ( m) 0,3 W2 ( m) W1 ( m) + 0,3 W2 ( m) + 0,3 W3 ( m) + 0,7 W4 ( m) 0,3 W3 ( m) W1 ( m) + 0,3 W2 ( m) + 0,3 W3 ( m) + 0,7 W4 ( m) 0,7 W4 ( m) W1 ( m) + 0,3 W2 ( m) + 0,3 W3 ( m) + 0,7 W4 ( m)

Ejemplo (red cerrada)

Primera iteracin: 1 + L j (0) L j (0) = 0, j {1,...,4} W j (1) = = 0,2
5
0,2 L1 (1) = 1 0,4347 2,3 0,2 0,3 0,2 L2 (1) = 1 0,1304 2,3 0, 2 0,3 0,2 L3 (1) = 1 0,1304 2,3 0,2 0,7 0,2 L4 (1) = 1 0,3043 2,3 0,2

j {1,...,4}

Ejemplo (red cerrada)

m 0 1 2 3 4 5 6 7 W1(m) -0,2 0,2870 0,3897 0,5072 0,6383 0,7813 0,9347 W1(m) -0,2 0,2261 0,2448 0,2579 0,2669 0,2729 0,2770 W1(m) -0,2 0,2261 0,2448 0,2579 0,2669 0,2729 0,2770 W1(m) -0,2 0,2609 0,3207 0,3770 0,4280 0,4729 0,5113 L1(m) 0 0,4348 0,9483 1,5360 2,1913 2,9065 3,6737 4,4852 L2(m) 0 0,1304 0,2241 0,2895 0,3343 0,3646 0,3850 0,3987 L3(m) 0 0,1304 0,2241 0,2895 0,3343 0,3646 0,3850 0,3987 L4(m) 0 0,3043 0,6034 0,8849 1,1401 1,3644 1,5564 1,7173

Ejemplo (red cerrada)

L
16 14

12

Cola 1

10

Cola 4 Colas 2 y 3

10

12

14

16

18

20

Ejemplo (red cerrada)

W
3.5

Cola 1
2.5

1.5

Cola 4 Colas 2 y 3
0 2 4 6 8 10 12 14 16 18 20

0.5

Ejemplo (red cerrada)

Utilizacin del servidor (%) U=/= L/(W)
100 90

Cola 1

80

70

60

Cola 4

50

40

30

20

Colas 2 y 3
10 0 2 4 6 8 10 12 14 16 18 20

Cuellos de botella
Un cuello de botella en un sistema de colas es un nodo cuya capacidad de procesamiento determina el rendimiento de todo el sistema Definicin: Sea una red de Jackson cerrada. Diremos que el nodo j es un cuello de botella sii Lj(m) cuando m En el ejemplo anterior el nodo 1 es un cuello de botella. Trabaja al lmite de su capacidad mientras que los otros no (se quedan al 30% o al 70%). Para mejorar el rendimiento global del sistema habra que aumentar la capacidad de procesamiento del nodo 1