Механизм перемещения транзактов. Управление движением транзактов: по условиям или состоянию устройств

Содержание

Слайд 2

Лабораторная работа №2 Условие задачи. Базовая схема для моделирования состоит из

Лабораторная работа №2
Условие задачи.
Базовая схема для моделирования состоит из

терминала пользователя, одного канала передачи данных к ЭВМ и ЭВМ. Заявки на выполнение заданий поступают в интервале [a, b] с указанным в варианте законом распределения. Время передачи заявок находится в диапазоне [e, f]. Время обработки заданий в интервале [c, d].
Закон времён обработки сообщений задан в варианте задания. Время обслуживания в канале постоянно и равно t.
Написать программу модели на языке GPSS World. Теоретически рассчитать длины очередей к каналу и ЭВМ, загрузку канала и оценку времен ожидания канала и ЭВМ.
Набрать программу в системе моделирования GPSS World. Запустить модель. Проверить в окнах работоспособность модели. Получить листинг результатов моделирования.
Сравнить полученные результаты с расчетными значениями.
Обеспечить оптимальную загрузку всех устройств базовой схемы (ρ<1).
Выбрать такие параметры устройств, чтобы длины очередей не превышали диапазона значений 5 -10 единиц. Проверить моделированием полученные значения.
Слайд 3

Отчет по работе должен содержать: Схему модели, листинг программы-модели, листинг результатов

Отчет по работе должен содержать:
Схему модели, листинг программы-модели,

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

ТАБЛИЦА ВАРИАНТОВ лабораторной работы №2

Слайд 4

Организация движения транзактов Цепи текущих и будущих событий Модель объекта Буфер

Организация движения транзактов Цепи текущих и будущих событий

Модель
объекта

Буфер
активных
транзактов

Буфер
пассивных
транзактов

FEC

CEC
Список транзактов,
которые

планируются
к движению в течении
текущего модельного
времени

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

1 Generate 10,5
2 Advance 8,1
3 Terminate
4 Generate 50
5 Terminate 1

Первый генератор формирует текущие события.
Интерпретатор продвигает по блокам модели очередной транзакт до следующих блоков:

Блока ADVANCE и переводится в FEC
Блока SEIZE. Если занят SEIZE, то
транзакт ждет в CEC
3. Блока TERMINATE. Уничтожение

Слайд 5

Таблица времён движения транзактов Tген ={12,6,9,11,5,14} Tзадержки ={9,8,7,8,7} TΣ={12,18,27,38,43,57}

Таблица времён движения транзактов

Tген ={12,6,9,11,5,14}

Tзадержки ={9,8,7,8,7}

TΣ={12,18,27,38,43,57}

Слайд 6

Управление движением транзактов: по условиям или состоянию устройств По принятым соглашениям

Управление движением транзактов: по условиям или состоянию устройств

По принятым соглашениям каждая

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

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

Слайд 7

Ресурс1 Ресурс2 Ресурс3 Ресурс1 Ресурс2 Вход Выход Вход Выход Терминал3 Терминал2

Ресурс1

Ресурс2

Ресурс3

Ресурс1

Ресурс2

Вход

Выход

Вход

Выход

Терминал3

Терминал2

Терминал1

Очередь

Ресурс

Схемы переходов активных транзактов

Реализация
циклического
процесса

Блоки должны обеспечивать переход активного

транзакта
к указанному в записи ресурсу в зависимости от состояния
ресурса или значения некоторой переменной.

ресурс2

ресурс1

ресурс3

ресурс4

Слайд 8

Условие перехода формулируется в значении X Блоки для организации переходов TRANSFER

Условие перехода формулируется в значении X

Блоки для организации переходов

TRANSFER [A] [,

B] [, C] [, D]

TEST X A, B[, C]

GATE X A [, B]

DISPLACE A, B [,C] [,D] - это

LOOP A, B - это цикл

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

Условие перехода формулируется операндом А

Слайд 9

Переход транзакта в блок модели, отличный от следующего TRANSFER [A] [,

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

TRANSFER [A] [, B]

[, C] [, D]

TRANSFER , Metka1

TRANSFER 0.25, AAA,DDD

TRANSFER Both , M_BL1, M_BL2

TRANSFER ALL, M_BL, M_End_BL,2

TRANSFER Pick, M_BL,M_ S_BL

TRANSFER FN, Func_4, P3

TRANSFER P, Place, 5

TRANSFER SBR, MET1, Tr_met

TRANSFER SIM MET1, MET2

Операнд А задает режим выбора
следующего блока. 9 режимов
перехода активного транзакта
реализовано в системе GPSS.

Слайд 10

Примеры применений и ограничений для блока TRANSFER [A] [, B] [,

Примеры применений и ограничений для блока
TRANSFER [A] [, B] [,

C] [, D]

TRANSFER ALL, F_BL, End_BL, 2

Происходит проверка всех
Устройств с шагом 2. Если
не окажется свободных
устройств, то транзакт
остается в блоке TRANSFER

В подобных случаях удобно создать список пользователя блоком
LINK A, B[, C]. Парный ему блок UNLINK.

TRANSFER P, Place, 5

Транзакт направляется к блоку,
определяемому, как сумма Place+5

TRANSFER Pick, F_BL, S_BL

Транзакт направляется к блоку,
определяемому случайным образом
из указанного числового диапазона
(Операнды B, C).

TRANSFER SIM MET1, MET2

SIM – индикатор задержки. Он
устанавливается, когда транзакт не может
войти в блок TRANSFER. Когда транзакт
проходит блок, SIM сбрасывается.

Замечание. Устройства должны быть пронумерованы

Слайд 11

Условие задачи. На компьютер поступают заявки с трех терминалов. В каждом

Условие задачи.

На компьютер поступают заявки с трех
терминалов. В каждом потоке

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

Терминал3

Терминал2

Терминал1

Очередь

ЭВМ

Tвх1=[0,2 ÷0,5]

Tвх2=[0,1 ÷0,3]

Tвх3=0,8

Tобр1 =0,4
Tобр2 =0,6
Tобр3 =0,3

GENERATE 35,15
ASSIGN 5,40
TRANSFER ,Metka
GENERATE 20,10
ASSIGN 5,60
TRANSFER ,Metka
GENERATE 80
ASSIGN 5,30
Metka QUEUE QQEVM
SEIZE EVM
DEPART QQEVM
Advance P5
RELEASE EVM
TERMINATE
GENERATE 10000
TERMINATE 1

Это модель без табулирования
времен обработки транзактов.
Полный текст программы в
приложении к лекции
Листинг результата
моделирования.doc

Слайд 12

Формат блока TEST TEST , , AAA TEST E P1, 1,

Формат блока TEST

<Метка> TEST <условие> <СчА1>, <СчА2>, <метка перехода>

AAA TEST E

P1, 1, OUT

Задача. На ЭВМ исполняется пакет задач.
На каждом шаге решения задачи вырабатывается код
завершения, определяющий правильность
выполнения задач -
Кзаверш = {0, 4, 8,12,16}.
Первые три кода – это ошибочное завершение задачи.
Определить количество задач с нормальным кодом завершения.

{E, G, GE, L, LE, NE} – Допустимые условия

При невозможности пройти блок транзакт остается в цепи текущих событий