CC BY
30
Прикладная математика
УДК 519.21
Анализ времени пребывания заявок в многоканальной экспоненциальной системе обслуживания с ограниченным накопителем и буфером переупорядочивания
С. И. Матюшенко, Д. А. Пяткина, В. Н. Калениченко
Кафедра прикладной информатики и теории вероятностей Российский университет дружбы народов ул. Миклухо-Маклая, д. 6, Москва, Россия, 117198
Рассматривается многоканальная система массового обслуживания с накопителем ограниченной ёмкости, на которую поступает пуассоновский поток заявок. Заявка, застающая все места в накопителе занятыми, теряется и в дальнейшем не оказывает влияния на функционирование системы. Длительности обслуживания заявок случайны, независимы между собой и имеют экспоненциальное распределение. При этом интенсивности обслуживания на приборах различны. Заявка, имеющая возможность выбора прибора, выбирает из всех свободных приборов тот, который имеет наибольшую интенсивность обслуживания. На выходе из системы располагается буфер, в котором происходит переупорядочивание заявок в соответствии с порядком их поступления.
Функционирование системы описывается однородным марковским процессом. В предположении, что интенсивности потока и обслуживания заявок конечны, финальные вероятности состояний марковского процесса существуют, строго положительны, не зависят от начального распределения и совпадают со стационарными вероятностями.
В предыдущей работе нами был разработан алгоритм для расчёта стационарных вероятностей состояний рассматриваемой системы. Основная задача данной работы состоит в том, чтобы, опираясь на результаты предыдущей работы, получить стационарные показатели производительности системы. В результате нами была получена функция распределения времени пребывания заявок в буфере переупорядочивания и проведён численный анализ зависимости средней задержки переупорядочивания от загрузки системы и от количества приборов.
Ключевые слова: система массового обслуживания, переупорядочивание заявок, стационарное распределение, функция распределения задержки переупорядочивания, начальные моменты задержки переупорядочивания.
1. Описание системы
Рассматривается многоканальная система массового обслуживания (СМО) с т обслуживающими приборами, 2 ^ т < то, и общим накопителем ограниченной ёмкости. На систему поступает пуассоновский поток заявок с параметром Л. Времена обслуживания на приборе ] независимы между собой, а также не зависят от времени обслуживания на других приборах и распределены по экспоненциальному закону с параметром , ] = 1 ,т.
Накопитель системы имеет г мест для ожидания, г < то. Заявка, поступающая на систему, когда в ней находится т+г заявок, теряется и в дальнейшем не влияет на её функционирование.
Далее, без ограничения общности, примем, что ¡1\ ^ ••• ^ ^т, т.е интенсивность обслуживания заявок с возрастанием номера прибора не возрастает. Примем также, что заявка, имеющая возможность выбора прибора, выбирает из всех свободных приборов тот, который имеет наименьший порядковый номер. Заявки выбираются из очереди на обслуживание в порядке их прибытия в систему, т. е. согласно дисциплине РСРБ.
Предполагается, что всем заявкам в момент поступления в систему присваивается порядковый номер. При этом если в момент окончания обслуживания заявки
Статья поступила в редакцию 27 ноября 2015 г.
с номером п (заявки п) продолжается обслуживание хотя бы одной заявки с номером, меньшим п, то заявка п помещается в буфер переупорядочивания (БП). В противном случае заявка п сразу покидает систему, и вслед за ней из БП уходят все заявки с номерами, отличающимися друг от друга на единицу, начиная с номера п + 1 (если таковые в этом буфере имеются). Последнее предположение позволяет моделировать механизм сохранения порядка заявок на выходе из системы, в соответствии с которым заявки поступают в неё.
В соответствии с обозначениями Кендалла рассматриваемую СМО будем кодировать как М/М/m/r/res, где буквы res являются сокращением от английского resequence — переупорядочивание.
Предположим, что в любой момент времени заявки, находящиеся в системе (в накопителе и на приборах), пронумерованы в порядке их поступления, начиная с единицы. Тогда стохастическое поведение рассматриваемой СМО можно описать однородным марковским процессом (МП) X(t), t ^ 0, над пространством состояний
хк
ш+г
U xT,
k=0
ш
(k,i\,... ,гт), ij = 0,к, ) = к,
3 = 1
при этом, если ijis > 0, то ij = is, j,s = 1,m>, к = 0,m — 1,
•ьк
= {(k,iU..
),
ij = 0, m,
ij = is, j,s = 1,m^, к = m,m + r,
где и(х) — функция Хевисайда.
Здесь для некоторого момента времени X
(k,i\,..., im), если в системе
находится к заявок, к = 0,т + г, =0 означает, что прибор ] пуст, в противном случае ij есть номер заявки, обслуживаемой прибором ] = 1,т.
В работе [1] был разработан алгоритм расчёта стационарных вероятностей состояний МП X(¿). Теперь наша задача состоит в том, чтобы на основе этого распределения получить стационарные характеристики времени пребывания заявок в системе.
хт =
2. Стационарная функция распределения задержки переупорядочивания
Обозначим через Р1ев^) стационарную ФР времени пребывания заявок в БП. В дальнейшем время пребывания заявок в БП будем называть задержкой переупорядочивания.
Перейдём к нахождению Ртез(Ь). Для этого рассмотрим условную стационарную ФР задержки переупорядочивания заявки, обслуженной на приборе при условии, что в момент т — 0 окончания обслуживания этой заявки система находилась в состоянии (к^1,... ,гт) и обозначим её через (Ь), ] = 1,ш, (к..,%т) е хт.
Ясно, что если непосредственно перед окончанием обслуживания заявки на приборе ] система находилась в состоянии (к,^,... ,гт), то задержка переупорядочивания этой заявки будет равна максимуму из времён дообслуживания заявок, пришедших в СМО раньше данной заявки, т.е. заявок, обслуживаемых на приборах с номерами из множества
V(k,i1,...,im) = [sn ■ 0 <iSn <ij }, j = 1,m, (k,h,... ,im) G xm.
Так как обслуживание заявки на приборе 3 распределено по экспоненциальному закону с параметром ^, 3 = 1,т, то
Р(к,г1,...,гт),3 П (! - е-'Лзп *)' 3 (к,Ч,...,гт) е ж™ (1)
.....ът),0
При этом 1,..., гт), э(^) = 1) если гт),э = 0, так как заявка в этом
случае не будет задержана.
Теперь обозначим через ПВ ■(к, ..., ът) стационарную вероятность состояния .., в момент т — 0 окончания обслуживания заявки на приборе з, а через \в,э — интенсивность выхода заявок, обслуженных прибором 3, 3 = 1,т. Нетрудно видеть, что
Хп,э = р(к,1х ,...,1т)и(1у , з = 1,т.
(к,г1,...,гт)ехт
Тогда, на основании результатов [2], получаем
1
nD Ak,i i,. ..,im) = --p(k,ii,.. .,im )u(ij
Далее заметим, что вероятность выхода заявки с прибора з равна \в, э/^в
ш
где Xd =1] Xd,j.
3 = 1
Подытоживая теперь все предыдущие рассуждения и применяя формулу полной вероятности, приходим к искомому результату, который сформулируем в виде теоремы.
Теорема 1. Функция распределения Fres(t) .задержки переупорядочивания в СМО М/М/m/r/res в стационарном режиме её работы определяется выражением
1 ш Fres(t) = ^ p(k,ii ,...,1ш) ^ u(ij , П (1 - е-^»1). (k,it,...,im)exm j = 1 sn€y(ktil.....im),3-
Обозначим через ö(k,i1,...,гm),j,u условные начальные моменты порядка v, v = 1, 2, 3, ..., задержки переупорядочивания заявки, обслуженной на приборе j при условии, что в момент т — 0 окончания её обслуживания система находилась в состоянии (k,ii,... ,im), т.е. положим
оо
д(к,11,...,гт),э,и = ! 3 = 1,т, (к,11,...,1т) е хт. (2)
0
Тогда из (2) с учётом (1) путём несложных вычислений приходим к следующему результату:
5(k, iu...,i m),j,u = v!
£ -А- — £ _1_;
L„1 =1 ^ т,п2 = 1 + У
П1=П2
+ ••• +
+ (—1)
1 + 1.
(ßan1 + ••• + ßsn, У
, (3)
1
гДе s n G U(k,i1,...,im),j, i = 1, l, 1= |U(k,i1,...,im),j |.
Получив соотношение для моментов ö(k,i1,...,im),j,u, ( к, i\,..., im) Gxm,j = 1,m, v = 1, 2, 3, ..., можем сформулировать очевидное следствие из теоремы.
Следствие. Начальный момент bv порядка v задержки переупорядочивания в СМО М/М/m/r/геs в стационарном режиме её работы определяется выражением
1 ш
^ = д— Y1 p(к, il,..., S(k,ii,...,im),j,v, 1.
D (k,ii,...,im)exm J = 1
3. Примеры численного исследования
Численное исследование показывает, что задержка переупорядочивания во многом зависит не только от суммарной интенсивности р обслуживания заявок, но и от соотношения интенсивностей обслуживания р^, ] = 1,т, между собой. Поясним это высказывание следующим примером.
Рассмотрим трёхканальную экспоненциальную систему обслуживания ёмкости г = 10. Будем считать, что на систему поступает пуассоновский поток заявок с интенсивностью Л. Далее рассмотрим три варианта параметров р^, ] = 1, 3. В первом случае возьмём р1 = р2 = р3 = 1,0, во втором — р1 = 1,715, р2 = 0,855, р3 = 0,430, а в третьем — р1 = 2,08, р2 = 0,69, р3 = 0,23. Заметим, что суммарная интенсивность обслуживания р во всех трёх случаях равна трём. Однако в первом случае р]_/р2 = р2/р3 = 1, во втором — р1/р2 ~ р2/р3 ~ 2, а в третьем — р1/р2 ~ р2/р3 ~ 3. Проанализируем во всех трёх случаях зависимость средней задержки переупорядочивания ¿1 от загрузки р, изменение которой будем достигать за счёт изменения Л.
Характер полученной зависимости отражён на рис. 1. Мы видим, что с ростом р наблюдается рост с последующей стабилизацией величины 1 . Однако в первом случае средняя задержка переупорядочивания значительно меньше, чем во втором, а тем более в третьем. Таким образом, рассмотренный пример позволяет сделать предположение о том, что чем меньше в системе различие между интенсивностями обслуживания р^, '} = 1, т, тем меньше в такой системе средняя задержка переупорядочивания.
Рассмотрим ещё один пример, который показывает, как влияет на задержку переупорядочивания количество приборов в системе. Для этого предположим, что в т-канальной системе с накопителем ёмкости г =10 все приборы одинаковы, а длительность обслуживания на -ом приборе распределена по экспоненциальному закону с параметром рj = 1, ] = 1,т.
Проанализируем зависимость средней задержки переупорядочивания от загрузки р в системах с перечисленным выше фиксированным набором параметров, но с различным количеством приборов т, т = 2, 3, 4, 5, 6. Характер полученной зависимости отражён на рис. 2. Как видно из рисунка, при одинаковой загрузке имеется существенное различие между значениями средней задержки переупорядочивания. При этом чем больше приборов в системе, тем больше времени затрачивается на переупорядочивание заявок.
Таким образом, рассмотренные примеры позволяют сделать предположение о том, что наименьшая задержка переупорядочивания присутствует в системах с одинаковыми приборами. В двухканальных системах затраты времени на переупорядочивание заявок минимальны. Данное предположение пока не получило аналитического подтверждения и, по-видимому, может служить объектом дальнейших исследований.
\
/ / / / / /
/ ✓ \
О 1,0 2,0 3,0
Рис. 1. Зависимость средней задержки переупорядочивания от загрузки системы при различных соотношениях интенсивностей
обслуживания: кривая 1: = Мз = Мз = 1; кривая 2: = 1,715, = 0,855, = 0,430; кривая 3: = 2,08, = 0,69, дз = 0,23
/ / / / / / / ' '' . - —
/1 •' /: у /// / /// .. —• /' *
• / ' / /
0 1,0 2,0 3,0
Рис. 2. Зависимость средней задержки переупорядочивания от загрузки в системах с различным количеством приборов то: кривая 1: то = 2; кривая 2: то = 3; кривая 3: то = 4; кривая 4: то = 5; кривая 5: то = 6
Литература
1. Матюшенко С. И. Анализ многоканальной системы обслуживания с ограниченным накопителем и переупорядочиванием заявок // Вестник Тверского госуниверситета, серия «Прикладная математика». — 2010. — Т. 4, № 37. — С. 5570.
2. Наумов В. А. О предельных вероятностях полумарковского процесса // Современные задачи в точных науках. — М.: УДН, 1975. — 1. — С. 35-39.
UDC 519.21
Analysis of the Multichannel Exponential System of Service with the Limited Store and Resequence of Requests S. I. Matyushenko, D. A. Pyatkina, V. N. Kalenichenko
Department of Applied Probability and Informatics
Peoples' Friendship University of Russia 6, Miklukho-Maklaya str., Moscow, Russia, 117198
The multi-channel finite-capacity queuing system with Poisson flow is considered. The customer caught all the places in the queue employed, is lost and will not affect the functioning of the system. The service times are random, independent and have exponential distribution. Intensities of service are different. The customer with the possibility of selecting a device, choosing from available devices one, that has the highest intensity of service. On leaving the system there is a buffer in which there is a resequence of customers according to order of their receipt.
Functioning of the system is described by uniform Markov process. In the assumption that intensities of the flow and service of customers are finite the final probabilities of statuses of Markov process exist, are strictly positive, don't depend on initial distribution and match the stationary probabilities.
An algorithm to calculate the stationary probabilities of the state of the system we developed in previous work. The main objective of this work is to obtain the stationary performance of the system based on the results of previous work. The distribution function of the resequence time was obtained. The numerical analysis of dependence of the average resequence time from the system load and number of devices was considered.
Key words and phrases: queuing system, resequence of requests, stationary distributing, distribution function of the resequence time, initial moments of the resequence time.
References
1. S. I. Matyushenko, Analysis of Multi-Channel Queueing System with Limited Storage and Resequence Customers, Vestnik of Tver State University, Series "Applied Mathematics" 4 (37) (2010) 55-70, in Russian.
2. V. A. Naumov, About the Limiting Probabilities of the Semi-Markov Process, in: Modern Problems in the Exact Sciences, no. 1, UDN, Moscow, 1975, pp. 35-39, in Russian.
