
книги из ГПНТБ / Приоритетные системы обслуживания
..pdfОтдельно взятый &&-период складывается из ^-циклов точно
так же, как период |
занятости |
системы M | G11 j оо из длительно |
|
стей обслуживания |
вызовов. |
|
|
Для получения |
я й й ( г , x, s) |
в формуле |
(4.3) ß(e, x, s) заме |
няем на Л*(г, x, s), |
z— на zh, |
а— на ад. |
В нашем случае для |
учета длины очереди из вызовов приоритета ниже k, накапливае
мых за k-циклы |
до |
поступления |
|
первой |
катастрофы |
внутри |
от |
|||||||
дельно взятого ^ - периода, эти вызовы следует |
окрашивать |
|
||||||||||||
Поэтому |
я (s) и ß(s + a—az) |
в |
(2.3) не просто заменяются на |
|||||||||||
nkh(s) |
и hh(s |
+ ah—ahZk), |
|
а на |
|
|
|
|
|
|
|
|
||
|
|
« H (s -г [о — az]k+x) |
и hk (s - f [о — |
az]k). |
|
|
|
|||||||
Пусть sn*kk (z, |
x, |
s)dx — вероятность того, что первая |
ката |
|||||||||||
строфа внутри отдельно |
взятого |
/гЫ-периода наступила |
в момент |
|||||||||||
S = (z, |
x). |
2. Имеет место |
формула |
|
|
|
|
|
||||||
Л е м м а |
|
|
|
|
|
|||||||||
in), |
s u |
, |
|
ч |
4 — [3tkk(s |
+ |
[o — az]k+1)}'1 |
|
|
|
|
|||
я&} (z, x, s) = hk |
{z, |
x, s) |
Zfe — M |
|
— |
(n > 1). |
(2.4) |
|||||||
|
|
|
|
|
|
S + [<T — azjft) |
|
|
|
|
||||
Д о к а з а т е л ь с т в о . |
На |
основании |
соотношения |
|
(2.2) |
фор |
||||||||
мула |
(2.4) представима в виде |
|
|
|
|
|
|
|
||||||
sn$(z, |
x, s)dx |
= zflsnkk(z,x,s)dx+ |
|
|
. . . + [nkk(s + [a—az^+i)]'-1 X |
|||||||||
x zTl-snkk(z, |
x, s)dx+ ... |
+[nkk{s+ |
|
[o — az]k+i)]n-l-snkk{z,xt |
s)dx. |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(2.5) |
Пусть первая катастрофа на отдельно взятом fe/гп-периоде на |
||||||||||||||
ступила в момент 5 = (z, |
х). |
|
|
|
|
|
|
|
|
|||||
Так как &&п-период складывается из п независимых |
/^-перио |
|||||||||||||
дов, то для осуществления этого |
события |
необходимо |
и достаточ |
но наступления первой катастрофы на одном из этих п /гА-перио- дов в момент 5 = {z, х).
В правой части (2.4) і-тое слагаемое |
(і—1,п) |
соответствует |
||
осуществлению |
вышеуказанного события на /-том Aé-периоде. |
|||
Обозначим |
через snk(z, x, s)dx |
вероятность наступления пер |
||
вой катастрофы |
внутри отдельно |
взятого |
fe-периода |
в момент |
5 = (z, х). Положим
1 Суммарный поток синих вызовов приоритета ниже й-пуассоновый с пара метром {er—az]k+i.
101
лк |
(z, |
s) |
= |
j " nk (z, |
x, s) |
dx, |
|
|
|
|
0 |
|
(2.6) |
|
|
|
|
oo |
|
|
|
|
|
|
|
|
|
hk |
(z, |
s) |
= |
j nf t (z, |
s) |
dx. |
|
|
|
|
о |
|
|
Л е м м а |
|
3. |
Верна |
рекуррентная |
|
формула |
|
|
|
||||
Oknk |
|
( Z , |
S ) |
---- OA_, |
Я Е _ ! |
( Z , |
S ) |
+ |
, |
S |
) |
X |
|
|
|
|
|
|
|
|
|
|
4 — /ifc (s + [a |
— azjfe) |
|
||
X {akzk |
+ |
o-ft-i яА _і (s + |
[a — az]fc) —af c nf t (s-f-[a —az]f e + i)}. |
(2.7) |
|||||||||
Д о к а з а т е л ь с т в о . |
Справедливость |
равенства |
|
|
|||||||||
5ЯЙ (z, x, |
s) |
|
= |
0 / г - 1 |
-Ärtfe-i |
(z, x, |
s) |
dx + |
-^-snkk |
(z, |
x, s) dx |
- f |
|
|
|
|
|
0"ft |
|
|
|
|
|
CTfe |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(2.8) |
вытекает из следующих вероятностных рассуждений. Пусть внутри отдельно взятого ^-периода первая катастрофа наступила в момент
S=(z, |
х) |
(с вероятностью s-nk(z, |
x, s)dx). |
Для |
этого |
необходимо |
|||||||
и достаточно, чтобы ^-период начался |
|
|
|
|
|
|
|
||||||
|
либо |
с |
такого (k—1)-периода, |
за |
который |
первая |
катастрофа |
||||||
наступила |
|
в |
момент |
5 = ( z , |
х) |
(вероятность |
чего |
есть |
|||||
Ok |
s - я^_і (z, x, s)dx); |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
либо |
с такого (k—1)-периода, |
за который не наступали ката |
||||||||||
строфы и поступали разве лишь |
красные |
вызовы |
приоритета |
ниже |
|||||||||
k и |
поступило |
п ( и ^ І ) |
вызовов приоритета |
k |
(с вероятностью |
||||||||
|
|
|
Ok- |
|
|
|
|
|
|
|
|
|
|
|
|
|
oft |
О |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
за последующий |
отдельно взятый |
&&л-период |
первая |
катастрофа |
|||||||||
наступила |
в |
момент S = |
(z, х) (с |
вероятностью |
snj^ |
(z, x, s)dx); |
|||||||
|
либо |
с |
&&-периода, |
первая катастрофа |
за |
|
отдельно |
взятый |
102
ÄÄ-период наступила в момент 5 = (г, х) ^с вероятностью
-^- |
snkk |
|
(2, x, s) |
dx]. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Oft |
|
|
|
|
J |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
После подстановки в (2.8) значений |
nkk{z, |
x, s), |
Jij$ (2, |
x, |
s) |
из |
|||||||||||||||
лемм |
1,2, |
суммирования |
по п |
|
под |
знаком |
интеграла |
получаем фор |
|||||||||||||
мулу |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
oksnk |
/ |
|
|
\ j |
|
|
|
t |
|
|
\ |
_/ |
|
shb(z, |
x, |
s) |
dx |
— — - |
X |
||
(z, x, |
s) dx --= GA_i - S • |
|
|
(2, x, |
s) dx i |
|
, |
' , |
/ |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Zfe — hk{s-\- |
[a — |
az]k) |
|
||||
|
X |
{akzk |
— aknkk |
(s |
[o — az]k+\) |
|
-,- af t _i я*_і (s |
\a--az]k) |
— |
|
|||||||||||
|
— 0*_i nf e _i (s |
-p [0 — az]k+i) |
+ |
ak[l—nkk |
(s -•- [a — |
|
az]k+i)]}, |
|
|||||||||||||
которая |
с |
помощью |
равенства |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
akKk (s) |
сгЛ_і я/е _і (s + |
ak |
— ak |
якк |
(s)) |
ak |
xkk |
(s) |
|
(2.9) |
||||||||
и интегрирования по x от |
0 |
до |
|
оо дает |
(2.7) |
|
|
|
|
|
|
|
|||||||||
С л е д с т в и е |
1. Из |
(2.6) |
вытекает |
формула |
|
|
|
|
|
|
|||||||||||
с я (2, s) |
|
У |
hk(z, |
s) |
|
|
|
{akzk |
-f- ok-i |
nk-i |
(s H- [ G — azjfe) — |
||||||||||
|
|
|
{a~az\k) |
||||||||||||||||||
|
|
|
|
Zk — hk(s + |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
V * |
(s |
|
+ |
[ ° |
— |
az]k+x)}. |
|
|
|
|
|
(2.10) |
Ниже будет доказана лемма 4, представляющая интерес не только для настоящего параграфа, но и, например, при получении распре деления длины очереди в СМО с относительным приоритетом и
ненадежным прибором. Пусть за некоторый |
промежуток времени |
а 1 с распределением A(t) накапливаются |
вызовы. Рассмотрим |
промежуток времени, начинающийся с промежутка a и кончаю щийся первым после a моментом освобождения системы от вызо
вов приоритета k и выше. Такой промежуток назовем |
(a, |
k)-цик |
||||||
лом |
(с ф. р. П(а,k){t)). |
Промежуток |
а |
называется периодом |
бло |
|||
кировки, |
а следующая |
за периодом |
блокировки часть |
(a, |
k)-цик |
|||
ла— |
ХвОСТОМ (a, |
k) (с |
ф. p. Q{a,k){t)). |
|
|
|
||
|
Пусть |
s-a(z, x, |
s) dx |
(sK(a,k)(z, x, |
s)dx) |
— вероятность |
наступле |
ния первой катастрофы внутри отдельно взятого периода блоки
ровки ((a, k)-цикла) |
в |
момент S—(z, х). |
Наконец, s-q(z, |
x, |
s)dx —• вероятность наступления первой |
1 Случайная величина a может зависеть от параметров.
103
катастрофы |
внутри |
отдельно |
взятого |
(a, k)-цикла |
на хвосте |
(a, k) |
|||||||||||
в момент S — (z, |
х). |
|
|
ос |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a (z, s) --~ J а (z, x, |
sjdx, |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
|
|
|
я( а, k) (z, s) = |
•о |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
j я { а > ft) (z, |
x, s) dx, |
|
|
|
|
(2.11) |
||||||||
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<7(a,ft)(г, s) |
|
j " |
а( а ,A ) (z, x, |
s) dx. |
|
|
|
||||||
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
Л е м м а |
4. |
Справедливы |
соотношения. |
|
|
|
|
|
|
|
|||||||
где |
|
|
Ща, ft) (Z, S) = |
a (2, S) - f 0( a >ft)(z, s), |
|
|
|
[(2.12) |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<7<a,ft)(г, s) = |
|
Y |
- |
^ |
i |
î |
— |
{щал-D |
(s + |
[a - |
« ] , ) |
- |
|||||
|
|
<-J 2j — hi (s 4- [a — azji) |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
— я( а ,г, (s + |
[a — аг] ( ] + 1 )} . |
|
|
|
|
|
(2.13) |
||||||
Д о к а з а т е л ь с т в о . |
Обозначим |
через |
sg(aU) |
(z, x, s)dx |
вероят |
||||||||||||
ность того, что первая катастрофа |
на отдельно |
|
взятом |
(а, ^ - цик |
|||||||||||||
ле наступила |
после |
(a, і — \ )-цикла |
в момент 5 = |
(z, х). |
|
|
|
||||||||||
Равенство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sg(a,t) iß, Х, S)dx =.--• ^ |
5л|?(2, |
S) dx X |
|
|
|
|||||||||||
X j e - ' s |
+ t — . |
| = ^ _ е - ^ " | а П ( в > |
, _ „ ( 0 |
|
|
(2.14) |
|||||||||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
получается из следующих |
рассуждений. |
|
|
|
|
|
|
|
|
||||||||
Пусть первая |
катастрофа |
на |
отдельно |
взятом (a, |
t)-цикле |
||||||||||||
произошла после (a, і—1)-цикла |
в момент |
S—(z, |
х). |
Для |
этого |
||||||||||||
необходимо |
и достаточно, |
чтобы |
за (a, і—1)-цикл |
не было |
ката |
||||||||||||
строф, поступали разве лишь красные |
вызовы |
приоритета |
ниже і, |
||||||||||||||
поступило п |
вызовов приоритета |
і (п^\)\ |
|
за |
|
отдельно |
взятый |
||||||||||
ц'п-период первая катастрофа наступила в |
момент |
S=(z, |
х). |
||||||||||||||
Подставив значение лі? (z, |
x, s) из (2.4) в (2.14), |
просуммировав |
|||||||||||||||
по п, использовав |
(2.9) и соотношение |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
Ща,к) (s) = |
a (s + |
ak — aknk |
(s)), |
|
|
|
|
|||||||
проинтегрировав (2.14) по x |
от 0 до оо, получаем |
(2.13). |
|
|
|
||||||||||||
1 С этих п вызовов |
начинается |
іш-период. |
|
|
|
|
|
|
|
|
104
С л е д с т в и е |
2. |
Из (2.12) |
и (2.13) |
вытекает |
формула |
|
|
|
||||||||||||
|
|
|
h |
t-, |
|
ч\ — у |
|
1 — ßfe (д + |
а — дг) |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
S + A — az |
|
|
|
|
|
|
|
|||
|
k—i |
|
|
|
-№ j > |
|
— |
( h fr, (s + |
[a - |
«],)) |
|
- |
|
|
||||||
|
У |
|
|
|
|
|
|
|
||||||||||||
|
£l |
|
гі- |
Ы |
(s + |
[a — |
az]i) |
|
|
|
|
|
|
|
|
|
|
|||
|
t=i |
|
|
_ ß ^ + 1 ( s + [ a - a z ] l + 1 |
) ) b |
|
|
|
(2.15) |
|||||||||||
где |
|
|
|
|
|
|
||||||||||||||
|
|
|
Hi = s + at~i — 0 £ _ i n j _ i ( s ) , |
|
|
|
(2.16) |
|||||||||||||
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
о — az =•= [a— |
az\v |
|
|
|
|
|
|
|
||||||
З а м е ч а н и е , |
k-цикл |
можно |
рассматривать |
как |
(ßs, |
k—1)-цикл. |
|
|
||||||||||||
В. Формулировка результата. Справедлива |
|
|
|
|
|
|
||||||||||||||
Т е о р е м а . |
Функция |
P(z, |
s) |
вычисляется |
|
по |
формулам |
|
|
|||||||||||
|
|
|
|
|
|
P(z, |
s) = |
1+ |
|
s) |
t |
|
|
|
|
(2.17) |
|
|||
|
|
|
|
|
|
|
|
|
|
s - j - |
о — а я |
(s) |
|
|
|
|
|
|
|
|
где n(z, |
s) определяется |
через |
hk{z, |
s) |
(k—l,r) |
в |
следствии |
1, |
a |
|||||||||||
функции |
hk(z, |
s) |
задаются |
рекуррентным |
образом |
в следствии |
2. |
|||||||||||||
Д о к а з а т е л ь с т в о . |
Докажем |
формулу |
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
(5 + |
а)в-<5 +°>* + а л |
(z,x,s) |
|
|
|
|
|
||||||
из которой непосредственно вытекает (2.17). |
|
|
|
|
|
|
|
|||||||||||||
Перепишем |
ее в |
виде |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
sP (z, X, s) dx = se~<s+CT)ï |
dx |
-i |
|
— |
sn (z, x, s) dx |
+ |
|
|
|
||||||||||
|
|
|
|
|
j |
— |
n(s)-sP(z, |
x, |
s)dx. |
|
|
|
(2.18) |
|||||||
|
|
|
|
|
s + |
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Пусть первая катастрофа наступила в момент |
S=(z, |
х). |
Для |
|||||||||||||||||
этого необходимо и достаточно, чтобы |
|
|
|
|
|
|
|
|
|
|||||||||||
либо |
первая |
катастрофа |
произошла |
в момент х, |
когда |
система |
||||||||||||||
была еще свободна от вызовов; |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
либо |
до поступления |
первого вызова |
не |
наступали |
катастро |
фы, а первая наступила на отдельно взятом периоде занятости в момент 5 = (z, х) ;
либо катастроф не было ни до начала |
периода занятости, |
ни |
за период занятости, а первая катастрофа |
(начиная с конца |
пе |
риода занятости) наступила в момент S= (z, |
х). |
|
105
§ 3. Виртуальное время ожидания
А. Введение. В 1963 г. появилась монография Бенеша в ко торой задачи массового обслуживания исследуются на основании так называемой функции загрузки K(t). По определению K(t) есть суммарная длительность обслуживания тех вызовов, которые по ступали в систему до момента t. Через К (t) удается выразить воз можное время ожидания для вызова, если бы он поступил в мо мент t, во многих СМО. Вывод формул, определяющих K(t), для каждой конкретной системы — довольно простая задача. Кроме того, когда в СМО поступают простейшие потоки вызовов, хорошо работает прием дополнительного события, который при определе нии функции загрузки позволяет для СМО с приоритетом и ожи данием получить характеристики времени ожидания в нестацио нарном режиме работы системы. Рассматривается СМО, описанная в начале главы. Порядок обслуживания вызовов каждого приори тета прямой.
Б. Вывод основных формул. Пусть независимо от функциони рования системы поступает пуассоновый поток катастроф с пара метром 5 > 0 .
Обозначим через wh(t) время, начинающееся с момента t и кончающееся первым после t моментом, когда система освобо дится:
от вызовов приоритета k и выше, поступивших до момента t; от вызова приоритета i(i — k+\, г), если таковой обслуживал
ся в момент t.
Другими словами, если бы после момента t вызовы в систему не поступали, то wh(t) — время, которое пришлось бы ждать вы зову приоритета k, если бы он поступил в момент t.
Положим |
|
_ |
|
|
|
|
|
|
<oft(s, |
t) : = M < T S ^ ( 0 . |
|
(3.1) |
|
Пусть |
ш й ( 0 ) = 0 |
(в начальный момент система свободна от |
вызо- |
|||
зовов) |
и выполнено условие стационарности (условие ненасыщения |
|||||
системы) |
|
|
|
|
|
|
|
|
ajiu+ |
. . . + a , ß r |
l < l ; |
|
(3.2) |
Po (О |
— вероятность того, что в момент |
t система |
свободна |
от вы |
||
зовов; Pj(t)dt — вероятность того, что в момент t |
началось |
обслу |
||||
живание вызова |
приоритета |
/ (/ = 2, г). |
|
|
|
|
Имеет место |
формула |
|
|
|
|
k
e i = 1 |
= e - * ' © f c ( s , 0 + |
1 В e n e s V. E . General |
stochastic processes in the theory of qucnes. Massa- |
chy setts, 1963. |
|
106
t |
- > Г a ; ( l - ß ( . ( s ) ) « - A ) |
f j P 0 ( x ) ß |
d [ l - e - " ] + |
ß3 .(x — «)}d[l - e - " ] .
j=k +l 0
(3.3)
Вызов называется плохим, если во время его обслуживания наступает катастрофа. Так как каждый вызов приоритета і — пло хой с вероятностью 1—ßi(s )> а поток плохих вызовов приоритета і (как просеянный поток с рекуррентной операцией просеивания)— пуассоновый с параметром а » ( 1 — ß t ( s ) ) > т 0 суммарный поток пло хих вызовов приоритета k и выше — тоже пуассоновый с пара метром
£ a , ( l - M s ) ) .
Теперь докажем формулу (3.3). Пусть за время t в систему не по ступали плохие выводы приоритета k и выше (вероятность
k
exp |
j |
— |
|
^ |
щ(\ |
—ßi(s)) t^, |
|
для этого необходимо и достаточ- |
|||||||||
|
І=І |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
но, |
чтобы |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
либо |
катастрофа |
не наступала |
ни |
за |
время |
t |
(вероятность |
|||||||||
ехр{—st}), ни за условное время, которое пришлось бы ждать вы |
|||||||||||||||||
зову приоритета k, если бы он поступил в момент t, |
при |
условии, |
|||||||||||||||
что после момента t вызовы в систему не поступают |
(вероятность |
||||||||||||||||
«/г (s, t) |
) ; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
либо |
катастрофа наступила до момента t в момент |
х, |
когда |
|||||||||||||
система |
|
|
была |
свободна |
от |
вызовов |
(вероятность |
|
Po(x)d |
||||||||
[1 — e~ s x ]), |
и |
за |
оставшееся |
время |
t—хне |
поступали плохие |
вызовы |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
приоритета |
k |
и выше |
(вероятность exp | — а £ |
( 1 |
— ß f |
( s ) ) ( £ — |
x)jj; |
||||||||||
|
либо |
катастрофа |
|
|
|
|
i=i |
|
х (с |
|
|
|
|||||
|
произошла |
в |
момент |
вероятностью |
|||||||||||||
d[l—ехр{—sx}]); |
в этот момент обслуживался |
вызов |
приоритета j |
||||||||||||||
(j = k+l, |
|
г), начал же этот вызов |
обслуживаться |
в |
момент, |
u^Zt |
|||||||||||
(вероятность [1—Bj(x—u)]Pj(u)du); |
за время |
t—и |
|
в систему не |
|||||||||||||
поступали |
|
плохие |
вызовы |
приоритета |
k |
и |
выше |
|
(вероятность |
||||||||
е х р { - £ а , ( 1 - М « ) ) ( * - « ) } ) • |
|
|
|
|
|
|
|
|
|
107
|
Рассмотрим |
выражение |
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
i_ |
- 2 |
«fd-PlW)«'-") |
ос |
|
|
|
|
[ P ; ( u ) e ' = 1 |
d u j { l — |
— u ) } d [ l — e - » ] . |
|
|||
|
Ô |
|
|
u |
|
|
|
Во |
внутреннем интеграле делаем замену |
х — и — у и интегрируем по |
|||||
о, |
откуда |
|
|
|
|
|
|
|
|
~2 |
а »<1 -^*>Я'-В ) |
ос |
|
|
|
|
| Р ; . ( и ) е 1 = 1 |
d u j { l — |
— u ) } d [ l — e~s*] = |
|
|||
|
О |
|
|
и |
|
|
|
|
|
|
|
ft |
|
|
|
|
|
|
jf'P.(u)e ~2 , = = 1 |
O i ( l - ß j ( s ) ) ( < - « )d [ l — e-s "]. |
(3.4) |
||
|
|
|
о |
|
|
|
|
Из |
(3.3) и |
(3.4) |
следуют основные |
соотношения |
|
||
|
|
|
s |
|
|
ft |
|
|
|
[ s - 2 |
0;(1-Р; (5))] f |
{ |
|
- [ s - 2 ^(1—P£{S)> |
|
cûfc (s, |
0 = e |
|
о |
P0 |
(x) e |
|
1 = 1 |
{1 — s j |
|||||
|
|
|
|
|
fe |
|
- |
j |
( l - ß y ( s ) ) j > 3 . ( * ) * |
i = 1 |
|
||
|
/=ft+l |
|
|
0 |
|
|
1 = 1 |
dx — |
dx} |
( Ä = l , r). |
|
|
|
|
|
|
|
|
|
|
|
|
(3.5) |
В |
полученной |
системе |
уравнений |
для coÄ(s, |
t) неизвестны |
Р0(х), |
||||||
Pj |
(x), |
j = k + |
1, r, & =TT~r. |
|
|
не зависит от |
порядка |
|||||
|
В. Вычисление Po(x). Вероятность Po(x) |
|
||||||||||
обслуживания |
вызовов. Поэтому |
можно объединить |
все |
г |
|
потоков |
||||||
в |
один |
и |
считать, что |
вызовы суммарного |
потока обслуживаются |
|||||||
в |
порядке |
поступления. Суммарный поток |
является |
пуассоновый |
||||||||
с параметром |
а = а\ + .. . + аг. Каждый вызов |
суммарного |
потока с |
|||||||||
вероятностью |
-^- — приоритета |
і. Следовательно, |
за |
ф. |
|
р. дли |
тельности обслуживания вызовов суммарного потока следует при нять
Для полученной |
системы M | G | l | o o вероятность |
Ро(х) |
определя |
лась в гл. 1. Она |
задавалась формулами (10.2), |
(10.3). |
Итак, |
108
[ e-sxP0 |
(x) dx = [s - f a — on (s)]-1 , |
|
(3.6) |
ô |
|
|
|
pu = lim P0 (t) |
lim s f e-°< P0 (*) <W - 1 - |
£ afitv |
(3.7) |
Здесь IJ(£) — ф. p. периода занятости нашей системы.
Г. Уравнения, определяющие |
Pj{x) |
(/ = 2, г). |
k |
|
|
Функция s — £ аДІ — ß, (s)) > 0 ) |
для каждого s > 0 (так как |
|
i=l |
|
|
выполнено (3.2)) и равна нулю в точке s = 0. |
||
Следовательно, для s > 0 при t-*oo |
функция |
|
e x p { [ s - y |
at(l-Ms))]t} |
по t возрастает до бесконечности. |
|
При s > 0 , ^ > 0 coft(s, /) как вероятность |
ограничена. |
Отсюда и из формул (3.5) заключаем |
|
ft |
|
JP0 (*)< |
t- |
I |
s |
J J |
/=*-и |
|
(3.8) |
|
|
Положим
o* = ö i + • •• + % ( A = 1, 0 .
or — о.
В формуле (3.8) заменяем s на s + Ok—OkUk(s), где ith{s) — преоб разование Лапласа — Стилтьеса от ф. p. Uk(t) периода занятости обслуживанием вызовов приоритета k и выше. Функция nk(s) за дается уравнением
k |
|
|
|
|
(s) = £ |
at |
(1 — ßt- (s + |
afe — oytf c (s))), |
Re s > О, |
£ = 1 |
|
|
|
|
|
|
| я * ( 5 ) | < 1 , |
(3.9) |
|
|
я |
(s) = itr (s), |
k — I , г, |
|
109
Тогда |
на основании |
(3.9) выражение |
s — £ |
at( 1 — ß,(s )) |
заменит- |
||||
|
s. Формула (3.8) после |
|
|
i=,i |
|
|
|
||
ся на |
произведенной |
замены |
запишется в виде |
||||||
|
|
1 - Мц*+,) |
|
|
|
|
|
||
5 |
|
|
|
о |
|
|
|
(3.10) |
|
|
|
|
|
|
|
|
|
|
|
где |
|
|
|
|
|
|
|
|
|
|
\ik+i |
= s + cf e |
— oknk(s) |
(k |
= \, r). |
|
|
(3.11) |
|
Система линейных уравнений_(3.10), |
(3.6) позволяет шаг за ша |
||||||||
гом от \ = г до У = 2 находить Pj(x). Определитель |
системы |
уравне |
|||||||
ний (3.10) при каждом s > 0 |
положителен, так как |
равен |
|
|
|||||
|
|
г |
|
|
|
|
|
|
|
|
|
n ± ± l w L > o |
|
|
|
|
|||
Таким образом, co/^s, ^) определяется |
из системы уравнений |
(3.5), |
|||||||
(3.6), |
(3.10). |
|
|
|
|
|
|
|
|
Д. Возможное время ожидания вызовом приоритета k. Обо |
|||||||||
значим через Wk{t) |
возможное |
время |
ожидания вызовов |
приорите |
|||||
та k, |
поступившим в момент t. Положим |
|
|
|
|
||||
|
|
(ùk(s, |
t) |
, Me-OTfeO. |
|
|
|
(3.12) |
Методом катастроф легко убедиться в справедливости соотноше ния
|
|
(ùk(s, |
t) |
= |
(ùk(s |
-г Ok-i — |
ай-іЯ/і_і (s), t). |
|
(3.13) |
||
Из формул |
(3.5), |
(3.9) и |
(3.13) выводим |
|
|
||||||
|
|
|
|
|
|
|
t |
|
|
|
|
(ùk (s, |
t) |
= |
e^s~ak+akh^k>V |
j 1 —- \ik |
j" P0 |
(x) e-ts-efe+°*PÉ(^)]* |
— |
||||
|
— |
£ |
|
{ 1 — |
ß; (p.f e )} | Р 3 . ( х ) е - [ 5 |
- а А + а й М ^ ^ } . |
(3.14) |
||||
|
|
;=ft+i |
|
|
|
о |
|
|
|
|
|
Таким образом, |
a>h(s, t) |
определяется уравнением |
(3.14), где не |
||||||||
известные |
Po(jc), Pj(x)(j=2, |
r; k=\, |
r—1) |
задаются |
соотношения |
||||||
ми (3.6), |
(3.10), (3.11). |
|
|
|
|
|
|
||||
E. Распределение времени ожидания для вызова приоритета k |
|||||||||||
в установившемся |
режиме. |
|
|
|
|
|
|||||
Теперь из выражений (3.6), (3.10), (3.11), (3.14) найдем |
ф. р. |
времени ожидания для вызовов приоритета k в стационарном ре жиме работы системы в преобразованиях Лапласа — Стилтьеса.
110