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, L
q

Tiempo medio de espera en cola de los clientes,
W
q


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:

= < donde , 1
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 p
n
de que haya n clientes en
el sistema, donde neN:
( ) = 1
n
n
p
Medidas de rendimiento
El nmero medio de clientes en el sistema, L, se
calcula as:
( ) ( )


=

=
= = =
0 0 0
1 1
j
j
j
j
j
j
j j p j L
Sumamos la serie aritmtico-geomtrica:
... 4 3 2
4 3 2
+ + + + = S
... 3 2
4 3 2
+ = S
( )

= + + + + =
1
... 1
4 3 2
S
( )
( )

=
1
1
1
2
L
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:
( )

1 1 1 1
1
0 0 0
+ = + = + =


=

=
L
p p j p j W
j
j
j
j
j
j
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:

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

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

=
q
W
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):

mecnicos 5
12
10
1
12
10
1
;
12
10
1
1
1 1
=

= =

L
Por tanto, perdemos 5(10/h) = 50/h
Ejemplo
Opcin 2 (con ayudante):

mecnicos 2
15
10
1
15
10
1
;
15
10
1
1
1 2
=

= =

L
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 L
q
, se
calcula restndole a L el nmero medio de trabajos
que estn siendo servidos:
( )

= = =
1 1
1
2
0
L p L L
q
Probabilidad de que un cliente que llega pase ms
de t unidades de tiempo en el sistema:
( )
W t
e t W
/
=
( )
W t
q
e t W
/
=
Probabilidad de que un cliente que llega pase ms
de t unidades de tiempo en la cola:
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:
fuentes 20 1
20 40
2
< < = = = k
k k

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 Ws0,1 seg:

fuentes 15 1 , 0
2 40
1 1
s s

= k
k
W

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)s0,05:
( )
( )
s s s

05 , 0 ln 4 2 , 0 05 , 0 05 , 0 1 , 0
2 40 1 , 0
k e W
k
) k que (ya fuentes 5 021 , 5
2 , 0
05 , 0 ln 4
N e s s
+
s k k k
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
L

=

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

2
=/n :
1
2
2
1
2
2
2
1
1
1 1
nL n n n n L
n
n
n
n
n
i
=

Ejemplos
1
2 2
2
1 1 1
nW n W
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:
W L =
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:
q q
W L =
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:

c
donde = < , 1
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 p
n
de que haya n clientes en el
sistema, donde neN:
( )
( )
1
1
0
0
! 1 !

=
|
|
.
|

\
|
+

=

c
n
n
c c
n
c
c
c
p

( )

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

Medidas de rendimiento
Nmero medio de clientes en cola:
( )
2
0
1
1 !

=
+
c
p c
L
c c
q
Usamos razonamientos ya vistos para obtener:

1
+ =
q
W W
q q
W L =
W L =
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:

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

=
1 !
0
c
p c
q
c c
Ejemplos
Ejemplo: Usando L como medida de
rendimiento, comparar estas dos alternativas:


/2
/2
Alternativa 1: Alternativa 2:
Ejemplos
Alternativa 1:

=
1
1
L
Alternativa 2:

= = =
2
2
2
( )
( )
1
1 2
0
2 2
02
!
2
1 ! 2
2

=
|
|
.
|

\
|
+

=

n
n
n
p

Ejemplos
( ) ( )
1
2 2
1
2
02
1 2
4 4 2 2 4
2 1
1 2
4

|
|
.
|

\
|

+ +
=
|
|
.
|

\
|
+ +

p
( )

=
|
|
.
|

\
|

+
=

1
1
1 2
2 2
1
02
p

2
2 1
2 2
2
2 2 2
+ = + =
|
|
.
|

\
|
+ = =
q q q
W W W W L
( )
( )
( ) ( )

2
1 1
1 2
2
1 2
4
2
2
3
2
02
3
2 2
+
+

= +

= + =
p
L L
q
Ejemplos
( )( ) ( )( ) ( )( )

+
=
+
+
= +
+
=
1 1
2
1 1
2 2 2
2
1 1
2
3 3 3
2
L
( )( )

+
<
)
`

>

+
<
1
2
1 0
1 1 1
2
1
Para que la alternativa 1 sea mejor, ha de
cumplirse que L
1
<L
2
:
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:
/2
/2

/2
/2
Alternativa 2: Alternativa 1:
/2
/2
Ejemplos
Alternativa 1 (ntese que hay 2 colas):

= donde ,
1
2
1
2
1
1
1
L
Alternativa 2 (es la alternativa 2 del ejemplo
anterior):

= = =
2
2
2
( )( )

+
=
1 1
2
2
L
Ejemplos
( )( )

+
>
)
`

>

+
>
1
1
1 0
1
2
1 1
2
1
2
Para que la alternativa 2 sea mejor, ha de
cumplirse que L
1
>L
2
:
0 1 1 > > +
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,
24
5
8 3
5
= = =

c
Ejemplos
Cul es la probabilidad de que las tres mquinas
estn libres a la vez?
( )
( )
( )
( )
=
|
|
.
|

\
|
+

=
|
|
.
|

\
|
+

=

=

=

1
2
0
3 3
1
1
0
0
!
3
1 ! 3
3
! 1 !
n
n
c
n
n c c
n n
c
c
c
p

( )
( ) ( ) ( )
0,5342706
569
304
128
25
8
5
1
2432
125
! 2
3
! 1
3
! 0
3
1 ! 3
3
1
1
2 1 0 3 3
~ =
|
.
|

\
|
+ + + =
|
|
.
|

\
|
+ + +

( ) ( )
clientes 0,00722643
41791
302
1 ! 3
3
1 !
2
569
304
4 3
2
0
1
~ =

=
+

c
p c
L
c c
q
Cul es el nmero medio de clientes en la cola?
Ejemplos
Cul es el tiempo medio de espera en la cola?
h 00144529 , 0
35979
52
41791 5
302
~ = = =

q
q
L
W
Cul es el tiempo medio de espera en el sistema?
h 126445 , 0
4065
514
8
1
35979
52 1
~ = + = + =

q
W W
Cul es el nmero medio de clientes en el
sistema?
clientes 0.632226
813
514
4065
514
5 ~ = = = W L
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 p
n
de que haya n clientes en
el sistema, donde ne{0, 1, 2, , k}:
( )

=
+
=

=
+
1 si ,
1 k
1
1 si ,
1
1
1

k
n
n
p
Probabilidades
El valor de determina cmo varan los p
n
:
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
<):
( )
k ef
p = 1
( )

=
=

=
+
+
1 si ,
2
1 si ,
1
1
1
1
1

k
k
L
k
k
Nmero medio de clientes en el sistema (este
valor siempre debe ser inferior a k):
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
:

1
+ =
q
W W
W L
ef
=
q ef q
W L =
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
3
6
18
= =
Ejemplo
Cul es la probabilidad de que no haya ningn vehculo
en el taller?
( )
0,00826446
121
1
242
2
3 1
3 1
1
1
1 4 1 4
0
0
~ =

=
+ +

p
Cul es el promedio de vehculos que hay en el taller?
( ) ( )
=

=
+
+
+
+
1 4
1 4
1
1
3 1
3 1 4
3 1
3
1
1
1
k
k
k
L

vehculos 3,5206611
121
426
242
1215
2
3
~ =

Ejemplo
Cunto tiempo pasa por trmino medio un
coche en el taller?
( )
( )
=
|
|
.
|

\
|

= =
+1
1
1
1 1
k
k
k ef
p

( )
clientes/h 5,950413
121
720
3 1
2 3
1 18
5
4
~ =
|
|
.
|

\
|

horas 0,5916666
120
71
720
426
121
720
121
426
~ = = = =
ef
L
W

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

W W
q
Cul es la longitud media de la cola?
vehculos 2,52893
121
306
40
17

121
720
~ = = =
q ef q
W L
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 r
ij
> 0 es la
probabilidad de ir al nodo j despus de haber salido del
nodo i, Por otro lado, r
i0
es la probabilidad de abandonar
del sistema despus de haber salido del nodo i, donde r
i0
=
1
j
r
ij

Cada nodo i es una cola .|M|c
i
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:
{ }
1
, 1,...,
K
i i j ji
j
r i K
=
= + e

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
i
i i
c
donde K i

= < e , 1 , ,..., 2 , 1
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:
1
1
( ) ( ), , , 0
K
i i K
i
p p n n n
=
= >
[
n
donde p
i
(n
i
) es la probabilidad de que haya n
i
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
i
i red
1

Consecuencias del teorema
Nmero medio de trabajos en el sistema, L
red
,
que es la suma de los nmero medios de
trabajos en cada uno de los nodos:

=
=
K
i
i red
L L
1
Tiempo medio en el sistema, W
red
, que es el
tiempo medio que pasa una tarea desde que
entra en la red hasta que sale de ella:
red
red
red
L
W

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

{ }
red
i
i
V K i

= e , ,..., 2 , 1
Nota: en una red acclica habr de cumplirse que
V
i
s1 ie{1,2,,,,,K}, ya que cada tarea visitar
cada nodo a lo sumo una vez
Ejemplo (red acclica)
1
1,5
2
3
6
0,5
4
5
{ }
2 1, 2,..,6
i
i = e
Ejemplo (red acclica)
En el ejemplo,
1
=1,5; r
12
=0,2; r
13
=0,8; r
34
=0,6; r
35
=0,4;

6
=0,5; r
65
=1; con lo cual la solucin es:
1 2 3
1,5; 0,3; 1, 2; = = =
4 5 6
0,72; 0,98; 0,5 = = =
Ecuaciones de equilibrio:
1 1 2 1 12 3 1 13
; ; ; r r = = =
4 3 34 5 3 35 6 65 6 6
; ; r r r = = + =
Ejemplo (red acclica)
Medidas de rendimiento (ecuaciones del modelo M|M|1):
1 2 3
3; 0,1764; 1,5; L L L = ~ =
4 5 6
0,5625; 0,9607; 0,3333 L L L = ~ ~
Condicin de no saturacin (se cumple porque
i
<1):
i
i
i

1 2 3
0,75; 0,15; 0,6; = = =
4 5 6
0,36; 0, 49; 0, 25 = = =

=
i
i
i
L

1
Ejemplo (red acclica)

=
i i
i
W

1
1 2 3
2; 0,5882; 1, 25; W W W = ~ =
4 5 6
0,78125; 0,9803; 0,6666 W W W = ~ ~
=
i
i qi
W W

1
1 2 3
1,5; 0,0882; 0,75;
q q q
W W W = ~ =
4 5 6
0, 28125; 0, 4803; 0,1666
q q q
W W W = ~ ~
Red abierta cclica
1
0,2
2
3
4
5
0,8
0,6
{ }
{ }
3 1, 2, 4
4 3,5
i
i
i
i

= e
= e
Ejemplo (red cclica)
En el ejemplo,
1
=0,2; r
12
=0,3; r
13
=0,7;
3
=0,8; r
53
=0,6;
r
34
=0,1; r
35
=0,9; con lo cual la solucin es:
1 2 3
0, 2; 0,06; 2,0434; = = ~
4 5
0, 2043; 1,8391 ~ ~
Ecuaciones de equilibrio:
1 1 2 1 12 3 3 1 13 5 53
; ; ; r r r = = = + +
4 3 34 5 3 35
; r r = =
Ejemplo (red cclica)
Medidas de rendimiento (ecuaciones del modelo M|M|1):
1 2 3
0,0714; 0,0204; 1,0443; L L L ~ ~ ~
4 5
0,0731; 0,8511 L L ~ ~
Condicin de no saturacin (se cumple porque
i
<1):
i
i
i

1 2 3
0,0666; 0,02; 0,5108; ~ = ~
4 5
0,0681; 0, 4597 ~ ~

=
i
i
i
L

1
Ejemplo (red cclica)

=
i i
i
W

1
1 2 3
0,3571; 0,3401; 0,5111; W W W ~ ~ =
4 5
0,3576; 0, 4627 W W ~ ~
=
i
i qi
W W

1
1 2 3
0,0238; 0,0068; 0, 2611;
q q q
W W W ~ ~ ~
4 5
0,0243; 0, 2127
q q
W W = ~
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 r
ij
> 0 es la
probabilidad de ir al nodo j despus de haber salido del
nodo i,
Cada nodo i es una cola .|M|c
i
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:
{ }
* *
1
, 1,...,
K
i j ji
j
r i K
=
= e

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:
L
i
(M)=Nmero medio de tareas en el nodo i
W
i
(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 L
i
(m), W
i
(m) para valores
crecientes de m a partir de m=0
Anlisis del valor medio
Las ecuaciones son:
{ } { }
{ } { }
*
*
1
( 1)
1
( ) , 1,..., 1,...,
( )
( ) , 1,..., 1,...,
( )
j
j
j j j
j j
j
K
i i
i
L m
W m j K m M
c
W m
L m m j K m M
W m
=

= + e e

= e e

{ }
(0) 0, 1,...,
j
L j K = e
{ } { }
( )
( ) , 1,..., 1,...,
( )
j
j
j
L m
m j K m M
W m
= e e
Red cerrada
1
2
4
3
1
1
{ }
5 1, 2,..,6
i
i = e
Ejemplo (red cerrada)
En el ejemplo, r
12
=0,3; r
14
=0,7; r
23
=1; r
31
=1; r
41
=1; con lo
cual la solucin es, tomando
1
*=1:
* *
1 2
1; 0,3; = =
* *
3 4
0,3; 0,7 = =
Ecuaciones de equilibrio:
* * * * *
1 3 31 4 41 2 1 12
; ; r r r = + =
* * * *
3 2 23 4 1 14
; r r = =
Ejemplo (red cerrada)
{ }
1 ( 1)
( ) , 1,..., 4
5
j
j
L m
W m j
+
= e
1
1
1 2 3 4
( )
( )
( ) 0,3 ( ) 0,3 ( ) 0,7 ( )
W m
L m m
W m W m W m W m
=
+ + +
2
2
1 2 3 4
0,3 ( )
( )
( ) 0,3 ( ) 0,3 ( ) 0,7 ( )
W m
L m m
W m W m W m W m

=
+ + +
3
3
1 2 3 4
0,3 ( )
( )
( ) 0,3 ( ) 0,3 ( ) 0,7 ( )
W m
L m m
W m W m W m W m

=
+ + +
4
4
1 2 3 4
0,7 ( )
( )
( ) 0,3 ( ) 0,3 ( ) 0,7 ( )
W m
L m m
W m W m W m W m

=
+ + +
Ejemplo (red cerrada)
Primera iteracin:
{ }
(0) 0, 1,..., 4
j
L j = e
{ }
1 (0)
(1) 0, 2 1,..., 4
5
j
j
L
W j
+
= = e
1
0, 2
(1) 1 0,4347
2, 3 0, 2
L = ~

2
0, 3 0, 2
(1) 1 0,1304
2, 3 0, 2
L

= ~

4
0, 7 0, 2
(1) 1 0,3043
2, 3 0, 2
L

= ~

3
0, 3 0, 2
(1) 1 0,1304
2, 3 0, 2
L

= ~

Ejemplo (red cerrada)

m W
1
(m) W
1
(m) W
1
(m) W
1
(m) L
1
(m) L
2
(m) L
3
(m) L
4
(m)
0 -- -- -- -- 0 0 0 0
1 0,2 0,2 0,2 0,2 0,4348 0,1304 0,1304 0,3043
2 0,2870 0,2261 0,2261 0,2609 0,9483 0,2241 0,2241 0,6034
3 0,3897 0,2448 0,2448 0,3207 1,5360 0,2895 0,2895 0,8849
4 0,5072 0,2579 0,2579 0,3770 2,1913 0,3343 0,3343 1,1401
5 0,6383 0,2669 0,2669 0,4280 2,9065 0,3646 0,3646 1,3644
6 0,7813 0,2729 0,2729 0,4729 3,6737 0,3850 0,3850 1,5564
7 0,9347 0,2770 0,2770 0,5113 4,4852 0,3987 0,3987 1,7173
0 2 4 6 8 10 12 14 16 18 20
0
2
4
6
8
10
12
14
16
Ejemplo (red cerrada)
m
L
Cola 1
Colas 2 y 3
Cola 4
0 2 4 6 8 10 12 14 16 18 20
0
0.5
1
1.5
2
2.5
3
3.5
Ejemplo (red cerrada)
m
W
Cola 1
Colas 2 y 3
Cola 4
0 2 4 6 8 10 12 14 16 18 20
10
20
30
40
50
60
70
80
90
100
Ejemplo (red cerrada)
Utilizacin
del
servidor (%)
U=/=
L/(W)
m
Cola 1
Cola 4
Colas 2 y 3
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
L
j
(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