Версия 2, книга 1 (Система программного обеспечения на языке GPSS), страница 4

щений или описывают последовательность выполняемых событий. В слу-

чае нескольких вариантов действий от блока отходят несколько линий.

Если же к блоку подходят несколько линий, то это означает, что вы-

полняемая операция является общей для двух или более последователь-

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

тических или логических условиях, действующих в момент выбора.

При составлении блок-диаграммы рекомендуется сначала начер-

тить общий график системы. Затем составляется отдельная блок-диаг-

рамма для соответствия основных функций с блоками GPSS/PC, после

чего вносятся детали. Чтобы выявить эти дополнительные подробности,

- 7 -

некоторые части системы нужно проанализировать более тщательно.

Степень детализации зависит от моделируемой системы и от того, что

нужно узнать в процессе моделирования. Начинающие программисты сос-

тавляют слишком подробную блок-диаграмму. Часто в этом нет необхо-

димости.

Блок-диаграммы получили широкое применение при описании сис-

тем, но форма представления обычно зависит и от самой системы, и от

специалиста, описывающего эту систему. Поэтому, при построении

блок-диаграмм, следует соблюдать определенные условия, являющиеся

основой создания программы на языке моделирования.

В GPSS/PC имеется определенное количество типов блоков для

задания объектов и операций над ними. Каждому блоку соответствует

графическое изображение на блок-диаграмме. Стрелки между блоками

указывают маршруты потоков сообщений.

Далее, для того, чтобы применить язык моделирования GPSS/PC,

каждый блок блок-диаграммы заменяется соответствующим оператором

GPSS/PC.

1.2. Объекты GPSS/PC

Объекты в моделируемой системе предназначены для различных

целей. Выбор объектов в конкретной моделируемой системе зависит от

характеристик модели и, в некоторых случаях, от специалиста, сос-

тавляющего модель. Совершенно не обязательно, чтобы в одной модели

участвовали все типы объектов. Обязательным является лишь то, что в

каждой модели должны быть блоки и сообщения, иначе просчитать ее

будет невозможно. Какие объекты, помимо сообщений и блоков, будут

включены в модель, будет зависеть от того, какие именно используют-

ся блоки и операнды блоков (которые могут повлечь появление опера-

торов описания других объектов).

1.2.1. Сообщения

Сообщения(транзакты) - это динамические объекты GPSS/PC. Они

создаются в определенных точках модели, продвигаются интерпретато-

ром через блоки, а затем уничтожаются. Сообщения являются аналогами

единиц-потоков в реальной системе. Сообщения могут представлять со-

бой различные элементы даже в одной системе. Например, в модели ЭВМ

одни сообщения могут являться прообразами программ пользователя,

решаемых на данной ЭВМ, а другие представляют поток отказов в аппа-

ратных средствах ЭВМ. С каждым сообщением в GPSS/PC связаны пара-

метры. Параметры могут использоваться для связи конкретных числовых

данных с этим сообщением. В приведенном выше примере параметрами

сообщений первого типа могут быть: время обслуживания программы

центральным процессором; число обращений к лентам, дискам; иденти-

фикация пользователя и т.д.

Сообщения движутся от блока к блоку так, как движутся элемен-

ты, которые они представляют (программы в примере с ЭВМ).

Каждое продвижение считается событием, которое должно проис-

ходить в конкретный момент времени. Интерпретатор GPSS/PC автомати-

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

событие не может произойти, хотя момент его наступления подошел

(например, при попытке занять устройство, когда оно уже занято),

сообщение прекращает продвижение до снятия блокирующего условия.

Сообщения нумеруются последовательно, начиная с номера 1. Па-

раметры сообщений принимают значения из множества целых чисел. Каж-

дое сообщение имеет один или более параметров. Параметры нумеруют-

ся. Номера параметров используются для ссылок на значения,присвоен-

ные параметрам. Сообщениям может присваиваться приоритет,используе-

мый системой в ходе моделирования.

С сообщениями связаны следующие понятия:

- отметка времени (Mark time) - значение модельного времени ,

- 8 -

когда сообщение впервые появилось в системе;

- семейство сообщений (Assebmly set)- совокупность объединен-

ных в группу сообщений;

- индикатор задержки (Delay indikator) - указывает номер бло-

ка, перед которым находится сообщение, не имея возможности войти в

него;

- индикатор трассировки (Trace indikator) - указывает номера

блоков, которые проходятся активным сообщением;

- текущий блок (Current block) - номер блока,в котором нахо-

дится активное сообщение;

- следующий блок (Next block) - номер блока,следующего за те-

кущим блоком на пути движения активного сообщения;

- списки (Chains) - упорядоченные массивы информации, отобра-

жающие состояние сообщений в моделируемой системе.

Сообщения в процессе имитации могут иметь следующие состоя-

ния:

- активное (ACTIVE) - сообщение,имеющее наивысший приоритет в

списке текущих событий;

- приостановленное (SUSPENDED) - сообщение находится в ожида-

нии активизации в списках будущих или текущих событий;

- пассивное (PASSIVE) - сообщение временно переводится в спи-

сок пользователя, список задержки или список ожидания;

- завершившееся (TERMINATE) - сообщение уничтожено и больше

не выполняется в текущей модели;

- прерванное (PREEMTED) - обработка сообщения некоторым уст-

ройством прервана и сообщение переведено в один или более списков

прерывания.

1.2.2. Блоки

После того, как система описана, исходя из операций, которые

она выполняет, ее нужно описать на языке GPSS/PC, используя блоки,

которые выполняют соответствующие операции в модели. Ниже перечис-

лены некоторые свойства этих блоков. В последующих разделах подроб-

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

В блоках могут происходить события четырех основных типов:

1) создание или уничтожение сообщений;

2) изменение числового атрибута объекта;

3) задержка сообщения на определенный период времени;

4) изменение маршрута сообщения в модели.

1.2.3. Одноканальные устройства

Аналогами обслуживающих приборов и реальных систем в GPSS/PC

являются объекты типа "оборудование". К объектам этого типа отно-

сятся одноканальные устройства, многоканальные устройства и логи-

ческие ключи. Одноканальные устройства, в дальнейшем их будем назы-

вать устройствами, представляют собой оборудование, которое в любой

момент времени может быть занято только одним сообщением. Интерпре-

татор записывает информацию о том, какое сообщение в настоящий мо-

мент занимает устройство. Если другое сообщение попытается захва-

тить устройство, то это сообщение задерживается до тех пор, пока

устройство не освободится. Программа также автоматически подсчиты-

вает общее время занятости устройства. Это значение позволяет опре-

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

также общее число сообщений, занимавших устройство, что позволяет

вычислить среднее время занятости устройства одним сообщением. В

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

обслуживание одних элементов и начинать обслуживание других.

Например, в порт может прибыть корабль с грузом высокого при-

оритета и потребовать немедленного обслуживания у одного из прича-

лов. Прибывший корабль прервет, таким образом, разгрузку любого ко-