Закон сохранения
Оказывается, что кривые для системы, в которой строго соблюдается правило «первый пришел — первым обслужен» (изображенные пунктиром на всех графиках), лежат где-то между кривых для сообщений с высшими и низшими приоритетами. По-видимому, здесь действует закон сохранения, устанавливающий, что имеется некоторый постоянный средний уровень времени ожидания для различных групп приоритетов. В действительности разумно ожидать, что подобная инвариантность основывается на простом физическом рассуждении, что некоторые сообщения имеют преимущественное обслуживание и им нет нужды ожидать так долго, как им пришлось бы в системе «первый пришел — первым обслужен», и вследствие этого сообщениям с низшим приоритетом приходится ожидать некоторое дополнительное время.
Действительно, мы обнаруживаем, что существует закон сохранения, который справедлив для описанных систем приоритетов; можно показать, что он имеет силу и для более широкого класса систем приоритетов. Далее представлен ряд ограничений, достаточный для определения этого класса.
1. Все сообщения покидают систему после полного обслуживания (т. е. отсутствуют отказы).
2. Существует одно устройство обслуживания, которое всегда занято, если в системе находится хотя бы одно сообщение.
3. Прерывание допускается только при экспоненциальных распределениях времени обслуживания, и имеется прерывание только типа прерывания с возобновлением.
4. Поток входных сообщений всегда пуассоновский, статистика обслуживания — произвольна, и статистики входных сообщений и обслуживания независимы.
Для такого класса закон сохранения утверждает, что при данной фиксированной статистике поступления и обслуживания средневзвешенные суммы времен ожидания Wp постоянны н независимы от дисциплины очереди. Здесь опять Wp определяется как математическое ожидание времени, проводимого в очереди сообщением с приписанным параметром р.
Процедура обслуживания следующая: вновь поступившее сообщение присоединяется к копцу очереди а ожидает в очереди с дисциплиной «первый пришел — первым обслужен» до тех пор, пока в конце концов не поступает в устройство обслуживания. Обслуживающее устройство забирает в очереди следующее сообщение и выполняет элсмен гарное обслуживание его (т. с. обслуживает это сообщение точно Q секунд). D конце этого временного Интервала сообщение покидает систему, если ого обслуживание (передача) окончено; если его обслуживание не закончено, то оно присоединяется к концу очереди, в которой находилось ранее, как покааано на рис. 5.6. Очевидно, что сообщение длиной п интервалом времени потребует присоединения к очереди п раз до полного окончания его обслуживания. Теперь должно быть сделано еще одно предположение относительно порядка, в котором происходит события в конце временного интервала. Мы рассмотрим два типа систем. Первая система допускает выход обработанного сообщения из устройства обслуживания (или позволяет ему присоединиться к концу очереди, если требуется дальнейшее обслуживание) и сразу же после этого в очередь поступает новое сообщение (с вероятностью XQ). Мы называем это системой с послеприбытием (ППС). В другой системе принят обратный порядок осуществления этих событий, образуя систему с доприбытпем (ДПС); в обоих системах новое сообщение начинает обслуживаться в начале временного интервала.
