CC BY
52
Труды Карельского научного центра РАН № 7. 2018. С. 68-82 doi: 10.17076/mat838
УДК 004.01:006.72 (470.22)
МЕТОДЫ РЕГЕНЕРАТИВНОГО МОДЕЛИРОВАНИЯ ДЛЯ АНАЛИЗА МНОГОСЕРВЕРНЫХ СИСТЕМ ОБСЛУЖИВАНИЯ
И. В. Пешкова1, А. С. Румянцев2
1 Петрозаводский государственный университет, Россия
2 Институт прикладных математических исследований КарНЦ РАН, ФИЦ «Карельский научный центр РАН», Петрозаводск, Россия
В статье представлены методы регенеративного моделирования многосерверных систем обслуживания в применении к доверительному оцениванию их характеристик. Кроме хорошо известных методов построения классической и слабой регенерации представлены менее известные и в значительной мере новые методы искусственной регенерации и регенеративных огибающих в применении к современным моделям многосерверных систем с управлением энергоэффективностью и вычислительного кластера.
Ключевые слова: регенеративное моделирование; доверительное оценивание; многосерверные системы; метод расщепления; метод регенеративных огибающих; высокопроизводительный вычислительный кластер.
I. V. Peshkova, A. S. Rumyantsev. REGENERATIVE SIMULATION METHODS FOR MULTISERVER SYSTEMS
We present regeneration techniques for perfomance estimation of multiserver system characteristics. Providing a necessary background of classical and weak regeneration notions, we focus on less well-known and mainly new construction of artificial classical regeneration, as well as recent method of regenerative envelopes for modeling modern energy efficient multiserver systems and high-performance computing cluster.
Keywords: regenerative simulation; confidence estimation; multiserver systems; splitting; high-performance computing cluster.
Введение
Современные вычислительные системы, как правило, имеют многопроцессорную или многоядерную архитектуру. Это обусловлено как физическими особенностями современного технологического процесса производства микросхем [34], так и потребностью в создании вычислителей большой мощности, пригодных для решения вычислительноемких задач
(таких, например, как моделирование климата). Развитие каналов связи и коммуникационных сетей позволяет осуществлять перенос части задач в так называемые облачные системы, в которых вычисления производятся удаленно, на оборудовании поставщика услуг, на гибко выделяемой части ресурсов из общего пула серверов (как правило, расположенных в нескольких центрах обработки данных). Пе-
редача данных до конечного потребителя в современных сетях также предполагает согласованную работу нескольких устройств, а кроме того, работу с несколькими каналами, в том числе для решения задач снижения задержек и оптимизации пропускной способности.
Исследование характеристик качества обслуживания, надежности, энергоэффективности таких систем можно проводить методами теории массового обслуживания. Модели таких систем в рамках теории массового обслуживания относятся к классу многосерверных. В то же время особенности вычислительных систем и сетей, такие как неконсервативность дисциплины обслуживания (возможность простоя оборудования при наличии ожидающих клиентов) [30] и сложная структура входного потока клиентов [14], затрудняют получение аналитических результатов. Таким образом, необходимо применение методов стохастического моделирования и надежного оценивания характеристик систем.
Регенеративный метод является одним из самых мощных инструментов моделирования неклассических систем обслуживания [2]. Этот метод позволяет проводить доверительное оценивание характеристик системы даже в случае, когда классическое оценивание неприменимо (например, в случае наличия зависимости в исследуемом процессе). Метод основан на выделении так называемых циклов регенерации на траектории исследуемого процесса, между которыми отсутствует либо имеется лишь слабая зависимость, что позволяет применять аналог центральной предельной теоремы для построения доверительного интервала характеристики процесса [9]. Основная цель данной работы состоит в следующем: исследовать применимость методов регенеративного моделирования для анализа новых моделей многосерверных систем обслуживания. Важной задачей работы является развитие регенеративного метода для анализа больших систем, таких как программно определяемые сети и вычислительные кластеры. Указанные объекты обладают большим объемом вспомогательной информации (например, информации об ожидании заявки на узлах сети при прохождении маршрута), которая позволяет идентифицировать регенерацию конструктивно. В свою очередь, конструктивное построение моментов регенерации позволит проводить доверительное оценивание практически важных метрик производительности больших систем.
Классическая регенерация является достаточно хорошо изученным типом регенерации
[9, 19, 31, 35], в которой в качестве моментов регенерации используются, например, моменты опустошения системы (когда нет заявок ни в очереди системы, ни на обслуживании), а циклы регенерации являются независимыми. Критерий стационарности односерверной системы обслуживания гарантирует существование бесконечной последовательности таких моментов [9]. В то же время наличие моментов классической регенерации в модели многосерверной системы не гарантировано. Слабая регенерация означает попадание исследуемого процесса в определенное множество состояний, а также допускает зависимость на соседних циклах регенерации [9, 36], тем самым расширяя возможности ее использования для моделирования более сложных, в том числе многосерверных систем. Для построения моментов слабой регенерации могут использоваться конструкция обновляющих событий Боров-кова [15, 16, 20] или метод расщепления цепей Маркова, возвратных по Харрису [18, 33]. При этом указанные методы позволяют исследовать многосерверные модели в достаточно общем случае (например, при произвольных распределениях интервалов между приходами клиентов и времени их обслуживания). Указанные типы регенерации пригодны для анализа классических систем, однако при анализе современных моделей (таких, как модели высокопроизводительных и распределенных вычислительных систем) возникают трудности, требующие доработки или адаптации методов.
Для успешного применения существующих методов регенеративного оценивания необходимо гарантировать конечность средней длины цикла регенерации. В ряде случаев такое условие обеспечить затруднительно (например, если достаточные условия стационарности системы не гарантируют существования классической регенерации). Одним из перспективных методов разрешения данного затруднения является метод искусственной регенерации с помощью экспоненциального расщепления плотности [8]. Другим новым подходом является метод регенеративных огибающих. Суть метода сводится к замене исходной системы на основе так называемого метода каплинга [6, 7] и свойства монотонности исследуемых процессов парой систем [25] (ми-норантной и мажорантной), которые регенерируют в классическом смысле и используются для построения доверительного интервала характеристики исходной системы. В данной статье применение указанных методов продемонстрировано на моделях современных вычислительных систем.
Изложение построено по усложнению методов, адекватному усложнению моделей. Более точно структура работы следующая. В первом разделе представлен метод построения классической регенерации, для иллюстрации метода исследуется модель односерверной системы. Далее приводятся два метода построения моментов слабой регенерации: метод обновляющих событий и метод расщепления цепи Маркова, возвратной по Харрису. Применение методов проиллюстрировано на классической многосерверной модели. В следующем разделе рассматривается метод искусственной регенерации с использованием экспоненциального расщепления плотности. Иллюстрация метода проведена на основе исследования энергоэффективности многосерверной системы с управлением активностью серверов (в указанной системе классические моменты регенерации отсутствуют). Далее представлен метод регенеративных огибающих, работа которого продемонстрирована на модели высокопроизводительного вычислительного кластера. Наконец, представлены практические аспекты построения доверительных интервалов для характеристик регенерирующих процессов.
Классическая регенерация
Определение 1. Случайный процесс 2 = (2(¿)}^о € Е с непрерывными справа траекториями называется регенерирующим в классическом смысле [35], если найдется такой процесс восстановления в = (вп = ао + ■ ■ ■ + ап, п ^ 0}, что для к ^ 0 процесс
^ (2, в) := ((2(вк + *)Ьо, (вг - вк}г>к}
(1)
обладает следующими свойствами:
(1) распределение 0рк (2, в) не зависит от к;
(2) процесс врк (2, в) не зависит от предыстории ((2(¿)Ь<вк,во,...,вк}.
Процесс в называется процессом восстановления, вложенным в процесс 2, а моменты вк называются моментами классической регенерации. Заметим, что последовательность моментов регенераций не обязательно уникальна. Значения Ок процесса между соседними моментами регенерации (м.р.) называют циклами регенерации, т. е.
Ок = (2(г + вк)}о^<ак+1, к > 0,
при этом элемент (2(г)}^а0 называют задержкой (если ао = во = 0, то говорят о процессе без задержки). Будем считать, что длина задержки конечна с вероятностью 1, ао < те.
Длины циклов регенерации (ак,к ^ 1} классически регенерирующих процессов являются независимыми и одинаково распределенными (н.о.р.) случайными величинами (с.в.), и циклы процесса являются н.о.р. Регенерирующие процессы с конечной средней длиной цикла регенерации Ба1 < те называются положительно возвратными.
Одно из важных свойств регенерирующих процессов состоит в том, что предельное распределение регенерирующего процесса существует при достаточно слабых условиях.
Теорема 1. [9] Пусть длина первого цикла а1 положительно возвратного регенерирующего процесса 2 - нерешетчатая, т. е. не существует такого числа I > 0, что выполняется равен-
\
ство Р Е (а1 = а + jd} = 1, где а € И,. То-
у=1 У
гда существует предельное распределение Ре процесса 2 при г ^ те, и для ограниченной измеримой функции /(2) : Е ^ М+ выполнено соотношение
1 Г1
Ее/(2) = — Ео у /(2(в))1в, (2)
где Ео - математическое ожидание процесса без задержки (естественно считать /(2) некоторой характеристикой системы).
Кроме того, если / непрерывна почти всюду, то выполняется соотношение
Ео/(2(г)) ^ Ее/(2), г ^ те.
Классическая регенерация процесса с дискретным временем 2 = (2п}п^1 определяется аналогично, а процесс восстановления в определен на множестве натуральных чисел N. Для регенерирующего в классическом смысле процесса с дискретным временем циклы Ок = (2г}рк^г<рк+1 независимы и одинаково распределены для всех к ^ 1. Соотношение (2) в теореме 1 для процесса с дискретным временем [3] принимает вид
Ее(/(2)) =
Ео (Ев:-1 /(2г))
Еа1
(3)
Система О1/О/1
В качестве моментов классической регенерации при исследовании систем часто используются моменты опустошения системы (если оно возможно). Примером системы, в которой критерий стационарности гарантирует наступление опустошения, является односервер-ная система О1/О/1. Напомним, в такой системе в моменты 0 = го < г1,..., образующие процесс восстановления, поступают клиенты,
70
при этом клиенту г требуется Si единиц времени для обслуживания на единственном сервере. Клиент г ожидает в общей неограниченной очереди время Di ^ 0 и по окончании обслуживания покидает систему. Времена между приходами {Т := ^ — ^-1} и времена обслуживания {Si}, г ^ 1 являются н.о.р.с.в. Время ожидания каждого клиента можно определить с помощью хорошо известной стохастической рекуррентной последовательности, рекурсии Линдли:
А+1 = (А + ^ — Т,)+, г ^ 1, (4)
где Dl =0 есть время ожидания первого клиента (процесс без задержки), а (■)+ = тах(0, ■). Отметим, что рекурсия (4) определяет оставшуюся работу (нагрузку) Di в системе в момент времени ¿_ перед приходом клиента г. Известно [9], что стационарное время ожидания существует тогда и только тогда, когда
Е(Т — S) > 0 или р := -< 1, (5)
где ЕТ = 1/А. ES = 1/^ (нижних индексов лишены типичные время между приходами и время обслуживания). В качестве моментов регенерации можно определить моменты прихода клиентов в пустую систему [9]:
вк = тт{г > вк_1 : Di = 0}.
При этом во = 0 и можно показать, что с.в. а - непериодическая, поскольку (5) влечет
Р(а1 = 1) = Р(Т — S > 0) > 0.
Отметим, что цикл регенерации в такой системе состоит из цикла занятости сервера (в течение которого каждый приходящий клиент вынужден ожидать) и последующего интервала простоя сервера. При этом процесс с последовательностью в является положительно возвратным регенерирующим процессом в классическом смысле тогда и только тогда, когда выполнен критерий (5) [4, 9].
Слабая регенерация
С. Асмуссен и Х. Торрисон [9, 36] обобщили понятие классической регенерации до так называемой регенерации в широком смысле, при которой допускается зависимость между циклами регенерации. Более точно, в определении 1 свойство (2) заменяется на следующее [35]:
(2') процесс врк в) не зависит от {во,...,вк }.
На практике широко используется частный случай регенерации в широком смысле, слабая (однозависимая) регенерация, при которой допускается зависимость лишь между соседними циклами регенерации. Отметим, что при слабой регенерации процесс в = {вп,п ^ 0} по-прежнему является процессом восстановления. Как и в случае классической регенерации, существует предельное распределение Ре процесса Z [3, 9], и теорема 1 справедлива.
Метод обновляющих событий
Для построения моментов слабой регенерации можно использовать метод обновляющих событий А. А. Боровкова [15, 16, 20]. Метод основан на определении так называемых периодов обновления и разработан для стохастических рекуррентных последовательностей, широко применяемых в анализе систем обслуживания (примером такой последовательности является рекурсия Линдли (4)).
Пусть последовательность опреде-
ляется с помощью наперед заданной управляющей последовательности {Хп}п^1 следующим одношаговым рекуррентным соотношением:
Z„+l = п ^ 1,
где н.о.р.с.в. Хп принимают значения на некотором пространстве состояний X, $1 : Е х X ^ Е - измеримая функция. Элементы Хп £ X обычно используются для описания входного потока и длительностей обслуживания клиентов системы, например, Хп = (Тп^п) для системы С//С/1. Разворачивая рекурсию от шага п на Ь шагов вперед, получим выражение для вычисления значения Zn+¿:
= дь(2 Xn, . . . , Хп+Ь_1)
где дь : Е х Хь ^ Е и Хь = X х ■ ■ ■ х X. Если при этом найдутся множество С £ Е и измеримые подмножества Вь £ XL такие, что для любых значений 21, 22 £ С и (ж1,... , жь) £ Вь выполняется соотношение
дь(^1,Ж1,...,жь) = дь(^2,Ж1,... ,жь), (6)
то говорят о независимости от прошлого процесса Z через Ь шагов после попадания процесса во множество С на шаге п и элементов {Хп,..., Хп+ь_1} во множество Вь. При этом момент п + Ь наступления события
Оп = {Zn £ С, (Хп,..., Хп+ь_1) £ Вь}
является моментом регенерации, т. е. моменты регенерации можно определить следующим образом:
вк = тт{п + Ь>вк_1 :1{^п} = 1}, к> 1,
где 1(0} - индикатор случайного события О. Заметим, что если множество С состоит только из одной точки, то равенство (6) выполняется автоматически для любых Ь и Д^.
Отметим, что цепочка обновляющих событий, приводящая к слабой регенерации, предполагает алгебраическую независимость процесса от предыстории. При этом поведение слабо регенерирующего процесса после момента регенерации зависит от Ь значений процесса на предыдущем цикле. При таком определении циклы регенерации являются одноза-висимыми (т. е. зависимы только два соседних цикла) [11, 17], однако сдвинутый процесс (2п+вк}п^о не зависит от моментов регенерации (во,..., вк}. Следовательно, процесс 2 является слабо регенерирующим. Событие 0п называется обновляющим событием [1]. Если событие 0п происходит, то интервал [п, п + Ь) является периодом обновления, момент п + Ь является моментом регенерации, а распределение процесса в момент п + Ь := Р(2п+^ € ■) называется мерой регенерации.
Оистема О1/О/т
В отличие от односерверной системы критерий стационарности многосерверной системы не гарантирует ее опустошения и, следовательно, существования моментов классической регенерации. Действительно, рассмотрим т-серверную систему обслуживания £ типа О1/О/т, адаптировав обозначения потока клиентов из анализа системы О1/О/1. Рассмотрим вектор Кифера - Вольфовица Жп = (Жпд,..., Жп,т), содержащий упорядоченную по возрастанию нагрузку (незавершенную работу) на серверах в момент г-, включая ожидающих в очереди клиентов (обслуживание которых ведется в порядке поступления). Одношаговое рекуррентное соотношение для вектора нагрузки, предложенное в работе [21], является многомерным аналогом рекурсии Линдли (4):
^п+1 = Я(^п + 1£п - 1Тп)+, (7)
где 1 = (1, 0,..., 0); 1 = (1,..., 1) и оператор Я(-) упорядочивает компоненты вектора в порядке возрастания. Заметим, что значение := Жп,1 является временем ожидания клиента п, при этом моменты прихода клиентов являются последовательными моментами дискретного времени системы.
Критерий стационарности процесса нагрузки обобщает (5) следующим образом:
Е(тТ - 5) > 0 или р < т. (8)
Условие (8) гарантирует лишь условие Р(тТ— Б > 0) > 0, т. е. в «худшем» случае [12]
шт(г ^ 0 : 8 < й} = т, (9)
где
8 = 8ир(ж : Р(5 ^ ж) = 1}, t = М(ж : Р(Т ^ ж) = 1}.
Отметим, что если t = те либо 8 = 0, то Р(Т — 5> 0) > 0 и система может полностью опустошаться, см. [4, 32, 38]. Условие (9) означает, что в системе после шага т — 1 всегда находится не менее т — 1 заявки. Действительно, рассмотрим систему £* с детерминированным входным потоком Т* = = 8. Из усло-
вия (9) следует, что до шага т - 1 в системе не произойдет ни одного ухода, т. е.
= V := (0, 8 - (т - 1)^ ..., 8 -
Перед приходом клиента т гарантированно произойдет уход клиента, т. е.
жт = +18 - lt)+ = V. (10)
При этом можно показать, опираясь на свойство монотонности процесса Жп относительно управляющих последовательностей [37], что поскольку Тп ^ ^ 5п ^ 8, то Жп ^ Ж* (по вероятности). Таким образом, при любых управляющих последовательностях нагрузка в системе £ всегда не менее V.
Соотношение (10) подсказывает метод построения обновляющего события: необходимо, чтобы цепь Жп оказалась «достаточно близко» к значению V и при этом управляющие последовательности Тп и 5п оказались «достаточно близко» к значениям t и 8 соответственно [12, 22, 36]. Для того чтобы приблизить значение Жп к V, необходимо прежде всего показать, что Жп не растет неограниченно по вероятности, если выполнено (8). Действительно, предположим обратное: для любого ж > 0 и любого ео > 0 найдется по = по (ео, ж) < те такое, что Р(^п ^ ж) < ео для всех п ^ по. Рассмотрим приращение суммарной работы за один приход:
т
Дп = ^(Жп+М - Жп,г) < 5п.
г=1
Заметим, что если = Жп,1 > ^ то все серверы системы работают без простоев, и из (7) следует, что Жп+1,г > 0 (поскольку уменьшение нагрузки на каждом сервере составит Тп ^ t), поэтому
Е(Дп) = Е(Дп|^п < ^Ррп < t) + + Е(Дп|^п > ^Р(£п > t) < < ЕБп^о +Е(5п - тТп)(1 - £о). (11)
За счет произвольности выбора £о и использования условия (8) правая часть может быть сделана строго отрицательной для всех п > п0(£0, ;). Это означает, что
т т
Е ^ Жщ < Е ^ ^ < nоES < то,
i=1
,= 1
что противоречит предположению. Таким образом, время ожидания в системе не растет неограниченно по вероятности, т. е. найдется неслучайная последовательность {2,, г ^ 1}, постоянные Dо < то, £1 > 0 такие, что
МРр^ < Dо) ^ £1.
Наконец, используя стохастическую ограниченность процесса {Жп,т — Жп,1}п^1 [9, 23], можно показать, что (вообще говоря, для некоторой подпоследовательности 2,, при необходимости увеличив Dо, уменьшив £1 и переобозначив элементы последовательности)
Р(Ж*4 < 1Dо) ^ £1.
(12)
Таким образом, процесс {Жп}п^1 бесконечно часто с положительной вероятностью ^ £1 попадает в компакт {ж £ Е : ж ^ 1Dо} в неслучайные моменты {2,}.
Рассмотрим один из таких моментов 21. Будем приближать вектор нагрузки, заключенный в компакт 1Dо, к вектору V. Для этого построим циклы разгрузки, состоящие из т последовательных наступлений следующего события положительной вероятности:
Н = {Т £ 0; — г,t],Si £ [8,8 + г)},
где г выбирается так, чтобы было выполнено неравенство
0<г<
т; — в т + 1
(13)
к1 = т
Dо — (т —1)(; — г) го
шагов получим Ж^+к < D1 для некоторого Dо < 1(т — 1)(; — г). Здесь [а] означает наименьшее целое больше а. Выполнив еще т — 1 шаг, заметим, что первая компонента вектора Жг1+к1+т_1 обращается в нуль, т. е. один из серверов освободится:
^1+к1+т-1 < (0, D1 + 8 — (т — 1); + тг,...).
На следующем шаге заявка, поступившая без ожидания, займет в векторе последнее место (поскольку из (13) D1 — г0 < в — £ + 2г):
^1+к1+т < (Dо1 — го,..., D¿ — го, в — £ + 2г).
При этом нагрузка на остальных серверах уменьшилась не менее чем на величину го. Заметим также, что из (13) следует, что Жг1+к1+,т-1,1 = 0 для любого целого г ^ 1. Продолжая т-шаговые циклы разгрузки, не более чем через к2 = т[■] шагов добьемся, что две последовательные заявки поступят без ожидания, при этом нагрузка на остальных серверах может только уменьшиться. Продолжая процедуру, можно заметить, что число шагов ко с момента прихода заявки 21 (момента первого попадания в компакт ^ 1Dо), необходимое для получения серии из т — 1 последовательных заявок, поступающих на обслуживание без ожидания, определяется соотношением _ _
ко < т " Dо "
го
(14)
При этом, даже если в «худшем» случае Dо > (т — 1)(; — г), то уже к моменту 21 + т из (7) следует
< 1(Dо + 8 — т; + (т + 1)г) < 1(Dо — го),
где величина г0 := —(8 — т; + (т + 1)г) > 0 равна минимальной разгрузке каждого сервера. Заметим, однако, что разгрузка всех серверов происходит лишь через т шагов, поскольку из (9) следует (т — 1)£ — в < 0. Продолжая реализовывать событие Н,, через
Кроме того, (14) влечет Dо — к0г0 < 0, поэтому в момент времени ,+к выполнено
Ж^+кс < (0,8 — (т — 1); + тг,..., 8 —; + 2г).
Таким образом, в момент дискретного времени 21 +ко в системе одновременно обслуживаются не более т — 1 последних пришедших заявок, которые поступили на обслуживание без задержки. Это означает, что будущее процесса нагрузки {Жг1+к0+,},^0 не зависит от его прошлого до момента 21 + ко — т. Отметим, что данная процедура построения моментов регенерации уточняет конструкции в [12, 36]. Осталось указать, что обновление происходит с вероятностью, не меньшей чем
£2 := Р(Н,)кс > 0. (15)
Соответственно, множество С для процесса {Жп} можно определить так:
С = {ж £ Е : ж < Шо},
длительность периода обновления Ь ^ ко, и множество Вь для управляющих последовательностей связано с событием Н, таким образом:
Вь = {т £ (;—г,^ £ [8,8+г), г = 1,...,ь}.
При этом из (12) и (15) следует, что событие 0п (регенерация Жп) происходит на интервале [¿¿; + ко] с вероятностью не меньше £1^2 > 0. Отметим, что можно доказать конечность средней длины цикла регенерации, Еа1 < те [13], см. также [4, 23].
Возвратность по Харрису
Регенерация в классическом смысле, как правило, связана с попаданием цепи Маркова (процесса) в определенное состояние, например, нулевое (опустошение системы), при этом циклы регенерации являются независимыми. Как показано ранее, такое состояние не всегда существует. Это вызвало необходимость расширить понятие классической регенерации. Слабая регенерация допускает попадание цепи и управляющей последовательности в определенное множество состояний, при этом ослабляя требование независимости циклов регенерации. Подобными свойствами возвращения в некоторое множество с положительной вероятностью обладают цепи Маркова, возвратные по Харрису.
Рассмотрим однородную цепь Маркова (2п}п^1 с начальным состоянием 21 = ж € Е и г-шаговым переходным ядром
Кг(ж, ■) =Р(2г+1 € -|21 = ж) = = РЖ(2Г €■), г ^ 1.
Заметим, что Е может быть не счетным. Обозначим через т(А) момент первого возвращения в множество А:
т(А) = И(п ^ 1 : 2п € А},
который является моментом остановки относительно сигма-алгебры, порожденной траекторией цепи до шага п, поскольку
п
(т(А) < п} = и (2к € А}.
к=1
Определение 2. ([18, 33]) Цепь Маркова (2п}п^1 называется возвратной по Харрису, если существует нетривиальная мера ф (а-конечная мера на Е, оснащенном борелевской сигма-алгеброй Е), такая, что из положительности меры ф(А) > 0 для множества А € Е следует, что
Рх(т(А) < те) = 1
для любого начального состояния ж € Е, т. е. каждое достижимое множество А имеет конечную меру ф.
Можно показать [28], что для такой цепи существует единственная инвариантная мера п и, в случае конечности последней, цепь называется положительно возвратной по Хар-рису. Например, если ф(А) = Еа=1 !(Хг € А} и Еа1 = ф(Е) < те, то
п(А) =
ф(А) = ф(А). ф(Е) Еа1 '
В работе [33] (в условиях сепарабельности Е) дается эквивалентное определение возвратности по Харрису в терминах так называемых малых множеств:
Определение 3. Цепь (2п}п^1 называется возвратной по Харрису, если
1) для некоторого фиксированного множества V € Е, меры регенерации ц (вероятностной меры, такой, что ц^) = 1) и любого ж € Е выполнено
Рх(т(V) < те) = 1;
2) для любого ж € V, В € Е и некоторых £ € (0,1), г ^ 1 выполнено условие минори-зации:
Кг(ж, В) ^ £ц(В). (16)
Взаимосвязь данных определений рассмотрим в следующем разделе.
Метод расщепления
Поясним связь между однозависимой регенерацией и возвратностью по Харрису. Для этого можно воспользоваться процедурой расщепления (рандомизации). В моменты попадания цепи 2п во множество V определим 0-1 н.о.р.с.в. £п такие, что Р({п = 1) = £. Назовем событие (£п = 1} успехом. В случае успеха строим 2п+г в соответствии с распределением ц(-), в противном случае строим 2п+г по условному распределению ^(2п, ■), определяемому равенством:
Ф(ж, ■) =
КГ(ж, ■) - £Ц(-) 1- £ '
Таким образом, переходное ядро имеет вид
Кг(ж, ■)= £ц(-) + (1 - £)^(ж, ■).
(17)
В силу (16) в момент попадания цепи во множество V происходит условное расщепление распределения вероятности перехода за г шагов.
Поскольку цепь с вер. 1 попадает во множество V неограниченное число раз, то можно определить последовательность моментов регенерации (вп} следующим образом:
вп+1 = ^(г > вп : 2г € V, & = 1} + г, п ^ 1,
74
причем в силу положительности вероятности успеха е длина цикла регенерации ап конечна [10, 18, 28]. При этом значения процесса 1 ^ г ^ г — 1} определяются граничными значениями , распределенными в соответствии с вследствие чего возникает зависимость между соседними циклами регенерации. В общем случае реализовать такую конструкцию достаточно трудно (см. [9]). В то же время в некоторых случаях возможно конструирование таких моментов, аналогичное построению обновляющих событий (наступление успешного расщепления в возвратной по Харрису цепи эквивалентно наступлению обновляющего события в слабо регенерирующем процессе). Более того, в случае г = 1 цепь регенерирует в классическом смысле [18, 33].
Вернемся к рассмотрению системы С//С/ш, где в качестве цепи Маркова рассматривается вектор нагрузки Положим в (17) е = е1е2 и определим меру как среднее число попаданий во множество V = {х е Е : V ^ х ^ (0,8 — (т —
+ те,..., 8 — t + 2е)} на цикле регенерации [9, 10, 17, 28] при условии, что стартовым распределением является (мера регенерации), т. е.
¥>(•): = Е,
Ех
£ ВД €•}
1
а
£ ВД е-}
г=1
^(х).
Слабая регенерация произойдет через г = т — 1 шагов цепи, и в качестве меры регенерации ^ можно выбрать следующую меру:
М-) = к т-1(о, ■).
Искусственная регенерация
Напомним, что при построении регенерации возвратной по Харрису цепи Маркова методом расщепления в случае г = 1 происходит потеря зависимости между соседними циклами (поскольку выбор из распределения ^ происходит на следующем шаге после попадания в компакт V), т. е. цепь регенерирует в классическом смысле. Одним из конструктивных методов использования этого свойства является искусственное построение моментов регенерации за счет экспоненциального расщепления плотности [8]. Этот метод актуален для моделирования систем, в которых характеристики имеют распределения с тяжелыми хвостами.
Экспоненциальное расщепление плотности заменяет исходную случайную величину 5 (с
плотностью /) на комбинацию трех случайных величин: экспоненциально распределенной, индикатора и остатка. Экспоненциальное расщепление возможно, если существуют такие константы 0 > 0, хо и 0 < р < 1, что выполнено неравенство миноризации
/(х) ^ р/о(х), х ^ хо,
(18)
где /о - плотность усеченного слева экспоненциального распределения:
Л(х) :=
0, х ^ хо;
0е-0(х-хо), х > хо.
(19)
Введем плотность /1(х) = /(х). Я/о(х). То—
гда
/1(х) :=
/ (х) 1 —
- Рйе-0(х-хо),
/ (х) — р#е
1 — р
х ^ хо; х > хо.
(20)
Легко увидеть, что с.в. 5 может быть представлена в виде следующей суммы:
5 = 1{£ = 1}5о + 1{£ = 0}51, (21)
где независимые с.в. 5о и 51 имеют плотности распределения /о и /1 соответственно. С.в. £ имеет распределение Бернулли с вероятностью успеха Р(£ = 1)= р и называется индикатором расщепления.
Поясним вкратце метод построения искусственной регенерации, предложенный в работе [8]. Рассмотрим многокомпонентный процесс в = {Х1(*),Т1 (*),...,Хм(*),Тм(¿)Ьо, имеющий дискретные компоненты X е Е (например, число заявок в очереди системы) и непрерывные компоненты Т ^ 0, линейно убывающие до обнуления (например, остаточное время обслуживания). В момент ¿* обнуления г-й компоненты происходит изменение дискретных компонент процесса в соответствии с некоторой вероятностной мерой
Рг(х, х') = Р{Х1 (**+) = х1, . . . , Хм(**+) = х'м |Х1(Г—) = х1,...,Хм (**—) = хм },
при этом новое значение Т имеет некоторую плотность /¿(х,х'). Непрерывные компоненты в момент ¿* не претерпевают изменения. Напротив, в момент, не соответствующий обнулению непрерывной компоненты, дискретные компоненты не изменяются. Пусть существует такой вектор х* е Ем, что если дискретные компоненты цепи приняли значение х*, то каждая непрерывная компонента допускает миноризацию плотности (18) (возможно, со своими параметрами рДх, х'), хо>гЖЖ', 0^(х,х')).
Пусть в момент времени г* произошло попадание некоторой дискретной компоненты Х»(г*+) в состояние ж*. Тогда произведем экспоненциальное расщепление соответствующей непрерывной компоненты Т»(г*+). Для этого добавим в процесс В М-мерный дискретный процесс ((21 (г),..., 2м(г))}^о, где 2» есть фаза экспоненциально расщепленной г-й непрерывной компоненты. В момент расщепления положим 2» (г) = 1, если соответствующий индикатор расщепления равен 1, и такие компоненты назовем проходящими предэкспонен-циальную фазу. Тогда в момент времени г* + жо,гХХ' положим 2»(г) = 0, а соответствующая компонента попадет в экспоненциальную фазу (и соответствующая непрерывная компонента может в моменты событий переразыгрываться). Положим 2» (г) = 2, если в момент г* индикатор расщепления равен 0 либо Х»(г*+) = ж*. Тогда событие искусственной регенерации наступает, когда все непрерывные компоненты попадают в экспоненциальную фазу, т. е. в такой момент г*, что
(Х1(г*) = ж1,...,Хм (г*) = жМ, 21 (г*) = 2м (г*) = 0}.
Система С//С/т с выключением приборов
Поясним технику построения моментов искусственной регенерации на следующем примере. Пусть в многосерверной системе обслуживания в момент освобождения сервера, при условии пустой очереди, сервер уходит в состояние пониженного энергопотребления, в котором обслуживание заявок невозможно (так называемый спящий режим) на случайное время С», имеющее плотность е(-), и напомним, что клиенты приходят в систему через моменты времени Т» (имеющие плотность а(-)), обслуживаются время (с плотностью Ь(-)). Введем следующий т + 1-мерный процесс: Хо(г) есть число заявок в очереди в момент времени г, а Х1(г),... ,Хт(г) есть режимы работы сервера 1,...,т: Х1(г) = 1, если сервер занят обслуживанием клиента, и Х1(г) = 0, если он находится в режиме пониженного энергопотребления. Непрерывные компоненты определим следующим образом: То(г) есть время до прихода следующего клиента, Т1(г),..., Тт(г) есть времена до окончания текущей активности (бездействия) сервера. Заметим, что клиенты никогда не попадают на обслуживание в момент прихода, но вынуждены дожидаться окончания текущей активности (бездействия) сервера. Пусть вектор 1 = (1, 0,..., 0). Тогда в момент прихода
заявки происходит следующее изменение дискретной компоненты: из состояния ж в ж + 1 (попадание заявки в очередь) с вероятностью Ро(ж,ж + 1) = 1. В момент окончания текущей активности на сервере г ^ 1 происходит либо уход сервера в режим пониженного энергопотребления (если очередь пуста), либо уход заявки из очереди на обслуживание, т. е. Р»(ж, ж') = 1, если жо = 0, ж» = 0, либо жо > 0, жо = жо - 1, ж» = 1, где ж^- = ж^, ] = г. При этом непрерывная компонента То в момент прихода выбирается из распределения а(ж), а компонента Т» в момент окончания очередного периода активности (бездействия) сервера г выбирается из распределения Ь(ж), если жо > 0, и с(ж) иначе. Зафиксируем состояния дискретного многомерного процесса, например, следующим образом: ж* = (к, 1,..., 1). Произведем экспоненциальное расщепление плотностей То, . . . , Тт в моменты попадания дискретных компонент в зафиксированное состояние. Пусть 2о,..., 2т есть соответствующие фазы каждой непрерывной компоненты, определенные ранее. Если все фазы экспоненциальные, а дискретные компоненты попали в состояние ж*, то наступил момент регенерации.
Поясним при этом технику построения циклов регенерации методом дискретно-событийного моделирования. Применение данного метода обусловлено свойствами модели, поскольку изменение состояния системы происходит только в моменты прихода и ухода клиентов, а также окончания периодов бездействия, в то время как между данными событиями непрерывные компоненты линейно убывают.
Предположим, что изначально цепь стартует в момент регенерации. Выберем ближайшее по времени событие г* и изменим состояние системы, пусть оно связано с обнулением компоненты Т»(г*-) = 0, г ^ 0. Если при этом Х»(г*+) = ж*, то можно провести экспоненциальное расщепление плотности нового времени Т»(г*+). Для этого разыграем бернуллиевскую случайную величину с соответствующей вероятностью успеха. Если = 1, начнем отсчет времени предэкспоненциальной фазы, положив 2» = 1 и временно положив Т» (г*+) = жо,гЖЖ'. Далее, как только истечет предэкспо-ненциальная фаза, величину Т» можно будет каждый раз разыгрывать заново из классического экспоненциального распределения с параметром ^(ж,ж'), полагая 2» = 0. Если же
= 0, то разыграем Т»(г*+) из распределения /1,г(ж,ж') и полагаем 2» = 2. Дальнейшая эволюция системы связана с переходом к следующему ближайшему событию. Наконец за-
метим, что если в момент ¿* дискретная компонента не попала в х*, то новое время Т^(£*+) выбирается из исходного распределения (а, Ь, с соответственно), и полагаем 2 = 2. Более подробное пояснение алгоритма представлено в работе [8]. Отметим, что на построенных таким образом циклах регенерации можно применять технику регенеративного оценивания, рассмотренную ниже, например, для оценивания некоторой ценовой функции (энергопотребления, среднего числа заявок и т. п.).
МЕТОД РЕГЕНЕРАТИВНЫХ ОГИБАЮЩИХ
В этом разделе мы рассмотрим метод регенеративных огибающих для построения моментов регенерации высокопроизводительного вычислительного кластера. Суть метода заключается в следующем. Предположим, что описывающий исходную систему случайный процесс не является регенерирующим, либо число моментов слишком мало для эффективного оценивания. Тогда для исходной системы £ строятся две новых системы: мажорантная система £ и минорантная система £, входные потоки в которые совпадают с входным потоком исходной системы £. В мажорантной (ми-норатной) системе времена обслуживания стохастически больше (меньше), чем в исходной. Обе новые системы регенерируют в классическом смысле. Тогда оценки характеристик (например, средней загрузки, средней длины очереди, среднего числа заявок), получаемых в этих системах, являются верхней (оценка, получаемая в мажорантной системе) и нижней (оценка, получаемая в минорантной системе) границами для соответствующих характеристик исходной системы. Соответствующие величины в новых системах £ и £ будем также обозначать верхней и нижней чертой соответственно.
Рассмотрим модель высокопроизводительного вычислительного кластера £ с т серверами, работающими параллельно. Обозначим Тп = ¿п+1 — ¿п времена между приходами клиентов (с интенсивностью Л), где ¿п - момент прихода п-го клиента, которому требуется для обслуживания случайное время 5п (с интенсивностью на N серверах одновременно с распределением {рк := Р(Хг = к)}. При этом п-й клиент занимает наименее загруженных серверов. Обозначим (Оп) число заявок в кластере (размер очереди) в момент времени . Условия стационарности для V, О приведены в работах [24, 30].
Построим для кластера две новые системы £ (мажорантную) и £ (минорантную), с таким же (используя каплинг) входным по-
током {Тг}, как в системе £, и соответственно увеличенными (уменьшенными) временами обслуживания {5г} ({5г}), г ^ 1. Такие изменения времен обслуживания происходят в моменты, когда мажорантная (минорантная) система попадает в некоторое фиксированное состояние, приводящее к регенерации в классическом смысле. Это позволяет построить доверительные оценки, даже если исходная система не являлась регенерирующей. (Более подробно этот метод представлен в [26].)
Метод базируется на использовании свойства монотонности процессов [25]. Предположим, что времена обслуживания стохастически упорядочены, ^ 5г ^ 5г, г ^ 1. Тогда
V ^ V; ^ VI, О. ^ О ^ г ^ 1.
(22)
Для начала определим для мажорантной системы £ моменты регенерации. Рассмотрим процесс Zn := {^п, 5г(п), г е Мп}, п ^ 1, где Мп = {г : ^ < - набор номеров заявок, обслуживаемых в £ в момент времени ¿п, - момент ухода г-й заявки из системы, 5¿(п) - остаточное время обслуживания г-й заявки в момент ¿п. Фиксированное состояние определим двумя следующими способами.
1 способ: зафиксируем целое Оо (размер очереди) и N (число серверов, требуемых для обслуживания первой в очереди заявки), константы 0 ^ а ^ Ь < то и определим моменты
вп+1 = ^{к > вп : О = Оо > 0,
^-о, = ^о,
5г(к) е (а, Ь), г е М,
[]М = 0},п ^ 0. (23)
2 способ: зафиксируем число занятых серверов то при свободной очереди и определим моменты
вп+1 = к > вп : О = 0,
£ N = то ^ т, гемк
5г(к) е (а, Ь), г е М,
ПМк = 0},п ^ 0. (24) Условие Мв П = 0 означает, что все
в п
заявки, обслуживаемые в момент вп, покидают систему до момента вп+1.
Аналогично определяются моменты в , п ^ 0, для минорантной системы (константы а, Ь, Оо, Хо, то могут быть другими).
Когда система попадает в фиксированное состояние, остаточные времена обслуживания
(к),г е Мк, заменяются на верхнюю границу компакта Ь (в мажорантной системе Е), остаточные времена обслуживания (к),г е Мк, заменяются на нижнюю границу компакта а (в минорантной системе Е). Построенные моменты времени (в™}, (вп} являются моментами регенерации, и кроме того, эти преобразования сохраняют свойство монотонности исследуемых характеристик.
Процесс 2П (2П) является марковским и в каждый момент времени в+, (в+) переходит в фиксированное состояние (^о, Ь1), ((^о, а1)). Таким образом, процесс регенерирует в
классическом смысле в моменты времени (вк} и имеет н.о.р. циклы регенерации (2к, в™ ^ к < вп+1} с н.о.р. длинами циклов регенерации вп+1 - в™, п ^ 1 (то же самое верно для минорантной системы).
Из (22) следует, что ^ ^ дга и
Ед < Ед < Ед.
Для построения моментов регенерации границы а, Ь для остаточных времен обслуживания можно брать разные а» и Ь» в зависимости от номера сервера г. Заметим, что, как и в методе обновляющих событий, для построения моментов слабой регенерации частота моментов регенерации регенеративных огибающих зависит от выбора констант а и Ь.
Регенеративное оценивание
Предположим, что необходимо оценить некоторый функционал от исследуемого процесса (в дискретном времени) /(2П). Например, 2П - число клиентов в системе, а /(2П) -задержка в системе или ее энергопотребление.
Пусть У} = Ев=+1-1 /(2») - сумма значений характеристики процесса на ^-м цикле, для классически регенерирующего процесса, с.в. (У}) независимы и одинаково распределены. В силу (3) статистическое оценивание характеристики процесса сводится к следующему: при наличии независимых и одинаково распределенных наблюдений (У}, а}), j ^ 0, необходимо оценить величину
верительный интервал для г [3]:
г =
ЕоУ1 Еоа1'
г™ ±
Н7 у Уаг(п)
па™
где ап (У™) - выборочное среднее для а» (У»), п - число циклов регенерации, Уаг(п) - оценка Уаг(У1) - 2геоу(У1,а1) + г2Уаг(а1), Н7 = Ф-1((1 - 7)/2), Ф(ж) - функция Лапласа. Отметим, что данный метод применим также для слабо зависимых циклов регенерации. В этом случае доверительный интервал имеет вид:
г™ ±
Уаг(п) + 2(г1(п) - ггаг2(п))
па™
(26)
где г1(п) - выборочная оценка ковариации со^(Уо,У1), г2(п) - выборочная оценка ковариации со^(а1,Уо).
Аналогичная конструкция доступна и для цепей Маркова, положительно возвратных по Харрису. Обозначим ЕД-) = /Ех(-)^(^ж), Еж(-) = Е(-|2о = ж). Пусть (2га}га^о положительно возвратна по Харрису, т. е. Емв1 < Тогда [9]
в1-1
1
N
Ем Е /(2™)
л!™ ^Е /(2™)
N^00 N ^-'
™=о
™=о
Е„в1
где, напомним, Ео есть математическое ожидание процесса без задержки.
Предположим, что Е(У1 + а1)2 < те, тогда на основе центральной предельной теоремы можно получить следующий (1 - 27)% до-
Использование методов уменьшения дисперсии оценки, таких как, например, метод общих случайных чисел или метод противоположных случайных чисел [29], позволило бы управлять знаком ковариации в полученном доверительном интервале и, следовательно, сократить его длину. Они применимы при условии монотонности соответствующих функционалов, что требует дополнительного изучения и, с точки зрения авторов, является перспективным направлением дальнейших исследований.
Заключение
В работе представлены методы регенеративного моделирования многосерверных систем обслуживания. Высокая сложность современных многосерверных систем обслуживания является не только вызовом, требующим доработки классических методов, но и возможностями, требующими исследовать новые методы оценивания и типы регенерации, в том числе за счет качественно новой информации о состоянии системы (доступной, например, в программно конфигурируемых сетях [27]). При этом, с учетом дополнительной
78
информации о типах распределения управляющих последовательностей системы, представляется перспективным применение методов сокращения дисперсии оценки, методов ускоренного моделирования. Отметим также, что для ускорения моделирования возможно применение параллельных и распределенных вычислений. Исследование этих возможностей представляется важной темой для дальнейшей работы.
Финансовое обеспечение исследований осуществлялось из средств федерального бюджета на выполнение государственного задания КарНЦ РАН (Институт прикладных математических исследований КарНЦ РАН) и при финансовой поддержке РФФИ (18-07-00147, 18-07-00156, 16-07-00622), гранта Президента РФ MK-1641.2017.1.
Литература
1. Боровков А. А. Теория вероятностей. М., 1972.
2. Иглхард Д. Л., Шедлер Д. С. Регенеративное моделирование сетей массового обслуживания. М.: Радио и связь, 1984.
3. Крэйн М., Лемуан О. Введение в регенеративный метод анализа моделей. М.: Наука, 1982.
4. Морозов Е. В., Дельгадо Р. Анализ стационарности регенеративных систем обслуживания // Автоматика и телемеханика. 2009. Т. 70. С. 42-58.
5. Морозов Е. В., Румянцев А. С. Модели многосерверных систем для анализа вычислительного кластера // Труды Карельского научного центра РАН. 2011. Вып. 5. С. 75-85.
6. Нуммелин Э. Общие неприводимые цепи Маркова и неотрицательные операторы / Пер. с англ. М.: Мир, 1989.
7. Morozov E. V. Coupling and stochastic monotonicity of queueing processes. Петрозаводск: Изд-во ПетрГУ, 2013. 72 с.
8. Andronov A. Artificial regeneration points for stochastic simulation of complex systems // Simulation Technology: Science and Art. 10th European Simulation Symposium ESS'98, Proceedings. 1998. P. 34-40.
9. Asmussen S. Applied probability and queues. Springer-Verlag, New York, 2003. doi: 10.1007/b97236
10. Athreya K. B., Ney P. A new approach to the limit theory of recurrent Markov Chains // Transactions of the American Mathematical Society. 1978. Vol. 245. P. 493-501. doi: 10.1090/S0002-9947-1978-0511425-0
11. Borovkov A. A. Asymptotic Methods in Queueing Theory. Wiley, New York, 1984.
12. Charlot F., Ghidouche M., Hamami M. Irreducibilite et recurrence au sens de Harris des «Temps d'attente» des files GI/G/q // Zeitschrift für Wahrscheinlichkeitstheorie und verwandte Gebiete. 1978. Vol. 43. P. 187-203.
13. Feller W. An introduction to probability theory and its applications. Wiley, New York, 1950.
14. Feitelson D. G. Workload Modeling for Computer Systems Performance Evaluation. Cambridge University Press, New York, 2015. doi: 10.1017/CBO9781139939690
15. Foss S. G. On the ergodicity conditions for stochastically recursive sequences // Queueing Systems. 1992. Vol. 12. P. 287-296. doi: 10.1007/BF01158804
16. Foss S., Kalashnikov V. Regeneration and renovation in queues // Queueing Systems. 1991. No. 8. P. 211-224. doi: 10.1007/BF02412251
17. Foss S., Konstantopoulos T. An overview of some stochastic stability methods // Journal of the Operations Research Society of Japan. 2004. Vol. 47, no. 4. P. 275-303.
18. Glynn P. Wide-sense regeneration for Harris recurrent Markov processes: an open problem // Queueing Systems. 2011. Vol. 68, no. 3-4. P. 305-311. doi: 10.1007/s11134-011-9238-x
19. Glynn P., Iglehart D. Simulation methods for queues: an overview // Queueing Systems. 1988. Vol. 3. P. 221-256. doi: 10.1007/BF01161216
20. Kalashnikov V. V. Regenerative queueing processes and their qualitative and quantitative analysis // Queueing Systems. 1990. Vol. 6. P. 113-136. doi: 10.1007/BF02411469
21. Kiefer J., Wolfowitz J. On the theory of queues with many servers // Transactions of the American Mathematical Society. 1955. P. 1-18. doi: 10.1090/S0002-9947-1955-0066587-3
22. Morozov E. Stochastic boundness of some queueing systems. Preprint No R-95-2022, ISSN 0908-1216, Dept. Math. and Computer Sci., Aalborg Univ., Aalborg, Denmark, 1995.
23. Morozov E. The tightness in the ergodic analysis of regenerative queueing processes // Queueing Systems. 1997. Vol. 27. P. 179-203. doi: 10.1023/A:1019114131583
24. Morozov E., Rumyantsev A. Stability Analysis of a MAP/M/s Cluster Model by Matrix-Analytic Method // Lecture Notes in Computer Science. 2016. Vol. 9951. P. 63-76. doi: 10.1007/978-3-31946433-6 5
25. Morozov E., Rumyantsev A., Peshkova I. Monotonocity and stochastic bounds for simultaneous service multiserver systems // 8th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops. Institute of Electrical and Electronics Engineers. 2016. P. 294-297. doi: 10.1109/ICUMT.2016.7765374
26. Morozov E., Rumyantsev A., Nekrasova R., Peshkova I. A Regeneration-Based Estimation of High Performance Multiserver Systems // Communications in Computer and Information Science. 2016. Vol. 608. P. 271-282. doi: 10.1007/978-3-319-39207-3_24
27. Nguyen T. A. et al. Availability Modeling and Analysis for Software Defined Networks // 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC), Zhangjiajie. 2015. P. 159-168. doi: 10.1109/PRDC.2015.27
28. Nummelin E. A Splitting Technique for Harris Recurrent Markov Chains // Zeitschrift für Wahrscheinlichkeitstheorie und verwandte Gebiete. 1978. Vol. 43. P. 309-318. doi: 10.1007/BF00534764
29. Ross S. Simulation. Academic Press, New York, 1997.
30. Rumyantsev A., Morozov E. Stability criterion of a multiserver model with simultaneous service // Annals of Operations Research. 2017. Vol. 252. No. 1. P. 29-39. doi: 10.1007/s10479-015-1917-2
31. Shedler G. Regeneration and networks of queues. Springer-Verlag, 1987. doi: 10.1007/9781-4612-1050-4
32. Sigman K. Queues as Harris recurrent Markov chains // Queueing Systems. 1988. Vol. 3. P. 179198. doi: 10.1007/BF01189048
33. Sigman K, Wolff R. W. A review of regenerative processes // SIAM Review. 1993. Vol. 35, no. 2. P. 269-288. doi: 10.1137/1035046
34. Sutter H. The free lunch is over: A fundamental turn toward concurrency in software // Dr. Dobb's Journal. 2005. P. 1-9.
35. Kalashnikov V. Topics on regenerative processes. CRC Press, Roca Baton, 1994.
36. Thorrison H. Coupling, stationarity, and regeneration. Springer-Verlag, New York, 2000. doi: 10.1007/978-1-4612-1236-2
37. Whitt W. Comparing counting processes and queues // Advances in Applied Probability. 1981. Vol. 13, no. 1. P. 207-220. doi: 10.2307/1426475
38. Whitt W. Embedded renewal processes in the GI/G/s queue // Journal of Applied Probability. 1972. Vol. 9. P. 650-658. doi: 10.1017/S0021900200035944
Поступила в редакцию 10.04.2018
References
1. Borovkov A. A. Probability Theory. Moscow, 1972 (in Russian).
2. Iglehart D., Shedler G. Regenerative simulaton of response times in networks of queues. Moscow: Radio i Svyaz, 1984 (in Russian).
3. Crane M. A., Lemoine A. J. An Introduction to the Regenerative Method for Simulation Analysis. Moscow: Nauka, 1982 (in Russian).
4. Morozov E. V., Delgado R. Stability analysis of regenerative queueing systems. Avtomatika i telemekhanika. 2009. Vol. 70. P. 42-58 (in Russian).
5. Morozov E. V., Rumyantsev A. S. Multiserver system models for high performance cluster analysis. Transactions of Karelian Research Centre of RAS. 2011. Vol. 5. P. 75-85 (in Russian).
6. Nummelin E. General Irreducible Markov Chains and Non-Negative Operators. Moscow: Mir, 1989 (in Russian).
7. Morozov E. V. Coupling and stochastic monotonicity of queueing processes. Petrozavodsk: PetrSU, 2013.
8. Andronov A. Artificial regeneration points for stochastic simulation of complex systems. Simulation Technology: Science and Art. 10th European Simulation Symposium ESS'98, Proceedings. 1998. P. 34-40.
9. Asmussen S. Applied probability and queues. Springer-Verlag, New York, 2003. doi: 10.1007/b97236
10. Athreya K. B., Ney P. A new approach to the limit theory of recurrent Markov Chains. Transactions of the American Mathematical Society. 1978. Vol. 245. P. 493-501. doi: 10.1090/S0002-9947-1978-0511425-0
11. Borovkov A. A. Asymptotic Methods in Queueing Theory. Wiley, New York, 1984.
12. Charlot F., Ghidouche M., Hamami M. Irreducibilite et recurrence au sens de Harris des «Temps d'attente» des files GI/G/q. Zeitschrift
(so).
für Wahrscheinlichkeitstheorie und verwandte Gebiete. 1978. Vol. 43. P. 187-203.
13. Feller W. An introduction to probability theory and its applications. Wiley, New York, 1950.
14. Feitelson D. G. Workload Modeling for Computer Systems Performance Evaluation. Cambridge University Press, New York, 2015. doi: 10.1017/CBO9781139939690
15. Foss S. G. On the ergodicity conditions for stochastically recursive sequences. Queueing Systems. 1992. Vol. 12. P. 287-296. doi: 10.1007/BF01158804
16. Foss S., Kalashnikov V. Regeneration and renovation in queues. Queueing Systems. 1991. No. 8. P. 211-224. doi: 10.1007/BF02412251
17. Foss S., Konstantopoulos T. An overview of some stochastic stability methods. Journal of the Operations Research Society of Japan. 2004. Vol. 47, no. 4. P. 275-303.
18. Glynn P. Wide-sense regeneration for Harris recurrent Markov processes: an open problem. Queueing Systems. 2011. Vol. 68, no. 3-4. P. 305311. doi: 10.1007/s11134-011-9238-x
19. Glynn P., Iglehart D. Simulation methods for queues: an overview. Queueing Systems. 1988. Vol. 3, P. 221-256. doi: 10.1007/BF01161216
20. Kalashnikov V. V. Regenerative queueing processes and their qualitative and quantitative analysis. Queueing Systems. 1990. Vol. 6. P. 113136. doi: 10.1007/BF02411469
21. Kiefer J., Wolfowitz J. On the theory of queues with many servers. Transactions of the American Mathematical Society. 1955. P. 1-18. doi: 10.1090/S0002-9947-1955-0066587-3
22. Morozov E. Stochastic boundness of some queueing systems. Preprint No R-95-2022, ISSN 0908-1216, Dept. Math. and Computer Sci., Aalborg Univ., Aalborg, Denmark, 1995.
23. Morozov E. The tightness in the ergodic analysis of regenerative queueing processes. Queueing Systems. 1997. Vol. 27. P. 179-203. doi: 10.1023/A:1019114131583
24. Morozov E., Rumyantsev A. Stability Analysis of a MAP/M/s Cluster Model by Matrix-Analytic Method. Lecture Notes in Computer Science. 2016. Vol. 9951. P. 63-76. doi: 10.1007/978-3-319-46433-6_5
25. Morozov E., Rumyantsev A., Peshkova I. Monotonocity and stochastic bounds for simultaneous service multiserver systems. 8th International Congress on Ultra Modern
Telecommunications and Control Systems and Workshops. Institute of Electrical and Electronics Engineers. 2016. P. 294-297. doi: 10.1109/ICUMT.2016.7765374
26. Morozov E., Rumyantsev A., Nekrasova R. Peshkova I. A Regeneration-Based Estimation of High Performance Multiserver Systems. Communications in Computer and Information Science. 2016. Vol. 608. P. 271-282. doi: 10.1007/978-3-319-39207-3_24
27. Nguyen T. A. et al. Availability Modeling and Analysis for Software Defined Networks. 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC), Zhangjiajie. 2015. P. 159-168. doi: 10.1109/PRDC.2015.27
28. Nummelin E. A Splitting Technique for Harris Recurrent Markov Chains. Zeitschrift für Wahrscheinlichkeitstheorie und verwandte Gebiete. 1978. Vol. 43. P. 309-318. doi: 10.1007/BF00534764
29. Ross S. Simulation. Academic Press, New York, 1997.
30. Rumyantsev A., Morozov E. Stability criterion of a multiserver model with simultaneous service. Annals of Operations Research. 2017. Vol. 252, no. 1. P. 29-39. doi: 10.1007/s10479-015-1917-2
31. Shedler G. Regeneration and networks of queues. Springer-Verlag, 1987. doi: 10.1007/9781-4612-1050-4
32. Sigman K. Queues as Harris recurrent Markov chains. Queueing Systems. 1988. Vol. 3. P. 179198. doi: 10.1007/BF01189048
33. Sigman K., Wolff R. W. A review of regenerative processes. SIAM Review. 1993. Vol. 35, no. 2. P. 269-288. doi: 10.1137/1035046
34. Sutter H. The free lunch is over: A fundamental turn toward concurrency in software. Dr. Dobb's Journal. 2005. P. 1-9.
35. Kalashnikov V. Topics on regenerative processes. CRC Press, Roca Baton, 1994.
36. Thorrison H. Coupling, stationarity, and regeneration. Springer-Verlag, New York, 2000. doi: 10.1007/978-1-4612-1236-2
37. Whitt W. Comparing counting processes and queues. Advances in Applied Probability. 1981. Vol. 13, no. 1. P. 207-220. doi: 10.2307/1426475
38. Whitt W. Embedded renewal processes in the GI/G/s queue. Journal of Applied Probability. 1972. Vol. 9. P. 650-658. doi: 10.1017/S0021900200035944
Received April 10, 2018
СВЕДЕНИЯ ОБ АВТОРАХ:
CONTRIBUTORS:
Пешкова Ирина Валерьевна
и.о. зав. кафедрой прикладной математики
и кибернетики, к. ф.-м. н.
Петрозаводский государственный университет
пр. Ленина, 33, Петрозаводск, Республика Карелия,
Россия, 185910
эл. почта: [email protected]
тел.: (8142) 719606
Peshkova, Irina
Petrozavodsk State University
33 Lenin St., 185910 Petrozavodsk, Karelia, Russia
e-mail: [email protected]
tel.: (8142) 719606
Румянцев Александр Оергеевич
научный сотрудник, к. ф.-м. н. Институт прикладных математических исследований КарНЦ РАН, Федеральный исследовательский центр «Карельский научный центр РАН» ул. Пушкинская, 11, Петрозаводск, Республика Карелия, Россия, 185910 эл. почта: [email protected] тел.: (8142) 763370
Rumyantsev, Alexander
Institute of Applied Mathematical Research,
Karelian Research Centre, Russian Academy of Sciences
11 Pushkinskaya St., 185910 Petrozavodsk,
Karelia, Russia
e-mail: [email protected]
tel.: (8142) 763370
