Temas 8 y 9

Colas M/G/1

Eytan Modiano
MIT

Eytan Modiano
Diapositiva 1
 Colas M/G/1

Poisson Tiempos de servicio

M/G/1
independientes

Llegadas de Poisson con tasa

El tiempo de servicio tiene una distribucin arbitraria con E[X] y E[X2]

dados:
Los tiempos de servicio son independientes e idnticamente distribuidos (IID)
Independiente de los tiempos de llegada
E[tiempo de servicio] = 1/
Cola con un solo servidor

Eytan Modiano
Diapositiva 2
 Frmula de Pollaczek-Khinchin (P-K)

E[X 2 ]
W=
2(1 )
donde = / = E[X] = utilizacin de la lnea

Segn la frmula de Little:

NQ = W

T = E[X] + W

N = T= NQ +

Eytan Modiano
Diapositiva 3
 EJEMPLOS DE M/G/1

Ejemplo 1: M/M/1

E[X] = 1/ ; E[X2] = 2/2

W= =
2(1- ) (1- )

Ejemplo 2: M/D/1 (tiempo de servicio constante 1/)

E[X] = 1/ ; E[X2] = 1/2

W= =
22(1-) 2(1-)

Eytan Modiano
Diapositiva 4
 Demostracin de Pollaczek-Khinchin

Supongamos: W i = tiempo de espera en cola de la llegada i

R i = tiempo de servicio residual experimentado por I (es decir, tiempo
que pasa hasta que se completa el servicio del cliente que est
siendo servido cuando llega i)
N i = Nmero de clientes que i encuentra en la cola
llega i
Wi
Xi-3 Xi-2 X i-1 Xi
Ri
Tiempo -> N = 3
i

i-1
W = Ri +
i X j
j=i- N i

E[Wi] = E[Ri] + E[X]E[Ni] = R + NQ/

Aqu hemos utilizado la propiedad PASTA ms la propiedad del tiempo de servicio
independiente
W = R + W/ => W = R/(1-)
Utilizando la frmula de Little
Eytan Modiano
Diapositiva 5
 Qu es R?

(Promedio del tiempo de servicio residual)

Tiempo de servicio
residual R(t)

X4
X1
X2 X3

X1 X2 X3 X4 tiempo ->

Sea M(t) = nmero de clientes servidos en el tiempo t

E[R(t)] = 1/t (suma del rea de los tringulos)
t
M(t) 2 M(t) 2
X X
R
t
=
1
t
R( )d =
1
i = 1 M(t)
2 t
i
M(t)
t i=1
i=1
0

Cuando t tiende a infinito M(t) = tasa media de salida = tasa media de llegada
t
M(t) 2
X
M(t)
t
i
M(t)

= E[X2] => R = E[X2]/2
Eytan Modiano
Diapositiva 6
i=1
 Cola M/G/1 con vacaciones

til para los sistemas de reservas y sondeos (Ej.: Token rings)

Cuando la cola est vaca, el servidor se toma un perodo de vacaciones
Los tiempos de vacaciones son IID e independientes de los tiempos
de servicio y de llegadas:
Si el sistema est vaco tras un perodo de vacaciones, el servidor se toma
otro ms
El nico impacto en el anlisis es que un paquete que llega a un sistema
vaco ha de esperar a que termine el perodo de vacaciones
Llegada de i
Wi
Vj Xi-3 Xi-2 X i-1 Xi
Ri
Tiempo -> Ni = 3

i-1
W = Ri +
i X j
j=i- N i

Eytan Modiano
Diapositiva 7
E[Wi] = E[Ri] + E[X]E[Ni] = R + NQ/ = R/(1-)
 Promedio de tiempo de servicio residual
(con vacaciones)

Tiempo de servicio
residual R(t)

V1 X4
X1
X2 X3

X1 X2 V1 X3 X4 tiempo ->

t M(t) L(t)
X2 V2
R = [R(t)]=
1 R( )d = 1
( i +
j
)
t t 2 2
0 i=1 j=1
2 2
E[M(t)] E[X ] L(t) E[V ]
R = lim +
t t 2 t 2

Donde L(t) es el nmero de perodos vacacionales tomados hasta el tiempo t

M(t) es el nmero de clientes que se han servido hasta el tiempo t
Eytan Modiano
Diapositiva 8
 Promedio de tiempo de servicio residual
(con vacaciones)

Cuando t->, M(t)/t -> y L(t)/t -> v = tasa de vacaciones

A continuacin, establecemos I = 1 si el sistema est de vacaciones y I = 0

si el sistema est ocupado
Segn el teorema de Little, tenemos que:

E[I] =E[#vacaciones] = P(sistema desocupado) = 1- = v E[V]

=> v = (1-)/E[V]

De este modo:
Recordemos que W = R/(1-)

E[X 2] (1- )E[V 2] E[X 2 ] E[V 2 ]

R = + W = +
2 2 E[V] 2(1- ) 2 E[V]

Eytan Modiano
Diapositiva 9
 Ejemplo: sistema M/D/1 con intervalos de longitud fija o slots

1/

Cada intervalo = tiempo de transmisin de un paquete = 1/

La transmisin slo puede empezar al inicio de un intervalo

Si al inicio de un intervalo el sistema est vaco, el servidor no estar
disponible mientras no haya finalizado dicho intervalo (vacaciones)

/ 2 1/ 2 / 1/
E[X] = E[v] = 1/ W= + = +
2(1 / ) 2 / 2( ) 2
E[X2] = E[v2] = 1/2

= WM / D /1 + E[ X]/ 2

Obsrvese que transcurre un promedio de 1/2 intervalo mientras se espera

el inicio de un intervalo
Eytan Modiano
Diapositiva 10
 Ejemplo de FDM

Sean m cadenas de Poisson de paquetes de longitud fija con una tasa de

llegada de /m, cada una de ellas multiplexada por FDM (multiplexacin por
divisin en frecuencias) en m subcanales. Trfico total =
Supongamos que lleva m unidades de tiempo transmitir un paquete, entonces =1/m
La carga total del sistema ser: =

Tramas FDM

Usuario 1 VACO INTERVALO para el usuario 1

Usuario 2 INTERVALO para el usuario 2 VACO

Usuario m INTERVALO para el usuario m INTERVALO para el usuario m

Tenemos un sistema M/D/1 { W=E[x2]/2(1-) }

2
( /m) m m
W = =
FDM 2 (1- ) 2 (1- )
Eytan Modiano
Diapositiva 11
 FDM con intervalos de longitud fija

Supongamos ahora que el sistema est dividido en intervalos de longitud fija

y que las transmisiones empiezan nicamente en las m fronteras que delimitan
las unidades de tiempo
Tramas FDM con intervalos de longitud fija
Usuario 1 INTERVALO para el usuario 1

Usuario 2 INTERVALO usuario 2 INTERVALO para el usuario 2

Usuario m Vacaciones para el usuario m INTERVALO para el usuario m

Es una cola M/D/1 con vacaciones:

El servidor se toma unas vacaciones de m unidades de tiempo cuando no hay nada que transmitir
E[V] = m; E[V2] = m2
.

WSFDM = WFDM + E[V2]/2E[V]

= WFDM + m/2

Eytan Modiano
Diapositiva 12
 EJEMPLO DE TDM

Trama TDM
slot m slot 1 slot 2 ... slot m

Lo mismo sucede en la TDM con intervalos de un paquete (cada sesin

tiene que esperar por su propio lmite de intervalo). As:

W = R/(1-)

E[X 2] (1- =)E[V 2]

R = = +
2 2 E[V]

E[X 2 ] E[V 2 ]
W = = +
2(1- =) 2 E[V]
Eytan Modiano
Diapositiva 13
 EJEMPLO DE TDM

Por lo tanto, W TDM = WFDM + m/2

Al aadir el tiempo de transmisin del paquete, la TDM es mejor

ya que el tiempo de transmisin es = 1 en lugar de m.

TFDM = [WFDM ] + m

TSFDM = [WFDM + m/2]+m

TTDM = [WFDM + m/2]+1

= TFDM - [m/2-1]

Eytan Modiano
Diapositiva 14