
- •Дисциплина организации очереди sjf: m/g/1
- •М/м/п приоритетная дисциплина организации очереди без прерывания обслуживания
- •Дисциплина организации очереди с приоритетным возвращением к работе
- •Пример 13.4.3: Система с программным управлением (см. Пример 13.4.1)
- •Исторические замечания по m/d/n
- •Вероятности состояния m/d/1
- •Вероятности состояния: m/d/n
- •Распределение времени ожидания: m/d/n, fcfs
Лекция
13 Прикладная теория организации
очередей
Всего мы имеем:
WP=V+ ist-XrWi + is^krWf. (13.24)
1=1 /=1
Для клиентов класса 1, которые имеют самый высокий приоритет, предполагая дисциплину обслуживания FCFS, мы имеем:
W, = V+Lx-sx
= V+Ax-Wi, \ (13.25)
Wi = (13.26)
1 ~ А,
— остаточное время обслуживания для клиента, когда поступает вызов от клиента, которого мы рассматриваем (13.18):
N ,
v= Zt -тъ, (13.27)
i=i 1
ъ
класса.
Для клиента класса 2 находим:
W2 = V + L\ * S \ + L2'S2 + W2 • (j]Xi).
Подставляя И'', (13.25), находим:
W2 = Wx + A2-W2 + Ai-W2,
w2
=
-
P-
- , (13.28)
1- A\- A2
Wl {1- A,} {I- (A1 + A2)) ‘ (1129)
Находим общее время ожидание (Cobham, 1954 [14]):
где:
А,,
Ап=0
(13.31)
=
t
i=О
Формула (13.30) может быть интерпретирована следующим образом. Полное время ожидания клиентов класса р не зависит класса клиентов, ожидающих, пока обработка очереди не будет закончена (V для всех классов одинаково).
Кроме того, время ожидания включает время ожидания клиентов, которые уже прибыли и имеют, по крайней мере, такой же приоритет {А’}, а также клиентов с более высоким приоритетом, прибывающим в течение времени ожидания {А’_,}.
Пример 13.4.1: Система с программным управлением
Мы рассматриваем компьютер, который обслуживает два типа клиентов. Первый тип имеет постоянное время обслуживания 0,1с. и интенсивность поступления 1 вызов/сек. Другой тип имеет экспоненциально распределенное время обслуживания со средней величиной 1,6 с. и интенсивность поступления 0,5 клиента/с.
Нагрузка от двух клиентов типов тогда — А, = 0,1 Эрл., соответственно А^= 0,8 Эрл.
Из (13.27) мы находим:
у= 1.(0.1)2+ 2р 2-(1.6)2 = 1.2850 с.
Без какого-либо приоритета среднее время ожидания по формуле Полячека-Хинчина (13.2) равно:
-тг^йУ—'
С приоритетом без прерывания процесса обслуживания находим:
Tun
1
(самый высокий приоритет): 1.285
1 1-0.1 ’
W,
W2
= ‘
ч
= 14.28 с.
l-(A, + A2)
Тип 2 (высокий приоритет): W2 = 6.43 с,
Wi = 64.25 с.
Это показывает, что мы можем изменять тип 1, почти не влияя на тип 2. Однако обратное утверждение не имеет места. Константа в законе Сохранения (13.23) такая же, как в дисциплине без приоритета.
9-12.85 = 0.1-1.43 + 0.8- Ц28 = 0.8-6.43 + 0.1-64.25 = 11.57.
Дисциплина организации очереди sjf: m/g/1
Одно из основных свойств дисциплины организации очереди SJF: чем короче время обслуживания клиента, тем выше его приоритет. Вводя бесконечное число приоритетных классов, мы получаем из формулы (13.30), что клиент со временем обслуживания t имеет среднее время ожидания (Phipps 1956):
Wt= У—*, (13.32)
(1 -А,)2’
где А — нагрузка от клиентов со временем обслуживания меньше или равным t.
SJF-дисциплина в результате приводит к наименьшему времени ожидания. При ожидании различные приоритетные классы имеют различные затраты в единицу времени. Клиенты класса j имеют среднее время обслуживания j и платят с. за единицу времени ожидания. Оптимальная стратегия (минимальная стоимость) состоит в том, чтобы назначить приоритеты
2, ... согласно увеличивающемуся отношению s /с..
Пример 13.4.2: М/М/1 с дисциплиной очереди SJF
Мы полагаем, что случай с экспоненциально распределенными временами пребывания в системе со средней величиной 1/ц, которая оговорена, выбран как единица времени (М/М/1). Заметим, что очень длительные времена обслуживания, даже когда их немного, все равно вносят значительный вклад в полную нагрузку (рис. 3.2).
Вклад в полную нагрузку от клиентов со временем обслуживания < / — это {(3.22), умноженное на А= X• ц}:
ззз
А, = J х • X •/(x)dx
о
t
= • X • (ц • е_цх) dx
о
= А{ 1- е“^(ц? + 1)}
Подставляя это в (13.32), находим Wr, как это проиллюстрировано на рис. 13.3, где показана FCFS-стратегия. Она имеет такое же среднее время ожидания, как LCFSи SIRO, показанное для сравнения как функция фактического времени пребывания в системе.
Щ
[5“1
] Среднее время ожидания А
=0.9
Рисунок
13.3. Среднее время ожидания Wt
как
функция фактического времени
обслуживания в М/М/1
системе для SJF-
u FCFS- дисциплин,
соответственно
Среднее время ожидания для всех клиентов с SJF — меньше, чем с FCFS, но это не очевидно из рисунка. Среднее время ожидания для SJF равно:
со
о
о
Это выражение вычислить не просто.
Предложенная нагрузка - 0,9 Эрл, и как единица времени выбрано среднее время обслуживания. Заметьте, что для SJF минимальное среднее время ожидания является 0,9 единиц времени, потому что вероятная предыдущая обслуживаемая работа должна быть закончена. Максимальное среднее время ожидания - 90 единиц времени. По сравнению с FCFS, при использовании SJF 93,6% заданий имеют более короткое среднее время ожидания. Это относится к заданиям со временем обслуживания, меньшим, чем 2,747 средних значений времени обслуживания (единицы времени). Предложенная нагрузка может быть больше, чем один Эрл, но тогда только более короткие задания будут иметь конечное время ожидания
М/м/п приоритетная дисциплина организации очереди без прерывания обслуживания
Мы можем также обобщить классическую систему времени ожидания Эрланга М/М/п на приоритетную дисциплину организации очереди без прерывания обслуживания. При этой дисциплине все классы клиентов имеют одно и то же экспоненциальное распределение времени обслуживания со средней величиной s = цг*. Обозначая интенсивность прибытия на класс X , мы имеем среднее время ожидания Wp на класс р:
А — полная предложенная нагрузка для всех классов. Вероятность Е2.п(А) для времени ожидания определяется С-формулой Эрланга, обслуживание клиентов завершается со средним временем между окончаниями обслуживания s/n, когда все обслуживающие приборы заняты. Для самого высокого приоритетного класса р = 1 находим:
Wi = Е2,п(А)-+ -AiWlt п п
т = Е2,п(А)--^—. (13.33)
п — А1
Для р-2 подобным способом находим:
т = е2п(а)-+ -a1w1+ -a2w2 +
п п п кп )
= т + ~A2W2 + --А, W2, п п
W2 = —E-l’nSA) . (13.34)
{п - Ai}{ п - (Ai + А2)}
В общем случае находим (Cobham, 1954 [14]):
nsE2,„(A)
{п - А'р-Х} {п - А’р} ’