CC BY
45
ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
2012 Управление, вычислительная техника и информатика № 3(20)
УДК 519.872
А.Н. Моисеев, С.П. Моисеева ИССЛЕДОВАНИЕ ВХОДЯЩЕГО ПОТОКА ДЛЯ ОШБ-СИСТЕМЫ С АДАПТИРУЕМЫМ ВЫДЕЛЕНИЕМ ВЫЧИСЛИТЕЛЬНЫХ РЕСУРСОВ
В работе предложена математическая модель ОЫБ-системы с адаптируемым выделением вычислительных ресурсов. Данная модель представлена в виде системы массового обслуживания с входящим потоком, имеющим несколько уровней интенсивности, и блоками обслуживания, соответствующими каждому такому уровню. Основное внимание сосредоточено на получении вероятностных характеристик входящего потока. Отдельно рассмотрена проекция входящего потока на один уровень интенсивности. В работе получены вероятностные характеристики потока для отдельных уровней интенсивности входящего потока, а также корреляционные характеристики разных режимов работы системы.
Ключевые слова: ОКЮ-система, системы массового обслуживания, марковский модулированный поток.
Внимание к теории массового обслуживания в значительной степени обусловлено необходимостью применения результатов этой теории к важным практическим задачам, возникающим в связи с бурным развитием систем коммуникаций, эволюцией информационно-вычислительных комплексов, развитием автоматизированных систем управления.
Производительность вычислительных сетей связана с временными аспектами функционирования. При оценке производительности первостепенное значение имеет продолжительность вычислительных процессов. Случайный характер процессов формирования, обработки и передачи данных обуславливает необходимость применения стохастических моделей, в качестве которых широко используются модели, представляющие собой системы и сети массового обслуживания различных классов.
Следуя необходимости создания адекватных моделей различных явлений и систем, многие исследователи разработали схемы потоков событий, при помощи которых можно учитывать различные реальные факторы и, в частности, зависимость между поступающими требованиями. Д. Кокс [1] рассмотрел потоки однородных событий, интенсивность которых зависит от состояний управляющего потоком процесса. Позже были даны общие определения такого потока [2-4]. Одним из наиболее распространенных частных случаев марковских входящих потоков (МАР-потоков) является марковский модулированный пуассоновский поток событий (ММРР-поток). Исследованию ММРР-потока посвящены работы зарубежных и российских ученых [5, 6].
Как правило, все работы посвящены методам исследования процесса, характеризующего число наступивших событий в потоке за некоторое время. В то же время для решения практических задач представляет интерес исследование совокупности потоков различной интенсивности, определяемых состояниями управляющей цепи Маркова. Очевидно, что для оптимального функционирования вы-
числительных систем необходимо учитывать интенсивность входящих задач и предоставлять возможности для их быстрой обработки. То есть потоки заявок большей интенсивности должны обслуживаться быстрее. Если для обслуживания заявок, поступивших на разных уровнях интенсивности, применяются различные блоки серверов, то актуальной является также задача исследования проекций входящего ММРР-потока на каждый из таких блоков.
1. Постановка задачи
Пусть имеется ОКГО-система [7] - система распределенных вычислений на основе кластеров, где в качестве серверов используются обычные рабочие станции либо серверы, выполняющие повседневные задачи, не связанные с распределенными вычислениями. Таким образом, серверы выделяют под вЯГО-задачи лишь часть своих вычислительных ресурсов. Рассматривается ситуация, когда задачи в этой системе поступают на обработку с изменяющейся интенсивностью. Чтобы оптимизировать исполнение поступающих задач в условиях переменной интенсивности, владелец вКТО-системы принял решение настроить всю систему таким образом, что при возрастании интенсивности поступления серверы будут выделять больше вычислительных ресурсов для исполнения вЯГО-задач, чтобы не создавать задержек в их выполнении. При уменьшении интенсивности поступления серверы уменьшают выделенные под ОКГО-задачи вычислительные ресурсы, чтобы возвратиться к решению повседневных задач.
Построим математическую модель описанной задачи в виде бесконечнолинейной системы массового обслуживания (СМО), на вход которой поступает поток событий с изменяющейся интенсивностью. Будем представлять его в виде ММРР-потока [6] с К состояниями, каждое из которых определяет собственную интенсивность событий X5 (5 = 1, К). Переходы между состояниями управляющей
цепи задаются матрицей инфинитезимальных характеристик О = \\qyW.
Основной целью исследования является получение вероятностных характеристик входящего потока. Отдельный интерес представляет проекция входящего потока на каждый из уровней интенсивности. Это актуально для случая, когда заявки, поступившие при разных интенсивностях (состояниях управляющей цепи входящего потока), обслуживаются на разных группах серверов, имеющих различную, заранее настроенную производительность обслуживания. В этом случае для одной такой группы ситуация будет выглядеть так, что пока управляющая цепь находится в соответствующем состоянии, заявки поступают в этот блок с определенной интенсивностью, когда же состояние управляющей цепи меняется, заявки начинают поступать в другие блоки, а на входе данного блока наступает время «тишины».
2. Входящий поток
Для начала получим характеристики входящего потока всей системы. Пусть к(ґ) - состояние управляющей цепи входящего ММРР-потока в момент времени ґ, п1(ґ), ..., пК(ґ) - количество событий входящего потока, произошедших на каждом из К уровней интенсивности за время ґ. Рассмотрим многомерный случайный процесс {к(ґ), п1(ґ),., пК(ґ)}. Обозначим через Р(к, щ,..., пК, ґ) = Р{к(ґ) = к,
п1(/) = п1, пк(/) = пк}. Для этой функции можно записать следующее выражение:
Р(к, п1,..., пК, / + Д/) = Р(к, п1,..., пК, /)(1 - Хк Д/)(1 + дкк Д/) +
К
+Р(к,п1,...,пк -1,...,пК,/)ХкД/ + Р^, ^,..., пк, / )<^к Д/ + о(Д/).
V=1
v^k
Выполнив несложные преобразования и перейдя к пределу при Д/ ^ 0, получим
дР(к, п1,..., пк, /) д/
К
= -p(k,n1,...,пк,/)^к + p(k,^^.^пк-1,...,пк,04 + 1P(v,nl,...,пк,0^*.
v=1
v^k
Воспользуемся методом производящих (характеристических) функций [6]. Для этого умножим левую и правую части полученного уравнения на е]и1Г>1 •...• е1икпк , где ] = л/-1, а и1,...,ик - некоторые переменные, и просуммируем по п1,.,пк от 0 до да. Введя обозначение
ад ад
Н(к,и1,...,ик,/) = I ... I е]и1Г>1 •...• е1ПкПкР(к,п1,...,пк,/),
п1 =0 пк =0
получим уравнение относительно функции Н(к,и1,.,ик,/):
дН(к,щ .ик,/) = н(к, ,...,ик,/)(е;ик - 1)Хк +^Н(V,и1,...,ик,/)<^к . (1)
д/ v=1
Обозначим через Н(иь...,ик,/) вектор-строку, состоящую из компонент
Н(1,иь...,ик,/),..., Н(к,иь...,ик,/). Пусть В(и1,...,ик) = &а£|(е;и^ - 1)Хх| + Q. Тогда
х=1, к
(1) в матричном виде запишется следующим образом: дН (и,,..., ик, /)
------1----к— = Н(и1,...,ик,/)В(и1,...,ик).
д/
Решение этого уравнения записывается с помощью матричной экспоненты [8]
Н(и1,...,ик,/) = Яехр{В(и1,...,ик)/} , (2)
где элементы вектор-строки Я = (р(1), .,^(к)} находятся из начальных условий
Я (к) = Н(к,и1,...,ик,0) = Р{к(0) = к}.
3. Проекция входящего потока
Рассмотрим теперь проекцию входящего потока на блок одной интенсивности, пусть это будет блок номер 5. Положим в уравнении (1) все иь...,ик, кроме и5, равными нулю. Будем использовать обозначение И(к,и5,() = И(к,0,...,0,и5,0,...,0,/). Тогда уравнение (1) перепишется в виде
и“’= H(,,и,,t)(e}Us - 1)Х, + £Н(V,и,.,/)двд для £ = 5;
9/
дН(к, и , /) К
■ = £ Н(V,и,,/^ для к ф ,;
■ = Н (и 5, / )В, (и 5),
д/ V=1
или в матричном виде
дН (и,, /)
д/ ” (к—
где Н(и,,/) - вектор-строка с компонентами Н(к, и,, /), к = 1, К , а элементы матрицы В,(и,) равны элементам матрицы 2 за исключением элемента йж, который равен (. - 1)Х, + д,,.
Решение этого уравнения имеет вид
Н(и,, /) = Яехр {В, (и,) /} .
Введем обозначение
К
к(и6,, /) = £ Н(к, и,, /) = Н(и,, /)Е = Яехр {В, (и,) ,
к=1
где Е - вектор-столбец, состоящий из единиц. Тогда, учитывая, что
Н(к, и,, /) = £ еи,П!:Р(к, п,, /)
п, =0
и, следовательно,
1 п
Р(к, п,, /) = —| е ]илН(к, и:!, /) йив ,
-п
получаем
1 п
Р(п,, /) = 2п/е^;и'п'А(и,, /) ^ . (3)
-п
Здесь Р(п,,/) = Р{п() = п,} - вероятность того, что за время / в систему поступило п, заявок с интенсивностью X,.
4. Основные вероятностные характеристики
Получим первый момент этого распределения. Продифференцируем (1) по и, и положим все и = 0,1 = 1, К . Учитывая, что
дН (к, и1,..., иК, /)
ди
= . £ п,Р(к, п,,, /) = ;т(к,, /):
и, =...=ик =0 п =0
получим
дm(к,^О = ^(к)хк + £т^,,,/)д^,к для к = ,; (4)
д/ v=1
дт(к,,, /) К
■ = £ т^,,, /)gvк для к ф ,. (5)
д/ v=1
v=1
Здесь функция т(к,5,ґ) имеет смысл среднего числа заявок уровня 5, поступивших за интервал длины ґ, в то время, когда состояние управляющей цепи равно к. ТоК
гда т(5,ґ) = £т(к, 5, ґ) есть среднее число заявок уровня 5, поступивших за ин-
к=1
тервал времени длины ґ (первый момент). Суммируя уравнения системы (4), (5) и
К
учитывая, что £ дук = 0 , получаем дифференциальное уравнение относительно
к=1
этой функции:
= Я(
Л 5
С учетом начального условия т(5,0) = 0 это уравнение имеет следующее решение:
т(5, ґ) = Я(і')Х5ґ . (6)
Найдем второй начальный момент распределения (3). Продифференцируем (1) по и5 и и, где 5 и і - некоторые числа из диапазона от 1 до К. Учтем, что
д2 Н (к, и1,..., иК, ґ)
ди2
= І2 £ «2р(к,п^,ґ) = ]2т2(к,5,ґ)
и =...=ик=0 п5 =0
д2 Н (к, и1,..., ик, ґ)
ди5 диі
= І2 £ £ п^п.Дк, п^, п, ґ) = ]2г(к, 5, і, ґ) для 5 ф і .
иі=...=ик =0
Здесь функции т2(к,5,ґ) и г(к,5,і,ґ) имеют смысл соответственно второго начального момента и смешанного момента для числа заявок, поступивших за время ґ на уровнях интенсивности 5 и і при условии, что управляющая цепь находилась в состоянии к. В результате получаем следующие системы дифференциальных уравнений. Относительно второго момента:
дт (к 5 ґ) К~ ^
—2——— = 2т(к, 5,ґ)Хк + ^(к)А,к +£т2^, 5,ґ)<^к для к = 5;
дґ
К
V=1
Относительно смешанного момента:
дт2(к, 5, ґ) К
—-— = £ m2(v, 5 ґ^к для к ф 5 дґ
дг (к 5 і ґ) К''
-------— = т(к, 5,ґ)Хк + т(к, і,ґ)Хк +£г(V, 5, і, ґ)qvk для к = 5;
дґ ,*=
(7)
(8)
(9)
дг (к, 5, і, ґ) К
-----1-------= £ г(V, 5,1, ґ)^,к для к ф 5. (10)
дґ v=1
К
Функция т2 (5, ґ) = £ т2 (к, 5, ґ) - это второй начальный момент распределения
к=1
вероятностей (3) числа заявок, пришедших на уровне интенсивности 5 за время ґ, а
и
v=1
K
r (s, i, t) = V r (k, s, i, t) - смешанный момент числа заявок, пришедших за время t
k=1
на уровнях интенсивности s и i. Суммируя (7), (В) и (9), (10) по k от 1 до K, получаем дифференциальные уравнения относительно этих искомых функций:
t) = 2m(s, t)Xs + R(s)Xs; (11)
дt
дr(д,^t) =[m(s,t) + m(i,t)]s. (12)
дt
Здесь функции m(s,t) определяются из (б). Решения этих уравнений при начальных условиях m2(s,0) = 0 и r(s,i,0) = 0 могут быть легко получены для каждого ча-
стного случая.
Заключение
Таким образом, в работе проведено исследование входящего потока для модели GRID-системы с адаптируемым выделением вычислительных ресурсов, представленной в виде системы массового обслуживания с входящим MMPP-потоком и блоками обслуживания различной производительности. Получено выражение для характеристической функции (2) многомерного распределения числа заявок, поступивших на каждом из уровней интенсивности, распределение вероятностей (3) числа заявок одного уровня, а также первый момент (б) и общий вид систем обыкновенных дифференциальных уравнений для вычисления второго начального (11) и смешанного (12) моментов этого распределения. Полученные результаты могут быть использованы на практике при построении GRID-систем с соответствующей инфраструктурой.
ЛИТЕРАТУРА
1. Cox D.R. The analysis of non-Markovian stochastic processes // Proc. Cambr. Phil. Soc. 1955. V. 51. N 3. P. 433-441.
2. Serfozo R. Processes with conditional independent inerements // Appl. Prob., 1972. V. 9. P. 303-315.
3. NeutsM.F. A versatile Markovian arrival process // J. Appl. Prob. 1979. V. 1б. P. 7б4-779.
4. Lucantoni D.M., Meier-Hellsten K.S., Neuts M.F. A single-server queue with server vacations and a class of non-renewal arrival processes // Adv. Appl. Prob. 1990. №. 22. P. б7б-705.
5. Дудин А.Н., Клименок В.И. Системы массового обслуживания с коррелированными потоками. Минск: БГУ, 2000. 175 с.
6. Назаров А.А., Моисеева С.П. Метод асимптотического анализа в теории массового обслуживания. Томск: Изд-во НТЛ, 200б. 112 с.
7. Линеш М. Грид - масштабируемый распределенный компьютинг [Электронный ресурс] // gridclub.ru: Интернет-портал по грид-технологиям. URL: http://gridclub.ru/library/ pub-lication.2007-07-19.5491913210/view (дата обращения: 31.05.12).
В. Bhatia R. Matrix Analysis. Graduate Texts in Mathematics. V. 1б9. New York: Springer, 1997. ЗбВ p.
Моисеев Александр Николаевич Моисеева Светлана Петровна Томский государственный университет
E-mail: [email protected]; [email protected] Поступила в редакцию 24 мая 2012 г.
Moiseev Alexander N., Moiseeva Svetlana P. (Tomsk State University). Investigation of input flow for the GRID-system with adaptive providing of computing resources.
Keywords: GRID-system, queuing system, Markov-modulated Poisson process.
We consider mathematical model of the GRID-system with adaptive providing of computing resources. The model is represented as queuing system with input MMPP-flow and server blocks which service intervals depend on input modulating process state.
We obtained an expression for characteristic function of multidimensional distribution for number of arrivals at each modulating process state. Input flow projection on single modulating process state was particularly considered. It was shown that probability distribution of events number ns arriving in the flow at modulating process state s during period t is defined as
where h(us,t) = R exp{Bs(us)t}E, R is row vector of stationary distribution of modulating process state, E is unit column vector, Bs(us) is a matrix with elements which are equal to elements of infinitesimal matrix Q for modulating process except the single element bss which is equal to
(eJu'' - 1)Xs + qss; Xs is input flow intensity at state s, qss is element of the matrix Q.
First moment and general form of differential equations system for second and mixed moments of the considered distribution are obtained in the paper also. Results of the paper can be applied to GRID-system construction practice.
