Математика/4. прикладная математика

Нсангу М. М.

Российский университет дружбы народов, Москва, Россия

МОДЕЛЬ SIP-СЕРВЕРА В ВИДЕ СИСТЕМЫ С ПРОГУЛКАМИ И РАЗОГРЕВОМ ПРИБОРА

Построена модель сервера присутствия пользователей в сети 3-ого поколения (NGN), учитывающая особенности обслуживания сообщений уведомления типа Notify протокола SIP. Модель учитывает возможность группового поступления заявок сообщений, а также прогулку и разогрев обслуживающего прибора.

Ключевые слова: СМО, групповое поступление, прогулка, разогрев прибора.

Введение

Системы массового обслуживания (СМО) с отключением прибора [1, 2] имеют большое прикладное значение, в том числе в задачах анализа производительности серверов в сетях связи 3-го поколения. Предоставление услуги присутствия значительно увеличивает нагрузку в подсистеме IMS (IP Multimedia Subsystem) [3]. В работе проведен анализ модели функционирования сервера присутствия IMS в виде СМО  с прогулками прибора на периодах простоя системы и разогрева (замедленное обслуживание) в момент восстановления работы прибора в обычном режиме.

1. Построение модели

Заявки поступают на прибор группами (пачками), поток групп заявок является пуассоновским с интенсивностью . В каждой группе приходит случайное число заявок с вероятностью  того, что поступит ровно i заявок в одной пачке. Кроме того, предполагается, что пачка не может быть пустой, т.е. . Заявка, заставшая прибор в состоянии прогулки, занимает место в накопителе бесконечной емкости.

На рис. 1 показана диаграмма, поясняющая функционирование СМО, где показаны 3 группы состояний: (•,2) – нормальная работа прибора; (•,1) – прогулка прибора и (•,0) – разогрев прибора.

Обслуживание заявок в нормальном состоянии прибора осуществляется по экспоненциальному закону с параметром , а в состоянии разогрева – с параметром . В занятом состоянии прибор абсолютно надежен. По окончании обслуживания, если больше нет заявок в очереди, с вероятностьюсервер начинает прогулку и остается недоступным в этом состоянии даже при поступлении новых заявок. В противном случае, с вероятностью , прибор поступает в режим разогрева и начинает обслуживание заявок в порядке FCFS. Длительности прогулки и разогрева распределены по экспоненциальному закону с параметрами  и  соответственно. Если по окончании обслуживания заявки режиме разогрева система оказалась пустой, то прибор продолжает работать в этом же режиме, в противном случае прибор переходит в режим обслуживания заявок.

Рис. 1. Диаграмма интенсивностей переходов состояний СМО

Введем случайные процессы (СП)  – число заявок в СМО и  - номер состояния в котором находится сервер в момент времени t. Если , то прибор находится в режиме разогрева (группа состояний (•,0)); если , то на прогулке (группа состояний (•,1)), и если , то в режиме обслуживания (группа состояний (•,2)). Определим вероятности , составим для них систему уравнений равновесия (СУР) и, с учетом , получим следующие выражения для производящих функций числа заявок в очереди:

,,.

2. Вероятностно-временные характеристики системы

Из СУР следует, что стационарные вероятности состояния связаны следующими рекуррентными соотношениями:

; ;

.

Также получены следующие выражения для вероятностей ,  и :

;

; .

Имея выражения для вероятностей ,  и , и производящей функции , можно найти среднее время пребывания производной заявки по формуле Литтла:

,

где  и  первый и второй начальные моменты распределения числа заявок в пачке.

С различными длительностями продолжительности разогрева, диаграмма зависимости средней длины очереди от параметров разогрева представлена на рисунке 2.

Рис. 2. Средняя длина очереди от параметров разогрева

Отметить можно, что с помощью результатов , опуская значение вероятности , так чтобы  и , можно установить формулы соответствующие упрощенной модели [1], при вероятности .

3. Выводы

В докладе представлены результаты исследования СМО типа  с групповым поступлением заявок, прогулками прибора и разогревом на периодах простоя системы. Методы исследования модели позволяют найти вычислительный алгоритм для расчета стационарных вероятностей, а также производящие функции распределения числа заявок в СМО. Кроме того, получены формулы для расчета среднего числа заявок в системе и среднего времени ожидания в очереди.

Литература

1. Hongbo Zhang and Dinghua Shi, The M/M/1 Queue with Bernoulli-Schedule-Controlled Vacation and Vacation Interruption. International Journal of Information and Management Sciences 20 (2009), 579-587.

2. Servi, L. and Finn, S., M/M/1 queues with working vacations (M/M/1/WV), Perform. Eval., Vol.50, pp.41-52, 2002.

3. Chi C., Hao R., Wang D., Cao Z. IMS Presence Server: Traffic Analysis & Performance Modeling. // IEEE 1-4244-2507-5/08, – 2008.