ТЕМА (1086517), страница 20

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 20)

Для каждого конкретного транзакта время нахождения в многоканальном устройстве (т. е. между моментами времени, когда он входит в блоки ЕNТЕR и LЕАVЕ) является интервалом, в течение которого одно из параллельно работающих устройств находится в занятом состоянии. Это означает, что среднее время пребывания идентично среднему времени нахождения транзакта в многоканальном устройстве. Вот почему эта статистика об использовании многоканального устройства распечатывается под названием АVЕRАGЕ ТIМЕ/ ТRАN (СРЕДНЕЕ ВРЕМЯ/ТРАН).

Очевидна аналогия между методом расчета интерпретатором статистики АVЕRАGЕ ТIМЕ/ТRАNS для очереди и АVERAGE ТIМЕ/ТRANS для многоканального устройства. Также должно быть ясно, почему интерпретатор не осуществляет привязку транзакта к имени многоканального устройства или к значению модельного времени при прохождении транзактом блока ЕNТЕR. Для многоканальных устройств расчет значения "нулевых входов" не представляет интереса. Это означает, что привязки не нужны, и, следовательно, не существует ограничений на то, сколько различных многоканальных устройств будет занято транзактом одновременно.

Блоки ЕNТЕR и LEAVE относятся к таким блокам, после обработки которых возобновляется просмотр цепи текущих событий от начала. Предположим, что перед тем, как остановиться в каком-либо блоке, транзакт прошел один из блоков ЕNТЕR и(или) LEAVE. В этом случае вместо того, чтобы перейти к обработке следующего по списку транзакта в цепи текущих событий, интерпретатор начинает заново просматривать цепь текущих событий.

Использование в блоках ЕNТЕR и LEAVE операнда В

В блоках ЕNТЕR и LЕАVЕ можно использовать операнд В. На рис.22.2 дано повторение рис. 22.1 с добавлением использования операнда В. Как показано на рисунке, операнд В задает число приборов, которое должно быть занято в блоке ЕNТЕR или должно быть освобождено в блоке LЕАVЕ. Значением операнда В по умолчанию является 1, что означает, что занят только один прибор.

Рис.22.2. Блоки ENTER и LEAVE с операндами А и В:

Блоки ENTER и LEAVE с операндами А и В:
Операнд	Значение	Значение или результат по умолчанию
А	Имя (символическое или числовое) многоканального устройства	Ошибка
В	Число занимаемых приборов	1

Представляется вполне естественным, что допускается занятие нескольких приборов единственным транзактом в блоке ЕNТЕR (и аналогично освобождение нескольких приборов единственным транзактом в блоке LЕАVЕ). Предположим, что транзакт моделирует корабль, а многоканальное устройство моделирует причал в порту. В зависимости от размера корабль может потребовать использования нескольких причалов.

GPSS по отношению к блоку ЕNТЕR реализует подход "все или ничего". Транзакт не может занимать приборы один за другим, пока не займет требуемое число приборов. Когда транзакт пытается войти в блок ЕNТЕR, интерпретатор проверяет, больше или равна доступная емкость многоканального устройства значению операнда В. Если результат проверки отрицателен, транзакт остается в том блоке, где он находился, и позднее снова будет пытаться войти в блок ЕNТЕR.

Рассмотрим теперь влияние параметра В на статистические данные, собираемые интерпретатором относительно многоканальных устройств. Когда транзакт входит в блок ЕNТЕR, для которого используется операнд В, интерпретатор проделывает следующие действия:

1. "счетчик входов" многоканального устройства увеличивается на значение операнда В;

2. "текущее содержимое" многоканального устройства также увеличивается на значение операнда В;

3. "доступная емкость" многоканального устройства уменьшается на значение операнда В.

Подобным образом, при использовании операнда В в блоке LЕАVЕ и входе транзакта в этот блок выполняются следующие действия:

1. "текущее содержимое" многоканального устройства уменьшается на значение операнда В;

2. "доступная емкость" многоканального устройства увеличивается на значение операнда В.

Независимо от того, используется или нет значение операнда В, отличное от единицы в блоках ЕNТЕR и LЕАVЕ, надо помнить,что статистика по многоканальным устройствам собирается интерпретатором относительно приборов, а не транзактов.Следовательно, "число входов" является полным числом приборов, занимаемых в течение моделирования (некоторые,а может быть и все они занимались не один раз); "среднее содержимое" - это число приборов, занятых в настоящее время, а "максимальное содержимое" - это максимальное число приборов, находившихся в занятом состоянии в какой-то момент времени.Соотношения "один к одному" между приборами и транзактами,использующими или нет приборы, выполняются только тогда, когда операнд В в блоках ЕNТЕR и LЕАVЕ равен единице.

Карты определения емкости многоканальных устройств

Емкость различных многоканальных устройств в модели определяется картами определения емкости многоканальных устройств. Допустимы две формы использования этих карт. Первая форма требует использования одной карты для одного многоканального устройства (табл.22.1).

Таблица 22.1.

Форма строки определения емкости одного многоканального устройства
Поле	Информация в поле
Имени	Имя (символическое или числовое) многоканального устройства
Операции Операндов	Записываается слово STORAGE
А	Емкость многоканального устройства

Как и большинство других карт, карта определения емкости разделена на поле имени, поле операции и поле операндов. В поле имени записывают имя (символическое или числовое) многоканального устройства. В поле операции записывают слово SТОRАGЕ (МНОГОКАНАЛЬНОЕ УСТРОЙСТВО).Операнд А специфицирует емкость многоканального устройства.

Форма строки определения емкости

одного многоканального устройства

Имя Операция Операнды

Не используется SТОRАGЕ S имя1, с1/S имя2, с2/.../S имяn, сn

В таб.22.4 (в конце страницы) представлены примеры определения емкости многоканальных устройств, по нескольку определений на одной карте.

В первом из этих примеров показано, что необязательно располагать определения в порядке возрастания или убывания номеров многоканальных устройств.

Второй пример демонстрирует смешанное определение емкости многоканальных устройств, заданных номерами и символическими именами.

Из третьего примера следует, что многоканальные устройства с номерами 4, 5 и 6 имеют емкость по пять элементов. Если необходимо определить емкость многоканальных устройств,номера которых представляют собой непрерывный список целых чисел, то допускается компактная запись вида <Si- Sk, с>, где i и k являются соответственно наименьшим и наибольшим номерами многоканальных устройств, а с общим для них значением емкости. В четвертом примере как раз использована такая компактная запись.

Далее (хотя это вовсе необязательно) мы будем пользоваться картами определения емкости в самом начале колоды карт после карты SIМULATE (МОДЕЛИРОВАТЬ) до первой карты, определяющей блок.

Если разработчик забудет задать значение емкости для какого-либо многоканального устройства в модели, интерпретатор по умолчанию присвоит ему емкость в 2^31- 1 (т.е. 2 147 483 647).

Существует возможность переопределения емкостей многоканальных устройств при необходимости выполнения нескольких прогонов за один этап моделирования. Это делается введением в колоду между картами SТАRТ предыдущего прогона и SТАRТ следующего прогона карт нового определения емкостей. Эта процедура будет продемонстрирована в следующем примере моделирования ( см. рис. 2Е.З).

При переопределении емкостей многоканальных устройств следует избегать появления ошибок.В частности, ошибка может возникнуть, если емкость переопределяемого многоканального устройства становится меньше,чем это было раньше, и если в момент переопределения "текущее содержимое" многоканального устройства превышает значение вновь определяемой емкости. Если перед переопределениеи емкости многоканального устройства поставить карту СLЕАR, то "текущее содержимое" многоканальных устройств устанавливается в ноль, и, следовательно, ошибка не возникает.

Различие между приборами и многоканальными устройствами с емкостью 1

Хотелось бы все-таки знать, в чем заключается различие между прибором и многоканальным устройством, имеющим емкость 1. Во-первых, прибор может не только "заниматься", но и захватываться, в то время как единственный элемент многоканального устройства может только "заниматься". Это и есть самое важное различие между приборами и многоканальными устройствами.Захват означает, что если даже прибор занят текущим обслуживанием, он немедленно может быть предоставлен по соответствующему требованию. Захват является очень важным элементом функционирования вычислительных и других сложных систем. Во-вторых, прибор может быть освобожден только тем транзактом, который его занял. Если транзакт пытается войти в блок RЕLЕАSЕ (ОСВОБОДИТЬ) без предварителього входа в блок SEIZE (ЗАНЯТЬ) того же прибора, возникает ошибка.В противоположность этому, любой транзакт может войти блок LЕАVЕ без того,чтобы перед этим войти в блок ЕNТЕR соответствующего много канального устройства. Ошибка возникает лишь тогда, когда из "текущего содержимого" вычитается величина, приводящая к отрицательному значению содержимого.

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

Хотя понятно, что пользователь может работать с многоканальными устройствами на таком интуитивном уровне, никто его к этому не принуждает. По крайней мере в этой книге такой необходимости не возникает. В заключение отметим, что в модели легко заменить один прибор двумя или более, если этот прибор моделируется как многоканальное устройство, достаточно только переопределить его емкость. Если же он моделируется как прибор, блоки SEIZE и RELEASЕ должны быть заменены блоками ENTER и LEAVE и, кроме того, необходимо определить число каналов такого многоканального устройства (т.е. его емкость) .

Таблица.22.4.

OPERATION								A,B,C,D,E,F ------------------------>
1	2	3	4	5	6	7	8	9	1 0	1 1	1 2	1 3	1 4	1 5	1 6	1 7	1 8	1 9	2 0	2 1	2 2	2 3	2 4	2 5	2 6	2 7	2 8	2 9	3 0	3 1	3 2	3 3	3 4	3 5	3 6	3 7	3 8	3 9	4 0	4 1	4 2	4 3	4 4	4 5	4 6	4 7	4 8
S	T	O	R	A	G	E		S	5	,	2	/	S	1	,	1	0	/	S	8	,	6																1	-	Й		П	Р	И	М	Е	Р
S	T	O	R	A	G	E		S	4	,	5	/	S	$	T	U	G	S	,	3	/	S	$	S	U	R	V	S	,	4	/	S	2	,	1	2		2	-	Й		П	Р	И	М	Е	Р
S	T	O	R	A	G	E		S	$	M	E	N	,	9	/	5	4	,	5	/	S	5	,	5	/	S	6	,	5	/	S	3	,	2				3	-	Й		П	Р	И	М	Е	Р
S	T	O	R	A	G	E		S	$	M	E	N	,	9	/	S	4	-	S	6	,	5	/	S	3	,	2											4	-	Й		П	Р	И	М	Е	Р

§23 "Многоканальная система массового обслуживания с очередью"

Характеристики

Список файлов книги