CC BY
99
Электронный журнал Cloud of Science. 2014. T. 1. № 2
http://cloudofscience.ru
УДК 004.05
Исследование алгоритмов работы информационной системы с использованием математического аппарата сетей Петри
Д. А. Корнев1, Е. Ю. Логинова1,2 Московский государственный университет путей сообщения 127994, ГСП-4, Москва, ул. Образцова, 15
2Московский технологический институт,
119334, Москва, Ленинский проспект, 38A, e-mail: [email protected], [email protected]
Аннотация. Предложена математическая модель для исследования функционирования информационной системы с использованием математического аппарата расширенных сетей Петри. Приведены результаты моделирования работы аппаратных ресурсов как дискретной динамической системы.
Ключевые слова: динамическое моделирование, математический аппарат сетей Петри, информационные системы.
В настоящее время одной из актуальных тем является исследование динамических процессов, протекающих в информационных системах. С целью успешного использования ресурсов информационных систем необходимо решить задачу эффективного распределения доступных аппаратных средств.
Разработка алгоритмов эффективного управления ресурсами может выполняться на базе ее математической модели, которая должна адекватно отображать процессы управления и распределения ресурсов с учетом случайного характера параметров решаемой задачи. Для анализа динамических процессов распределения ресурсов информационной системы целесообразно использовать математический аппарат сетей Петри. Этот аппарат позволяет объединить преимущества графового представления системы и дискретной динамической модели, рассчитывать количественные показатели ее работы, которые характеризуются параллельными и асинхронными процессами. Аппарат сетей Петри может быть с успехом использован и для определения эффективности работы корпоративной ИС.
Моделирование в терминах сетей Петри осуществляется на событийном уровне. Переходы отображают действия, происходящие в системе, а позиции — состояния, предшествующие этим действиям, и состояния, принимаемые системой после выполнения действия. Анализ результатов моделирования позволяет опреде-
лить динамическое состояние системы при любых алгоритмах управления и выполняемых процедурах.
Рассмотрим информационную систему (ИС), созданную на базе доступных аппаратных ресурсов, операционной системы (ОС) и множества процессов (ПР). Обобщенные доступные ресурсы аппаратного обеспечения (объем оперативной памяти, тактовая частота процессора, емкость, количество операций ввода-вывода в секунду и время обращения к жесткому диску) позволяют одновременно функционировать пяти ПР (SRC = 5). Связь ПР с аппаратным обеспечением и отдельных ПР между собой осуществляется через ОС, которая обеспечивает распределение ресурсов системы между всеми ПР. В конечном итоге, именно ОС определяет эффективность работы ПР на доступном аппаратном обеспечении.
Для исследования работы этой системы разработана ее динамическая модель в терминах сетей Петри, которая определяется совокупностью объектов (рис. 1) [1-3]:
П = {P, T, I, O, ц), (1)
гдеP = {p1, p2,..., pt,..., pn) — непустое конечное множество позиций;
T = {t1, t2, ..., tj,..,tm) — непустое конечное множество переходов; I — входная
функция переходов, определяющая кратность входных дуг переходов I(tj); O —
выходная функция переходов, определяющая кратность выходных дуг переходов O(tj); ц — вектор маркировки.
...... ПР1
Рисунок 1. Функционирование ИС в терминах сети Петри
Функции входа и выхода определяются отображением бинарного произведения множества переходов и множества позиций на множество {0,1) :
I: T х P ^{0,1};
O : TхP ^{0,1}.
Маркировка сети определяется отображением множества позиций на множество натуральных чисел N:
ц : P ^ N.
Графически, в терминах расширенных сетей Петри, модель ИС представляется как двудольный ориентированный маркированный граф, состоящий из вершин двух типов — позиций и переходов, соединенных между собой дугами.
Моделирование маршрутов в маркированном графе сетей Петри должно удовлетворять условиям:
1 (p H^-ip*е o (tJ )}|=1;
1° (p. )i НК1 p*е i (t- )}|=1,
где {tj | pt е O(tj))— множество переходов, для которых p. является выходом; {tj | pt е I(tj )) — множество переходов, для которых pt является входом.
Разрешение на выполнение перехода t. е T определяется условием [1, 2]
tMpi # (pt, 1 (tj)), (2)
для всех е P, где (pt, I (tj))— кратность входной позиции pt для перехода tj; т. е. переход tj разрешен при некоторой маркировке ц(pt), если позиция p е P имеет разметку, не меньшую, чем кратность дуги, соединяющей p. и tj.
Результатом выполнения разрешенного перехода tf е T является новая марки-
ровка ц':
ц'(pt) = ц(pi) - #(pi, 1 (tj)) + #(pi, ° (tj)). (3)
С учетом изложенного, модель функционирования ИС с SRC = 5, представленная в терминах сетей Петри, содержит 21 позицию и 15 переходов:
P = { Po, p!^ p\2 , pu , p 21 , ••• , pgl, • , P53, p 5с };
T = {t11 , t\2 , ^13 , 121 , • , tgf , • , ^52 , ^53 } .
Элементами множества позиций P являются: p0 — разделяемая среда (ресурс системы); pu -pi3, p2i -p23, p3i - p33, p4i - p43, p5i - p53 — состояние ПР 1-5; (pii, p2i, p3i, p4i, p5i — предоставление ресурсов ПР 1-5; p^, p22, p32, p42, p52 —
освобождение ресурсов ПР 1-5; p13, p23, p33, p43, p53— ожидание ресурсов
ПР 1-5); Plс, p2c, p3c, p4с, p5c — счетчики операций.
Элементами множества позиций T являются: t11 -113, t21 -123, t31 -133, t41 -143,
t51 -153 — процессы распределения ресурсов аппаратного обеспечения и формирования запросов ПР 1-5 (t11, t21, t31, t41, t51 — выделение ресурсов ПР 1-5; t12, t22, t32, t42, t52 — работа с предоставленными ресурсами ПР 1-5; t13, t23, t33, t43, t53 —
возвращение ресурсов ПР 1-5 системе).
Процесс динамического моделирования работы ИС определяется срабатыванием переходов и изменением маркировки позиций в соответствии с (2) и (3): при срабатывании перехода изменяется маркировка его входной и выходной позиций. Таким образом, для ИС с ресурсом SRC = 5 динамическая модель состояний при полном использовании ресурса (функционировании пяти ПР) определится системой уравнений [4]:
ц' (p0 ) = M^0 ) + !(# (1 (t13 ) ) = !) + !( # ( Po, 1 (t23 ) ) = !) + !(# (Po, 1 (t33 ) ) = !) +
+ l(# (, I (t43) ) = l) + l(# (, I (t53> ) = l) - l(# (, O (tii)) = l) -
-1(# (, O (t2i) ) = l) -1(# (, O (t3i) ) = l) -1(# (, O (t4i) ) = l) -
-1(# (, O (t5i) ) = l) ; tii: ц(po) —#(Po, 1 (tii) ) и ц(pis) —#(Plз, 1 (tii)); ц' (pii) = ц(л1)+!(# ^^ii,1 (tn) ) =!)-!(# (p^ ° (ti2) ) =!); ti2: ц^^11)—#(p11,1 (ti2) );
ц' (12) = ^#2) + !( # ^/^12 , 1 (t12 ) ) = !) - !( # ( p12 , ° (t13)) = !);
t13 : ц(pi2 ) — #(pi2,1 (t13) ) ; ц' (13) = ц(р3) + !(# (p^1 (ti3) ) =!)-!(# (p^ ° (tii)) =!);
ц' (pc) = ц(ас)+!(# (, 1 (O ) =!) ;
t21 : ц^^о) — # (1 (t21 )) и ц^^23) — # ( 1 (t21 ) ) ; ц ' (21 ) = ц^И ) + !(# ^^^21.1 (t21 ) ) = !) - !(# (P21, ° (t22 )) = !); t22 : ц (p21 ) — # (p21,1 (t22 ) ) ; ц ' (p22 ) = ц (22 ) + 1 (# ^^22 , 1 (t22 )) = !) - 1 (# (p22 , O (t23 )) = !) ;
t23 : ц ( p22 ) — # (p22,1 (t23 )) ;
Ц' (Рй) = Ц(Ри) + і( # ( Р23,1 (¿23) ) = і) - і( # ( Р23, 0 (¿21 )) = і);
Ц' (Р2с) = Ц(Рі с) + 1(# (Р2 с ,1 (¿22) ) = 0 ;
¿31 : Ц(Ро) — # (1 (^31 )) и Ц^) — # (1 (^31 ) ) ;
Ц ' ^^Р31> = Ц(Р^) + 1( # (1 (^31) ) = О - 1( # ( Р31. 0 (^32)) = О;
¿32 : ц(р31 ) — #(31,1 (32 ) ) ;
ц ' (Р31) = ц(р^) +1(# (1 (¿31) ) = О -1( # (Р31.0 (^32>) = ^;
¿32 : Ц^-Р31) — #(31,1 (32 )) ;
Ц ' (Р32 ) = Ц(Р32) + 1(# ( Р32 ,1 (32) ) = О - 1( # ( Р32 , 0 (33) ) = О;
¿33 : ц(р32) — #(Р32,1 (^33 )) ;
Ц ' (Р33) = Ц(Рва) + 1(# (1 (¿33) ) = ^ - 1( # ( Рзз, 0 (^31 )) = ^;
Ц ' (Р3с) = Ц(Р3с) + 1(# (Р 3с , 1 (^32) ) = О ;
¿41 : ц(Ро ) — # (1 (^41 )) и Ц (Р43 ) — # (JР43,1 (41 )) ;
Ц'(Р41 ) = Ц(Р41 ) + 1(#(Р41 ,1 (41 )) = О - 1(#(Р^0(^42>) = О;
¿42 : ц(р41 ) — # 1 (^42) ) ;
Ц' ( Р 42 ) = Ц(Р 42 ) + 1(# (Р 42,1 (¿42) ) = О - 1( # ( Р42 , 0 (¿43) ) = ^;
¿43 : Ц (Р42 ) — # [Р 42 ,1 (¿43) ) ;
Ц' (Р 43 ) = Ц(Р 43 ) + 1(# ( Р43,1 (¿43)) = О - 1( # ( Р43 , 0 (¿41 )) = О;
Ц' (Р4с) = Ц(Р4с) + 1(# (Р4с, 1 (¿42) ) = О ;
¿51 : Ц(Ро) — # (1 (¿51) )и Ц(Р53 ) — # (Р53 ,1 (¿51) ) ;
Ц ' (Р51) = Ц(Р 51 ) + 1(# 1 (¿51) ) = О - 1( # ( Р51, 0 (¿52)) = ^;
¿52 : Ц(р51 ) — # (Р51,1 (52 )) ;
Ц' (я) = Ц^) + 1( # (Р 52 ,1 (¿52) ) = ^ - 1( # ( Р52,0 (¿53)) = ^
¿53 : ц(р>52) — #(р52,1 (¿53 )) ;
Ц' (Р 53 ) = Ц (Р 53 ) + !(# ^Р 53 ,1 (¿53) ) = і) - і( # ( Р53 , 0 (¿51 )) = і);
Ц' (Р5 с) = Ц (Р5 с) + 1(# ^Р 5 с , 1 (¿52) ) = ^ •
Алгоритм моделирования динамических процессов в ИС в терминах сетей Петри представлен на рис. 2. Разработанная программа расчетов процессов ИС базируется на объектно-ориентированном подходе, для чего были созданы специали-
зированные классы, описывающие состояния, переходы, дуги и функционирование сетей Петри в целом.
Рисунок 2. Блок-схема алгоритма моделирования работы ИС в терминах сетей Петри
Применительно ко всей ИС с SRC = 5 и пятью ПР ее работа имеет вид, представленный на рис. 3.
При моделировании учитывалось, что в реальных условиях ИС работает со случайным характером загрузки. В разработанной программе это условие было реализовано с использованием генератора случайных чисел, который задавал время предоставления ресурса системы каждому ПР: алгоритмом моделирования выполнялось дискретное разбиение временной оси х и задавалось распределение количества событий А на каждом промежутке времени Ах в предположении, что X и х являются независимыми величинами, т. е. работа ПР рассматривалась как случайный марковский процесс с пуассоновским потоком событий с интенсивностью X = X (х) (рис. 3).
Из результатов моделирования, представленных на диаграммах рис. 3, видно, что поскольку продолжительность предоставления ресурсов ИС является случайной величиной, запросы на предоставление ресурса от ИС поступают хаотично, время их работы с ресурсом, в соответствии с алгоритмом работы генератора случайных чисел, меняется по дискретному закону распределения.
Рисунок 3. Динамический процесс работы ИС с SRC = 5 и пятью ПР при случайном времени использования ресурса
Таким образом, анализ процессов распределения ресурсов в ИС, полученных путем моделирования, соответствует работе реальной системы, а логические связи состояний и переходов системы соответствуют процессам взаимодействия отдельных ПР с ресурсом. Если ресурсов ИС достаточно только для работы одного ПР, то второй ПР всегда находится в состоянии ожидания, пока ресурс не освободится; и только после этого ресурс становится доступен для второго ПР. При этом ресурс ИС используется непрерывно. В случае, когда ресурсов достаточно для функционирования пяти ПР, они могут работать непрерывно и независимо друг от друга, что получено при моделировании ИС.
Таким образом, полученные результаты показали, что разработана динамическая модель ИС в терминах сети Петри, которая адекватно отражает работу реальной системы, что позволяет использовать ее для моделирования процессов в ИС и определять рациональную загрузку.
Литература
[1] Котов В. Е. Сети Петри. — М. : Наука : Гл. ред. физ.-мат. лит., 1984.
[2] Лескин А. А., Мальцев П. А., Спиридонов А.М. Сети Петри в моделировании и управлении. — Л .: Наука, 1989.
[3] Наумов В. С. Использование сетей Петри при моделировании процесса транс-портно-экспедиционного обслуживания // Автомобильный транспорт. 2009.
№ 24. С.120-124.
[4] Корнев Д. А. Моделирование динамического состояния виртуальной инфраструктуры с использованием сетей Петри // Программная инженерия. 2014.
№ 5. С. 14-19.
Авторы:
Корнев Дмитрий Александрович, аспирант кафедры информационных технологий Московского государственного университета путей сообщения
Логинова Елена Юрьевна, доктор технических наук, профессор, профессор кафедры энергетики Московского технологического института
Investigation of Algorithms for the Information System with the Use of Petri Mathematical Networks
D. A. Korneev, E. Yu. Loginova Moscow State University of Railway Engeneering 15, Obraztsova Street, GSP-4, Moscow, 127994
Moscow Technological Institute,
38A, Leninckiy pr., Moscow, 119334
Abstract. The article proposes a mathematical model for the study of the functioning of the information system using the mathematical formalism of extended Petri networks. The results of simulation shows hardware resources as a discrete dynamical system.
Keywords: dynamic modeling, mathematical formalism of Petri nets, Information Systems.
Reference
[1] Kotov V. E. (1984) Seti Petri. Moscow, Nauka Gl. red. fiz.-mat. lit. (rus)
[2] Leskin A. A., Malcev P. A., Spiridonov A.M. (1989) Seti Petri v modelirovanii i up-ravlenii. Leningrad, Nauka. (rus)
[3] Naumov V. S. (2009) Ispolzovanie setej Petri pri modelirovanii processa trans-portno-jekspedicionnogo obsluzhivanija. Avtomobilny transport, 24, 120-124.
[4] Kornev D. A. (2014) Modelirovanie dinamicheskogo sostojanija virtual'noj infra-struktury s ispol'zovaniem setej Petri. Programmnaja inzhenerija, 5, 14-19.
