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 ...

1 S

...

L 1

2
1 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

Tiempo que se pasa

en el sistema si
hay j por delante
al llegar

pj j
j 0

pj
j 0

pj

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:

Sin ayudante: 1/1 = 5 min = 1/12 h

Con ayudante: 1/2 = 4 min = 1/15 h

En ambos casos, = 10 clientes/h

Opcin 1 (sin ayudante):
10
10
1
1 ; L1
12 5 mecnicos
12
1 1 1 10
12

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

Ejemplo

Opcin 2 (con ayudante):

10
10
1
2 ; L1
15 2 mecnicos
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
Probabilidad de que un cliente que llega pase ms
de t unidades de tiempo en el sistema:
W t e t / W

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,140 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

L1

1 1
1
1
W1

1 1
Alternativa 2 (n colas independientes), 2=/n,
2=/n :

2
2

n
L2
n
n
n
n
nL1

1 2

1
i 1 1 2
1 n

Ejemplos
W2

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

p0

c!1 n 0 n!
c

c 1

c n
p 0 , si n 0,1,...,c

p n cn! n
c p , en otro caso
0
c!

Medidas de rendimiento

Nmero medio de clientes en cola:

c c c 1 p0
Lq
2
c!1
Usamos razonamientos ya vistos para obtener:
W Wq
Lq Wq

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

p02

2!1 n 0 n!
2

2 1

Ejemplos
1

4 2 2 4 4
p02
1 2
21
21

2 2
1

p02
1
21

1
2
L2 W2 Wq 2 Wq 2
Wq 2 2

4 3 p02
2 3 1
L2 Lq 2 2
2
2
2
2
1 1
21

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

1 2 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

Ejemplos

Ejemplo: Usando el nmero medio de clientes en el

sistema como medida de rendimiento, comparar
estas dos alternativas:

Alternativa 2:

Alternativa 1:
/2

/2

/2

/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?

p0

c! 1 n 0 n!
c

c 1

0
1
2
33 3

3!1 0! 1! 2!

3! 1 n 0 n!
3

5 25
125

8 128
2432

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
Lq

0,00722643clientes
2
2
41791
c! 1
3! 1

Ejemplos

Cul es el tiempo medio de espera en la cola?

Wq

Lq

302
52

0,00144529h
541791 35979

Cul es el tiempo medio de espera en el sistema?

W Wq

52
1 514

0,126445h
35979 8 4065

Cul es el nmero medio de clientes en el

sistema?
514 514
L W 5

0.632226clientes
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

pn 1
1
, si 1

k 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
1
L
k
, 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
41
41
242 121
1
1 3

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

k 1 k 1

1 k 1

3
4 1341

41
1 3
1 3

3 1215 426

3,5206611vehculos
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,950413clientes/h
5
1 3 121

ef

426
426 71
121

0,5916666horas
720
720 120
121

Ejemplo

Cunto tiempo esperan por trmino medio en la

cola los coches?
1

71 1 17
Wq W

0,425 horas
120 6 40

Cul es la longitud media de la cola?

720 17 306
Lq ef Wq

2,52893vehculos
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:
K

i i j rji , i 1,..., K
j 1

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 1,2,..., K , i 1, donde i
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:
K

p(n) pi ( ni ), n1,
i 1

, nK 0

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:
K

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:
K

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

Lred

red

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 1,2,..., K , Vi
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

2
4

3
5

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
L1 3; L2 0,1764; L3 1,5;
1 i
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

2
4

0,8

3
5

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 5r53 ;
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
L1 0,0714; L2 0,0204; L3 1,0443;
1 i
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

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:
K

*j rji , i 1,..., K
*
i

j 1

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)

i1 Wi (m)

j ( m)

*
i

L j ( m)
W j ( m)

j 1,..., K m 1,..., M

, j 1,..., K m 1,..., M

, j 1,..., K m 1,..., M

L j (0) 0, j 1,..., K

Red cerrada
1

1
4

i 5 i 1,2,..,6

Ejemplo (red cerrada)

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

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; *2 0,3;
*3 0,3; *4 0,7

Ejemplo (red cerrada)

W j ( m)

1 L j ( m 1)
5

, j 1,...,4

L1 (m) m

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

L2 (m) m

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

L3 (m) m

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

L4 (m) 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

W1(m)

W1(m)

W1(m)

W1(m)

L1(m)

L2(m)

L3(m)

L4(m)

--

--

--

--

0,2

0,2

0,2

0,2

0,4348

0,1304

0,1304

0,3043

0,2870

0,2261

0,2261

0,2609

0,9483

0,2241

0,2241

0,6034

0,3897

0,2448

0,2448

0,3207

1,5360

0,2895

0,2895

0,8849

0,5072

0,2579

0,2579

0,3770

2,1913

0,3343

0,3343

1,1401

0,6383

0,2669

0,2669

0,4280

2,9065

0,3646

0,3646

1,3644

0,7813

0,2729

0,2729

0,4729

3,6737

0,3850

0,3850

1,5564

0,9347

0,2770

0,2770

0,5113

4,4852

0,3987

0,3987

1,7173

Ejemplo (red cerrada)

L
16

14

Cola 1

12

10

Cola 4

Colas 2 y 3
0

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.5

10

12

14

16

18

20

Ejemplo (red cerrada)

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

100

Cola 1

90

80

70

Cola 4

60

50

40

30

20

10

Colas 2 y 3
0

10

12

14

m
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