Рис. 4. Алгоритм обслужмвания запросов
Составим модель в терминах алгебры процессов PEPA для серве-
ра СУБД и контура клиента. В соответствии с ранее описанным
принципом построения моделей выделим процессы
SrvR
и
SrvW
,
описывающие обработку операций сервером с интенсивностями
r
и
w
, соответственно. Клиенты описываются процессом
Client
, генери-
рующим заявки на чтение (
inR
) и запись (
inW
) c интенсивностями
n
*
in
и
(1
−
n)
*
in
соответственно. Кроме того, дополнительную задерж-
ку вносит отображение клиентом полученной от сервера информа-
ции, моделируемое действием
display
с интенсивностью
d
. Причем
при моделировании предельной нагрузки сервера данное действие
следует исключить. Составленная модель имеет вид
SrvR
=(beginR,
T
).(lockR,
l
).( actR,
r
).(unlockR,
l
).(endR,
T
).
SrvR
;
SrvW
=(beginW,
T
).(lockW,
l
).( actW,
w
).(unlockW,
l
).(endW,
T
).
SrvW
;
Sem
0
= (lockR,
T
).
Sem
1
+ (lockW,
T
).
SemW
;
Sem
i
= (lockR,
T
).
Sem
i
+1
+ (unlockR,
T
).
Sem
i
−
1
; при
i<N
Sem
N
= (unlockR,
T
).
Sem
N
−
1
;
SemW
= (unlockW,
T
).
Sem
0
;
ClientProc = (display, d ).Client;
Client =
(inR,
n
1
*
in
).(beginR,
T
).( endR,
T
).
ClientProc
+
(inW,
n
2
*
in
).(beginW,
T
).( endW,
T
).
ClientProc
;
Sys
=
M
i
=1
Client
L
1
N
SrvR
||
SrvW
L
2
Sem
0
L
1
=
{
beginR, beginW, endR, endW
}
,
L
2
=
{
lockR, lockW, unlockW, unlockW
}
.
102 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2007. № 3
