Черненький В.М. - Псевдоязык описания сцепленных процессов (ПОСП), страница 3

Для каждого оконечного устройства терминалгенерирует запрос к ЦВК для выполнения некоторой обрабатывающейпроцедуры. Получив ответ, терминал, спустя некоторое время, генерируетновый запрос к ЦВК для следующего оконечного устройс тва и т.д. ЦВКработает в режиме разделения времени между запросами от терминалов,обрабатывая каждый запрос в течение времени не более, чем заданныйвременной квант. ЦВК обрабатывает одновременно не более напередзаданного количества запросов, остальные запросы выстраиваются в очередьк ЦВК.Свернемустройствамипроцессыводинвзаимодействияпроцесстерминалатерминала,соконечнымипредставляющийсобойциклические обращения терминала к ЦВК (рисунок 11).

Таким образом, в23системе протекает N параллельных процессов с локальной средой,оформленной в виде вектора и содержащей: время появления нового запроса от терминала к серверу - ТР; рабочий параметр для сохранения времени задержки инициатора вразличных процессах – ТЗ.Рисунок 11. Преобразование терминальных процессовСтруктурамоделируемойсистемыприведенанарисунке12.Прерванные задачи помещаются в промежуточный буфер емкостью QS.Задачи, не принятые в ЦВК, помещаются во входной буфер.за де р жкаТ1....Ц ВКТNСТЕКза де р жкаРисунок 12. Структура модели24Для упрощения описания алгоритма функционирования введем рядмакросов.Макрос 1.

Описание локальной среды процесса:&W-векторная локальная среда &А1, &А2,.. &Аn;\\ &А1, &А2,.. &Аn – список идентификаторов размерностью nэлементов.алгоритм&W-вектор (1-n - скаляры);все алгоритм;Макрос 2. Обращение к локальной среде процесса:локальная среда &В;алгоритм;\\ k-порядковый номер идентификатора &В в списке описаниявектора &W.(ИНИЦИАТОР  вектор (k));все алгоритм;Макрос 3. Генерация инициатора:образовать процесс с векторной локальной средой из &Nэлементов по метке &B блока &C;алгоритмсоздать &S типа ссылки;создать &W – типа вектор (1-&N-скаляры);&S := ссылка на &W;активизировать инициатор из &S на метку &B блока &C;все алгоритм;В описании функционирования АСУТП определим локальную средукаждого инициатора, как:25&W – векторная локальная среда TР, ТЗ, Тобраб;где параметр ТР сохраняет момент появления запроса от терминала,параметр ТЗ – интервал времени задержки между получением ответа о тЦВК и генерацией нового запроса от терминала,параметр Тобраб – время , необходимое ЦВК для обработки данногозапроса.Параметр КВАНТ равен шагу квантования ЦВК.Параметр ТП равен затратам времени ЦВК на переключение послеокончания времени квантования.Предс тавим описание в виде двух блоков: агрегата ГЕНЕРАТОР ипроцессора СЕТЬ.

ГЕНЕРАТОР формирует N инициаторов в блок СЕТЬ,запуская,такимобразом,N терминальныхпроцессов.ПГСблокаГЕНЕРАТОР идентичен рисунку 4.Алгоритм блока ГЕНЕРАТОР.блок-контроллер ГЕНЕРАТОР;описаниеM – скаляр;\\ начальное значение равно 0;N – скаляр;\\ начальное значение задается в исходных данных;\\ инициатор на метке НАЧ;все описание;алгоритмНАЧ :M := M+1;\\ счетчик;если M>N то направить инициатор на метку КОНЕЦ;образовать процесс с векторной локальной средой в 3элемента в по метке НАЧАЛО блока СЕТЬ;направить инициатор на метку НАЧ;КОНЕЦ :уничтожить ИНИЦИАТОР;все алгоритм;все блок.26ПГС блока – процессора СЕТЬ приведен на рисунке 13.

В блок на меткуНАЧАЛО в начале моделирования введено N инициаторов из блокаГЕНЕРАТОР. Каждый инициатор имеет локальную среду, структура которойописана выше. В ходе функционирования инициаторы не покидают блок,реализуя замкнутый цикл функционирования системы.Рисунок 13. ПГС блока СЕТЬОписание блока:блок-процессор СЕТЬ;описаниеТЦВК, Тобр, SERV, Тдообр, Тперекл, ТП, КВАНТ - скаляры;ТП, КВАНТ – скаляры; \\ исходные данные;QS, WS – скаляры;\\QS-начальное значение равно 0, WS – объемпромежуточного буфера, задается как исходное данное;Fтерм(...), Fобраб(...) – функции времени задержки в терминалах и ЦВКсоответс твенно;\\ инициаторы имеют локальную среду, описанную каквекторная локальная среда ТР, ТЗ, Тобраб;все описание;алгоритмНАЧАЛО:локальная среда ТЗ:= Fтерм(...)+ВРЕМЯ;\\ генерация нового запроса;27ждать ВРЕМЯ= локальная среда ТЗ;локальная среда ТР := ВРЕМЯ;локальная среда Тобраб := Fобраб(...);\\очередь на вход в ЦВК;ждать QS<WS;\\ вход в ЦВК разрешен;QS := QS+1;ПРОДОЛЖ: ждать SERV=’свободен’;SERV := ’занят’;Тобраб := локальная среда Тобраб;если КВАНТ Тобраб то направить инициатор на МК1;ТЦВК := КВАНТ+ВРЕМЯ;Тдообр := Тобраб-КВАНТ;направить инициатор на МК2;МК1:ТЦВК := Тобраб +ВРЕМЯ;Тдообр := 0;МК2:ждать ВРЕМЯ = ТЦВК;локальная среда Тобраб := Тдообр;Тперекл := ВРЕМЯ+ТП;ждать ВРЕМЯ = Тперекл;SERV := ’свободен’;если Тдообр>0 то направить инициатор на ПРОДОЛЖ;QS := QS-1;направить инициатор на НАЧАЛО;все алгоритм;все блок.28ЗАДАНИЯ ДЛЯ САМОСТОЯТЕЛЬНОЙ ПРОРАБОТКИ1.

Поток задач заданной интенсивности пос тупает на сервер, сервертратит на решение одной задачи заданное время, сервер периодическипереключается на самотестирование. Использовать блок ГЕНЕРАТОР и блокСЕРВЕР.2. Поток пакетов заданной интенсивности поступает на канал, каналтратит на передачу одного пакета заданное время, на канале периодическивозникают сбои,задановремяихустранения.ИспользоватьблокГЕНЕРАТОР и блок КАНАЛ.3.

На коммутатор поступают три потока пакетов, коммутатор передае тих в канал, используя способ временной синхронизации: в моменты времени1, 4, 7,….передается в канал 1-й поток, в моменты времени 2, 5,8,….передается в канал 2-й поток, в моменты времени 3, 6, 9,….передается вканал 3-й поток. В один момент времени может быть передан только одинпакет.Коммутаторимеет отдельныйбуфердлякаждогопотока.Использовать блок ГЕНЕРАТОР и агрегат КОММУТАТОР.

Предварительносоздать агрегат, выдающий сигналы С1, С2, С3 в соответствующие моментывремени для управления потоками.4. Система включает CPU и 2 дисковода, в системе одновременно неможет находиться более 3-х задач. Задача решается в CPU и затем пос тупаетна тот дисковод, который в данный момент не занят. Каждая задача проходиттаких 4 цикла и затем покидает систему.

Все времена заданы. Использоватьблок ГЕНЕРАТОР и процессор CPU.295. Система включает 1 дисковод, на входной параметр которого извнепоступают заявки на считывание информации. Заявка содержит указание наместоположение информации на дисководе. Дисковод записывает заявку вовходную очередь и, если он свободен, приступает к ее выполнению. Всоответс твии с заявкой дисковод считывает информацию на диске с учетомместоположения и передвижения головки, объем считываемой информациираспределен по равномерному закону.После окончания считыванияинформации дисковод выдает заявку в выходной параметр и считываеточередную заявку из входной очереди. Все времена заданы.

Использоватьблок ГЕНЕРАТОР и блок ДИСК.6. ЛВС включает 20 рабочих станций и один сервер, работающие врежиме диалога (вопрос-ответ-вопрос), сервер обрабатывает запрос иотсылает на рабочую станцию ответ, на сервере происходят отказы, на ихустранение выделяется время. Все времена заданы. Использовать процессорЛВС и блок СЕРВЕР.7. Система включает CPU, 1 дисковод, 1 панель отображения, 1печатающее устройство. На каждое из устройств извне поступает потокзаявок на их использование, между собой потоки независимы (параметрыпотоков можно задать произвольно). Приоритетность потоков соответс твуетих порядку в задании. Необходимо описать алгоритм операционной системыв виде агрегата ОС. Все потоки генерируются одним блоком ГЕНЕРАТОР (свероятностной раскидкой по типам).

Все внешние устройства представитьтолько параметрами, связанными с ОС (имитация сигналов прерываний):параметр на прием заявки и параметр об исполнении заявки.8. Сеть передачи данных включает два узла коммутации и одинполудуплексный канал между ними. Узлы обмениваются между собой30пакетами (параметры потоков произвольные) с посылкой подтверждений.Задан размер окна (кредита). Использовать один блок ГЕНЕРАТОР инесколько блоков узлов.ЛИТЕРАТУРА1.ЧерненькийВ. М.Процессно -ориентированная концепциясистемного моделирования АСУ: Дисс.

док. тех. наук. - М., 2000.- 350 с..