La cola M/M/1 Ahora se usa el material sobre proceso de Poisson para determinar las propiedades del modelo de la cola

ms sencilla: M/M/1. Se trata de una cola del tipo de servidor nico, con procesos de llegada de Poisson, estadstica de tiempo de servicio de distribucin exponencial y con poltica de servicio PEPS. La notacin M/M/1 usada se debe al estadstico britnico D.G. Kendall. La notacin de Kendall para un sistema general de formacin de colas es de la forma A/B/C. la A representa la distribucin de llegada, B representa la distribucin de servicio, y C denota el numero de servidores. En particular el smbolo M, proveniente del proceso de Markov, se usa para denotar el proceso de Poisson o la distribucin exponencial equivalente. Una cola M/M/m es exponencial, y m servidores. Una cola M/G/1 tiene procesos de llegada de Poisson, servicio con distribucin general, y servidor nico. Un caso especial es la cola M/D/1, donde D representa un tiempo fijo (deterministico) o constante de servicio. Las propiedades estadsticas de la cola M/M/1, la ocupacin promedio de la cola, la probabilidad de bloqueo para una cola finita, el rendimiento promedio, etctera, se determinan con facilidad una vez que se encuentra la probabilidad de estado pn en la cola. Por definicin, pn es la probabilidad de que haya n usuarios (paquetes o llamadas) en la cola, incluyendo el que est en servicio. Por consiguiente el sistema est operando en un estado estacionario, de manera que esta probabilidad no vara con el tiempo. Partiendo de ciertas condiciones iniciales (por ejemplo un estado de cola vaca), se esperara que esta probabilidad se aproximara a un valor estacionario que no variara con el tiempo, siempre y cuando las distribuciones de llegada y de tiempo de servicio tampoco variaran. Ms adelante se mostrar que esta probabilidad de estado estacionario se determina sin dificultad a partir de argumentos de balance de flujos simples. En este punto se usa un argumento ms general de dependencia de tiempo. Especficamente, sea el proceso de llegada a la cola con servidor nico de la figura 1. un proceso de Poisson con parmetro . Considrese el proceso de tiempo de servicio (longitud del paquete o duracin de la llegada) con distribucin exponencial, con parmetro , como se muestra. Entonces la probabilidad pn (t+t) de que haya n usuarios (paquetes o llamadas) en la cola en el tiempo (t+t) puede hallarse fcilmente en trminos de la probabilidad correspondiente al tiempo t.

Llegadas de Poisson, Servicio exponencial, n Figura 1 Cola M/M/1

Considrese el diagrama de estado de la figura 2, el cual representa la cola M/M/1. Como se han supuesto procesos de llegada y de salida con distribucin de Poisson, las transmisiones entre estados adyacentes slo pueden suscitarse con las tasas mostradas. As como existe una tasa de avance entre estados debido a las llegadas al sistema, tambin hay una tasa de retroceso entra estados debida a terminaciones de servicio o salida. De manera alternativa, si se multiplican las tasas por t, se tiene la probabilidad t de avance entre estados debida a una llegada, o la probabilidad t de retrocesos entre estados debido a la terminacin de un servicio (salida). (Si el sistema se halla en estado 0, es decir, la cola est vaca, solo puede avanzar al estado 1 debido a una llegada).

2 Figura 2

n-1

n+1

Diagrama de estado, cola M/M/1.

Considrese El concepto de balance de la tasa de abandono de un estado con la tasa de entrada a ese estado no slo permite establecer una ecuacin de balance, sino encontrar una solucin. Repitiendo n veces la ecuacin Pn = Pn*1 se encuentra fcilmente que P n = n p0 / (Ecuacin 1)

Para el caso de una cola infinita M/M/1, se encuentra sin dificultad que p0 = (1), si < 1, y finalmente se obtiene Pn = (1- ) n / < 1 (Ecuacin 2)

Como la solucin para la probabilidad del estado de equilibrio para la cola M/M/1. Ntese la condicin necesaria = / < 1, a la que se aludi antes. De nuevo, su significancia implica que para que exista el equilibrio, la tasa de llegada o carga en la cola debe ser menor que la capacidad . Si se violan esta condicin para este modelo de cola infinita, la cola continua formndose, y el equilibrio nunca se alcanza. Matemticamente, el hecho de que el equilibrio exista solo < 1 se encuentra considerando el caso lmite =1. Ya que p0 = (1- ), p0 = 0. Ahora considrese la extensin de este anlisis al caso de una cola finita, con capacidad de a lo sumo N paquetes. Un breve anlisis indica que la ecuacin de balance gobernante, queda intacta excepto por los dos valores de frontera n=0 y n=N.

Se deja al lector mostrar que p0 = (1- )/ (1- N+1) de manera que en este caso Pn = (1- ) n/ (1- N+1) (Ecuacin 4) (Ecuacin 3)

Para la cola finita M/M/1. En particular, la probabilidad de que la cola est llena es pN, dada por PN = (1- ) N/ (1- N+1) (Ecuacin 5) Pero esta debe ser igual a la probabilidad de bloqueo: la probabilidad de que los usuarios (paquetes o llamadas) sean rechazados, y no aceptados en la cola. Esto se puede demostrar con el sencillo argumento siguiente, que ser til ms adelante en algunos de los anlisis de desempeo de redes de datos. Considrese el esquema en la cola mostrada en la figura 3, que no es necesariamente un modelo de cola finita M/M/1. Puede tratarse de cualquier sistema de formacin de colas con bloqueo de llegadas de usuarios. Se muestra una carga , definida como el nmero promedio de llegadas/s, al aplicarse a la cola. Con la probabilidad de bloqueo dada por P B, la tasa neta de llegadas es entonces (1 PB). Pero sta debe ser igual que el rendimiento , o el nmero de usuarios atendidos/s para un sistema conservativo. Por tanto, se obtiene. = (1 PB) (Ecuacin 6)

Sin embargo, el rendimiento se puede calcular de otra manera: centrndose en la salida del sistema. En particular, para una cola con servidor nico, el tipo de cola que se estudia, la tasa promedio de servicio seria , en usuarios/s servicios, si la cola estuviese de servicio, o rendimiento , es menos que . De manera ms precisa, = (1 P0), ya que (1 P0) es la probabilidad de que la cola ste ocupada. (en tanto haya al menos un usuario en la cola, la tasa promedio de servicio ser .) (1 P0) es entonces la utilizacin (para servidor nico). Como verificacin, considrese la cola infinita M/M/1. En este caso no hay bloqueo en tal situacin, y el rendimiento = , la tasa promedio de llegada. Ah se debe tener = (1 P 0), o p0 = 1- , = /, exactamente como se encontr antes. En el caso de la cola finita M/M/1, se iguala la tasa neta de llegada (1 PB) a la tasa promedio de salida (1 P0), para obtener = (1 PB) = (1 P0)