CC BY
37
Труды Карельского научного центра РАН № 5. 2011. С. 63-74
УДК 519.872.1
ОЦЕНИВАНИЕ ВЕРОЯТНОСТИ БЛОКИРОВКИ В СИСТЕМЕ С ПОВТОРНЫМИ ВЫЗОВАМИ И ПОСТОЯННОЙ СКОРОСТЬЮ ВОЗВРАЩЕНИЯ ЗАЯВОК С ОРБИТЫ
Е. В. Морозов, Р. С. Некрасова
Институт прикладных математических исследовании Карельского научного центра РАН
В статье исследуется вероятность блокировки заявки в системе с повторными вызовами и постоянной интенсивностью повторных заявок, идущих с орбиты на сервер. Изучаются теоретические свойства, а также свойства различных статистических оценок этой вероятности. Анализ проводится с помощью регенеративного метода. Исследован эффект уменьшения дисперсии оценки. Результаты имитационного моделирования хорошо согласуются с известными аналитическими результатами, а также с соответствующими результатами для системы с потерями.
Ключевые слова: система с повторными вызовами, вероятность блокировки, зона стационарности/нестационарности, (квази-)регенерации, уменьшение дисперсии.
E. V. Morozov, R. S. Nekrasova. ESTIMATION OF BLOCKING PROBABILITY IN A RETRIAL QUEUING SYSTEM WITH CONSTANT RETRIAL RATE
The paper investigates the blocking probability in a retrial system with constant retrial rate. Both theoretical properties and the properties of various estimates of the probability are studied. The analysis is based on the regenerative method. The variance reduction effect is studied. Simulation results are consistent with known analytical results and with corresponding results for a lossy system.
Key words: retrial queuing system, blocking probability, stability/instability region, (quasi-) regenerations, variance reduction.
Введение
Данная статья посвящена применению регенеративного метода для доверительного оценивания стационарной вероятности блокировки (ухода на орбиту) заявки в односерверной системе с повторными вызовами без буфера для ожидания и с постоянной интенсивностью возвращения заявок с орбиты на сервер. Показано, что данный метод применим как в
области стационарности, так и в области нестационарности системы, когда величина орбиты неограниченно растет. В выводе соотношений для вероятности блокировки существенно использован метод доказательства обобщенной формулы Литтла для классических систем обслуживания с буфером. Рассмотрены различные оценки вероятности
■©
блокировки. Для уменьшения дисперсии используется выпуклая комбинация прямой оценки (отношения числа отказов к общему числу приходов) и оценки доли времени занятости сервера. Приведены результаты численного моделирования для ряда систем.
Описание системы и условие стационарности
Рассмотрим односерверную систему с повторными вызовами типа M/G/1/1 (без буфера) с входным пуассоновским потоком с интенсивностью Л и произвольным (типичным) временем обслуживания S со средним ES := 1//. Заявки, поступающие в систему, когда сервер занят, уходят на орбиту бесконечного объема, а затем вновь пытаются попасть на обслуживающее устройство. В отличие от классических систем, поток повторных заявок (попыток) является пуассоновским с параметром /о, не зависящим от величины (непустой) орбиты. Такая модель успешно применена при моделировании телефонных линий [Fayolle, 1986], протоколов множественного доступа ALOHA [Choi et al., 1993], протокола TCP с короткими сообщениями (short TCP transfers) [Avrachenkov, Yechiali, 2008]. В частности, рассматриваемая в данной работе модель односерверной системы без буфера описывает протокол множественного доступа ALOHA, когда при наличии на орбите n заявок каждая поступает (повторно) в систему с интенсивностью /о/п. Как хорошо известно, тогда суммарный поток является пуассонов-ским с параметром /о.
Таким образом, суммарный поток заявок, поступающих на сервер, складывается из двух (вообще говоря, зависимых) потоков: Л-потока первичных заявок (Л-заявок) и потока вторичных заявок с интенсивностью До ^ /о. (Величина /¿о строго определяется ниже см. (21).) Для удобства далее обозначим исходную систему через £.
Рассмотрим также следующую вспомогательную односерверную систему £ с потерями, с нулевым буфером и без орбиты. Система £ имеет тот же входной Л-поток, то же распределение времени обслуживания, что и исходная система £, но, в отличие от £, имеет еще один (независимый) пуассоновский входной поток заявок с параметром /о. (Назовем их /о-заявки.) Таким образом, если в момент прихода (любой) новой заявки сервер занят, то она покидает систему и не оказывает влияния на ее будущее состояние. Для удобства можно считать, что такие заявки уходят на виртуальную орбиту, описываемую как систе-
ма вида -/M/1 с интенсивностью обслуживания До, и покидают систему навсегда после обслуживания.
Можно ожидать, что сервер в системе £ более загружен, чем в исходной системе, так как интенсивность потока повторных заявок До ^ До. Более того, можно ожидать, что с ростом величины орбиты До t До, и поэтому распределение состояний сервера (занят или пуст) в системе £ должно сближаться с соответствующим распределением в системе £. Следовательно, поток потерь в системе £ (или поток заявок, идущих на виртуальную орбиту) должен быть более интенсивным, чем поток блокированных заявок, идущих на орбиту в исходной системе. Отметим, что источником неустойчивости (нестационарности) исходной системы (с конечным буфером) может быть только неограниченно растущая орбита. Тогда условие устойчивости виртуальной орбиты должно гарантировать устойчивость орбиты в (менее загруженной) системе £.
Для пояснения рассмотрим орбиту как односерверную систему с входным потоком заявок, получивших отказ. Интуитивно понятно, что верхняя граница интенсивности входного потока на сервер равна Л + д0 (что соответствует постоянно непустой орбите). Можно ожидать, что поток с большей интенсивностью приводит к большему числу потерь, и таким образом, более интенсивному потоку заявок на орбиту. Этот вывод опирается на свойство монотонности систем с потерями относительно интервалов входного потока, которое кратко рассматривается ниже. Суммарный поток заявок на сервер в системе £ (в отличие от исходной системы £) представляет собой суперпозицию независимых пуассоновских потоков с интенсивностями До и Л. В исходной системе поток повторных заявок прерывается, когда начинается период простоя орбиты. Этот период заканчивается при поступлении очередной повторной заявки.
Обозначим через Pioss стационарную вероятность потери в системе £. (Точное определение Pioss приведено ниже.) Из вышесказанного следует ожидать, что условие
(Л + до)Ploss < До (1)
является достаточным условием устойчивости орбиты в системе £. Действительно, этот результат доказан в работе [Avrachenkov, Morozov, 2010].
Замечание 1. На самом деле данный результат доказан в [Avrachenkov, Morozov, 2010] для
0
систем с повторными вызовами более общего вида, имеющих несколько серверов, ненулевой буфер и входной Л-поток восстановления. Более того, условие (1) является критерием стационарности, по крайнем мере, для систем с пуассоновским Л-потоком, в том числе для рассматриваемой в данной статье системы.
Обсудим кратко свойство монотонности системы с потерями, установленное в [Sonderman, 1979, 1981]. (Этот результат верен в соответствующей форме и для многосерверной системы с ненулевым буфером.)
Обозначим через tn момент прихода n-й заявки, Bn - n-й фактический момент прихода (когда заявка поступает на обслуживание), через Sn - время n-го обслуживания, а через Dn - n-й момент завершения обслуживания, n ^ 1. Пусть n-я заявка (пришедшая в момент tn) попала в систему, и это есть m-й фактический вход в систему во временном интервале [0, tn]. Обозначим этот момент через t(m), таким образом, введенные величины связаны как tn = t(m) := Bm, n ^ m ^ 1. Напомним, что vn - число заявок в системе перед n-м приходом. Имеют место следующие соотношения (в предположении, что система изначально пуста):
Bn+1 = min(ti : ti ^ t(n), Vi = 0), Во = 0,
Di = Bi + Si,
Dn+i = (max(Dn,Bn+i) + Sn+i),n ^ 1. (2)
В очевидных обозначениях рассмотрим две системы с потерями Si и £2, у которых интервалы между приходами (стохастически) равны, тП^ =st тП2), а времена обслуживания упорядочены как S^ ^ Sn2), n ^ 1 (с вероятностью 1 или стохастически). В [Sonderman,
1979] по индукции доказано, что ^ Dn2),
B^ ^ Bn2), ^ Vn2), n ^ 1. Этот результат
непосредственно переносится на случай непрерывного времени (на число событий в любом интервале [0,t]). Также отсюда легко следует, что число потерь в обеих системах в интервале [0, t] связано как R(i)(t) < R(2)(t), t ^ 0. Именно этот результат является ключевым при доказательстве условия стационарности в работе [Avrachenkov, Morozov, 2010]. (Аналогично, в
[Sonderman, 1979] доказано, что при тП^ ^ тП2)
и Бп = Бп1 также ^ ^п2), п ^ 1.) Заметим, что для экспоненциальных распределений времен обслуживания упорядоченность
с(1) ^ с(2) \
БП ^ Бп сводится к неравенству д1 ^ д2 для
параметров этих распределений.
?(2)
,(i)
,(2)
Чтобы применить результаты о монотонности к анализу вероятности блокировки в исходной системе с повторными вызовами и без потерь, заметим, что различие между системами £ и £ в этом анализе проявляется лишь на периодах простоя орбиты в исходной системе. Напомним, что А-потоки у обеих систем совпадают. Чтобы синхронизировать поток с орбиты и пуассоновский (с параметром До) в системе £, мы продолжаем отсчитывать фиктивные интервалы выходного потока с орбиты и на периодах простоя (эти интервалы завершаются приходом фиктивных заявок). В моменты завершения каждого периода простоя орбиты (в системе £) разыгрываются заново незавершенные интервалы в пуас-соновских До-потоках в обеих системах £ и £. По свойству потери памяти экспоненциального распределения эта процедура не меняет распределения потоков. Кроме того, фиктивным заявкам назначается нулевое время обслуживания. В результате моменты (суммарного) входного потока в обеих системах оказываются полностью синхронизированными, т. е. (в очевидных обозначениях) тп = тп, в то время как времена обслуживания упорядочены как Бп ^ БП, п ^ 1. Остается применить свойство монотонности системы с потерями, приведенное выше.
Для некоторых систем с потерями известны аналитические формулы для вероятности потери, в частности, для обобщенной с-серверной системы Эрланга М/С/с/с (без буфера)
loss
(А + До)/д^ |-^ (^(А + до)/д^ -|-1 с! 1^—' п! - .
п=0
(3)
Это позволяет записать условие (1) для системы М/С/1/1 в виде
А + До
<
/о
(4)
А + До + Д А + До что эквивалентно
А2
----+ А < д. (5)
До
Полагая А = 1, последнее условие можно записать в форме
1
-------+ 1 < /,
/о
(6)
удобной для численного исследования области стационарности по двум параметрам До, Д, характеризующим скорости ухода заявок с орбиты и обслуживания на сервере, соответственно. Напомним, что проведенный анализ
65
верен для произвольного времени обслуживания, в частности, имеющего (стандартное) распределение Парето интервалов P (S > ж) = ж-а, а > 1, ж ^ жо = 1. Тогда ES = а—і := 1/д и условие (5) принимает вид
л(— + 1) < 1 - 1/а. (7)
\до '
(В последней формуле нельзя положить Л = 1, что связано с выбором дополнительного параметра жо = 1.)
Регенеративная структура системы с повторными вызовами
В данном разделе описана регенеративная структура процессов в исходной системе с повторными вызовами.
Пусть N (t) - число заявок на орбите (величина орбиты) в момент времени t, а v(t) -состояние сервера (0 или 1) в момент t. Пусть {tn} - моменты прихода Л-заявок, N(t-) = Nn, v (t-) = vn, n ^ 1. Введем общее число заявок в системе X = {X (t) = N (t) + v(t), t ^ 0}, и положим X(t-) = Xn := Nn + vn, n ^ 1. Заметим, что система S регенерирует в моменты, когда Л-заявки встречают пустой сервер (здесь используется свойство потери памяти входного потока до-заявок). Исходная же система £ регенерирует в моменты, когда заявка поступает в полностью пустую систему (пустой сервер и пустая орбита). Таким образом, моменты регенерации основного процесса {Xn} в дискретном времени (полученного из исходного процесса X путем наблюдения лишь в моменты прихода Л-заявок) определяются следующим образом:
en+1 = inf(k > Pn : Xk = 0), n ^ 0 (во = 0). k
(8)
Процесс регенераций {en} (и основной процесс X) называется положительно возвратным, если Ев < то [Morozov, 2004]. (Эта терминология, ставшая уже общепризнанной, заимствована из теории цепей Маркова, возвратных по Харрису, у которых положительная возвратность также означает конечность средней длины цикла регенерации. По этому поводу (см. [Wolf, 1989; Morozov, 2004]).
Обозначим через R(t) - общее число
неудачных попыток заявок попасть на сервер в интервале [0, t] (т. е. это поток, идущий на орбиту), а через A(t) - общее число попыток попасть на сервер в этом интервале (порожденное первичными Л-заявками и повторными до-заявками). Рассмотрим вначале стационарный режим. Иными словами, пусть условие (1)
выполнено, тогда процесс X - положительно возвратен. Обозначим через R и A типичное число орбитальных заявок и (типичное) общее число попыток на цикле регенерации, соответственно. Пусть In = 1, если n-я попытка неудачна (иначе, In = 0). Поскольку, как легко увидеть, Р(т > S) > 0, то длина цикла регенерации в - непериодическая случайная величина. Поэтому существует предел по распределению In ^ I. Более того, ввиду равномерной интегрируемости индикаторов, имеет место также сходимость в среднем
P(In = 1) ^ Рorb, n ^ ^, (9)
где Porb := P(I = 1) есть стационарная вероятность того, что вновь поступающая заявка идет на орбиту. Рассмотрим выборочные средние
Bn(i) := R(|, Porb(n) := . (10)
Из теории регенерации для этих оценок с вероятностью 1 следует сходимость
ER
lim Bn(t) = lim Porb(n) = = Porb. (11)
t—x n——<x EA
Так как исходная система менее загружена, чем система £, то можно ожидать, что в области стационарности исходной системы
Porb(n) ^ Porb < Ploss, при П ^ ТО. (12)
С другой стороны, в области нестационар-ности исходной системы £ можно ожидать неограниченного роста величины ее орбиты.
В этом случае поток повторных заявок (идущих с орбиты на сервер) через некоторое время t0 склеивается с пуассоновским потоком с параметром до . Иными словами, после момента to поток повторных заявок стохастически эквивалентен пуассоновскому потоку. (Такое склеивание называется каплингом [Asmussen, 2002].) Поэтому можно ожидать, что Porb(n) ^ P«oss. Но при условии неста-ционарности процесс X не является положительно возвратным (т. е. Ев = то), и применение регенеративного метода для получения предела Porb, вообще говоря, становится проблематичным. Однако в данном случае для оценки Porb можно использовать другой тип регенераций, а именно, квази-регенерации. Квази-регенерации исходной (нестационарной) системы определяются как моменты, когда поступающая в систему первичная заявка встречает пустой сервер (в то время как орбита, вообще говоря, может быть не пустой).
Более точно, положим ао = 0 и определим рекурсивно моменты квази-регенераций следующим образом:
an+1 = inf(k > an : vk = 0), n ^ 0. (13)
к
Возможность использования данных моментов в нестационарном режиме для оценки Porb рассмотрена в [Avrachenkov, Morozov, 2010; Avrachenkov et al., 2011]. Важно заметить, что в области нестационарности классические моменты регенерации через некоторое время после начала работы системы перестают происходить. Точнее это можно сформулировать следующим образом. Пусть выполнено условие нестационарности
(А + до)Ploss > до. (14)
(Напомним, что для рассматриваемой системы с пуассоновским входным потоком условие (1) является критерием стационарности.) Тогда, после конечного (с вероятностью 1) момента времени to, орбита никогда не опустошается, и, с точки зрения оценки вероятности P¿oss, исходная система ведет себя как система £, на вход которой поступают два независимых потока с параметрами А и до. Другими словами, квази-регенерации становятся классическими регенерациями, но для процесса {vn}, рассматриваемого изолированно, а оценка Porb(n) сходится к P¿oss с вероятностью 1. Заметим, что определенная проблема, связанная с частотой квази- и классических регенераций, может проявиться на границе области устойчивости (определяемой равенством в (1) и (14)) или вблизи нее. Можно ожидать, что чем больше разность между левой и правой частями неравенства (14) (т. е., чем глубже параметры А, д, д0 находятся внутри области нестационарности), тем быстрее (и устойчивее) должна быть сходимость Porb(n) ^ P¿oss. Совершенно другую ситуацию следует ожидать в области стационарности системы. Именно, чем глубже внутри области стационарности находятся параметры А, д, д0 (т. е. чем больше разность правой и левой частей неравенства (1)), тем меньше должно быть значение предела Porb(n) ^ Porb по сравнению с P¿oss.
Эти соображения подтверждаются приводимыми ниже результатами численного оценивания вероятности Por¿ методом регенеративного (или квази-регенеративного) моделирования. Заметим, что детальное изложение регенеративного метода моделирования можно найти в [Bratley, Fox, 1987; Law, Kelton, 1991; Glynn, Iglehart, 1993].
Вероятность Блокировки: применение формулы ЛиттлА
Обобщенная формула Литтла является ключевым элементом анализа при выводе соотношений для вероятности блокировки Porb. Поэтому, следуя [Whitt, 1981], ниже приведена как сама обобщенная формула Литтла, так и пояснения к ее выводу. Кроме того, рассмотрены и исследованы две оценки вероятности блокировки: введенная ранее прямая (классическая) оценка Bn (t) и (определенная ниже) альтернативная (непрямая) оценка В/(t), предложенная в [Spricant, Whitt, 1999].
Рассмотрим s-серверную систему с потерями общего вида Gl/G/s/k + s (здесь k-размер буфера для ожидания). Пусть U(t) - число поступивших в систему заявок, а D(t) - общее число обслуженных заявок, в интервале [0, t]. Пусть Wfc - время, проведенное k-й заявкой в системе (для систем без буфера эта величина равна времени обслуживания Sk), и v(t) - число заявок в системе в момент t (в случае одного сервера v(t) = 0 или 1). Обобщенная формула Литтла содержится в следующем утверждении из [Spricant, Whitt, 1999].
Теорема 1. Пусть с вероятностью 1 существуют пределы
t-1U(t) ^ A, t-1 D(t) ^ A, t ^го, (15)
где 0 < A < го. Пусть также k
k-1 2 Wj ^ W k ^ го. (16)
j=i
Тогда с вероятностью 1 t
v(s)ds ^ L при t ^ го, (17)
и кроме того,
L = AW. (18)
Для пояснения заметим, что интеграл в (17) представляет собой суммарное время, которое провели в системе D(t) заявок (уже обслужившихся к моменту t) плюс время, проведенное в системе к моменту t остальными A(t) — D(t) заявками. Также в доказательстве используются следующие неравенства
D(t) t U(t)
2 Wj ^ v(s)ds ^ 2 Wj, (19)
j=i Jo j=i
откуда утверждение теоремы следует после деления на t и перехода к пределу при t ^ го.
■©
Вернемся к системе £ с повторными вызовами и без буфера, описанной в разделе 1. Рассмотрим обслуживающее устройство как изолированную систему, к которой и применим Теорему 1. Входной поток можно разделить на эффективный поток заявок, поступающих на обслуживание, и поток отказов, идущий на орбиту. Таким образом, эффективный поток есть число поступлений и (і) на сервер в интервале [0,і], і ^ 0. Так как все заявки эффективного потока получают обслуживание, то с вероятностью 1
lim := Ae. (20)
t—— <^0 t
(Как доказано в Теореме 2 ниже, данный предел, т. е. интенсивность Ае, действительно существует). Таким образом, условия Теоремы 1 выполнены, причем время, проведенное заявкой в системе (на сервере), является ее временем обслуживания 5. Заметим также, что приращения на циклах регенерации процесса накопления {Я(£)} в стационарном режиме образуют положительно возвратный регенерирующий процесс. Поэтому с вероятностью 1 существует упоминавшийся выше предел
R(t) -
lim —— := До, t—— <^0 t
(21)
(22)
Ae = A, P
orb
Д0
A + До
(24)
Porb = 1--------IT.
P
который является интенсивностью потока неудачных попыток (т. е. потока, идущего на орбиту) и, одновременно, потока попыток (удачных и неудачных) попасть с орбиты на сервер. (Анализ процессов накопления можно найти в [Smith, 1955].)
Теперь сформулируем и докажем следующую теорему, обозначив р = (А + д0)Е£.
Теорема 2. В рассматриваемой системе £ с повторными вызовами предел
Доказательство. Напомним, что А(і) - общее число обращений к серверу (включая повторные попытки орбитальных заявок), и (і) - число успешных попыток, а Я(і) - число уходов на орбиту (т. е. число неудачных попыток), все - в интервале [0, і]. Очевидно, что А(і) = и (і) + Я(і). Определим исходную последовательность (независимых, одинаково распределенных) времен обслуживания заявок .] = {$1, $2,...}, из которой реальные времена обслуживания выбираются не в порядке поступления А-заявок, а в порядке успешных попыток попасть на сервер. Таким образом, если і-я попытка оказывается не успешной, т. е. соответствующая ей заявка уходит на орбиту (возможно, не в первый раз), то величина $ оказывается фиктивным временем обслуживания и выбрасывается из последовательности .]. Это правило назначения приводит к тому, что последовательность реальных времен обслуживания, вообще говоря, не совпадает с исходной последовательностью ■], что объясняет появление стохастических неравенств ниже (вместо неравенств с вероятностью 1). Пусть V (і) - число заявок на сервере в момент і (V(і) = 0 или 1). Независимо от режима работы системы выполняются следующие неравенства:
D(t)
£ s
i=1
st
rt A(t)
/ v(u)du ^,
о
(26)
всегда существует, и выполнено следующее равенство:
АеЕ5 = Р^, (23)
где Рь - стационарная вероятность занятости сервера. При этом
а) в стационарном режиме, т. е. при выполнении условия (1)
б) в нестационарном режиме, т. е. при выполнении условия (14)
Ae = (A + Д0)(1 P orb)
где индикатор /^ = 1, если і-я попытка успешна, і ^ 1. (Отметим, неравенства (19) также можно трактовать как стохастические.) Заметим, что оба неравенства переходят в равенство, если V(і) = 0. Иначе значение суммы слева меньше значения интеграла на уже прошедшую часть времени обслуживания заявки, находящейся на сервере в момент і, а сумма справа больше интеграла на оставшееся в момент і время обслуживания этой заявки. Поскольку в системе лишь один сервер, то процесс V (і) фактически является индикатором занятости, т. е. V(і) = /(V(і) > 0). Следовательно, предполагая, что существует слабый предел V(і) ^ V, получим
1 Ґ
ііт - v(u)du = Ev = Р^ > 0) := РЬи5У.
і у0
(27)
Далее доказательство проводится отдельно для стационарного и нестационарного режимов.
и
Стационарный режим. Пусть выполнено условие (1). Перепишем (26), усилив правое неравенство,
D(t) t A(t)
£ Si ^st / v(u)du ^ £ Si. (28)
i=i 70 i=i
Ввиду стационарности все A-заявки, поступающие в систему, в конце концов получают обслуживание (сразу или после возвращения с орбиты). Таким образом, с вероятностью 1,
A(t) - D(t) < N(t) + 1 = o(t). (29)
(Условие N(t) = o(t) следует из положительной возвратности процесса величины орбиты {N(t)}, см. [Smith, 1955; Morozov, 2004]). Отсюда следует что
lim
D(t) U (t) Л . ,
lim —:-----------------------— A, t — то, (30)
t—t t—t
и Ae = A. Поскольку с вероятностью 1
1 D(t) D(t) VD(t) S
iy Si = D(t^^ S - AES, t i t ’
i=1
D(t)
Однако случайные величины {$/у , і ^ 1} зависимы. Поэтому для корректного применения усиленного закона больших чисел будем использовать другое представление суммы 2^=1 /7 $7, опираясь на равенство
(32). Именно, запишем (для і > 0)
№ $
¿-а=1 $
(í) s 2^i=i Si
U (t) U (t) + R(t)
U (t) R(t) + U (t)
Очевидно, что
(34)
U (t) + R(t)
t
—— A + До,
U(t)
U (t) + R(t)
—— 1 — Porb, t —— ТО,
(35)
Отсюда, а также из (32) следует утверждение (33). Приравняв пределы (31) и (33), получаем
AES = (A + До )ES (1 — Porb),
(36)
и (í)
1/tE Si — AES, t — то,
(31)
i=1
то первое утверждение Теоремы 2 доказано. Далее, очевидно, что
U (í)
и (í)+R(í)
ES* =st E
Ij Sj.
(32)
i=1
j=1
(Напомним, что реализованные интервалы обслуживания $ при /у = 1 в (32) справа, вообще говоря, не совпадают с $ слева.) Кроме того, $ /у ^ £/», при і ^ то, где £ - типичное время обслуживания и /у ^ /те. Заметим, что событие /те = 1 означает поступление заявки на сервер в стационарном режиме. Поэтому Р(/те = 1) = 1 - Р(/ = 1) = 1 - РогЬ (см. (9)). Поскольку случайные величины $ и /у независимы для каждого і, то получаем Е(£/те) = Е£(1 — Рогь). Таким образом, учитывая также (21), можно было бы ожидать, что
. U(í)+R(í)
t Е Jj Sj — (A + До)Е^/те)
t j=1
= (A + До)ES (1 — P orb), t — то.
(33)
откуда следует формула (24) для вероятности ухода на орбиту в стационарном режиме. Нестационарный режим. Пусть выполняется условие (14). Так как тогда величина орбиты N (і) — то с вероятностью 1, то Я(і)/і — д0, и легко видеть, что теперь соотношение (33) выполнено с заменой До на д0. Далее, как и выше, получим
РЬ««у = (А + Д0)Е£(1 — РогЬ). (37)
Отсюда и из (26) следует Ае = (А+д0)(1 — РогЬ) и выражение (25). Теорема доказана. □
Заметим, что в случае пуассоновского А-потока в нестационарном режиме суммарный входной поток в систему также будет пуассоновским с параметром А + д0. Тогда, опираясь на свойство PASTA (по которому Рогб = Рь««у), для стационарной вероятности занятости из ((37)) получаем хорошо известное выражение
P
busy
р
/0 + 1
(38)
(Свойство PASTA рассматривается, например, в [Asmussen, 2002]).
t
t
Альтернативные оценки вероятности блокировки. Метод уменьшения дисперсии
Этот раздел в значительной мере опирается на важную работу [Spricant, Whitt, 1999]. Напомним, что прямая оценка вероятности блокировки имеет следующий вид:
Bn (t) =
R(t)
A(t)
(39)
Поскольку Bn(t) — Porb при t — то, то эта оценка состоятельная. Однако она представляет собой отношение двух величин, а такие оценки, вообще говоря, являются смещенными, т. е. EBn(t) = Porb. Но если процессы {R(t)} и {A(t)} имеют стационарные приращения, то, очевидно, ER(t)/EA(t) = Porb для любого t.
Близкая к прямой простая оценка, предложенная в [Spricant, Whitt, 1999], опирается на асимптотику процессов восстановления и принимает для рассматриваемой здесь системы вид
Bs (t) =
R(t)
(A + po)t
(40)
(B нестационарном режиме До заменяется на До.) Оценка Bs(t) может быть предпочтительнее прямой оценки в системе с потерями, где параметр д0 задан. Однако присутствие параметра Д0, требующего оценивания (наряду с R(t)), лишает ее данного преимущества в системе с повторными вызовами.
Гораздо более интересная непрямая оценка вероятности Porb, предложенная в [Spricant, Whitt, 1999], имеет вид
В/ (t) = 1 -
Pbusy (t)
(41)
где
1 ґ
Pbusy(t) := - v(u)du, (42)
t J 0
Р^у (¿) оценка В/ (¿) убывает (это видно из (41)), в то время как оценка BN(¿) должна расти, так как увеличение доли времени занятости сервера в системе с потерями увеличивает потери. Таким образом, оценки В/(¿) и BN(¿) должны быть отрицательно коррелированы.
Для системы с повторными вызовами было бы естественно использовать аналог этой оценки,
В/ (t) = 1 -
Pbusy (t)
(A + ^0(t))ES
(44)
где параметр до заменен на оцениваемый параметр д0(£) = Я(£)/£ - локальную интенсивность потока попыток, идущих с орбиты (и на орбиту) в интервале [0, ¿]. Заметим, что в стационарном режиме (см. (24))
В/ (t) — 1 - 4 = ^
Р A + ¿¿0
t — то. (45)
Преимущество комбинированной оценки (43)) в случае большой нагрузки в системе с потерями достигается за счет непрямой оценки (41). В рассматриваемой модели без потерь большая нагрузка, как правило, соответствует нестационарному режиму, в котором, как показано в разделе 5, комбинированная оценка действительно является более эффективной.
Ниже приведено краткое обоснование этого утверждения, следуя [Spricant, Whitt, 1999]. Для анализа эффективности оценок удобно представить отношение их дисперсий в виде
DBc (t) = DBc (t) DB/ (t) DBn (t) DB/ (t) DBn (t)
(46)
есть доля времени занятости сервера в интервале [0, t].
В работе [Spricant, Whitt, 1999] показано, что оценка (41) является более (менее) эффективной нежели оценка Bn (t) в случае большой (малой) нагрузки. (Большая эффективность означает меньшую дисперсию.) Это приводит к рассмотрению следующей комбинированной оценки
Bc (t) = pBn (t) + (1 - p) В/ (t), (43)
где параметр p выбирается таким образом, чтобы минимизировать дисперсию. Идея комбинирования основана на том, что с ростом
В [Spricant, Whitt, 1999] показано, что отношение дисперсий DBc(t)/DB/(t) зависит от отношения r2 := DB/(t)/DBN (t) и корреляции р := Corr(B/ (t), Bn (t)). (Для удобства мы иногда опускаем зависимость от t.) Можно показать, что
V (р) := DBc (t)
= dB/ (t)( p2 + (1 - p)
+ 2P(1 - P) P).
(47)
Несложно также показать, что вторая производная V/;(р) > 0 при всех р, а значит минимум достигается при р = р* таком, что VV) = 0, причем
* r(r - р)
р* =
1 + r2 - 2гр
(48)
2
При этом 0 < р* < 1, так как мы предполагаем неположительную корреляцию, р ^ 0. Окончательно минимальная дисперсия имеет вид:
V (p*) =
DBj(t)(1 - р2). 1 + r2 — 2rp
(49)
Поэтому коэффициент уменьшения дисперсии
V (p)
R(p) :=
DBi (t)
принимает при p = p* значение
R(p*) =
1 — P;
2
1 + r2 — 2rp
(50)
(51)
При г ^ 1 получим следующую нижнюю оценку выигрыша за счет использования комбинированной оценки
1 — P2
(52)
а при равных дисперсиях ^В/ = ^В^, т. е. при г = 1, получим Е(р*) = (1 + р)/2. Эта величина принимает большие значения лишь при р ~ — 1. В этом случае нижняя граница (52) может быть аппроксимирована как
1 — P2 ~ 1 + P
----------- ---------------.
4 2
(53)
Таким образом, при равных дисперсиях прямой и непрямой оценок и сильной отрицательной корреляции получаем Л(р*) ~ 0, т. е. очень значительное уменьшение дисперсии. При малом г (т. е. при ^В/ ^ ^В^) из (51) следует
lim fí(p*) = 1 — р2,
r—у 0
(54)
независимо от знака р, что дает большой выигрыш при |р| ~ 1. Предел (54) отличается от нижней границы для r в (52), достигаемой при r = 1 и р « -1, в 4 раза. Согласно [Spricant, Whitt, 1999], в случае малых значений r уменьшение дисперсии в (46) можно приближенно выразить через произведение 1 — р2 и г. Поэтому, как было сказано выше, комбинированная оценка особенно эффективна, когда р « — 1.
Как показано в следующем разделе, приведенные выше результаты для системы с потерями хорошо согласуются с результатами численного моделирования исходной системы с повторными вызовами без потерь. Это вновь подтверждает определенную близость двух данных систем, что уже было показано при анализа стационарности.
Численное моделирование системы типа М/С/1
В данном разделе представлены результаты оценивания вероятности блокировки РогЬ в исходной системе £ типа М/С/1/1 с повторными вызовами с использованием регенеративного метода. Имитационное моделирование проведено для 20 000 заявок. Заметим, что оценки построены на основе соответствующего числа регенераций (или квази-регенераций), полученных в результате процедуры моделирования. Однако для удобства, зависимость оценок от числа заявок (или регенераций) опущена. Положим А = 1 и обозначим через
Г
1
д — 1---------,
До
(55)
разность правой и левой частей в условии (6). Эта величина характеризует меру стационарности системы, поскольку Г > 0 (Г < 0) в области стационарности (нестационарности).
Зоны стационарности/нестационарности данной системы представлены на рис. 1, где граница зон определяется уравнением Г = 0.
Рис. 1. Зоны стационарности/ нестационарности системы типа M/M/1/1 при А =1
Обсудим результаты, представленные в табл. 1. В области стационарности (т. е. при Г > 0), значение прямой оценки Bn = Bn (t) отличается от значения вероятности потери P¿oí¡í¡, получаемого по формуле Эрланга. При этом, чем больше значение Г (т. е. чем «глубже» в области стационарности выбраны параметры д, до), тем больше значение разности Pioss — Bn > 0. Как уже отмечалось в разделе
1, это вызвано убыванием интенсивности потока заявок, идущих на орбиту, что, в свою очередь, вызывает убывание вероятности
0
№ До До Д Р Г P1oss Bn В/ Вс r2 Р DBc DBn
1 10,0 0,11 15,0 0,07 13,90 0,423 0,100 0,007 -0,035 1,562 0,907 1,467
2 5,0 0,44 5,0 0,29 3,80 0,545 0,296 0,081 0,112 0,879 0,913 0,876
3 17,0 1,36 4,0 0,59 2,94 0,818 0,595 0,254 0,054 0,531 0,908 0,449
4 2,0 1,99 1,0 2,99 -0,50 0,750 0,748 0,751 0,750 0,071 -0,556 0,036
5 6,0 5,91 0,3 23,04 -0,87 0,959 0,958 0,959 0,959 0,001 -0,702 0,000
6 0,1 0,10 2,0 0,55 -9,00 0,355 0,355 0,354 0,354 3,309 -0,358 1,702
7 10,0 5,36 1,5 4,24 0,40 0,880 0,840 0,781 0,735 0,325 0,932 0,163
Porb и возрастание разности Pioss — Porb. Отметим, что прямая и непрямая оценки в стационарном режиме положительно коррелируют, р > 0. Кроме того, заметим, что в стационарном режиме загрузка может быть низкой даже в случае достаточного больших значений до, поскольку реальная интенсивность до может быть достаточно мала (см. табл. 1, строка 3). Отметим, что в «глубине» области стационарности г2 > 1, т. е. дисперсия непрямой оценки больше дисперсии прямой оценки (см. табл. 1, строка 1). Поэтому для оценивания Porb следует использовать лишь прямую оценку Bn. (Это полностью соответствует случаю малой нагрузки в системе с потерями [Spricant, Whitt, 1999]). В нестационарном случае прямая и непрямая оценки отрицательно коррелируют, р < 0. При этом максимальное снижение дисперсии достигается при больших значениях р, т. е. при большой загрузке, что вновь соответствует результатам работы [Spricant, Whitt, 1999] для системы с потерями. Заметим, что при малом г2 и р ~ —1, дисперсия комбинированной оценки снижается практически до нуля (табл. 1, строка 5), что соответствует выводу из формулы (54). Однако сильная нестационарность (т. е. большое отрицательное значение Г) не гарантирует большую загрузку системы (табл. 1, строка 6). В частности, при выполнении двойного неравенства
1
1+ До <д< 1+-------,
До
(56)
система нестационарна при малой загрузке, т. е. при р < 1. В этом случае дисперсия непрямой оценки превышает дисперсию прямой оценки BN (строка 6) и комбинирование не имеет смысла.
Таким образом, в системе типа М/М/1/1 комбинированная оценка Вс эффективна (и близка к прямой) только при большом значении р в нестационарном режиме. В противном случае более эффективна прямая оценка BN.
Области значений параметров д и д0, определяющие малую/большую загрузку, представлены на рис. 2.
Рис. 2. Области малой (р < 1) и большой (р > 1) загрузки в зоне нестационарности системы типа M/M/1/1 при А = 1
Обратимся к анализу результатов оценивания в системе типа М/Раге£о/1/1, представленных в табл. 2. В данном случае мера стационарности равна
Г = 1 - А - 1 - —.
а д0
(57)
Эта величина (при фиксированном Л) увеличивается с ростом д0 и а. Коэффициент загрузки в данной системе равен
Р = (А + До)
а
а1
(58)
и возрастает (при фиксированном А) с ростом До.
Как видно из табл. 2 (см. табл. 2, строки 1-3), изменения параметра До (в области больших значений) мало влияют на величину Д0. (Это связано с тем, что в глубине области стационарности орбита имеет большой запас мощности равный д0 — Д0.) Таким обра-
№ До До а р Г P1oss Bn Bi Вс r2 Р DBc DBn
1 10,00 3,01 10 3,90 0,37 0,921 0,856 0,770 0,695 0,302 0,953 0,108
2 5,00 2,22 5 3,40 0,25 0,873 0,814 0,735 0,663 0,320 0,953 0,122
3 2,00 1,66 3 3,23 0,04 0,789 0,770 0,713 0,657 0,332 0,958 0,119
4 1,00 1,00 3 2,25 -0,08 0,692 0,694 0,694 0,694 0,099 -0,085 0,085
5 0,05 0,05 3 0,83 -4,83 0,452 0,452 0,452 0,452 0,938 -0,058 0,456
6 0,05 0,05 10 0,61 -4,60 0,379 0,380 0,378 0,379 1,892 -0,008 1,228
зом, значение коэффициента загрузки р остается стабильным и достаточно большим. Это, в свою очередь, влечет эффективность оценки Вс (см. последний столбец), что вновь согласуется с результатами [Spricant, Whitt, 1999]. По аналогии с системой M/M/1/1, можно получить следующее двойное неравенство, соответствующее зоне нестационарности при малой загрузке (р < 1),
1-----(Л + До) < — < 1 — (Л + До). (59)
До а
Следовательно, в зоне нестационарности система имеет малую загрузку только при Л < Д0. В этом случае эффективность оценки Вс уменьшается (см. строки 4-5), что вновь согласуется с результатами для системы с потерями.
Области значения параметров а и д0, определяющие малую/большую загрузку в зоне нестационарности системы M/Pareto/1/1, представлены на рис. 3.
0 0.5 1 1.5 2 2.5 3 3.5 4
Рис. 3. Области малой и большой загрузки в зоне нестационарности системы типа Ы/РатвЬо/1/1 при Л = 0, 5
Заметим, что при определенной конфигурации параметров система находится в зоне стационарности при большой загрузке (р > 1) (табл. 1, строка 7; табл. 2 строки 1-3). В этом
случае оценка Вс обладает меньшей дисперсией, однако ее значение систематически меньше значения прямой оценки Bn. Это говорит о том, что в зоне стационарности использовать комбинированную оценку нежелательно. Причина такой несогласованности оценок пока остается неясной и требует дальнейшего исследования. Скорее всего, это связано с различием между исходной системой с повторными вызовами и системой с потерями, для которой изначально были построены данные оценки.
Подчеркнем, что в обеих исследованных системах малая загрузка сочетается с нестацио-нарностью, и это отражает их существенное отличие от системы с потерями.
Заключение
В статье рассмотрена проблема оценивания вероятности блокировки в системе с повторными вызовами и постоянной скоростью возвращения заявок с орбиты на сервер. Приведено условие стационарности такой системы. Обсуждается обобщенная формула Литтла, на основе которой найдены соотношения для вероятности блокировки как в стационарном, так и в нестационарном режимах. Рассмотрены две основные альтернативные статистические оценки вероятности блокировки, имеющие отрицательную корреляцию в нестационарном режиме. Это позволяет построить комбинированную оценку, имеющую существенно меньшую дисперсию. Проведено статистическое оценивание вероятности блокировки в стационарном режиме с использованием классической регенерации, а также в нестационарном режиме с использованием newline квази-регенерации. Представленные численные расчеты хорошо согласуются с теоретическими условиями стационарности, а также с результатами работы [Spricant, Whitt, 1999] (для системы с потерями) об эффективности комбинированной оценки при большой загрузке.
Работа выполнена при поддержке РФФИ, проект 10-07-00017.
Литература
Asmussen S. Applied Probability and Queues // Springer, 2002. 440 p.
Avrachenkov K., Goricheva R. S., Morozov E. V. Verification of stability region of a retrial queuing system by regenerative method // Proceedings of the Intenational Conference «Modern Probabilistic Methods for Analysis and optimization of Information and Telecommunication Networks». Minsk, 2011. P. 22-28.
Avrachenkov K., Morozov E. V. Stability analysis of GI/G/c/K Retrial Queue with Constant Retrial Rate // INRIA(Sophia Antipolis), Research Report. 2010. N. 7335.
Avrachenkov K., Yechiali U. Retrial networks with finite buffers and their application to Internet data traffic // Probability in the Engineering and Informational Sciences. 2008. Vol. 22. P. 519-536.
Bratley P., Fox B. L. A guide to simulation // New York: Springer-Verlag, 1987. 424 p.
Choi B. D, Rhee K. H., Park K. K. The M/G/1 retrial queue with retrial rate control policy // Probability in the Engineering and Informational Sciences, 1993. Vol. 7. P. 29-46.
Fayolle G. A simple telephone exchange with delayed feedback / In O. J. Boxma, J. W. Cohen and H. C. Tijms (ed.) // Teletraffic Analysis and
СВЕДЕНИЯ ОБ АВТОРАХ:
Морозов Евсей Викторович
ведущий научный сотрудник, д. ф.-м. н.
Институт прикладных математических исследований КарНЦ РАН
ул. Пушкинская, 11, Петрозаводск, Республика
Карелия, Россия, 185910
эл. почта: [email protected]
тел.: (8142) 763370
Некрасова Руслана Сергеевна
аспирантка
Институт прикладных математических исследований КарНЦ РАН
ул. Пушкинская, 11, Петрозаводск, Республика Карелия, Россия, 185910 эл. почта: [email protected] тел.: (8142) 763370
Computer Performance Evaluation. 1986. Vol. 7. P. 245-253.
Glynn P. W, Iglehart D. L. Conditions for the applicability of the regenerative method // Management Science. 1993. Vol. 39. P. 1108-1111.
Law A.M., Kelton W. D. Simulation modeling and analysis. New York: McGraw-Hill, 2000. 560 p.
Morozov E. V. Weak regeneration in modeling of queueing processes // Queueing Systems. 2004. Vol. 46. P. 295-315.
Smith W. L. Regenerative stochastic processes // Proc. Roy. Soc. 1955. Ser. A 232. P. 6-31.
Sonderman D. Comparing multi-server queues with finite waitng rooms, I: Same number of servers // Advances in Applied Probability. 1979. Vol. 11. P. 439-447.
Sonderman D. Comparing multi-server queues with finite waiting rooms, II: Different number of servers // Advances in Applied Probability. 1981. Vol.
11. P. 448-455.
Spricant R., Whitt W. Variance reduction in simulations of loss models // Operation research. 1999. Vol. 47, N. 4. P. 509-523.
Whitt W. Comparing counting processes and queues // Advances in Applied Probability. 1981. Vol. 13. P. 207-220.
Wolff R. W. Stochastic Modeling and the Theory of Queues // Prentice-Hall, 1989. 560 p.
Morozov, Evsey
Institute of Applied Mathematical Research, Karelian Research Centre, Russian Academy of Science 11 Pushkinskaya St., 185910 Petrozavodsk, Karelia, Russia
e-mail: [email protected] tel.: (8142) 763370
Nekrasova, Ruslana
Institute of Applied Mathematical Research, Karelian Research Centre, Russian Academy of Science 11 Pushkinskaya St., 185910 Petrozavodsk, Karelia, Russia
e-mail: [email protected] tel.: (8142) 763370
