Mku1 storage 5

Если освобождения емкости МКУ ожидают несколько транзактов, требующих различного количества свободных каналов, может получиться так, что первым в блок ENTER войдет транзакт, потупивший в очередь позже других или имеющий меньший уровень приоритета. Такое может произойти в случае, если освободившейся емкости МКУ будет недостаточно для размещения ранее поступивших заявок, находящихся ближе к началу цепи задержки, но его хватает для размещения заявки, поступившей позже. Чтобы представить эту ситуацию на практике, достаточно обратиться к примеру с судами, ожидающими освобождения причала на рейде, причем каждое судно требует разного количества мест.

Если текущее содержимое МКУ с именем STO2 меньше 2, т.е. в блоке ADVANCE находится один или ни одного транзакта, то очередной транзакт, поступающий в модель через блок GENERATE, может войти в блок ENTER и затем в блок ADVANCE. Если же текущее содержимое МКУ равно 2, то очередной транзакт остается в блоке GENERATE. Этот транзакт удаляется из ЦТС и помещается в цепь задержки, связанную с данным МКУ. По истечении задержки одного из двух обслуживаемых транзактов в блоке ADVANCE и после входа его в блок LEAVE первый из заблокированных транзактов сможет войти в блок ENTER.

TERMINATE 1

LEAVE STO2

ADVANCE 1.6,0.2

ENTER STO2

GENERATE 10.5,2.2

STO2 STORAGE 2

При входе транзакта в блок LEAVE текущее содержимое МКУ уменьшается на число единиц, указанное в поле B. Не обязательно освобождается такое же число каналов МКУ, какое занималось при входе данного транзакта в блок ENTER, однако текущее содержимое МКУ не должно становиться отрицательным.

При входе транзакта в блок ENTER текущее содержимое МКУ увеличивается на число единиц, указанное в поле B. Если свободная емкость МКУ меньше значения поля B, то транзакт не может войти в блок ENTER и остается в предыдущем блоке, образуя очередь в списке текущих событий.

В поле A указывается номер или имя МКУ, в поле B - число каналов МКУ, занимаемых при входе в блок ENTER или освобождаемых при входе в блок LEAVE. Обычно поле B пусто, и в этом случае по умолчанию занимается или освобождается один канал.

LEAVE A,B

ENTER A,B

Имя STORAGE A

Здесь имя - имя МКУ, используемое для ссылок на него; A – емкость (количество каналов обслуживания) МКУ, задаваемая константой.

Для занятия и освобождения каналов обслуживания МКУ используется пара блоков ENTER (войти) и LEAVE (покинуть), имеющих следующий формат:

Многоканальные устройства имеют следующие СЧА: S - текущее содержимое МКУ; R - свободная емкость МКУ; SR - коэффициент использования в долях 1000; SA - целая часть среднего содержимого МКУ; SM - максимальное содержимое МКУ; SC - число занятий МКУ; ST - целая часть среднего времени занятия МКУ.

Воспользуемся блоками ENTER-LEAVE и оператором STORAGE для моделирования двухканальной СМО с ожиданием:

При входе транзакта в блок LEAVE интерпретатор приостанавливает его продвижение, позволяя очередному транзакту из цепи задержки к данному МКУ войти в блок ENTER, и только после этого продвигает вышедший из МКУ транзакт в модели. Транзакт, вышедший из цепи задержки, переводится в ЦТС и становится в ней последним в своем приоритетном классе.

В отличие от прибора, емкость которого всегда равна единице, емкость МКУ определяется программистом путем использования блока STORAGE. В поле имени ставится символьное имя МКУ, а в поле А – его емкость (целое положительное число):

Дата добавления: 2014-01-07