2. Модель сервера смо

Система массового обслуживания (СМО) производит обработку поступающих в неё заявок. Обработка заявок осуществляется обслуживающими устройствами (серверами), количество которых в общем случае не ограничено. Если на момент поступления заявки все обслуживающие устройства заняты, то заявка временно помещается в буфер. Как правило, буфер может хранить ограниченное число заявок

Картинка из методы:

3. Модель буфера смо; дисциплины обслуживания

Буфер

                          

Конечный                                     Бесконечный

(Может возникнуть ситуация, когда 

заявка может пропасть. 

Физическая характеристика – объем N, 

логическая характеристика – дисциплина 

обслуживания)

Дисциплина обслуживания определяет каким образом выбрать следующую заявку.

Дисциплины обслуживания:

1. FIFO – First In First Out – первая заявка обсуживается в первую очередь; 

2. LIFO – Last In First Out – последняя заявка обслуживается в первую очередь;

3. SJN (SJF) – Shortest Job Next (Shortest Job First) – короткие заявки обслуживаются в первую очередь. В определенных ситуациях логичнее пропустить наиболее короткие заявки перед длинными, т.к. таким образом буфер очиститься быстрее.

4. Классификация Кендалла

Для описания СМО как правило используется система обозначений Кендалла, согласно которой простейшая СМО описывается четырехразрядным или пятиразрядным кодом.

A / B / N / K / S

 Первый разряд A обозначает вид закона распределения интервалов между поступлением заявок. В котором, экспоненциальный закон распределения обозначается буквой M, эрланговское распределение k-го порядка - символом Ek, постоянная величина – буквой D и произвольное распределение буквой - G.

 Второй разряд В обозначает закон распределения времени, необходимого для обслуживания заявки. Экспоненциальный закон распределения обозначается буквой M, эрланговское распределение k-го порядка - символом Ek, постоянная величина – буквой D и произвольное распределение буквой - G.

 Третий разряд N обозначает количество обслуживающих устройств (число).

 Четвертый разряд K обозначает объем буфера (если объем буфера считается бесконечным, то четвертый разряд не указывается). 

Пятый разряд S обозначает тип дисциплины обслуживания. В котором, по правилу FIFO (first in – first out, первым пришел - первым вышел) выбирается запрос, поступивший ранее остальных, по правилу LIFO (last in – first out, последним пришел - первым вышел) выбирается запрос, поступивший последним. Если пятый разряд не указывается, то по дефолту FIFO.

Пример 1.

Самая распространенная модель реализации системы массового обслуживания:

M / M / 1 / ∞ / FIFO

М - система имеет входной пуассоновский поток заявок;

М - время обслуживание имеет экспоненциальное распределение;

1 - система имеет одно обслуживающее устройство;

∞ - система имеет бесконечный буфер;

FIFO – тип дисциплины обслуживания first in – first out.

Пример 2.

Классический конвейер:

D / D / 1 / 0 / FIFO

D - система имеет входной детерминированный поток заявок;

D - время обслуживание имеет детерминированной распределение;

1 - система имеет одно обслуживающее устройство;

0 – система не имеет буфер, т.к. если он работает стабильно, то он ему не нужен.

FIFO – тип дисциплины обслуживания first in – first out.