Е. Основные категории и типы объектов GPSS / H .


Транзактный способ реализации квазипараллелизма является развитием процессного способа имитации применительно к моделированию систем, представляемых в виде систем массового обслуживания (СМО). Для указанного класса систем выделяется конечное множество абстрактных элементов, служащих для описания реальных компонентов системы (например: источников заявок на обслуживание накопителей, каналов обслуживания и т.п.), и конечное множество стандартных операций, описывающих связи между элементами. Выделенным множествам компонентов и операций ставится в соответствие множество объектов языка. Модель системы на GPSS/H строится путем объединения объектов в некоторую фиксированную логическую структуру - текстовый модельный файл - МФ. Объекты GPSS/H подразделяются на 7 категорий и 15 типов (табл. 16).

В Таблице 16 в разделе «функции операторов блоков» приведены основные операторы блоков (кратко блоки) – ОБ, реализующие те или иные действия в процессе моделирования.

Каждому объекту соответствуют арифметические или логические атрибуты, описывающие состояние объекта в текущий момент модельного времени. Большинство из атрибутов не доступны для программиста. Атрибуты, к которым в ИМ можно обращаться, называются стандартными числовыми атрибутами (СЧА). Основными объектами GPSS/H являются транзакты и ОБ (блоки).

Таблица 16 Категории и типы объектов

№ кат. Категория объекта № типа Тип объекта Мнемонич. обозначение Функции операторов блоков
    Динамическая     Транзакт   Хакт Создание транзактов: GENERATE, SPLIT Уничтожение транзактов: TERMINATE,
Операционная ОБ (блок) ------------ Объяснены в главе 5
        Аппаратная           Устройства   F (facilities) Занятие – освобождение SEIZE – RELEASE Захват – возврат PREEMPT – RETURN Доступно - не доступно FAVAIL – FUNAVAIL  
    Памяти (накопители) S (storages) Войти – покинуть ENTER – LEAVE Свободна – занята SAVAIL - SUNAVAIL Ожидание изменения статуса – GATE
    Логические ключи L (logic switch) Включение, выключение, инверсия LOGIC Ожидание изменения положения L GATE
    Вычислительная     Арифметическая переменная V (variable)   Целочисленное значение VARIABLE Плавающая точка FVARIABLE
Булева переменная BV Задается логическими атрибутами СЛА
Функция FN Задается пользователем или встроенной функцией
    Статистическая Очереди Q Создание очереди – покидание QUEUE – DEPART
Таблицы T Создать таблицу TABULATE
    Запоминающая Ячейки Х Создание скалярной переменной
Матрицы М Создание 2-х размерных матриц
Амперпеременные & Создание переменных 5-ти типов
        Группирующая Списки пользователя С Включить – исключить LINK - UNLINK
        Группы     G Поместить – удалить JOIN – REMOVE Проверка принадлежности – EXAMINE Определение вида транзакта SCAN

 

Транзакты (сообщения) описывают единицы исследуемых потоков (заявки на обслуживание), например: задания пользователей в вычислительной системе; детали, подлежащие обработке в ГПС; автомобили в очереди у бензоколонки; корабли, разгружающиеся в порту и т.п.

Операционная категория включает блоки, которые задают логику функционирования ИМ системы и определяют пути движения транзактов между объектами аппаратной категории. Практически все изменения состояний ИМ (события) системы S происходят в результате входа транзактов в блоки и выполнения блоками своих функций.

Основные функции блоков следующие:

— создание (генерация) и уничтожение транзактов;

— изменение числовых атрибутов объектов;

— задержка транзакта на определенный интервал времени;

— изменение маршрута движения транзакта и др.

Пример. Блок, "создающий" транзакты в модели, обеспечивает поступление заявок в СМО через определенные интервалы времени. Занятие или освобождение заявкой канала обслуживания (или места в накопителе) приводит к изменению состояния канала (накопителя). В модели это осуществляется с помощью изменения СЧА объекта GPSS/H, описывающего состояние канала обслуживания (накопителя). В случае занятости одного из каналов СМО заявка может быть направлена на другой канал. Для этого в модели используется блок изменения маршрута движения транзакта. Блок, осуществляющий задержку транзакта, имитирует процесс обслуживания заявки в течение определенного времени. Выход обслуженной (или потерянной по каким-либо причинам) заявки из СМО в модели имитируется с помощью блока уничтожения транзактов.

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

- Устройства описывают оборудование, которое в любой момент времени может быть занято только одним транзактом (одноканальные СМО): обрабатывающий центр, терминал, центральный процессор, АЦПУ, кассир и т.д., а также оборудование, на котором обслуживание одной заявки может быть прервано поступлением другой заявки (например, с более высоким приоритетом).

- Памяти (многоканальные устройства) описывают оборудование, которое может использоваться несколькими транзактами одновременно (многоканальные СМО): оперативную память ЭВМ, стоянки автомобилей и т.д.).

- Логические ключи используются для блокировки или изменения движения транзактов в зависимости от ранее наступивших в ИМ событий.

Объекты вычислительной категории описывают связи между элементами СС, задаваемые с помощью аналитических или логических соотношений.Они могут служить для задания вероятностных законов распределения случайных величин в ИМ; для численного или логического описания условий движения транзактов.

Статистические объектыобеспечивают вычисление и представление в стандартном виде для показателей эффективности функционирования СС: средних значений, стандартных отношений, эмпирических функций распределения и т.п.

Запоминающие объекты служат для задания условий моделирования, хранения, накопления и обработки информации, получение которой не предусмотрено стандартными средствами GPSS/H.

Объекты группирующей категории содержат информацию о транзактах, находящихся в модели.

Продвигаясь по модели, транзакты, имитирующие заявки на обслуживание, могут приводить к наступлению таких событий, как: поступление заявки в СМО; занятие (освобождение) места в накопителе; занятие (освобождение) канала обслуживания; прерывание обслуживания заявки с более низким приоритетом; совпадение значений определенных числовых атрибутов двух и более транзактов, называемых синхронизируемыми и т.п. При этом соответствующие транзакты помещаются в один из пяти списков (цепей, в оригинале –chain):

-список текущих событий- СТС (время наступления меньше либо равно текущему модельному времени),

-список будущих событий- СБС (время наступления больше текущего модельного времени);

-список прерываний (транзакты, обслуживание которых прервано);

-список синхронизируемых транзактов (находящихся в состоянии сравнения);

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



Дата добавления: 2021-07-22; просмотров: 351;


Поиск по сайту:

Воспользовавшись поиском можно найти нужную информацию на сайте.

Поделитесь с друзьями:

Считаете данную информацию полезной, тогда расскажите друзьям в соц. сетях.
Poznayka.org - Познайка.Орг - 2016-2024 год. Материал предоставляется для ознакомительных и учебных целей.
Генерация страницы за: 0.01 сек.