CC BY
36
Математическая модель функционирования распределённой информационной системы на базе архитектуры «файл - сервер»
с учётом влияния блокировок
А. Н. Скоба, М.Л. Логанчук
Южно-Российский государственный политехнический университет (НПИ)
им.М. И. Платова, Новочеркасск
Аннотация: В данной статье с использованием аппарата замкнутых экспоненциальных сетей массового обслуживания (СеМО), разработана математическая модель для решения задачи получения интегральных показателей распределённой информационной системы на базе локальной вычислительной сети (ЛВС) с использованием файл-серверной архитектуры с учётом влияния блокировок на уровне всей базы данных. Представлены аналитические выражения для вычисления интенсивностей обслуживания в узлах сети и матриц переходных вероятностей, учитывающие влияние блокировок, а таже выражение, для вычисления среднего времени реакции системы на запросы пользователей. Ключевые слова: распределённая информационная система, распределённая база данных, локальная вычислительная сеть, сеть массового обслуживания, концептуальная модель, экспоненциальный закон распределения случайной величины, стационарная вероятность, марковский процесс, уравнение глобального баланса, время реакции системы, нормализующая константа, рекуррентная процедура.
Математические модели распределённых информационных систем (ИС), разработанные и представленные в работах [1,2] не учитывают влияния блокировок . Согласно [3] , блокировка возникает в тот момент, когда заявки одного или нескольких пользователей ИС обращаются к базе данных, расположенной на одной из пользовательских ПЭВМ, но в свою очередь, эта же база данных была ранее активирована запросом другого пользователя, который ещё не получил подтверждения о его выполнении. Соответственно, с одной стороны, блокировка повышает степень обеспечения целостности данных, а с другой - приводит к увеличению «реактивности» системы-среднего времени реакции системы на запросы пользователей.
Исходные данные для конструирования математической модели и концептуальная модель , разрабатываемой распределённой ИС совпадают с
:
исходными данными и концептуальной моделью для распределённой ИС без учёта влияни блокировок и преведены в работе [1].
Для математического описания рассматриваемой распределённой ИС, с учётом влияния блокировок, была использована система линейных разностных уравнений [5-7]:
2п+1 п /_\ 2 п+12п+1 п /_ _ _ \
ЕЕП' К =1114+1- -кл (г), (1)
к=1 г=1 1=1 к=1 г=1
где р() - стационарное распределение вероятностей состояний рассматриваемой замкнутой однородной экспоненциальной сети массового обслуживания (СеМО); цгг_1, (г = 1, п,s = 1,2п +1) - время обслуживания в у-м
узле сообщения г-го пользователя; Ьг - вектор, в у-ой координате которого (у = 1,2п +1) на г-м месте (г = 1, п) стоит 1, а все остальные значения равны
нулю; ||рк(у) (/,к = 1,2п +1,у = 1,п) - матрица переходных вероятностей.
При конструировании элементов матриц |рк (у) учитывался тот
факт, что вероятности следования запросов для некоторого пользователя рассматриваемой распределённой ИС могут быть вычислены без учёта вероятности следования запросов других пользователей [5,6]. Другими словами, введение в замкнутую экспоненциальную СеМО, содержащую один класс запросов, произвольного числа запросов других классов , так же, как и запросы рассматриваемого класса, циркулирующие в сети, не изменяют переходных вероятностей нахождения запросов рассматриваемого класса в сети. Это даёт возможность декомпозиции исходной СеМО с у классами запрсов на у СеМО с тем же числом СМО, но с одним запросом.
С учётом декомпозиционного подхода, расчёт величин ||рк (у)
(, к = 1,2п +1, у = 1, п) выполнен следующим образом:
р. (* )=
д (
1 -ЕЕ /,А]Х],, г =1. = я +1;
,=1 у=1
д (
ЕЕ , г =1. = п +я +1;
г=1 у=1
д (
1,если ЕЕ /ЛуХ^ ф 0,при г = 1,п,I = г +1,1 ф я +1,к = 1;
г=1 7=1
г = 1,п,г = п +1 + г,г ф я,к = г + 1и г = я,к = 1;
д (
ЕЕ /Л У 7*
г=1 7=1_
д (
1 - ЕЕ ХАХ*
г=1 7=1
д(
если ЕЕ/ЛХ ф 1,при г = я +1,г = 1,п,
,=1 7=1
к = п +1 + г, к ф п + я +1; 0, во всех остальных случаях.
При вычислении величин ¡г (я = 1,2п +1, г = 1, п) , также был применён декомпозиционный подход, на основании которого были выделены две основные схемы выполнения запросов: первая схема описывает выполнение тех запросов я-го пользователя, для которых необходимая база данных размещается на я-ой ПЭВМ; вторая - когда для запросов я-го пользователя необходимые базы данных расположены на других ПЭВМ сети. Кроме того, для учёта влияния блокировок, предусмотрены временные задержки запросов, находящихся в очереди к каналу. С учётом всего этого, по сравнению с [1], расчёт величин ¡г (я = 1,2п +1, г = 1, п) модифицируется:
Ц.г =
(
. = 1,2п +1.
Л
Vг = 1, п у
Яг, у = 1, г = 1, п;
в-1, г = 1, п, г = 1, п, у = 1 + г, г = г;
( ч а
в0 +
I /«
1=1 j=l
V
, г = 1, п, г = 1, п, у = 1 + г, г Ф г;
ч а
I/. I3
1=1 j=l
^/х/г
УУ,
• +
ч п а
IЛ Ця^л*
I=1 к =1 / =1
+
ч п а
I /„ I I*
1=1 к =1 / =1
Уо-
Узк к=1 1=1 /=1
п__^ а \
4Ыи1/у/х/г
III /а Я
+
к Ф г
в
г = 1, п, г = 1, п, у = п + 1 + г, г = г;
( ч а
а0 +
I /л Ц
1=1 /=1
Л-1
УУ
, г = 1, п, г = 1, п, у = п +1 + г, г Ф г.
В работах [5,6] показано, что решение системы уравнений (1), может быть получено в виде:
Р (()=О -1 ((1,..., N )ГК (ь).
.=1
Здесь О^ъ-.-Аг) - нормализующая константа, I,, (г.) - вероятность
стационарного агрегированного состояния СеМО в состоянии г., зависящая от типа используемого узла. Согласно [6], выражения для О(Ы1,-,Ып) и (г.) имеют вид:
2п+1 /_ ч
О((1,...,Ап )= I (г.),
1еБ((,...,Ап ;2п+1) .=1
общее число сообщений в центре б ( г. = I г
у бг
г=1
I ( )= 0П Л
С
е
г=1 г ! V ц ,
бг \ г бг у
в
-1
:
Расчёт величин esr (5 = 1,2л +1, г = 1, п)
+1, г = 1, п)-относительных интенсивностеи потока
запросов класса г, проходящих через центр я, сводится к решению системы линейных алгебраических уравнений:
I еГгР], (г), я = 1,2л +1, г = 1, п .
1=1
Для вычисления реактивности системы Т, можно воспользоваться формулой [1]:
^ 1
Т =
(2)
IV=1
г=1
где Л-1 г , (г = 1, п) - время формирования запросов г-м пользователем;
Тг, (г = 1, п) - среднее время реакции системы на запрос г-го пользователя.
Как было показано в работах [1,2] , расчёт величины Т по формуле (2), может быть сведён к одной из рекурретных процедур вычисления нормализующей константы 0(Н1,...,Ип) . Подробно, вычислительные схемы этих процедур, их достоинства и недостатки, приведены в работах [ 8-10].
е
яг
Литература
1. Скоба А. Н., Состина Е. В. Математическая модель оптимального размещения распределённой базы данных по узлам ЛВС на базе файл -серверной архитектуры // Инженерный вестник Дона.2015. №2. URL:ivdon.ru/ru/magazine/archive/n2y2015/2881.
2. Скоба А. Н., Состина Е. В. Математическая модель оптимального размещения распределённой базы данных по узлам ЛВС на базе двухуровневой клиент - серверной архитектуры // Инженерный вестник Дона.2015. №2. URL:ivdon.ru/ru/magazine/archive/n2y2015/2882.
3. Черноморов Г. А. Теория принятия решений: Учебное пособие / Юж. -Рос. гос. техн. ун-т.-3-е изд. перераб. и доп. - Новочеркасск : Ред. журн. -«Изв. Вузов. Электроомеханика», 2005.-448с.
4. Жожикашвили В. А.,Вишневский В.М. Сети массового обслуживания. Теория и применение к сетям ЭВМ. - М.:Радио и связь, 1988.-192с.
5. Герасимов А.И. Теория и практическое применение стохастических сетей. - М.:Радио и связь.,1994.-175с.
6. Вишневский В.М. Теоретические основы проектирования компьютерных сетей.- М.: Техносфера, 2003.- 512 с.
7. Скоба А. Н., Состина Е. В. Применение аппарата сетей массового обслуживания для аналитико-численного моделирования работы информационной системы без учёта влияния блокировок // Инженерный вестник Дона.2015. №3. URL:ivdon.ru/ru/magazine/archive/n3y2015/3130.
8. Chakka R., Harrison P.G. A Markov modulated multi-server queue with negative customers - Jhe MM CPP/GE/c/LG-queue // Acta Informatika/-2001.-v.37.pp.785-799.
9. Buzen J.P. Computational Algorithms for Closed Queueing Networks with Exponential Servers // Commun. ACM. -1983. - Vol.16, №9.pp.527-531.
10. Antunes C.H. et al. A Multiple Objective Routing Algorithm for Integrated Communication Network // Proc. ITC-16.-1999.V.3b.-PP.1291-1300.
References
1. Skoba A.N., Sostina E.V. Inzenernyj vestnik Dona (Rus), 2015. №2.URL:ivdon.ru/ru/ magazine/archive/n2y2015/2881.
2. Skoba A.N., Sostina E.V. Inzenernyj vestnik Dona (Rus), 2015. №2.URL:ivdon.ru/ru/ magazine/archive/n2y2015/2882.
3. Chernomorov G.A. Teoriya prinyatiya resheniy [decision making theory]: Uchebnoe posobie. Yuzh. Ros.gos.tekhn. un-t. 3-e izd. pererab. i dop.Novocherkassk : Red. zhurn."Izv.vuzov.Elektromekhanika", 2005. 448p.
4. Zhozhikashvili V.A., Vishnevskiy V.M. Seti massovogo obsluzhivaniya. Teoriya i primenenie k setyam EVM [Queueing networks. Theory and its network application].M. Radio i svyaz', 1988. 192p.
5. Gerasimov A.I. Teoriya i prakticheskoe primenenie stokhasticheskikh setey [Theory and practical application of stochasticnetworks].M. Radio i svyaz', 1994. 175p.
6. Vishnevskiy V.M. Teoreticheskie osnovy proektirovaniya komp'yuternykh setey [Theoretical foundations of computer network design].M. Tekhnosfera, 2003. 512p.
7. Skoba A.N., Sostina E.V. Inzenernyj vestnik Dona (Rus), 2015. №2.URL:ivdon.ru/ru/ magazine/archive/n3y2015/3130.
8. Chakka R., Harrison P.G. A Markov modulated multi-server queue with negative customers. Jhe MM CPP/GE/c/LG-queue. Acta Informatika.2001. v.37.pp.785-799.
9. Buzen J.P. Computational Algorithms for Closed Queueing Networks with Exponential Servers. Commun. ACM. 1983. Vol.16, №9.pp.527-531.
10. Antunes C. H. et al. A Multiple Objective Routine Algorithm for Integrated Communication Network. Proc ITC-16. 1999. V. 3b. pp. 1291-1300.
