Файл: Конспект лекций Для студентов специальности 080801. 65 - приклад.doc

Для управления транзактами, принадлежащими к одному семей­ству, используется блок GATE.

Пример 4.52 [20]

Некоторая фирма производит центробежные насосы, сборка ко­торых осуществляется по заказу покупателей. Заказы прибывают в случайные моменты времени. Интервалы времени между поступле­ниями двух последовательных заказов распределены по нормальному закону с математическим ожиданием 19 мин и стандартным отклоне­нием 3 мин.

Когда прибывает заказ, делается две его копии. Оригинал заказа используется для получения двигателя со склада и подготовки его для сборки. Время выполнения этой операции является экспоненциально распределенной случайной величиной со средним значением 8 мин. Первый экземпляр копии используется для заказа и адаптации насоса (время 10±2 мин), а второй экземпляр используется для начала изго­товления плиты основания (время 15 мин).

Когда насос и плита основания готовы, производится пробная подгонка (время 5+1 мин). Все три компонента собираются вместе (время распределено по нормальному закону с математическим ожи­данием 6 мин и стандартным отклонением 1 мин), когда они имеются налицо. Затем установка разбирается, насос и двигатель подвергают­ся окраске. Время покраски двигателя 2±0,5 мин, а время покраски насоса распределено по экспоненциальному закону со средним значением 1,5 мин. Плита основания гальванизируется 4 мин. После этого производится окончательная сборка. Время сборки - нормально распределенная случайная величина с математическим ожиданием 8 мин и стандартным отклонением 1 мин.

Промоделировать сборку 100 центробежных насосов и оценить среднее время их сборки, используя для этого таблицу.

Учитывая подробное описание самой модели и комментарии, приведенные в листинге прототипа программы, опишем кратко логи­ку работы модели.

Транзакты имитируют заказы покупателей. Когда транзакт входит в блок SPLIT, создается еще два транзакта копии. Это позволяет одновременно продолжить выполнение индивидуальных заказов на мотор, насос и плиту основания.

Транзакты, имитирующие насос и плиту, ожидают друг друга в блоках MATCH с метками PUMP (насос) и PLATE (плита). Если и на­сос, и плита прибыли, то имитируется задержка на их начальную сбор­ку. После того, как прибудут все три заказа в блок GATHER, блок ADVANCE имитирует пробную подгонку трех компонентов изделия фуг к другу. Затем три заказа снова разделяются для окончательной отделки. Блок ASSEMBLE (сборка) с меткой BUILD вызывает отсроч­ку окончательной сборки, пока не поступят все компоненты.

В таблице TRANSIT собирается распределение времени выпол­нения заказов. Единица модельного времени 1 с.

4.22. Управление процессом моделирования в системеGpss

В данной главе рассматриваются общие принципы управления моделированием в GPSS. Разные трансляторы по-разному могут реа­лизовывать эти принципы.

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

В СТС транзакты размещены в порядке уменьшения приоритета (то есть транзакты с более высоким приоритетом размещены ближе к началу списка). Транзакты с одинаковыми приоритетами размещают­ся в соответствии с последовательностью поступления в список. Ка­ждый транзакт в СТС может находиться или в активном состоянии (то есть просматриваться ПУМ в данный момент модельного време­ни), или в состоянии задержки.

В начальный момент (при выполнении оператора управления START, который начинает фазу интерпретации GPSS-модели) ПУМ обращается ко всем блокам GENERATE модели. Каждый из этих блоков планирует момент появления транзактов и заносит их в СБС, после чего ПУМ обращается к СТС. Так как в этом списке пока что отсутствуют транзакты, то ПУМ просматривает СБС и выбирает из него все транзакты, запланированные на ближайший момент времени и переносит их в СТС, после чего пытается продвинуть первый тран­закт этого списка по блокам модели. Если перемещение транзакта было задержано по какой-либо причине, не связанной с блоком AD­VANCE, то он остается в СТС и ПУМ пробует перемещать такой транзакт из этого списка далее по блокам. Если транзакт вошел в блок ADVANCE, то планируется его выход из этого блока и транзакт переносится в СБС.

Списки текущих и будущих событий можно увидеть на экране дисплея, если выдать команду EVENTS для GPSS/PC или в окне спи­сков для GPSS World.

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

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

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

Если при обслуживании текущего активного транзакта про­изошло изменение состояния ресурса, пересмотр начинается сначала, и опять обслуживаются все транзакты из СТС, которые находятся в активном состоянии. Если изменение списков ресурсов не произош­ло, ПУМ опять обращается к СТС и проверяет, не остались ли в нем транзакты, которые необходимо обработать.

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

Кроме двух основных списков СТС и СБС существует список прерываний (СПР), содержащий прерванные во время обслуживания транзакты, а также транзакты, вызвавшие прерывание. Список пре­рываний используется для организации обслуживания одноканальных устройств по абсолютным приоритетам. Это дает возможность организовать приоритетные дисциплины обслуживания транзактов в устройствах.

Список синхронизации (СС) содержит транзакты, которые на данный момент времени сравниваются. Этот список работает с транзактами, полученными с помощью блока SPLIT, который создает транзакты-копии, принадлежащие одному семейству или ансамблю. Синхронизацию движения транзактов одного семейства выполняют следующие блоки: MATCH (синхронизирует движение транзактов с другим блоком), ASSEMBLE (собирает все транзакты - копии и выда­ет один начальный транзакт), GATHER (собирает заданное количе­ство транзактов и задерживает копии до тех пор, пока не соберется необходимое количество копий транзактов). Блок SPLIT можно ис­пользовать многократно.

Остановленные процессы находятся в СБС, СС и списках бло­кировок.

Список пользователя (СП) содержит транзакты, выведенные пользователем из СТС с помощью блока LINK и помещенные в СП как временно неактивные (переведенные пользователем в пассивное состояние). При работе ПУМ они ей недоступны до тех пор, пока не будут возвращены пользователем в СТС с помощью блока UNLINK.

Моделирование заканчивается тогда, когда счетчик завершения, инициализированный оператором управления START, будет сбро­шен в ноль или когда в СТС и СБС не будет ни одного транзакта.