
книги из ГПНТБ / Приоритетные системы обслуживания
..pdf§ 5. Тождество Вальда
Рассмотрим сумму случайного числа случайных слагаемых
s v = Ii ~t~ • • • + iv -
Предположим, что
1)—взаимно независимые сл. в.;
2) |
Щі = т; M | g « | = c < + oo; |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
3) |
v — сл. в., |
принимающая |
|
неотрицательные |
целые |
значения |
и |
||||||||||||
не зависящая |
от сл. в. £4 |
при |
і > 0 ; |
|
|
|
|
|
|
|
|
|
|
||||||
4) Мѵ<оо. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Тогда справедливо тождество |
Вальда |
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
Msv = |
|
m - M v . |
|
|
|
|
|
|
|
|
|
||
|
Д о к а з а т е л ь с т в о |
|
т о ж д е с т в а . |
Пусть |
рй.= Р(ѵ = &). |
||||||||||||||
Положим |
|
|
|
f |
1, |
если |
ѵ < |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
— I |
|
|
|
|
|
k . |
|
|
|
|
|
|
|
Тогда |
|
|
|
|
|
I |
0, |
если |
v > |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
P v = £ |
|
= £ (1 —eÄ )gf t . |
|
|
|
|
|
|
|||||
Так |
как |
гк и |
\ k |
независимы, |
то] |
|
|
|
|
|
|
|
|
|
|
||||
м ( i |
|
|
= |
I м ( î - |
eÉ) Mgft | < |
{î - |
p (v < |
k)} M i ik |
|
\<]p |
< , + oo. |
||||||||
Очевидно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
'ms7=^ |
M (1 - |
|
eft) gft |
= / n |
(1 -:Mef t ) |
= |
|
|
|
|
||||||
|
|
|
|
|
|
feSH |
|
|
Й |
|
ft>l |
|
|
|
|
|
|
|
|
|
|
|
= |
|
fflj;{l-P(v<^ |
|
= m J |
P k ( v > A ) ; = m M v . ï J |
|
|
|||||||||
|
|
|
§ 6. Одна предельная теорема для цепи Маркова |
|
|
||||||||||||||
|
Последовательность |
сл. |
|
в. {Ѵ{}І^О, |
|
принимающая |
значения |
Е£, |
|||||||||||
і , > 0, |
образует |
однородную |
|
цепь Маркова, если для любых нату |
|||||||||||||||
ральных |
чисел |
п, |
і ъ |
. . . , |
t„4-i |
выполнено |
|
|
|
|
|
|
|
|
|||||
Р { ѵ л + і |
= |
Etn+\ |
\v1 = |
Eil, |
. . . , |
ѵп = |
Еіп) |
= P {v„+ i |
= E |
i n + Ï |
] |
v n |
= |
£,„}. |
|||||
|
|||||||||||||||||||
Г.; |
Эволюция |
системы определяется |
вероятностями |
|
|
|
|
|
|||||||||||
1) P{VO |
= El} = |
pt, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
2) P { v № f i = £ f | v „ = £ l } = p w . |
|
|
|
|
|
|
|
|
|
|
|||||||||
Ясно, |
что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
381
Цепь Маркова называется неприводимой, если из любого состояния можно перейти в любое состояние за конечное число шагов, а именно:
если |
для любой |
пары натуральных |
чисел |
і |
и / |
существует |
|
целое число k^l, такое, что p\f |
>0, где |
|
|
|
|
||
|
р<$ = P {ѵп+к |
= Я. I ѵя = |
Et}, i, |
j > 0; |
k > \ . |
|
|
Цепь |
Маркова |
является |
непериодической, |
если |
для любой |
пары натуральных чисел і и / наибольший общий делитель чисел
{ßlpif >0 } |
равен |
единице. |
В |
частности, |
если |
для любой |
пары |
||||||||||
і и /, начиная с некоторого |
|
N = |
N{j, |
все |
числа |
pfj* >0, то |
цепь |
||||||||||
является непериодической (и неприводимой). |
|
|
|
||||||||||||||
|
Далее, |
распределение |
вероятностей |
{я^} называется |
стацио |
||||||||||||
нарным, |
если |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
л.; = |
Y щрч, |
j > |
0. |
|
|
|
|
|
||||
|
|
|
|
|
|
|
0=0 |
|
|
|
|
|
|
|
|
|
|
|
Т е о р е м а |
М у с т а ф ы . |
Для |
того |
чтобы |
однородная |
непри |
||||||||||
водимая, |
непериодическая |
|
цепь |
Маркова |
имела |
стационарное |
рас |
||||||||||
пределение, |
|
достаточно |
существования |
е > 0 |
и |
чисел |
{х{}^о |
таких, |
|||||||||
что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
£ |
Ptft |
< |
xt |
— e |
|
для |
і = |
і0, |
|
|
|
||
|
|
|
|
Y^ PijXj |
< |
4- сю |
для |
i < |
i0. |
|
|
|
|||||
|
Доказательство |
|
см., например, в [80]. |
|
|
|
|||||||||||
|
|
|
|
|
§ 7. Тауберова |
теорема |
|
|
|
|
|||||||
|
Пусть |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
оо |
|
|
|
|
|
|
|
|
|
|
|
|
|
a(s) |
= |
s |
[ |
e~siA(t)dt. |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
о |
|
|
|
|
|
|
|
|
Если |
существует |
ІітЛ(^), |
то limA(t) = |
lima(s). |
|
|
|||||||||||
|
|
|
|
t->oo |
|
t~>-\-oo |
|
S 4,0 |
|
|
могут служить |
||||||
Обратная теорема не имеет места. Но заменой |
|||||||||||||||||
теоремы, называемые тауберовыми: |
|
|
|
|
|
|
|
||||||||||
|
пусть |
A(t) |
—неотрицательная |
|
|
функция |
|
и |
|
интеграл |
|
||||||
|
|
|
|
|
|
|
|
|
ОО |
|
|
|
|
|
|
|
|
|
|
|
|
|
< р ( 5 ) = |
|
^e~stA(t)dt |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
сходится |
для |
Res>0, причем |
|
при |
изменении |
|
s |
вдоль |
действитель |
||||||||
ной |
оси |
существует |
|
|
|
|
|
|
|
|
|
|
|
|
|
382
lim s ф (s) = |
А, |
|
s j , 0 |
|
|
тогда соответственно |
|
|
т |
|
|
lim Г - 1 [A(t)dt |
= |
A. |
§ 8. Некоторые сведения из анализа |
||
А. Определение 1. Заданная на |
[0, |
оо] функция ф называет |
ся вполне монотонной, если она имеет производные ф("> всех по рядков и
|
|
|
|
|
|
|
(—1)»Ф<»>(А,)>0 |
(Я,>0). |
|
|
|
|
|
(8.1) |
||||||||
|
Т е о р е м а |
|
1. |
Функция |
ф на |
[О, оо] является |
|
преобразованием |
||||||||||||||
Лапласа |
от |
ф. р. |
некоторой |
F тогда |
и |
только |
тогда, |
когда |
|
она |
||||||||||||
вполне |
монотонна |
|
и |
ф(0) |
= 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
Теорема |
1 может быть |
сформулирована |
и |
в |
другой, |
эквива |
|||||||||||||||
лентной форме. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
Т е о р е м а |
|
1*. |
Функция |
|
ф |
на |
[О, |
оо] |
является |
вполне |
|
моно |
|||||||||
тонной |
тогда |
и |
только |
тогда, |
когда |
она |
имеет |
вид |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
оо |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ф(А,) = |
^e-b*dF(x), |
|
|
1>0, |
|
|
|
|
|
(8.2) |
||||||
|
|
|
|
|
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где F(x) |
— ф. р. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Из |
теоремы |
1 вытекают |
следующие два |
полезных |
свойства. |
||||||||||||||||
С в о й с т в о |
1. |
Если |
ф |
и |
і|з |
вполне |
монотонны, то |
таково |
же |
|||||||||||||
и их |
произведение. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
С в о й с т в о |
2. |
|
Если |
ф вполне |
монотонна |
и |
^ — положитель |
||||||||||||||
ная |
функция |
с |
|
вполне монотонной |
производной, |
то ф(гр) |
вполне |
|||||||||||||||
монотонна. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
Б. Определение 2. Функция и называется абсолютно моно |
|||||||||||||||||||||
тонной |
на [а, |
Ь], |
если и<-пЦх) |
при х е ( а , |
|
Ь). |
|
|
|
|
|
|
|
|
||||||||
|
Т е о р е м а |
|
2. |
Функция |
и |
абсолютно |
|
монотонна |
на |
|
[О, |
1| |
||||||||||
тогда |
и |
только |
тогда, |
когда |
ее |
можно |
разложить |
|
в степенной |
|
ряд |
|||||||||||
с неотрицательными |
|
коэффициентами, |
|
сходящийся |
|
при |
XŒ(0, |
|
1). |
Следовательно, функция и является производящей функцией ве
роятностей |
тогда и только тогда, когда она |
абсолютно |
монотонна |
||||||
и и(0) = 1. |
|
|
|
|
|
|
|
|
|
|
Доказательство |
теорем и следствий |
можно |
найти в |
[124] |
||||
(§ 2 |
гл. V I I и § 4 гл. V I I I ) . |
|
|
|
|
|
|
||
|
С. Теорема о неявной функции. Пусть |
|
функция |
|
F(z, |
до) |
|||
аналитична |
в некоторой |
окрестности |
точки |
(а, |
Ь) и -^— |
F (а, |
Ь)ф |
||
|
|
|
|
|
|
|
dw |
|
|
ФО. |
Тогда |
существует |
единственная |
функция |
w = |
w(z), |
такая, |
||
что: |
|
|
|
|
|
|
|
|
|
383
1)w(a)=b,
2) |
функция |
©(z) аналитическая |
в |
некоторой окрестности точ |
||||||||
ки а; |
в некоторой |
окрестности точки |
(а, Ь) |
выполнено |
||||||||
3) |
||||||||||||
|
|
|
F (г, |
w(z)) |
= |
0. |
|
|
|
|||
Утверждение остается в |
силе, |
если: |
|
|
|
|||||||
1) |
под F (z, |
w) |
понимать |
|
вектор-функцию |
|
||||||
|
|
F (z, w) = {F1 |
{z, |
w), |
... |
, |
Fn |
[z, |
w)}; |
|||
2) |
под z, w, a, b понимать |
векторы |
|
|
|
|
||||||
|
|
z = |
(zl f . . . , |
zp), |
a = |
(alt |
... |
, |
ap ), |
|||
|
w = (wx, wit |
|
wn), |
b = фѵ |
|
bn)\ |
||||||
3) |
условие |
dw |
F (a, Ь)ФО |
|
заменить |
условием |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
det I — F Ja, |
|
Ь)\фО. |
|
§ 9. Некоторые свойства случайных величин
рр
А. Л е м м а 1. |
Если |
\п—>\, |
цп-*-п |
и |
|
P { g < o o } = P { T i < o o } = 1, |
|||
то |
|
|
Іп^п-^Ы- |
(9.1) |
Д о к а з а т е л ь с т в о . |
Пусть Б^>0, |
Ô > 0 . Справедливы нера |
||
венства |
|
|
|
|
Р { \ІПЦА - |
І Г , J > 8 } |
< Р I |
S :Ч„ > Y}\+, |
i + . P { l . Ê h „ - ï l | > ^ } .
Однако последовательность |
т|„ стохастически ограничена, т. е. су- |
|
ществует число M такое, что P { | ï i „ j > M для всех « } < — . |
||
Можно выбрать M |
так, |
чтобы Р { ! £ | > М } < — . Далее, сущест |
вует п0 такое, что при |
л > л 0 |
р { і ь - 8 і > £ } < т і ' { ' ' | ' - , | ' > н г } < т -
384
Поэтому
ô
и |
|
|
|
|
|
|
|
|
|
|
S JVbJ |
|
|
|
|
|
|
|
|
|
|
|
|
p I |
i 9- i i |
- |
I ^ |
^ |
I |
^ |
ô |
|
|
|
|
{ | § | | ч , - ч І > ~ } < - |
2 |
|
|
|
|||||||
|
Из |
всех |
этих неравенств следует (9.1). |
|
|||||||
|
Б. Пусть |
{ccf^i^i |
|
(п = |
1, |
2 , . . . ) — последовательность независи |
|||||
мых |
при |
каждом |
п, |
|
одинаково |
распределенных |
неотрицательных |
||||
сл. |
в. и |
пусть |
при |
я - > о о |
|
|
|
||||
|
|
|
|
|
а |
і |
п ) Д |
а „ |
М а ^ - ѵ М а ^ О . |
(9.2) |
|
|
Л е м м а |
2. |
Для |
|
любых е > 0 , |
ô ;> О существует такое N, что |
|||||
при |
всех n и |
k^>N3 |
|
|
|
|
|
|
|
|
|
|
pi |
|
F - 0 > 4 < Ô - |
|
|
|
|
(9.3) |
||||||||||
|
|
|
|
|
|
|
Ä M <> |
|
|
-/ |
|
i |
|
|
|
|
|
|
|
||
что |
Д о к а з а т е л ь с т в о . |
Положим £,nl |
= |
a\n)/nMaln) |
и |
|
покажем, |
||||||||||||||
последовательность |
серий |
|
. . . , |„„ подчиняется |
закону боль |
|||||||||||||||||
ших |
чисел |
([ |
] |
стр. |
142). Для этого необходимо |
и |
достаточно, |
что |
|||||||||||||
бы при |
п-+оо |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
оо |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n j |
àFn |
(n Maf |
x + Majn ) ) |
-* 0, |
|
|
|
|
|
(9.4) |
||||||
где |
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fn(x) |
= |
|
P{a!ln)<x}. |
|
|
|
|
|
|
|
||||
|
В |
силу |
выражения |
(9.2) |
имеем |
lim |
l/Mccf1 '= |
1/Ма = |
0 и |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
П->оо |
|
|
|
|
|
|
|
|
|
||
|
|
ОО |
|
|
|
|
|
|
|
|
|
ОО |
|
|
|
|
|
|
|
|
|
|
|
« |
j " |
àFjnm% |
* + |
М а Г |
< - |
^ - |
|
j |
у dF„ (у + |
|
Ма| п ) ) . |
|
|||||||
|
|
Ь |
|
|
|
|
|
|
|
|
а і |
(л) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таким |
образом, |
для любых |
Б > 0 |
И Ô > 0 |
существует |
п0 |
такое, |
что |
|||||||||||||
при |
|
п^>п0 |
|
|
|
P { j S „ - l | > e } < ô . |
|
|
|
|
|
|
(9.5) |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
С другой |
стороны, |
последовательность |
{а.Т\^\ |
(m — 1, |
п0 ) |
удовлет |
|||||||||||||||
воряет |
усиленному |
закону |
больших чисел, |
т. е. для |
е > |
|
0, |
ô >> 0 су |
|||||||||||||
ществует |
число |
Nm |
такое, |
что |
для |
всех |
k^>Nm |
|
|
|
|
|
|
||||||||
|
|
|
|
|
< x { m > + . . . + < # » > |
1 > e | < ô , |
m = |
1, |
л 0 . |
|
(9.6) |
||||||||||
|
|
|
|
11 |
|
kMa[m) |
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
25 Зак. 64 |
385 |
Утверждение |
(9.3) следует из (9.5), |
(9.6) при |
|
|
|
|||||
|
|
Nm |
= max{Nlt ... |
, Nno; п0}. |
|
|
|
|||
В. Л е м м а |
3. |
Если |
последовательность {а^} |
удовлетворяет |
уело- |
|||||
виям леммы 2 и |
целочисленные сл. |
в. |
%п > 0 таковы, |
что |
р |
|||||
\п-+оо |
||||||||||
при п —> оо, |
то |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
•1 . |
|
|
|
Д о к а з а т е л ь с т в о . |
Пусть |
е > 0 , |
ô > 0 . Возьмем |
N достаточ |
||||||
но большим. Существует |
такое п0, |
что при всех |
п^>п0\ |
|
|
|||||
|
|
|
P{\n>N}> |
|
1 — 6. |
|
|
|
||
Выберем то значение N, при котором |
выполнено (9.3) для всех |
k>N. |
||||||||
При л > « о |
|
|
|
|
|
|
|
|
|
|
аГ+...+aJt
1
(л)
{ |
|
1 > 8 |
|
|
|
fi |
"1 T |
г,(«> |
• • • ~ Г |
||
+ РІ |
|
> 8 |
К |
|
|
1 I |
Ма{п) |
|
< P ( Ä „ < 4 + |
P { j - ° - w + - + * |
П{*.„<#}} +
п^ « > л а } <
<е для всех k > N j . < 26.
Лемма доказана.
ОБЗОР ПРИОРИТЕТНЫХ СИСТЕМ
ВВЕДЕНИЕ
Теория приоритетных систем — интенсивно развивающееся направление теории массового обслуживания — к настоящему времени сильно разрослась. Появились сотни разрозненных жур нальных статей. Возникла необходимость создания математиче ски строгой теории, специфического аппарата исследования, ме тодов. Много результатов получено по одноканальным системам с ожиданием и приоритетом. Единственная, появившаяся за ру
бежом, |
монография |
Джейсзела [169] |
по приоритетным системам |
||
основное |
внимание |
уделяет |
именно |
одноканальным |
приоритет |
ным системам с ожиданием. |
Метод, |
применяемый |
Джейсвелом, |
впервые был предложен Гавером и заключается в следующем.
Пусть процесс g(tf) описывает состояние системы массового обслуживания или определяет некоторую характеристику систе мы, например длину очереди в момент t, число обслуженных к
моменту t |
вызовов, |
время ожидания для |
вызова, поступившего |
|||
в систему |
в момент |
t, и т. д. ( £ (0 |
может |
быть |
многомерным). |
|
Очень |
часто оказывается, |
что |
процесс |
—немарковский, |
||
но введением новых |
компонент |
в процесс |
%(t) его удается превра |
тить в таковой. Тогда возможно применить хорошо разработан
ный аппарат марковских процессов. |
Эта идея |
принадлежит |
Коксу, но Джейсвел применил ее при |
исследовании |
процессов |
длины очереди внутри периодов занятости различных приоритет ных систем. Для распределения длины очереди внутри периодов занятости в производящих функциях он получает уравнения в частных производных первого порядка при различных граничных условиях и решает их. Далее можно воспользоваться тем, что пе риоды занятости и промежутки свободного состояния прибора образуют альтернирующий процесс восстановления [85]. Следова
тельно, существует простая связь |
между |
процессом длины |
оче |
|
реди в момент времени t и процессом |
длины |
очереди внутри |
||
одного отдельно взятого периода занятости. |
|
|
||
Представление о зарубежных |
работах по |
приоритетным |
си |
стемам, вышедших до 1968 г., читатель может получить по книге
Джейсвела [169], в |
которой наряду с обширной библиографией |
по ходу изложения |
дается и обзор работ ! . |
1 В библиографию включены и работы, упомянутые Джейсвелом, книга которого переведена издательством «Мир» и уже выпущена в свет.
25* |
387 |
Настоящий обзор преследует цель ознакомить читателя с ре зультатами по приоритетным системам, полученными советскими авторами, которые не нашли отражения в книге Джейсвела, а также с результатами как иностранными, так и советскими, по лученными в области теории приоритетных задач после выхода ее в свет.
Первичным |
понятием |
теории массового |
обслуживания |
яв |
||
ляется |
понятие |
потока |
требований, |
вызовов, |
поступающих |
на |
систему |
обслуживания. Вызовы могут |
быть как |
идентичными, |
так |
и отличаться друг от друга. Если требования различаются, то возникает вопрос о выборе рациональной дисциплины обслужи
вания их. Отдельные требования могут существенно |
различаться |
||
по относительной важности или продолжительности |
обслужива |
||
ния. Тогда |
.фукнциондрдвянир. |
системы улучшается |
введением |
дисциплины |
обслуживания с |
преимуществом (приоритетом), по |
лучается выигрыш по сравнению с обслуживанием без приорите тов. Величина выигрыша существенно зависит от параметров си стемы.
В зависимости от того, может ли требование, имеющее пре имущество перед обслуживаемым, замещать его на приборе или нет, системы обслуживания с приоритетом подразделяются на системы с прерыванием или абсолютным приоритетом и на си стемы без прерывания обслуживания.
Существует |
несколько |
приоритетных дисциплин обслужива |
||
ния без прерывания. Вот некоторые из них. |
|
|||
/. |
Система |
с относительным приоритетом, в которой |
вызовы |
|
одних |
потоков |
пользуются |
преимуществом (приоритетом) |
перед |
вызовами других при становлении в очередь, а именно: |
|
||||||||
Пусть |
в систему |
обслуживания |
поступают |
г потоков |
вызовов |
||||
|
|
|
• ^ І ' |
^ 2 ' • • • ' |
Lг' |
|
|
|
|
Вызовы |
потока Ь і г |
называемые |
(и |
в |
дальнейшем) |
вызовами |
|||
приоритета |
і, имеют |
преимущество |
перед |
вызовами |
приори |
||||
тета / |
при |
і < / , которое |
заключается |
в |
следующем: среди |
||||
вызовов, находящихся в системе и ожидающих начала |
обслужи |
||||||||
вания, вызовы более |
высокого приоритета |
обслуживаются |
впереди |
вызовов низшего приоритета; вызов же, поступив на прибор, об
служивается |
до |
конца. |
|
2. Система |
с чередованием приоритетов. Поступление |
вызова |
|
приоритета |
s ( s = l , г) на прибор обеспечивает приоритет |
вызо |
вам этого потока, что означает следующее: вызовы других пото ков могут обслуживаться лишь после того, как в системе не останется вызовов приоритета s. После того как будут обслужены все имеющиеся в системе вызовы приоритета s, следующим об
служиваемым |
вызовом будет |
вызов из потока с наименьшим |
номером среди |
имеющихся в |
очереди вызовов в этот момент. |
Среди известных приоритетных |
дисциплин эта влечет за собой |
|
наименьшее число переключений |
прибора. |
388
3. Система с изменяющимися приоритетами, в которой перед каждым периодом занятости производится розыгрыш приоритета среди г потоков, в результате чего устанавливается преимущество одних потоков перед другими на один период занятости. В ро зыгрыше можно принимать во внимание и интенсивность поступ ления вызовов и длительность их обслуживания. Например, дисциплина обслуживания, при которой очередность поступления
первых вызовов из каждого потока за один период |
занятости |
|||||||
задает |
приоритет потоков, существенно |
зависит |
|
от |
интенсивности |
|||
(в случае пуассоновых потоков) поступающих |
|
потоков. А |
такая |
|||||
система вписывается в систему с изменяющимися |
приоритетами. |
|||||||
После |
того, как произведен |
розыгрыш, |
можно |
принять ту или |
||||
иную |
приоритетную дисциплину обслуживания |
без |
прерывания, |
|||||
действующую в течение одного периода |
занятости. |
|
|
|
||||
4. |
Системы обслуживания |
с абсолютным |
приоритетом, |
т. е. |
прерыванием, классифицируются по тому, как поступают с прер ванным вызовом.
С и с т е м а |
с д о о б с л у ж и в а н и е м . |
Если во |
время об |
|
служивания вызова поступает |
вызов более |
высокого |
приоритета, |
|
то прерывается |
обслуживание |
вызова и начинается |
обслужива |
ние поступившего вызова; когда система освободится от вызовов
более высокого |
приоритета, |
чем |
прерванный вызов, |
последний |
||
дообслуживается |
оставшееся время обслуживания. |
|
|
|||
С и с т е м а |
с п о т е р е й . |
То |
же, но |
прерванный |
вызов |
те |
ряется. |
|
|
|
|
|
|
С и с т е м а |
с о б с л у ж и в а н и е м |
з а н о в о . |
То же, |
но |
прерванный вызов обслуживается заново. При этом следует раз личать два варианта обслуживания заново:
а) Идентичное обслуживание заново, при котором поступают так. Пусть длительность обслуживания, во время которой произо шло первое прерывание вызова, равна t. Тогда при новых поступ
лениях |
на |
прибор прерванного |
вызова, вызов следует обслужи |
||
вать |
время |
t без учета |
времени |
имевшегося обслуживания. |
|
|
б) Неидентичное обслуживание заново, при котором распре |
||||
деление |
длительности |
обслуживания прерванного вызова то же, |
|||
что |
и при |
первом поступлении |
на прибор этого вызова. |
Как правило, во всех вышеперечисленных случаях рассмат ривается прямой порядок обслуживания вызовов одного приори тета. Некоторые авторы рассматривают также инверсионный порядок обслуживания и случайный выбор из очереди вызовов одного и того же приоритета.
СИСТЕМЫ С Н Е Н А Д Е Ж Н Ы М И П Р И Б О Р А М И
Ввиду усложнения обслуживающей аппаратуры увеличилась вероятность выхода ее из строя. Следовательно, при постановке задач по теории массового обслуживания нужно учитывать и это обстоятельство. С другой стороны, есть много общего между си-
389
стемами массового обслуживания с абсолютным приоритетом и системами с ненадежными приборами. Действительно, поток отказов приборов можно считать за приоритетный поток требо ваний, а длительность восстановления прибора за длительность обслуживания требований нового потока. Поэтому работы по за дачам с ненадежными приборами можно причислить к работам по приоритетным задачам.
В СССР опубликован ряд работ по системам с ненадежными приборами, принадлежащих в основном Б. В. Гнеденко и его ученикам [33, 41, 74—77, 98—100, 107, 120, 130, 131]. Тематика, предложенная Гнеденко, связала теорию массового обслуживания с теорией надежности.
Марьянович в работе [98] рассмотрел систему с потерями в таких условиях: на п приборов поступает простейший поток тре бований на обслуживание, приборы сами могут выходить из рабочего состояния и поступать на восстановление. Отказ обслу живающих приборов происходит только в состоянии работы. Требования теряются как в том случае, когда они застают все обслуживающие приборы в состоянии работы или ремонта, так и в момент отказа прибора. Стационарные вероятности возмож ных состояний находились в предположении, что длительность безотказной работы прибора равна Н(х), длительность восста новления G(t) и длительность обслуживания F(x). В работе ре монтных устройств для вышедших из рабочего состояния обслу живающих приборов имеется достаточное число, в результате очереди на восстановление не может быть.
Позднее Марьянович обобщил этот результат на тот случай, когда имеются резервные (в разных условиях) обслуживающие приборы.
Подобная же задача, но для однолинейной системы с оче редью была рассмотрена им же [100] в предположении стацио нарного пуассонового потока и произвольного распределения длительности обслуживания. Изучались случаи, когда выход при бора из строя возможен только тогда, когда он не занят обслу живанием требований. Длительность безотказной работы обслу живающего прибора имеет произвольное распределение; время восстановления имеет также произвольное распределение с конеч ным математическим ожиданием. Автор получил интегро-диффе- ренциальные уравнения для длительности ожидания начала обслуживания, условия конечной средней длительности периода занятости, подсчитал среднюю долю времени, в течение которого обслуживающий прибор находится в неисправном состоянии.
В той же работе автор распространил свои результаты на такие случаи: обслуживающий прибор теряет свою работоспо собность лишь в период занятости или теряет лишь частично. В том же плане изучались некоторые задачи теории надежности Томко [120].
390